Généraliser les racines carrées : résoudre zⁿ=Z dans ℂ, découvrir que les n solutions forment toujours un polygone régulier — base de la transformée de Fourier discrète.
Le chapitre précédent a montré que tout complexe non nul admet exactement 2 racines carrées. On généralise ici : pour $n\ge2$ entier et $Z\in\mathbb C^*$, on cherche les complexes $z$ tels que $z^n=Z$.
On commence par le cas $Z=1$. Cherchons $z=re^{i\theta}$ tel que $z^n=1$. Par la formule du produit (chapitre « Forme trigonométrique »), $z^n=r^ne^{in\theta}$, donc :
$$r^ne^{in\theta} = 1 = 1\cdot e^{i0} \iff r^n=1 \text{ et } n\theta \equiv 0\ [2\pi]$$
Comme $r>0$, $r^n=1\Rightarrow r=1$. Et $n\theta=2k\pi\Rightarrow\theta=\dfrac{2k\pi}n$, pour $k\in\mathbb Z$. En ne gardant que les valeurs distinctes modulo $2\pi$ (soit $k=0,1,\dots,n-1$) :
L'équation $z^n=1$ admet exactement $n$ solutions distinctes, appelées racines $n$-ièmes de l'unité :
$$\omega_k = e^{i2k\pi/n}, \qquad k=0,1,\dots,n-1$$
Les 6 racines de $z^6=1$ forment un hexagone régulier inscrit dans le cercle unité, sommet $\omega_0=1$ compris — c'est le résultat général : les racines $n$-ièmes de l'unité sont toujours les sommets d'un polygone régulier à $n$ côtés inscrit dans le cercle unité.
Pour $Z=Re^{i\Theta}\neq0$ quelconque ($R=|Z|>0$), on cherche $z^n=Z$. Le même raisonnement donne $r=R^{1/n}$ (racine $n$-ième réelle positive de $R$) et $n\theta\equiv\Theta\ [2\pi]$ :
Les $n$ racines $n$-ièmes de $Z=Re^{i\Theta}$ sont :
$$z_k = R^{1/n}\,e^{i(\Theta+2k\pi)/n}, \qquad k=0,1,\dots,n-1$$
Géométriquement, ces $n$ racines sont les sommets d'un polygone régulier à $n$ côtés inscrit dans le cercle de centre $0$ et de rayon $R^{1/n}$ (et non de rayon 1, sauf si $R=1$).
$Z=8=8e^{i0}$. $R^{1/3}=8^{1/3}=2$. Les 3 racines sont $z_k=2e^{i2k\pi/3}$ pour $k=0,1,2$ :
$z_0=2e^{i0}=2$.
$z_1=2e^{i2\pi/3}=2\left(-\dfrac12+i\dfrac{\sqrt3}2\right)=-1+i\sqrt3\approx-1+1{,}732i$.
$z_2=2e^{i4\pi/3}=2\left(-\dfrac12-i\dfrac{\sqrt3}2\right)=-1-i\sqrt3\approx-1-1{,}732i$. On retrouve la racine réelle usuelle $z_0=2$, plus deux racines complexes conjuguées.
Si $z_0$ est une racine $n$-ième particulière de $Z$, alors toutes les racines $n$-ièmes de $Z$ s'obtiennent en multipliant $z_0$ par les racines $n$-ièmes de l'unité :
$$\{z : z^n=Z\} = \{z_0\,\omega_k : k=0,\dots,n-1\}$$
En effet, $(z_0\omega_k)^n = z_0^n\omega_k^n = Z\times1=Z$. C'est cette propriété qui explique pourquoi les $n$ racines forment toujours un polygone régulier : elles sont obtenues en faisant « tourner » une racine de référence $z_0$ par les rotations d'angle $2k\pi/n$.
// Racines n-ièmes de Z = R·e^(iΘ) R ← |Z| ; Θ ← arg(Z) pour k = 0 à n−1 faire z_k ← R^(1/n) · e^(i(Θ+2kπ)/n) fin pour
Donner les racines carrées de l'unité (solutions de $z^2=1$).
Donner les racines cubiques de l'unité (solutions de $z^3=1$) sous forme algébrique.
Donner les racines 4-ièmes de l'unité.
Montrer que pour $n\ge2$, la somme des $n$ racines $n$-ièmes de l'unité vaut $0$.
Résoudre $z^3=-1$.
Retrouver les racines carrées de $i$ via la formule des racines $n$-ièmes.
Résoudre $z^4=-16$.
Résoudre $z^3=27i$.
Calculer le produit des 4 racines 4-ièmes de l'unité, puis celui des 5 racines 5-ièmes.
La transformée de Fourier discrète (TFD, très utilisée en traitement du signal) repose sur les racines $n$-ièmes de l'unité $\omega_k=e^{-i2\pi k/n}$. Pourquoi ces racines particulières sont-elles un choix naturel pour analyser un signal périodique échantillonné sur $n$ points ?
Pour $Z$ réel positif, combien des $n$ racines $n$-ièmes de $Z$ sont réelles, selon la parité de $n$ ?
Résoudre $z^3=1+i$.
Deux racines $n$-ièmes de l'unité consécutives, $\omega_k$ et $\omega_{k+1}$, sont-elles également espacées quel que soit $k$ ? Justifier à l'aide du chapitre « Exponentielle et logarithme ».
Vrai ou faux : « les racines $n$-ièmes d'un complexe $Z\neq0$ ont toutes le même module ».
Vérifier que la somme des 3 racines cubiques de $8$ (calculées au cours §4) vaut $0$.
Une roue dentée possède $n=8$ dents régulièrement réparties sur un cercle de rayon $5$ cm. Modéliser les positions des dents à l'aide des racines 8-ièmes d'un complexe bien choisi.
Montrer que multiplier une racine $n$-ième $z_k$ par $\omega=e^{i2\pi/n}$ donne une autre racine $n$-ième de $Z$.
Résoudre $z^6=-64$.
Écrire $z^3-1$ comme produit de facteurs du premier degré dans $\mathbb C[z]$.
Résoudre $z^4=-8-8i\sqrt3$, en donnant le module et l'argument de chaque racine (forme exponentielle uniquement).
Exercice A — Résoudre $z^4=-1$ dans $\mathbb C$.
1. Écrire $-1$ sous forme exponentielle, puis donner les 4 racines sous forme exponentielle.
2. Donner ces 4 racines sous forme algébrique.
3. Vérifier que leur somme est nulle.
Exercice B — Question de cours
Démontrer que les $n$ racines $n$-ièmes de l'unité sont les sommets d'un polygone régulier à $n$ côtés inscrit dans le cercle unité.
Un système électrique triphasé équilibré est modélisé par trois tensions complexes de même amplitude $V_0=230\sqrt2\,$V, déphasées les unes des autres d'un tiers de tour :
$$V_k = V_0\,\omega^k, \qquad k=0,1,2, \qquad \omega=e^{i2\pi/3}$$
1. Reconnaître $\omega$ : de quelle racine particulière s'agit-il ?
2. Calculer $V_0,V_1,V_2$ sous forme algébrique (arrondir à 0,1 V près).
3. Calculer $V_0+V_1+V_2$. Que représente physiquement ce résultat pour un système triphasé « équilibré » ?
4. Un technicien mesure que la somme des trois tensions n'est pas nulle sur une installation réelle. Que peut-on en conclure sur l'équilibre du système ?