U 1 (0,i) - (INFN) - Sezione di Milano

Progetto lauree scientifiche
Unità 4
numeri complessi e poligoni
regolari
A cura di Maurizio Dini e Paola Gario
Dipartimento di Matematica
“F. Enriques”
Università degli Studi di Milano
L’equazione zn = 1
Quante soluzioni ha l’equazione z4 = 1?
Cerchiamo i numeri complessi
in R ne ha 2 ma in C
ne ha addirittura 4!
a =  (cos  + i sen )
tali che a4 = 1
sono Gauss, il Principe
della matematica!
Quattro???
ma chi crede di
essere costui?
Le soluzioni dell’equazione z4 = 1
a4 = 1 , in forma trigonometrica, si scrive
4 (cos 4 + i sen 4) = 1(cos 0 + i sen 0)
...stessi modulo
due numeri
e quindi:
e argomento!
complessi sono
uguali se hanno...  = 1 e 4 = 0 + 2k
cioè
 = 1 e  = (k/2)
Facendo variare k , si otterranno
coppie ( , ) che daranno
le soluzioni dell’equazione
le soluzioni dell’equazione z4 = 1
Inseriamo i dati ottenuti in una tabella
k

 = (k/2)
Uk(a,b)
0
1
0
U0(1,0)
1
1
/2
U1(0,i)
2
1

U2(-1,0)
3
1
3/2
U3(0,-i)
4
1
0 + 2
U4(1,0)
5
1
/2 + 2
U5(0,i)
...
...
...
...
iY
U1 U5
U2
U4 U0
O
X
U3
Le 5 soluzioni dell’equazione z5 = 1
iY
In questo caso abbiamo
una sola soluzione
reale!
a1
a2
72
O
a0
X
a3
a4
Le radici n-esime dell’unità
ovvero
le n soluzioni dell’equazione zn = 1
ovvero
Questo l’ho
fatto io!
le n radici del polinomio zn - 1
si trovano sulla circonferenza
unitaria e la dividono in
Bingo!
n archi uguali.
Dunque sono i vertici di un
n-gono regolare inscritto nella
circonferenza unitaria.
radici dell’unità e poligoni regolari
OK Gauss, le tue radici dell’unità
sono i vertici di un poligono regolare.
Ma il MIO PROBLEMA è:
costruire i vertici con R&C !!!!
Il MIO metodo
può funzionare
a meraviglia!
Utilizziamo il metodo delle
“radici dell’unità”
per costruire con R&C
il pentagono regolare
radici dell’unità e costruzioni con R&C
Per costruire con R&C il punto sulla circonferenza unitaria
che rappresenta il numero complesso a = cos
 = a+ i sen 
costruiremo il punto H, sua proiezione sull’asse reale,
ovvero il segmento OH, essendo OH = cos .
iY
Vi sarà utile
ricordare che:
a = (1, )
a + a = 2cos
a + a = ( 2cos ,0)

O

H
X
a = (1,  )
Figura
Radici quinte dell’unità e costruzione
del pentagono regolare
In questo caso, è n= 5 e
iY
2
OH = cos
5
a1
a2
O
72
H
a3
a4
a0
X
Si vuole costruire il punto
sulla circonferenza unitaria
che corrisponde alla radice
2
2
a1 = cos
+ i sin
5
5
A tale scopo costruiamo il punto H,
sua proiezione sull’asse reale, cioè costruiamo il segmento:
2
OH = cos
5
L’equazione z5 = 1 della divisione del cerchio
a0 = 1 è l’unica soluzione reale
dell’equazione z5 - 1 = 0 che,
dunque, si scompone in:
iY
a1
a2
72
O
a0
z 5  1 = ( z  1) ( z 4 + z 3 + z 2 + z + 1) = 0
X
a3
a4
Ora tocca a voi!
a1 è un’altra soluzione che
soddisfa la condizione:
4
3
2
a
+
a
+
a
( 1 1 1 + a1 + 1) = 0
Inoltre sappiamo che:
2
a1 + a1 = 2cos
5
dal numero alla costruzione
Per concludere, si tratterà di costruire il punto
H tale che:
Avete ottenuto
il numero che dà il
vertice U1 del pentagono:
2 1 + 5
cos
=
5
4
2 1 + 5
OH = cos
=
5
4
Se avessi fatto
i compiti questo numero
l’avrei già costruito!
... la parola a Gauss
TEOREMA del Principe della Matematica
(“Disquisitiones Arithmetices” del 1801)
Sia p un numero primo diverso da 2.
Il p-gono regolare è costruibile con R&C se
e solo se p è un numero (primo) della forma:
22k + 1
Invece il ph -gono regolare (h > 1), può essere
costruito con R&C, se e solo se:
p=2
numeri primi e poligoni regolari
I numeri primi della forma 22k + 1 si chiamano
“primi di Fermat”
220 + 1= 3
5
221 + 1= 5
Infatti 22 + 1
non è primo perché
è divisibile per 641….
222 + 1= 17
sono primi
Li ho inventati io!
Credevo che fossero tutti
primi ma Eulero...
mi ha smentito!
Altri primi di Fermat non ne
sono stati trovati ... per ora ...
223 + 1= 257
la questione non è del tutto risolta!
Quali sono i poligoni regolari, in particolare i
poligoni con un numero primo di lati, che si
possono costruire con R&C?
Bel Principe della matematica
dei miei stivali! Volevo una risposta
conclusiva alla domanda...!
... e Gauss ti ha risposto
tirando in ballo
i miei primi 22k + 1
di cui si sa ben poco!
... provate voi
a fare di meglio!
una lunga storia non ancora conclusa
Euclide (circa 300 a. C.)
Cartesio (1596-1650)
Fermat (1601-1665)
Eulero (1707-1783)
Gauss (1777-1855)
nel 1990 usando 1000 computer, F9 = 229 + 1
è stato completamente fattorizzato