Racines de l'unité et triangle équilatéral fondamental

Objectif : Comprendre comment l'étude de l'équation $$ z^3=1 $$ conduit naturellement au triangle équilatéral de sommets $$ 1,\qquad j,\qquad j^2 $$ puis à la relation fondamentale $$ 1+j+j^2=0. $$

I. L'équation \(z^3=1\)

Cherchons les solutions dans \(\mathbb C\) de l'équation :

$$ z^3=1. $$

On écrit :

$$ z^3-1=0. $$

Puis on factorise :

$$ z^3-1=(z-1)(z^2+z+1). $$

Les solutions sont donc :

$$ z=1 $$

ou les solutions de :

$$ z^2+z+1=0. $$

II. Les nombres \(j\) et \(j^2\)

Les solutions de

$$ z^2+z+1=0 $$

sont notées :

$$ j \qquad\text{et}\qquad j^2. $$

On obtient alors :

$$ j^2+j+1=0. $$

c'est-à-dire :

$$ \boxed{1+j+j^2=0}. $$
Cette relation jouera un rôle essentiel dans toute l'étude géométrique des triangles équilatéraux.

III. Forme exponentielle

Les trois solutions de \(z^3=1\) sont :

$$ 1=e^{i0} $$ $$ j=e^{i\frac{2\pi}{3}} $$ $$ j^2=e^{i\frac{4\pi}{3}}. $$

On vérifie que :

$$ j^3=1. $$

Multiplier par \(j\) revient à effectuer une rotation de centre \(O\) et d'angle :

$$ \frac{2\pi}{3}. $$

IV. Le triangle équilatéral fondamental

Considérons les points :

$$ A(1,0) $$ $$ J\left(-\frac12,\frac{\sqrt3}{2}\right) $$ $$ J'\left(-\frac12,-\frac{\sqrt3}{2}\right). $$

Leurs affixes sont respectivement :

$$ 1,\qquad j,\qquad j^2. $$ O A(1) J(j) J'(j²) 2π/3 2π/3 2π/3 √3 √3 √3
Les points images de $$ 1,\qquad j,\qquad j^2 $$ sont les sommets d'un triangle équilatéral inscrit dans le cercle trigonométrique.

Les rayons valent :

$$ OA=OJ=OJ'=1. $$

Les angles au centre valent :

$$ \frac{2\pi}{3}. $$

Les côtés valent :

$$ AJ=JJ'=J'A=\sqrt3. $$

V. Théorème des racines n-ièmes de l'unité

Pour tout entier naturel non nul \(n\), l'équation $$ z^n=1 $$ admet exactement \(n\) solutions distinctes : $$ z_k=e^{i\frac{2k\pi}{n}} \qquad (k=0,1,\ldots,n-1). $$ Ces solutions sont appelées les racines n-ièmes de l'unité.

On utilise la factorisation :

$$ \boxed{ z^n-1= (z-1) (1+z+z^2+\cdots+z^{n-1}) } $$

VI. Exemple : résoudre \(z^5=1\)

Le théorème donne :

$$ z_k=e^{i\frac{2k\pi}{5}} \qquad (k=0,1,2,3,4). $$

Les solutions sont :

$$ 1, \quad e^{i\frac{2\pi}{5}}, \quad e^{i\frac{4\pi}{5}}, \quad e^{i\frac{6\pi}{5}}, \quad e^{i\frac{8\pi}{5}}. $$
Lorsque \(n\ge 3\), les points images des racines n-ièmes de l'unité sont les sommets d'un polygone régulier inscrit dans le cercle trigonométrique.

VI. Démonstration de la factorisation de \(z^n-1\)

Nous allons démontrer la formule : $$ \boxed{ z^n-1 = (z-1) \left( 1+z+z^2+\cdots+z^{n-1} \right) } $$

Observons d'abord que

$$ 1,\quad z,\quad z^2,\quad \ldots,\quad z^{n-1} $$

forme une suite géométrique de premier terme \(1\) et de raison \(z\).

Développons maintenant le produit :

$$ (z-1) \left( 1+z+z^2+\cdots+z^{n-1} \right). $$

On distribue d'abord le terme \(z\) :

$$ \color{blue}{z\times1} + \color{blue}{z\times z} + \color{blue}{z\times z^2} + \cdots + \color{blue}{z\times z^{n-1}} $$ $$ = \color{blue}{z} + \color{blue}{z^2} + \color{blue}{z^3} + \cdots + \color{blue}{z^n} $$

Puis on distribue le terme \(-1\) :

$$ \color{red}{-1\times1} + \color{red}{-1\times z} + \color{red}{-1\times z^2} + \cdots + \color{red}{-1\times z^{n-1}} $$ $$ = \color{red}{-1} + \color{red}{-z} + \color{red}{-z^2} + \cdots + \color{red}{-z^{n-1}} $$

En regroupant :

$$ \begin{aligned} & \color{red}{-1} \\[3mm] &+ \cancel{\color{blue}{z}} +\cancel{\color{red}{(-z)}} \\[3mm] &+ \cancel{\color{blue}{z^2}} +\cancel{\color{red}{(-z^2)}} \\[3mm] &+ \cancel{\color{blue}{z^3}} +\cancel{\color{red}{(-z^3)}} \\[3mm] &+\cdots \\[3mm] &+ \cancel{\color{blue}{z^{n-1}}} +\cancel{\color{red}{(-z^{n-1})}} \\[3mm] &+ \color{blue}{z^n} \end{aligned} $$

Tous les termes intermédiaires disparaissent.

Il reste uniquement :

$$ \boxed{ z^n-1 } $$

Ainsi :

$$ \boxed{ (z-1) (1+z+z^2+\cdots+z^{n-1}) = z^n-1 } $$

VII. Théorème des racines n-ièmes de l'unité

Pour tout entier naturel non nul \(n\), l'équation $$ z^n=1 $$ admet exactement \(n\) solutions distinctes : $$ \boxed{ z_k=e^{i\frac{2k\pi}{n}} } \qquad (k=0,1,\ldots,n-1). $$

VIII. Application directe du théorème : résoudre \(z^8=1\)

Dans le théorème, on remplace :

$$ n=8. $$

La formule devient :

$$ z_k=e^{i\frac{2k\pi}{8}} \qquad (k=0,1,\ldots,7). $$

Après simplification :

$$ z_k=e^{i\frac{k\pi}{4}}. $$

Les huit solutions sont :

$$ z_0=e^{i0}=1 $$ $$ z_1=e^{i\frac{\pi}{4}} $$ $$ z_2=e^{i\frac{\pi}{2}} $$ $$ z_3=e^{i\frac{3\pi}{4}} $$ $$ z_4=e^{i\pi} $$ $$ z_5=e^{i\frac{5\pi}{4}} $$ $$ z_6=e^{i\frac{3\pi}{2}} $$ $$ z_7=e^{i\frac{7\pi}{4}}. $$
Les huit racines de l'unité sont régulièrement réparties sur le cercle trigonométrique. Elles forment les sommets d'un octogone régulier inscrit dans le cercle unité.
1 e^{iπ/4} e^{iπ/2} e^{iπ} e^{i3π/2} O
Méthode à retenir :
  1. Identifier \(n\).
  2. Appliquer directement :
$$ z_k=e^{i\frac{2k\pi}{n}}. $$

avec

$$ k=0,1,\ldots,n-1. $$

On obtient immédiatement toutes les racines n-ièmes de l'unité.


IX. Application : résoudre \(z^9=1\)

Pour tout entier naturel non nul \(n\), $$ z_k=e^{i\frac{2k\pi}{n}} \qquad (k=0,1,\ldots,n-1). $$

Dans cet exercice, on cherche les solutions de :

$$ z^9=1. $$

On applique le théorème avec :

$$ n=9. $$

La formule devient :

$$ \boxed{ z_k=e^{i\frac{2k\pi}{9}} } \qquad (k=0,1,\ldots,8). $$

Compléter les neuf racines de l'unité

À l'aide de la formule précédente, compléter le tableau suivant.

\(k\) \(z_k=e^{i\frac{2k\pi}{9}}\)
0 \(z_0=\) ..............................................
1 \(z_1=\) ..............................................
2 \(z_2=\) ..............................................
3 \(z_3=\) ..............................................
4 \(z_4=\) ..............................................
5 \(z_5=\) ..............................................
6 \(z_6=\) ..............................................
7 \(z_7=\) ..............................................
8 \(z_8=\) ..............................................

Questions

  1. Combien de solutions possède l'équation \(z^9=1\) ?
  2. Quel est l'angle séparant deux racines consécutives ?
  3. Quelle est l'image de \(z_0\) sur le cercle trigonométrique ?
  4. Les neuf racines sont-elles les sommets d'un polygone régulier ? Lequel ?
  5. Tracer les neuf racines sur le cercle trigonométrique.
Aide : Les racines sont régulièrement réparties sur le cercle unité. L'angle entre deux racines consécutives vaut : $$ \frac{2\pi}{9}. $$

Pour vérifier après correction

Afficher les réponses $$ z_0=1 $$ $$ z_1=e^{i\frac{2\pi}{9}} $$ $$ z_2=e^{i\frac{4\pi}{9}} $$ $$ z_3=e^{i\frac{6\pi}{9}} $$ $$ z_4=e^{i\frac{8\pi}{9}} $$ $$ z_5=e^{i\frac{10\pi}{9}} $$ $$ z_6=e^{i\frac{12\pi}{9}} $$ $$ z_7=e^{i\frac{14\pi}{9}} $$ $$ z_8=e^{i\frac{16\pi}{9}} $$