ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Pour aller plus loin

Exercice 33

Démonstration

En utilisant éventuellement le fait que pp divise (pk)\binom{p}{k} pour 1⩽k⩽p−11\leqslant k\leqslant p-1 (démonstration du petit théorème de Fermat), montrer que, si pp est un nombre premier et k∈{0,…,p−1}k\in\{0,\dots,p-1\}, (p−1k)≡(−1)k  [p]\binom{p-1}{k}\equiv(-1)^{k}\;[p].

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

Corrigé

On raisonne par récurrence sur k∈{0,…,p−1}k\in\{0,\dots,p-1\}. Pour k=0k=0, (p−10)=1=(−1)0\binom{p-1}{0}=1=(-1)^{0}. Si la propriété est vraie au rang k−1k-1, avec 1⩽k⩽p−11\leqslant k\leqslant p-1, la formule de Pascal donne (pk)=(p−1k)+(p−1k−1)\binom{p}{k}=\binom{p-1}{k}+\binom{p-1}{k-1}. Or pp divise (pk)\binom{p}{k} (c'est le point clé de la démonstration du petit théorème de Fermat dans le cours), donc : (p−1k)≡−(p−1k−1)≡−(−1)k−1=(−1)k  [p].\binom{p-1}{k}\equiv -\binom{p-1}{k-1}\equiv -(-1)^{k-1}=(-1)^{k}\;[p]. Par récurrence, (p−1k)≡(−1)k  [p]\boxed{\binom{p-1}{k}\equiv(-1)^{k}\;[p]}. Vérification : pour p=7p=7, la ligne (6k)\binom{6}{k} vaut 11, 66, 1515, 2020, 1515, 66, 11, congrue à 11, −1-1, 11, −1-1, 11, −1-1, 11 modulo 77.

Ouvrir dans l'atlas interactif →