Equazione esplicita
(1)
n
X
(2)
ai
i=1
(3)
(4)
e la sua cardinalit
|Y | = kX = k
n
X
xi
(5)
i=1
(6)
k=
i
p
i
(7)
i=1
!
X
(8)
i=1
1
={p
1
(9)
1 2
1 2 1
1 2
! 1
!
!
p2 ...p
...p
}
! , p1 p2
! , ..., p1 p2 ...p!
(10)
P1 = {p1 , p2 , ..., p! }
(11)
P0 = 1
(12)
(13)
r
jr x1
jr xn
|Y |
a1 ,...,an
|Y |
P
( Q ai )!
ai !
= P
ai
(14)
i=1...n
comun divisore, possibile disporre gli elementi y sui vertici del poligono in
modo che possa essere diviso in parti uguali.
Consideriamo il caso pi semplice in cui la fattorizzazione di k corrisponda
ad un solo primo elevato a potenza 1, ovvero k = p1 . L insieme Y pu dunque
essere visto come Y = {y1p1 x1 , y2p1 x2 , ..., ynp1 xn }. In questo caso avremo, oltre
al ciclo completo di 2, un sotto ciclo di lunghezza |Y |/p1 equivalente ad una
rotazione di 2p1 /|Y |, in cui ogni elemento yi sar presente ai /p1 volte (con
i = 1...n).
Dunque per ottenere il numero di permutazioni circolari con ciclo completo,
dovremo sottrarre al numero di permutazioni con ripetizione S11 dellinsieme
Y |Y | = Y p1 X il numero di permutazioni con ripetizione S10 del sotto insieme
Y X e dividere poi per la lunghezza del ciclo. A questo risultato dovremo poi
aggiungere il numero di permutazioni circolari del sotto insieme Y X che rientra
nel caso precedente, in cui ovvero tutti i numeri sono primi tra loro.
CY =
S11 S10
S10
S 1 S10
S0
+
= 1
+ 1
|Y |
|Y |/p1
p1 X
X
(15)
S10 =
X
x1 , ..., xn
(17)
11 X
(18)
11 x1 , ..., 11 xn
Quindi esprimendo CY in funzione di X, degli indici x e della fattorizzazione
di k:
S11 =
(16)
11 X
11 x1 ,...,11 xn
11 X
X
x1 ,...,xn
X
x1 ,...,xn
(19)
X
In generale, per k > 1, anche nel caso in cui la sua fattorizzazione dia come
risultato pi numeri primi elevati a potenze maggiori di 1 possiamo dire che
CY =
Sjr =
jr X
jr x1 , ..., jr xn
X
r
i=1
0
@
i r
j
r i X
A
i x , ..., r i x
1
n
(20)
r xn
Sjr
jr X
(21)
P
E quindi, la sommatoria delle permutazioni circolari r=0 CY jr X (con j =
1...|Pr |) sar il totale delle permutazioni circolari dellinsieme Y |Y | ovvero:
2 r
3
|P |
X
X Sjr
4
5
CY =
(22)
r X
r=0 j=1 j
Dunque
CY =
X
r=0
r
|P
|
6X
4
j=1
jr X
jr x1 ,...,jr xn
Pr
i=1
jr X
i r
j
r i X
i x ,..., r
1
ix
3
7
5
(23)
!
"
#
$%&&'$(')'*'+,-.-/.01
$2
$%345..
"%5!
#
22
2
22678$%349!
&78.$%342$%349!
78$%342$%349!!
2
2 2$"2:;22424
2
2
2 4
2627
624
7
6424
47% &
!
< 2 7
=7
#!62!6:2!67
!
< >62!6=
!
< >68 92!6=
75 +
:
?.
!
< >68 92!6:=
<!62!6:=
75 +
@<!62!62
=
!
1
&<=
#
42 4
2 44
2 4
4
7
&8.2975
<2
=
! 475
! 4
75
8 49
&8 42 4
975
<
< 8 42 4
9=2
=
! 44
75. 4+
! 4
4
75
8 44
9
!<
< 8 42 4
9=
< 8 44
2 4
4
9==5.
<&8 42 4
92&8 44
2 4
4
9=
!
&1
!
<27A:=7A:
#
7A:
:
B?.
75
75
75
75
!
1
C 6<=
# 7
! 75
68 9758 9 #$"
675 #$"
!C 61
C $"6< 7
=
:
?
$"75
<2
<8 928 +9==
75 +
C 6
!C $"61
! C
<7'D0#7"%=
#
# 2
62
7'D0
7
75.
# 75/
675E
75
:
<
B?=
:
<
# 5.=
<2 F=
8 975 #
< =
75
# #
# 75
6
675
6F/
!! C
1
C
<$"7
=
#
!
7"%
G7
<!
2=
! C
<$"2!
=
!G75:<!
= <!
=
!G5.
:;75
8:;975!
8G9
8:;975
!!
8G95!
8G+9
8:;9758:;9F
:;75:;F
8:;975!
8G9
8:;975
C
1
H
'
# 7
75
F
82
975
! 75:;
82
975:
<8 92
8 9=> 82
9
8975
!H
'1
<2:;27
=
# 7
!5.
H
'
! 756<.2+F8:;9= <8:;92=
8:;975
<+ 2:;+2+8:;9=
8:;975.
!
1
/<2:;27
=
# 7
!5
H
'
! 756<.2+F8:;9= <8:;92=
8:;975
/<+ 2:;+2+8:;9=
8:;9758:;9
!
/1
# 2G7
!G75.
75G
75.
!B5-/
! 75:;
8 975.
<2:;2=
! 75:;
8 9758 9
/<2:;2=
!
1
:
<=
:
<I++++++++++++++++++++++++++++++++++++++++++++++++++++I=
:
<I
J
J
I=
:
<I++++++++++++++++++++++++++++++++++++++++++++++++++++I=
:
<I$6
+6
K
I=
:
<=
:
<I&
#
7I=
<
=
! 4
75
:
<I'
@ L
I2 4
2I7I=
<8 4
9=
75F8 4
9
:
<=1
:
<=
75.
C $"6<
=
C
<$"=
! 75:;
75F8 9
:
<=
!$"5