Exercice 06-04
Décomposer le polynôme \(z^{6}+1\)
- en produit de facteurs irréductibles complexes,
- en produit de facteurs irréductibles réels.
On sait par le
Théorème Fondamental de l'Algèbre
que \(P(z)=z^6+1\) peut se factoriser en un produit de facteurs \((z-z_k)\)
(éventuellement répétés en cas de multiplicité \(\gt 1\)), où les \(z_k\) sont
des racines de \(P\).
On a ensuite vu que dans le cas de polynômes à coefficients réels (ce qui est le
cas ici), les paires de racines conjuguées
menaient à des facteurs de degré \(2\), à coefficients réels et
irrédictibles, ce qui avec les autres racines réelles
donnait une factorisation complète du polynôme.
On a vu
ici
comment implémenter ce programme pour \(P(z)=z^4+1\).
Pour factoriser \(P(z)=z^6+1\), on trouve d'abord toutes ses racines.
Donc on commence par
écrire
\[z^6=-1=e^{i\pi}\,.\]
Les racines complexes sont donc
\[
z_{k+1}=e^{i(\frac{\pi}{6}+k\frac{\pi}{3})}, \quad k\in \{0,1,2,3,4,5\}\,.
\]
On a donc les racines sixièmes de \(-1\):
\[\begin{aligned}
z_{1}&=e^{\mathsf{i}\frac{\pi}{6}}=\tfrac{\sqrt{3}}{2}+\mathsf{i}\tfrac{1}{2}\,\quad
z_{2}=e^{\mathsf{i}(\frac{\pi}{6}+\frac{\pi}{3})}=\mathsf{i}\,,\\
z_{3}&=e^{\mathsf{i}(\frac{\pi}{6}+\frac{2\pi}{3})}=-\tfrac{\sqrt{3}}{2}+\mathsf{i}\tfrac{1}{2}\,,\quad
z_{4}=e^{\mathsf{i}(\frac{\pi}{6}+\pi)}=-\tfrac{\sqrt{3}}{2}-\mathsf{i}\tfrac{1}{2}\,,\\
z_{5}&=e^{\mathsf{i}(\frac{\pi}{6}+\frac{4\pi}{3})}=-\mathsf{i}\,,\quad
z_{6}=e^{\mathsf{i}(\frac{\pi}{6}+\frac{5\pi}{3})}=\tfrac{\sqrt{3}}{2}-\mathsf{i}\tfrac{1}{2}\,.
\end{aligned}\]
Ainsi, la factorisation en facteurs irréductibles complexes est donnée par
\[\begin{aligned}
&z^{6}+1 =\prod_{k=1}^6(z-z_k)=\\
& (z-\tfrac{\sqrt{3}}{2}-i\tfrac{1}{2}) (z-i)
\bigl(z+\tfrac{\sqrt{3}}{2}-i\tfrac{1}{2}\bigr)
\bigl(z+\tfrac{\sqrt{3}}{2}+i\tfrac{1}{2}\bigr) (z+i)
\bigl(z-\tfrac{\sqrt{3}}{2}+i\tfrac{1}{2}\bigr)\,.
\end{aligned}\]
Puisque l'équation est à coefficients réels, ses racines complexes sont deux à
deux conjuguées. Ici, les paires conjuguées sont
\(z_1=\overline{z_6}\), \(z_2=\overline{z_5}\) et
\(z_3=\overline{z_4}\). Rappelons maintenant que pour toute paire conjuguée
\(c,\overline{c}\), on a
\[
(z-c)(z-\bar{c})=z^{2}-(c+\bar{c})z+c\,\bar{c}=z^{2}-2\operatorname{Re}(c)z+\vert
c\vert ^{2}\,.
\]
On obtient donc la factorisation en polynômes irréductibles réels:
\[
z^{6}+1=(z^{2}-\sqrt{3}z+1)(z^{2}+1)(z^{2}+\sqrt{3}z+1)\,.
\]