Soit à déterminer, sans rechercher ses racines, une factorisation sans facteur carré dans $\R[X]$ du polynôme réel défini par :
P(X) = X^5-2 X^4-X^3+5 X^2-4 X+1.
Pour rappel, une factorisation sans carré d’un polynôme est une factorisation en puissances de facteurs sans carré.
Le polynôme $P$ étant unitaire, il existe un 5-uplet $(B_1,B_2,B_3,B_4,B_5)\in(\R[X])^5$ de polynômes réels unitaires et sans facteur carré, deux à deux premiers entre eux, tels que :
P(X)= B_1(X)B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5.
Il sera ainsi possible de déterminer les multiplicités de chaque racine de $P.$
Il est important de noter que, pour tout $i\in\llbracket 1, 5\rrbracket$ le polynôme $B_i$, même factorisé dans $\C[X]$, n’admet que des racines simples, puisqu’il est sans facteur carré.
Note n°1. Cette écriture s’obtient en décomposant $P$ comme produit de polynômes unitaires irréductibles dans $\R[X]$, puis en regroupant les facteurs identiques avec des puissances, et enfin en regroupant ensemble les polynômes ayant la même multiplicité.
Note n°2. Pour tout entier $i$ compris entre $1$ et $5$, le polynôme $B_i$ n’est divisible par aucun carré de polynôme non constant.
Note n°3. Dans la décomposition du polynôme $P$ sans facteur carré, il est possible qu’il existe un ou plusieurs entiers $i$ compris entre $1$ et $5$, tels que $B_i = 1.$
Note n°4. Il y a en fait unicité de la décomposition de $P$ comme produit de facteurs unitaires sans carré.
Afin de mener à bien une façon de calculer, pour tout entier $i$ compris entre $1$ et $5$, les polynômes $B_i$, le lemme suivant sera très utile. L’unicité sera même une conséquence de ce lemme.
Lemme : du polynôme $P$ au PGCD de $P$ et de $P’$
Cette section est un aparté.
Soit $P$ un polynôme réel non constant et unitaire, admettant la décomposition suivante comme produit de facteurs réels unitaires sans carré :
P(X)= B_1(X)B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5.
Vous dérivez ce produit, ce qui fournit :
\begin{align*} P'(X) &= B_1^\prime(X) B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5 \\ &\quad +2B_1(X)B_2(X)B_2^\prime(X)B_3(X)^3B_4(X)^4B_5(X)^5\\ &\quad +3B_1(X)B_2(X)^2B_3(X)^2B_3^\prime(X) B_4(X)^4B_5(X)^5\\ &\quad +4B_1(X)B_2(X)^2B_3(X)^3 B_4(X)^3B_4^\prime(X) B_5(X)^5\\ &\quad +5B_1(X)B_2(X)^2B_3(X)^3 B_4(X)^4 B_5(X)^4B_5^\prime(X). \end{align*}
Vous constatez que les cinq termes du membre de droite sont factorisables par $B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4.$ En effet :
\begin{align*} P'(X) &= B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4 \left[ B_1^\prime(X) B_2(X)B_3(X)B_4(X)B_5(X) \right.\\ &\quad +2B_1(X)B_2^\prime(X)B_3(X)B_4(X)B_5(X)\\ &\quad +3B_1(X)B_2(X)B_3^\prime(X) B_4(X)B_5(X)\\ &\quad +4B_1(X)B_2(X)B_3(X)B_4^\prime(X) B_5(X)\\ &\quad +5B_1(X)B_2(X)B_3(X) B_4(X) B_5^\prime(X)\left]\right.. \end{align*}
Vous notez par $S$ le polynôme qui intervient dans le dernier facteur, soit :
\begin{align*} S(X) &= B_1^\prime(X) B_2(X)B_3(X)B_4(X)B_5(X) \\ &\quad +2B_1(X)B_2^\prime(X)B_3(X)B_4(X)B_5(X)\\ &\quad +3B_1(X)B_2(X)B_3^\prime(X) B_4(X)B_5(X)\\ &\quad +4B_1(X)B_2(X)B_3(X)B_4^\prime(X) B_5(X)\\ &\quad +5B_1(X)B_2(X)B_3(X) B_4(X) B_5^\prime(X). \end{align*}
Ainsi :
\begin{align*} P'(X) &= B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4 S(X). \end{align*}
Vous notez alors que le polynôme :
B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4
divise à la fois $P$ et $P’$ donc il divise $\mathrm{PGCD}(P,P’)$ :
B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4 \mid \mathrm{PGCD}(P,P').
Vous souhaitez montrer que $\mathrm{PGCD}(P,P’)=B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4.$ D’après ce qui a été établi, il existe un polynôme $T\in\R[X]$ tel que :
\mathrm{PGCD}(P,P') = T(X) \times B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4 .
Raisonnez maintenant par l’absurde et supposez que le polynôme $T$ n’est pas constant.
Notez alors $U$ un facteur irréductible dans $\R[X]$ du polynôme $T.$
D’une part :
U(X) \mid T(X) \mid \mathrm{PGCD}(P,P') \mid P(X).
Vous déduisez :
U(X) \mid B_1(X)B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5.
$U$ étant irréductible et divisant un produit, il divise l’un des facteurs de ce produit par le lemme d’Euclide, donc il existe un entier $i$ appartenant à l’intervalle $\llbracket 1, 5\rrbracket$ tel que :
U(X) \mid B_i(X).
D’autre part :
\mathrm{PGCD}(P,P') \mid P'(X).
Cela s’écrit ainsi :
T(X) \times B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4 \mid S(X) \times B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4.
L’anneau $\R[X]$ étant intègre, il vient :
T(X) \mid S(X).
Du coup :
\begin{align*} T(X) &\mid \sum_{j=1}^5 j B_j^\prime(X) \prod_{\substack{1\leq k\leq 5\\k\neq j}}B_k(X). \end{align*}
Comme $T(X)$ divise $B_i(X)$, il vient :
T(X) | iB_i^\prime(X) \prod_{\substack{1\leq k\leq 5\\k\neq i}}B_k(X).
Par suite :
T(X) | B_i^\prime(X) \prod_{\substack{1\leq k\leq 5\\k\neq i}}B_k(X).
Notez que s’il existait $k\in\llbracket 1,5\rrbracket \setminus\{i\}$ tel que $T(X)\mid B_k(X)$, alors vous auriez $T(X)\mid \mathrm{PGCD}(B_i,B_k).$ Les polynômes $B_i$ et $B_k$ sont premiers entre eux, cela entraînerait $T(X) \mid 1$ et $T$ serait constant, ce qui est exclu.
Appliquant le lemme d’Euclide, vous constatez alors que nécessairement :
T(X)\mid B_i^\prime(X).
Or, vous avez déjà :
T(X)\mid B_i(X).
Il existe un polynôme $C_i\in\R[X]$ tel que $B_i(X) = T(X)C_i(X).$ En dérivant :
B_i^\prime(X) = T'(X)C_i(X)+T(X)C_i^\prime(X).
Du coup :
T(X) \mid T'(X)C_i(X).
Notez que $T(X) \mid T'(X)$ implique que le degré de $T$ soit inférieur ou égal au degré de $T’.$ Or le degré de $T’$ est égal au degré de $T$ diminué de $1$, ce qui est contradictoire.
Du coup, le lemme d’Euclide fournit :
T(X)\mid C_i(X).
Puis :
T(X)^2 \mid T(X) C_i(X)
Donc :
T(X)^2 \mid B_i(X).
Le polynôme $B_i$ possède un facteur carré non constant, ce qui est absurde. Donc le polynôme $T$ est constant. Par identification du coefficient dominant de l’égalité $\mathrm{PGCD}(P,P’) = T(X) \times B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4$ il vient $T(X)=1$, comme annoncé.
En définitive il a été démontré que, pour tout polynôme réel $P$ unitaire et non constant, si :
\boxed{P(X)= B_1(X)B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5}
est une décomposition de $P$ en produit de facteurs réels, unitaires et sans carré, alors :
\boxed{\mathrm{PGCD}(P,P') = B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4.}
Etape 1 : supprimez toutes les multiplicités et calculez le produit $B_1(X)B_2(X)B_3(X)B_4(X)B_5(X)$
Pour revenir au problème initial de cet article, il est rappelé que :
P(X)X^5-2 X^4-X^3+5 X^2-4 X+1.
Vous notez $Q_0 = P.$ D’après ce qui a été précisé ci-dessus :
Q_0(X) = P(X)= B_1(X)B_2(X)^2B_3(X)^3B_4(X)^4B_5(X)^5.
Vous posez $Q_1 = \mathrm{PGCD}(Q_0,Q_{0}^{\prime})$, ce qui fournit :
Q_1(X) = \mathrm{PGCD}(Q_0,Q_0') = X^2-2 X+1.
Or :
Q_1(X) = B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4
Vous posez $R_0 =\frac{Q_0}{Q_1}.$ Par division euclidienne, vous trouvez :
\begin{align*} R_0(X) &=\frac{Q_0(X)}{Q_1(X)}\\ &= B_1(X)B_2(X)B_3(X)B_4(X)B_5(X)\\ &=\frac{X^5-2 X^4-X^3+5 X^2-4 X+1}{X^2-2 X+1}. \end{align*}
Soit, après calcul de la division euclidienne :
\boxed{R_0(X) = B_1(X)B_2(X)B_3(X)B_4(X)B_5(X) = X^3-2 X+1.}
Etape 2 : partez du polynôme $Q_1$ et calculez le produit $B_2(X)B_3(X)B_4(X)B_5(X)$
Vous avez :
Q_1(X) = X^2-2 X+1 = B_2(X)B_3(X)^2B_4(X)^3B_5(X)^4
Vous posez $Q_2 = \mathrm{PGCD}(Q_1,Q_1^{\prime})$, ce qui fournit :
Q_2(X) = \mathrm{PGCD}(Q_1,Q_1') = X-1.
Or :
Q_2(X) = B_3(X)B_4(X)^2B_5(X)^3
Vous posez $R_1 =\frac{Q_1}{Q_2}.$ Par division euclidienne, vous trouvez :
\begin{align*} R_1(X) &=\frac{Q_1(X)}{Q_2(X)}\\ &= B_2(X)B_3(X)B_4(X)B_5(X)\\ &=\frac{X^2-2 X+1}{X-1}\\ &=X-1. \end{align*}
Soit :
\boxed{R_1(X) = B_2(X)B_3(X)B_4(X)B_5(X) = X-1.}
Etape 3 : partez du polynôme $Q_2$ et calculez le produit $B_3(X)B_4(X)B_5(X)$
Vous avez :
Q_2(X) = X-1 = B_3(X)B_4(X)^2B_5(X)^3.
Vous posez $Q_3 = \mathrm{PGCD}(Q_2,Q_2^{\prime})$, ce qui fournit :
Q_3(X) = \mathrm{PGCD}(Q_2,Q_2') = 1.
Or :
Q_3(X) = B_4(X)B_5(X)^2.
Vous posez $R_2 =\frac{Q_2}{Q_3}.$ Par division euclidienne, vous trouvez :
\begin{align*} R_2(X) &=\frac{Q_2(X)}{Q_3(X)}\\ &= B_3(X)B_4(X)B_5(X)\\ &=\frac{X-1}{1}\\ &=X-1. \end{align*}
Soit :
\boxed{R_2(X) = B_3(X)B_4(X)B_5(X) = X-1.}
Etape 4 : déterminez la décomposition de $P$
Comme $Q_3(X) = B_4(X)B_5(X)^2 = 1$ vous déduisez immédiatement pour une question de degré que les polynômes $B_4$ et $B_5$ sont constants. Etant unitaires, vous en tirez que :
\boxed{B_4(X) = B_5(X) = 1.}
Comme $R_2(X) = X-1 = B_3(X)B_4(X)B_5(X)$ vous déduisez que :
\boxed{B_3(X) = X-1.}
Comme $R_1(X) = X-1 = B_2(X)B_3(X)B_4(X)B_5(X)$ vous déduisez que :
\boxed{B_2(X) = 1.}
Comme $ R_0(X) =B_1(X)B_2(X)B_3(X)B_4(X)B_5(X) =X^3-2 X+1$ vous déduisez :
\begin{align*} B_1(X) &= \frac{R_0(X)}{ R_1(X)}\\ &= \frac{X^3-2 X+1}{X-1}. \end{align*}
En calculant le quotient de la division euclidienne obtenue, il vient :
\boxed{B_1(X) = X^2+X-1.}
Concluez
Vous avez obtenu une factorisation de $P(X)=X^5-2 X^4-X^3+5 X^2-4 X+1$ en trouvant toutes les multiplicités, comme indiqué. Il vient :
\boxed{P(X) = (X^2+X-1)(X-1)^3.}
Le réel $1$ est racine triple du polynôme $P$, et les deux racines réelles $\alpha$ et $\beta$ du polynôme $X^2+X-1$ sont racines simples de $P.$
Note. L’algorithme utilisé montre que, pour tout entier $i$ compris entre $1$ et $5$, les polynômes $B_i$ sont uniques.
Partagez!
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook!
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles!
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira!