ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Fonctions polynomiales et racines

Exercice 17

DémonstrationCalcul

Soit Q∈ℝ[X]Q \in \mathbb{R}[X] et P=X3Q+X2+X+1P = X^{3}Q + X^{2} + X + 1. On note ξ1,…,ξn\xi_{1}, \dots, \xi_{n} les racines complexes de PP, comptées avec leur multiplicité.

1. Montrer que 00 n'est pas racine de PP.

2. Calculer Σ1=∑k=1n1ξk\Sigma_{1} = \sum_{k = 1}^{n} \frac{1}{\xi_{k}} et Σ2=∑1⩽k<l⩽n1ξkξl\Sigma_{2} = \sum_{1 \leqslant k < l \leqslant n} \frac{1}{\xi_{k}\xi_{l}}. On pourra considérer le polynôme XnP(1X)X^{n}P\big(\frac{1}{X}\big).

3. Calculer ∑k=1n1ξk2\sum_{k = 1}^{n} \frac{1}{\xi_{k}^{2}}, et en déduire que PP n'est pas scindé sur ℝ\mathbb{R}.

Corrigé

1. P(0)=1≠0P(0) = 1 \neq 0.

2. On écrit P=anXn+⋯+a3X3+X2+X+1P = a_{n}X^{n} + \cdots + a_{3}X^{3} + X^{2} + X + 1. Le polynôme P~=XnP(1X)=Xn+Xn−1+Xn−2+a3Xn−3+⋯+an\widetilde{P} = X^{n}P\Big(\frac{1}{X}\Big) = X^{n} + X^{n - 1} + X^{n - 2} + a_{3}X^{n - 3} + \cdots + a_{n} a pour racines les 1ξk\frac{1}{\xi_{k}}, avec les mêmes multiplicités, puisque P~(z)=znP(1z)\widetilde{P}(z) = z^{n}P\big(\frac{1}{z}\big) pour z≠0z \neq 0 et que P~(0)=an≠0\widetilde{P}(0) = a_{n} \neq 0. Les relations du théorème 4 appliquées à P~\widetilde{P}, unitaire, donnent : Σ1=−1etΣ2=1\boxed{\Sigma_{1} = -1 \qquad\text{et}\qquad \Sigma_{2} = 1}

3. ∑1ξk2=Σ12−2Σ2=−1\sum \frac{1}{\xi_{k}^{2}} = \Sigma_{1}^{2} - 2\Sigma_{2} = \boxed{-1}. Si PP était scindé sur ℝ\mathbb{R}, les ξk\xi_{k} seraient réels et cette somme de carrés de réels serait positive. P n’est pas scindeˊ sur ℝ\boxed{P \text{ n'est pas scindé sur } \mathbb{R}} À retenir. Le polynôme réciproque XnP(1X)X^{n}P\big(\frac{1}{X}\big) échange le rôle des coefficients extrêmes : c'est l'outil naturel pour les sommes d'inverses de racines.

Ouvrir dans l'atlas interactif →