ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Congruences

Exercice 44

Démonstration

À l'aide du petit théorème de Fermat, montrer que, pour tout n∈ℕn \in \mathbb{N}, n5−n≡0  [30]n^{5} - n \equiv 0 \;[30] et n7−n≡0  [42]n^{7} - n \equiv 0 \;[42].

Corrigé

Pour pp premier, le petit théorème de Fermat donne np≡n  [p]n^{p} \equiv n \;[p], et donc, en multipliant par une puissance de nn, nk(p−1)+1≡n  [p]n^{k(p - 1) + 1} \equiv n \;[p] pour tout k∈ℕk \in \mathbb{N}.

• Pour n5n^{5} : 5=4×1+1=2×2+1=1×4+15 = 4 \times 1 + 1 = 2 \times 2 + 1 = 1 \times 4 + 1, donc n5≡nn^{5} \equiv n modulo 22, 33 et 55.

• Pour n7n^{7} : 7=6×1+1=3×2+1=1×6+17 = 6 \times 1 + 1 = 3 \times 2 + 1 = 1 \times 6 + 1, donc n7≡nn^{7} \equiv n modulo 22, 33 et 77.

Les nombres 22, 33, 55, et de même 22, 33, 77, sont premiers entre eux deux à deux ; on applique deux fois la proposition 7 (i). 30∣n5−net42∣n7−n\boxed{30 \mid n^{5} - n \qquad \text{et} \qquad 42 \mid n^{7} - n}

Dans l'édifice

Thèmes

congruences, petit théorème de fermat

Notions

congruence modulo n

Ouvrir dans l'atlas interactif →