Polynômes et racines n-ièmes de l'unité

Signaler

Nous allons donner des propriétés des racines de polynômes de degré nn, puis déterminer les solutions du polynôme P(z)=zn1P(z) = z^n-1, qui sont les racines n-ièmes de l’unité.

I. Racines de polynômes de degré n

On appelle polynôme de degré n1n \ge 1 à coefficients réels une fonction PP définie sur C\mathbb{C} (et à valeurs dans C\mathbb{C}) par :

P(z)=anzn+an1zn1++a1z+a0P(z)=a_nz^n+a_{n-1}z^{n-1}+\dots +a_1z+a_0 et (an , an1 ,, a1 , a0)Rn+1(a_n~,~a_{n-1}~,\dots ,~a_1~,~a_0) \in \mathbb{R} ^{n+1}.

Propriétés :

Soient aCa \in \mathbb{C} et PP un polynôme de degré nn :

  • PP est la fonction nulle si et seulement si tous ses coefficients sont nuls ;

  • Le polynôme znanz^n-a^n peut être factorisé par zaz-a ;

  • Si P(a)=0P(a)=0, le polynôme PP peut être factorisé par zaz-a ;

  • PP, qui est un polynôme de degré nn, admet au plus nn racines.

II. Racines n -ièmes de l’unité

Soit nNn \in \mathbb{N} tel que n2n \ge 2.

Une racine n-ième de l’unité est un nombre complexe vérifiant zn=1z^n=1.

L’ensemble Un={zC tel que zn=1}U_n=\left \{z \in \mathbb{C}~\text{tel que}~z^n=1\right \} des racines n-ièmes de l’unité est :

Un={e2ikπn avec k{0 ; 1 ; 2 ;; n1}}U_n=\left \{\text e^{\frac{2ik\pi}{n}}~\text{avec}~k \in \{0~;~1~;~2~;\dots;~n-1\}\right \}

Un={1 ; e2iπn ; e4iπn ;; e2(n1)iπn}\Leftrightarrow U_n=\left \{1~;~e^{\frac{2i\pi}{n}}~;~e^{\frac{4i\pi}{n}}~;\dots;~e^{\frac{2(n-1)i\pi}{n}}\right \}

Leur module est 11 et un de leurs arguments est 2kπn\dfrac{2k\pi}{n}, donc leurs images sont les sommets d’un polygone régulier à nn côtés inscrit dans le cercle trigonométrique.

Exemples :

On a notamment :

U2={zC tel que z2=1}U_2=\{z \in \mathbb{C}~\text{tel que}~z^2=1\}

U2={1 ; 1}\Leftrightarrow U_2=\{1~;~-1\}

 

U3={zC tel que z3=1}U_3=\{z \in \mathbb{C}~\text{tel que}~z^3=1\}

U3={e2ikπ3 avec k(0 ; 1 ; 2)}U_3=\left \{e^{\frac{2ik\pi}{3}}~\text{avec}~k \in (0~;~1~;~2)\right \}

U3={1 ; e2iπ3=12+i32 ; e4iπ3=12i32}\Leftrightarrow U_3=\left \{1~;~e^{\frac{2i\pi}{3}}=-\dfrac{1}{2}+i\dfrac{\sqrt{3}}{2}~;~e^{\frac{4i\pi}{3}}=-\dfrac{1}{2}-i\dfrac{\sqrt{3}}{2}\right \}

 

U4={zC tel que z4=1}U_4=\{z \in \mathbb{C}~\text{tel que}~z^4=1\}

U4={e2ikπ4=eikπ2 avec k(0 ; 1 ; 2 ; 3)}U_4=\left \{e^{\frac{2ik\pi}{4}}=e^{\frac{ik\pi}{2}}~\text{avec}~k \in (0~;~1~;~2~;~3)\right \}

U4={1 ; 1 ; i ; i}\Leftrightarrow U_4=\{1~;~-1~;~i~;~-i\}

 

673b7ad2-079f-4a08-8be3-46116d81f949

 

Méthodes

1) Déterminer les racines d’un polynôme de degré 4

Pour tout zCz \in \mathbb{C}, on pose P(z)=z416z3+90z216z+89P(z)=z^4-16z^3+90z^2-16z+89.

a. Montrer que, pour tout zCz \in \mathbb{C}, P(z)=(z2+1)(z216z+89)P(z)=(z^2+1)(z^2-16z+89).

b. En déduire les quatre solutions de l’équation P(z)=0P(z)=0.

Conseils

a. Développez l’expression (z2+1)(z216z+89)(z^2+1)(z^2-16z+89), pour tout zCz \in \mathbb{C}.

b. Résolvez deux équations du second degré en remarquant notamment que z2+1=z2i2z^2+1=z^2-i^2.

Solution

a.

Pour tout zCz \in \mathbb{C},

(z2+1)(z216z+89)=z416z3+89z2+z216z+89(z^2+1)(z^2-16z+89)=z^4-16z^{3}+89z^2+z^2-16z+89

(z2+1)(z216z+89)=z416z3+90z216z+89(z^2+1)(z^2-16z+89)=z^4-16z^3+90z^2-16z+89

(z2+1)(z216z+89)=P(z)(z^2+1)(z^2-16z+89)=P(z)

b.

P(z)=0(z2+1)(z216z+89)=0P(z)=0 \Leftrightarrow (z^2+1)(z^2-16z+89)=0

z2+1=0 ou z216z+89=0\Leftrightarrow z^2+1=0~\text{ou}~z^2-16z+89=0

z2i2=(zi)(z+i)=0 ou z216z+89=0\Leftrightarrow z^2-i^2=(z-i)(z+i)=0~\text{ou}~z^2-16z+89=0

L’équation z216z+89=0z^2-16z+89=0 est une équation du second degré.

Δ=(16)24×1×89=256356=100=(10i)2\Delta=(-16)^2-4 \times 1 \times 89=256-356=-100=(10i)^2 car i2=1i^2=-1.

À noter

\Delta < 0 donc les solutions de l’équation du second degré sont des nombres complexes conjugués.

Finalement, les solutions de l’équation P(z)=0P(z)=0 sont S={i ; i ; 85i ; 8+5i}S=\left \{i~;~- i~;~8-5i~;~8+5i\right \}.

2) Déterminer les racines quatrièmes de l’unité

Montrer que U4={1 ; 1 ; i ; i}U_4=\{1~;~-1~;~i~;~-i\}.

Conseils

Factoriser l’expression z41z^4-1 à l’aide d’une identité remarquable.

Solution

U4={zC tel que z4=1}U_4=\{z \in \mathbb{C} ~ \text{tel que} ~ z^4=1\}

z4=1(z2)212=0z^4=1 \Leftrightarrow (z^2)^2-1^2=0

(z21)(z2+1)=0\Leftrightarrow (z^2-1)(z^2+1)=0

(z+1)(z1)(z2i2)=0 car i2=1\Leftrightarrow (z+1)(z-1)(z^2-i^2)=0~\text{car}~i^2=-1

(z+1)(z1)(zi)(z+i)=0\Leftrightarrow (z+1)(z-1)(z-i)(z+i)=0

z{1 ; 1 ; i ; i}z \in \{1~;~-1~;~ i~;~-i\}