ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Petit théorème de Fermat

Exercice 17

DémonstrationCalcul

À l'aide du petit théorème de Fermat :

1. déterminer le reste de la division euclidienne de 31003^{100} par 1313 ;

2. déterminer le reste de la division euclidienne de 220262^{2026} par 1717 ;

3. montrer que 270+3702^{70}+3^{70} est divisible par 1313.

Corrigé

1. 1313 est premier et ne divise pas 33, donc 312≡1  [13]3^{12}\equiv 1\;[13]. Comme 100=12×8+4100=12\times 8+4 : 3100=(312)8×34≡81=6×13+3≡3  [13].3^{100}=\left(3^{12}\right)^{8}\times 3^{4}\equiv 81=6\times 13+3\equiv 3\;[13]. Le reste est 3\boxed{3}.

2. 1717 est premier et ne divise pas 22, donc 216≡1  [17]2^{16}\equiv 1\;[17]. Comme 2026=16×126+102026=16\times 126+10, 22026≡210=1024=17×60+4  [17]2^{2026}\equiv 2^{10}=1024=17\times 60+4\;[17]. Le reste est 4\boxed{4}.

3. On a 212≡1  [13]2^{12}\equiv 1\;[13], donc 270=260×210≡210=1024=13×78+10≡10  [13]2^{70}=2^{60}\times 2^{10}\equiv 2^{10}=1024=13\times 78+10\equiv 10\;[13]. Pour 33, il est plus rapide de remarquer que 33=27≡1  [13]3^{3}=27\equiv 1\;[13], donc 370=(33)23×3≡3  [13]3^{70}=\left(3^{3}\right)^{23}\times 3\equiv 3\;[13]. Ainsi 270+370≡10+3=13≡0  [13]2^{70}+3^{70}\equiv 10+3=13\equiv 0\;[13] : 13 divise 270+370\boxed{13 \text{ divise } 2^{70}+3^{70}}.

Le petit théorème de Fermat fournit un exposant qui convient toujours, p−1p-1, mais pas forcément le plus petit, comme le montre le cas de 33 modulo 1313.

Dans l'édifice

Thèmes

division euclidienne, divisibilité, petit théorème de fermat

Notions

division euclidienne, nombre premier

Ouvrir dans l'atlas interactif →