title: Radice dell'unità
text: # Radice dell'unità
  
  In matematica, le radici $n$-esime dell'unità sono tutti i numeri (reali o complessi) la cui $n$-esima potenza è pari a $1$, ovvero le soluzioni dell'equazione:
  
      $x^{n}=1.$
  
  ## Le radici
  
  Nel campo complesso $\mathbb {C}$ per ogni intero positivo $n$ esistono esattamente $n$ radici $n$-esime dell'unità e sono nella forma
  
      $r_{k}=\cos {\frac {2\pi k}{n}}+i\sin {\frac {2\pi k}{n}}=e^{2\pi ik/n}\;$
  
  dove l'ultima uguaglianza viene dalla formula di Eulero, con $k$ intero, $0\leq k\leq n-1$.
  
  Esse si dispongono nel piano complesso lungo la circonferenza unitaria, ai vertici di un poligono regolare con $n$ lati che ha un vertice in $(1,0)$.
  
  Tra queste radici le uniche reali sono $r_0$ = 1 e, se $n=2k$ (cioè è pari) $r_k$ = -1.
  
  Per ogni $n$ l'insieme delle radici $n$-esime dell'unità, con l'operazione data dalla moltiplicazione usuale sui complessi, forma un gruppo ciclico.
  
  Si dicono radici primitive $n$-esime dell'unità tutte quelle radici che generano il gruppo delle radici $n$-esime dell'unità. È facile provare che le radici primitive $n$-esime dell'unità sono quelle radici $n$-esime dell'unità tali che:
  
      $\forall m<n~:~r^{m}\neq 1\ \$.
  
  Il numero di radici primitive ennesime dell'unità è pari al numero $\phi (n)$ di interi minori di $n$ e coprimi con $n$. Qui $\phi$ è la funzione φ di Eulero.
  
  ## Radici di un numero complesso qualsiasi
  
  Le radici $n$-esime di un numero complesso $z$ possono essere descritte in modo più agevole rappresentando il numero complesso in forma polare
  
      $z=|z|e^{i\phi }=|z|\left(\cos \phi +i\sin \phi \right).$
  
  Se $z$ è diverso da zero, le radici $n$-esime di $z$ sono effettivamente $n$ radici distinte. Una di queste è la seguente
  
      $w_{0}={\sqrt[{n}]{|z|}}e^{\frac {i\phi }{n}}.$
  
  Infatti
  
      $w_{0}^{n}=\left({\sqrt[{n}]{|z|}}e^{\frac {i\phi }{n}}\right)^{n}=|z|e^{\frac {ni\phi }{n}}=|z|e^{i\phi }.$
  
  Più in generale, le $n$ radici $w_{0},\ldots ,w_{n-1}$ di $z$ si ottengono moltiplicando $w_{0}$ con le $n$ radici dell'unità. Quindi
  
      $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)$
  
  Queste radici formano sempre i vertici di un poligono regolare di $n$ lati centrato nell'origine. Il raggio del poligono è ${\sqrt[{n}]{|z|}}$.
  
  ### Esempi
  
  Le radici quarte di un numero reale positivo $a$ sono ottenute moltiplicando la radice quarta reale di $a$ per le quattro radici dell'unità. Le quattro radici quarte di $a$ sono quindi:
  
      ${\sqrt[{4}]{a}},i{\sqrt[{4}]{a}},-{\sqrt[{4}]{a}},-i{\sqrt[{4}]{a}}.$
  
  Le radici $n$-esime di -1 formano nel piano complesso un poligono regolare di $n$ lati, centrato nell'origine: lo si può ottenere ruotando di $\pi /n$ in senso antiorario il poligono formato dalle radici $n$-esime dell'unità. Il numero $-1$ è vertice del poligono quando $n$ è dispari.
  
  ## Alcune radici di 1
  
      $\left\{{\sqrt[{0}]{1}}\right\}=\mathbb {C} -\left\{0\right\}$
      ${\sqrt[{1}]{1}}=1$
      ${\sqrt[{2}]{1}}=\pm \ 1$
      $\left\{{\sqrt[{3}]{1}}\right\}=\left\{1;{\frac {-1+i{\sqrt {3}}}{2}};{\frac {-1-i{\sqrt {3}}}{2}}\right\}$
      $\left\{{\sqrt[{4}]{1}}\right\}=\left\{\pm \ 1;\pm \ i\right\}$
      $\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\}.$
      $\left\{{\sqrt[{6}]{1}}\right\}=\left\{\pm \ 1;{\frac {\pm \ 1+i{\sqrt {3}}}{2}};{\frac {\pm \ 1-i{\sqrt {3}}}{2}}\right\}$
      $\left\{{\sqrt[{8}]{1}}\right\}=\left\{\pm \ 1;\pm \ i;\pm \ {\frac {1+i}{\sqrt {2}}};\pm \ {\frac {1-i}{\sqrt {2}}}\right\}$
  