ATLAS Ouvrir dans l'atlas →

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

Exercice 18

DémonstrationCalcul

Déterminer tous les polynômes P∈ℂ[X]P \in \mathbb{C}[X] tels que P(X2)=P(X) P(X+1)P(X^{2}) = P(X)\,P(X + 1). On examinera le coefficient dominant, puis on démontrera que si λ\lambda est une racine de PP, alors λ2\lambda^{2} et (λ−1)2(\lambda - 1)^{2} en sont aussi, et que ∣λ∣|\lambda| vaut 00 ou 11.

Corrigé

Le polynôme nul convient. Sinon, soit aa le coefficient dominant et nn le degré de PP. Le coefficient de X2nX^{2n} donne a=a2a = a^{2}, donc a=1a = 1.

Racines. Si λ\lambda est racine, l'évaluation en λ\lambda donne P(λ2)=0P(\lambda^{2}) = 0, et l'évaluation en λ−1\lambda - 1 donne P((λ−1)2)=P(λ−1)P(λ)=0P\big((\lambda - 1)^{2}\big) = P(\lambda - 1)P(\lambda) = 0. Par récurrence, tous les λ2k\lambda^{2^{k}} sont racines ; comme PP n'a qu'un nombre fini de racines, ils ne peuvent être deux à deux distincts, ce qui impose ∣λ∣∈{0,1}|\lambda| \in \{0, 1\}, puisque sinon les modules ∣λ∣2k|\lambda|^{2^{k}} seraient strictement monotones. De même, la racine (λ−1)2(\lambda - 1)^{2} impose ∣λ−1∣2∈{0,1}|\lambda - 1|^{2} \in \{0, 1\}.

Conclusion sur les racines. Si λ∉{0,1}\lambda \notin \{0, 1\}, on aurait ∣λ∣=∣λ−1∣=1|\lambda| = |\lambda - 1| = 1, donc λ=e±iπ/3\lambda = \mathrm{e}^{\pm \mathrm{i}\pi/3}. Mais alors λ2=e±2iπ/3\lambda^{2} = \mathrm{e}^{\pm 2\mathrm{i}\pi/3} serait racine, avec ∣λ2−1∣=3∉{0,1}|\lambda^{2} - 1| = \sqrt{3} \notin \{0, 1\} : contradiction. Les seules racines possibles sont 00 et 11, et P=Xa(X−1)bP = X^{a}(X - 1)^{b} avec a,b∈ℕa, b \in \mathbb{N}.

Exposants. On a P(X2)=X2a(X−1)b(X+1)bP(X^{2}) = X^{2a}(X - 1)^{b}(X + 1)^{b} et P(X)P(X+1)=Xa+b(X−1)b(X+1)aP(X)P(X + 1) = X^{a + b}(X - 1)^{b}(X + 1)^{a}. L'unicité de la décomposition (théorème 10) donne 2a=a+b2a = a + b et b=ab = a. P=0ouP=(X2−X)n, n∈ℕ\boxed{P = 0 \quad\text{ou}\quad P = (X^{2} - X)^{n}, \ n \in \mathbb{N}} Vérification : (X4−X2)n=X2n(X2−1)n=(X2−X)n((X+1)2−(X+1))n(X^{4} - X^{2})^{n} = X^{2n}(X^{2} - 1)^{n} = (X^{2} - X)^{n}\big((X + 1)^{2} - (X + 1)\big)^{n}. ✓

Ouvrir dans l'atlas interactif →