ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Arithmétique dans 𝕂[X]\mathbb{K}[X]

Exercice 30

Démonstration

Pour n∈ℕ∗n \in \mathbb{N}^{*}, on note Pn=Xn−1P_{n} = X^{n} - 1.

1. Soit n,m∈ℕ∗n, m \in \mathbb{N}^{*}. Montrer que Pn∧Pm=Pn∧mP_{n} \wedge P_{m} = P_{n \wedge m}. On pourra s'inspirer de l'exercice 56 de la feuille du chapitre 12.

2. En déduire que aa divise bb si et seulement si PaP_{a} divise PbP_{b}.

3. Soit p,q⩾2p, q \geqslant 2 premiers entre eux. Montrer que (Xp−1)(Xq−1)(X^{p} - 1)(X^{q} - 1) divise (X−1)(Xpq−1)(X - 1)(X^{pq} - 1).

Corrigé

1. Si n=qm+rn = qm + r, alors Xn−1=Xr(Xqm−1)+(Xr−1)X^{n} - 1 = X^{r}(X^{qm} - 1) + (X^{r} - 1), et Xm−1X^{m} - 1 divise Xqm−1X^{qm} - 1 : le reste de PnP_{n} par PmP_{m} est PrP_{r}. Comme à l'exercice 55 de la feuille 12, l'algorithme d'Euclide sur (Pn,Pm)(P_{n}, P_{m}) suit celui sur (n,m)(n, m), et s'arrête sur (Pd,P0)=(Pd,0)(P_{d}, P_{0}) = (P_{d}, 0) avec d=n∧md = n \wedge m. Pn∧Pm=Xn∧m−1\boxed{P_{n} \wedge P_{m} = X^{n \wedge m} - 1}

2. Si a∣ba \mid b, alors Pa∣PbP_{a} \mid P_{b}. Réciproquement, si Pa∣PbP_{a} \mid P_{b}, alors Pa=Pa∧Pb=Pa∧bP_{a} = P_{a} \wedge P_{b} = P_{a \wedge b}, donc a=a∧ba = a \wedge b par les degrés, et a∣ba \mid b.

3. Les racines de (Xp−1)(Xq−1)(X^{p} - 1)(X^{q} - 1) sont : 11, double ; les racines pp-ièmes et qq-ièmes de l'unité différentes de 11, simples, et distinctes entre elles puisque Pp∧Pq=X−1P_{p} \wedge P_{q} = X - 1. Ce sont des racines pqpq-ièmes de l'unité, donc des racines simples de Xpq−1X^{pq} - 1, et 11 est racine double de (X−1)(Xpq−1)(X - 1)(X^{pq} - 1). La proposition 16 (i) conclut. (Xp−1)(Xq−1)∣(X−1)(Xpq−1)\boxed{(X^{p} - 1)(X^{q} - 1) \mid (X - 1)(X^{pq} - 1)}

Dans l'édifice

Thèmes

arithmétique des polynômes, pgcd et bézout, racines de l'unité

Notions

PGCD

Ouvrir dans l'atlas interactif →