ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Pour aller plus loin

Exercice 31

Démonstration

Soient mm et nn deux éléments de ℕ∗\mathbb{N}^{*}, a⩾2a\geqslant 2 un entier.

a) Montrer que, si mm divise nn, am−1a^{m}-1 divise an−1a^{n}-1.

b) On suppose que le reste de la division euclidienne de nn par mm est rr. Montrer que le reste de la division euclidienne de an−1a^{n}-1 par am−1a^{m}-1 est ar−1a^{r}-1. On écrira explicitement une identité mettant en évidence la division euclidienne.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 462

Corrigé

a) Si n=mkn=mk avec k∈ℕ∗k\in\mathbb{N}^{*}, alors an−1=(am)k−1ka^{n}-1=(a^{m})^{k}-1^{k}, qui est divisible par am−1a^{m}-1 d'après l'exercice 30 a). Ainsi am−1 divise an−1\boxed{a^{m}-1 \text{ divise } a^{n}-1}.

b) On écrit n=mq+rn=mq+r avec 0⩽r<m0\leqslant r<m. Alors : an−1=ar(amq−1)+(ar−1).a^{n}-1=a^{r}\left(a^{mq}-1\right)+\left(a^{r}-1\right). Si q⩾1q\geqslant 1, la question a) donne amq−1=(am−1)Qa^{mq}-1=(a^{m}-1)Q avec Q=1+am+⋯+am(q−1)Q=1+a^{m}+\dots+a^{m(q-1)} ; si q=0q=0, on pose Q=0Q=0. On obtient l'identité : an−1=(am−1)×arQ+(ar−1)\boxed{a^{n}-1=(a^{m}-1)\times a^{r}Q+\left(a^{r}-1\right)} Comme a⩾2a\geqslant 2 et 0⩽r<m0\leqslant r<m, on a 1⩽ar<am1\leqslant a^{r}<a^{m}, donc 0⩽ar−1<am−10\leqslant a^{r}-1<a^{m}-1. Par unicité de la division euclidienne, le quotient de an−1a^{n}-1 par am−1a^{m}-1 est arQa^{r}Q et le reste est ar−1\boxed{a^{r}-1}.

Vérification : pour a=2a=2, n=10n=10, m=3m=3, on a r=1r=1, et en effet 210−1=1023=7×146+12^{10}-1=1023=7\times 146+1. On en déduit que am−1a^{m}-1 divise an−1a^{n}-1 si et seulement si r=0r=0, c'est-à-dire si et seulement si mm divise nn.

Dans l'édifice

Thèmes

divisibilité, division euclidienne

Notions

division euclidienne

Ouvrir dans l'atlas interactif →