ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Divisibilité et division euclidienne

Exercice 9

Démonstration

1. Soit AA, BB, PP trois polynômes, avec PP non constant. Montrer que si A∘PA \circ P divise B∘PB \circ P, alors AA divise BB.

2. Soit P,Q∈𝕂[X]P, Q \in \mathbb{K}[X] et m∈ℕ∗m \in \mathbb{N}^{*}. Montrer que PP divise QQ si et seulement si P(Xm)P(X^{m}) divise Q(Xm)Q(X^{m}).

Corrigé

1. Soit B=AQ+RB = AQ + R la division euclidienne de BB par AA (si A=0A = 0, alors A∘P=0A \circ P = 0 divise B∘PB \circ P, donc B∘P=0B \circ P = 0 et B=0B = 0 par la proposition 4). En composant par PP : B∘P=(A∘P)(Q∘P)+R∘P.B \circ P = (A \circ P)(Q \circ P) + R \circ P. Comme A∘PA \circ P divise B∘PB \circ P, il divise R∘PR \circ P. Or, par la proposition 4, deg⁡(R∘P)=deg⁡R×deg⁡P<deg⁡A×deg⁡P=deg⁡(A∘P),\deg(R \circ P) = \deg R \times \deg P < \deg A \times \deg P = \deg(A \circ P), donc R∘P=0R \circ P = 0, puis R=0R = 0. A∣B\boxed{A \mid B}

2. Si Q=PSQ = PS, alors Q(Xm)=P(Xm)S(Xm)Q(X^{m}) = P(X^{m})S(X^{m}). La réciproque est la question 1 avec le polynôme non constant XmX^{m}.

Dans l'édifice

Thèmes

division euclidienne

Notions

division euclidienne

Ouvrir dans l'atlas interactif →