ATLAS Ouvrir dans l'atlas →

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

Exercice 8

Démonstration

Soit p⩾1p \geqslant 1 un entier.

1. Montrer que, pour tout k∈ℕk \in \mathbb{N}, le reste de la division euclidienne de XkX^{k} par Xp−1X^{p} - 1 est XrX^{r}, où rr est le reste de la division euclidienne de kk par pp.

2. En déduire le reste de la division d'un polynôme P=∑akXkP = \sum a_{k}X^{k} par Xp−1X^{p} - 1, puis celui de X2026+X13+1X^{2026} + X^{13} + 1 par X5−1X^{5} - 1.

Corrigé

1. On écrit k=qp+rk = qp + r avec 0⩽r<p0 \leqslant r < p. Alors Xk=Xr(Xqp−1)+XrX^{k} = X^{r}(X^{qp} - 1) + X^{r}. D'après la formule aq−1=(a−1)(aq−1+⋯+1)a^{q} - 1 = (a - 1)(a^{q - 1} + \cdots + 1) appliquée à a=Xpa = X^{p}, le polynôme Xp−1X^{p} - 1 divise Xqp−1X^{qp} - 1, et deg⁡Xr=r<p\deg X^{r} = r < p : par unicité, le reste est XrX^{r}.

2. Par linéarité de la division, le reste de PP est ∑kakXrk\sum_{k} a_{k}X^{r_{k}}, où rkr_{k} est le reste de kk modulo pp : on réduit chaque exposant modulo pp. Ce polynôme est de degré au plus p−1p - 1, et l'unicité conclut. Comme 2026≡12026 \equiv 1 et 13≡3  [5]13 \equiv 3 \;[5] : X2026+X13+1 a pour reste X3+X+1 modulo X5−1\boxed{X^{2026} + X^{13} + 1 \text{ a pour reste } X^{3} + X + 1 \text{ modulo } X^{5} - 1} À retenir. Modulo Xp−1X^{p} - 1, on calcule avec Xp=1X^{p} = 1, exactement comme modulo pp on calcule avec des restes au chapitre 12.

Dans l'édifice

Thèmes

division euclidienne, sommes

Notions

division euclidienne

Ouvrir dans l'atlas interactif →