ATLAS Ouvrir dans l'atlas →

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

Exercice 33

Démonstration

Montrer que, pour tout nombre premier p⩾5p\geqslant 5, 2424 divise p2−1p^{2}-1.

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

Corrigé

Soit p⩾5p\geqslant 5 un nombre premier. Il est impair : p=2a+1p=2a+1 avec a⩾2a\geqslant 2. On a : p2−1=(p−1)(p+1)=2a(2a+2)=4a(a+1).p^{2}-1=(p-1)(p+1)=2a(2a+2)=4a(a+1). L'un des deux entiers consécutifs aa et a+1a+1 est pair, donc 88 divise p2−1p^{2}-1 : il existe b∈ℕb\in\mathbb{N} tel que p2−1=8bp^{2}-1=8b.

Par ailleurs, en écrivant p=3q+rp=3q+r avec r∈{0 ;1 ;2}r\in\{0\,;1\,;2\}, on a r≠0r\neq 0 car pp est premier et différent de 33. Si r=1r=1, 33 divise p−1p-1 ; si r=2r=2, alors p+1=3(q+1)p+1=3(q+1). Dans les deux cas, 33 divise (p−1)(p+1)=8b(p-1)(p+1)=8b. Comme 33 est premier et ne divise pas 88, le lemme d'Euclide donne que 33 divise bb : b=3cb=3c, d'où p2−1=24cp^{2}-1=24c. Ainsi 24 divise p2−1\boxed{24 \text{ divise } p^{2}-1}.

Vérification : 52−1=245^{2}-1=24, 72−1=487^{2}-1=48, 112−1=120=24×511^{2}-1=120=24\times 5. Ce résultat renforce celui de l'exercice 17, puisque p2+11=(p2−1)+12p^{2}+11=(p^{2}-1)+12.

Dans l'édifice

Thèmes

divisibilité, nombres premiers

Notions

nombre premier

Ouvrir dans l'atlas interactif →