Radice dell'unità
Le radici
-esime dell'unità sono tutti i numeri (reali o complessi) la cui
-esima potenza è pari a 1, ovvero le soluzioni dell'equazione:
Indice |
Le radici [modifica]
Nel campo complesso
per ogni intero positivo
esistono esattamente
radici
-esime dell'unità e sono nella forma
dove l'ultima uguaglianza viene dalla formula di Eulero, con
intero,
.
Esse si dispongono nel piano complesso lungo la circonferenza unitaria, ai vertici di un poligono regolare con
lati che ha un vertice in
.
Tra queste radici le uniche reali sono r0 = 1 e, se
(cioè è pari) rk = -1.
Per ogni n l'insieme delle radici
-esime dell'unità, con l'operazione data dalla moltiplicazione usuale sui complessi, forma un gruppo ciclico.
Si dicono radici primitive
-esime dell'unità tutte quelle radici che generano il gruppo delle radici
-esime dell'unità. È facile provare che le radici primitive
-esime dell'unità sono quelle radici
-esime dell'unità tali che:
.
Il numero di radici primitive ennesime dell'unità è pari al numero
di interi minori di
e coprimi con
. Qui
è la funzione di Eulero.
Radici di un numero complesso qualsiasi [modifica]
Le radici
-esime di un numero complesso
possono essere descritte in modo più agevole rappresentando il numero complesso in forma polare
Se
è diverso da zero, le radici
-esime di
sono effettivamente
radici distinte. Una di queste è la seguente
Infatti
Più in generale, le
radici
di
si ottengono moltiplicando
con le
radici dell'unità. Quindi
Queste radici formano sempre i vertici di un poligono regolare di
lati centrato nell'origine. Il raggio del poligono è
.
Esempi [modifica]
Le radici quarte di un numero reale positivo
sono ottenute moltiplicando la radice quarta reale di
per le quattro radici dell'unità. Le quattro radici quarte di
sono quindi:
Le radici
-esime di -1 formano nel piano complesso un poligono regolare di
lati, centrato nell'origine: lo si può ottenere ruotando di
in senso antiorario il poligono formato dalle radici
-esime dell'unità. Il numero
è vertice del poligono quando
è dispari.
Alcune radici di 1 [modifica]
Voci correlate [modifica]
- Polinomio ciclotomico
- Equazione ciclotomica
- Uno
- Unità immaginaria
- Radicale (matematica)
- Radice (matematica)
- Numero complesso
|
|


.
![w_0 = \sqrt[n]{|z|} e^{\frac {i\phi}n}.](http://upload.wikimedia.org/math/2/4/6/246fb563906aea2de94b11b545e087da.png)
![w_0^n = \left(\sqrt[n]{|z|} e^{\frac {i\phi}n}\right)^n = |z| e^{\frac {ni\phi}n} = |z|e^{i\phi}.](http://upload.wikimedia.org/math/2/d/2/2d2e797164c02ff673f3c67d9fd55d40.png)
![w_k= \sqrt[n]{|z|} \left( \cos \left( \frac{\phi}{n}+ \frac{2\pi k}{n} \right) + i \sin \left( \frac{\phi}{n} + \frac{2\pi k}{n} \right) \right)](http://upload.wikimedia.org/math/3/9/1/391deb333569162b465b5b2bc35a6600.png)
![\sqrt[4] a, i\sqrt[4] a, -\sqrt[4] a, -i\sqrt[4] a.](http://upload.wikimedia.org/math/6/e/3/6e32798a0b7caa0dd3981f36660a3e4b.png)
![\left\{\sqrt[0]{1}\right\}=\Bbb{C}-\left\{0\right\}](http://upload.wikimedia.org/math/0/9/8/09897c19f0c6eea5eb0a801d2c084ae4.png)
![\sqrt[1]{1}=1](http://upload.wikimedia.org/math/5/0/a/50a0e5ad3c95bc2355c30bff0d5721c5.png)
![\sqrt[2]{1}=\pm\ 1](http://upload.wikimedia.org/math/9/0/6/906274b21d30d554f317dc3c1e6e7992.png)
![\left\{\sqrt[3]{1}\right\}=\left\{ 1; \frac{-1 + i \sqrt{3}}{2}; \frac{-1 - i \sqrt{3}}{2} \right\}](http://upload.wikimedia.org/math/3/5/6/356befbff911ca44e8a231f1a4166261.png)
![\left\{\sqrt[4]{1}\right\}=\left\{ \pm\ 1; \pm\ i \right\}](http://upload.wikimedia.org/math/d/1/c/d1c4b89b5ab7ea89b9121f8c989cf28b.png)
![\left\{\sqrt[5]{1}\right\}= \left\{ 1; \frac{u\sqrt{5}-1}{4} + v\sqrt{\frac{5 + u\sqrt{5}}{8}}i : u,v \in \{-1,1\} \right\}.](http://upload.wikimedia.org/math/5/5/9/559ab0e7206eb2153581031e10969305.png)
![\left\{\sqrt[6]{1}\right\}=\left\{\pm\ 1; \frac{\pm\ 1 + i \sqrt{3}}{2}; \frac{\pm\ 1 - i \sqrt{3}}{2} \right\}](http://upload.wikimedia.org/math/6/e/a/6eadcbb3156ccf2d7e230836b7748e67.png)
![\left\{\sqrt[8]{1}\right\}=\left\{\pm\ 1; \pm\ i; \pm\ \frac{1+i}{\sqrt{2}}; \pm\ \frac{1-i}{\sqrt{2}}\right\}](http://upload.wikimedia.org/math/c/b/0/cb019955e1c64718af8e4c8d58e4b256.png)