Théorème de Wolstenholme

Le théorème de Wolstenholme, démontré en 1862 par Joseph Wolstenholme, énonce que pour tout nombre premier p supérieur ou égal à 5,

{{2p-1} \choose {p-1}}\equiv 1{\pmod {p^{3}}}.

Par exemple pour p = 7 : le coefficient binomial $\scriptstyle {13 \choose 6}$ est égal à 1716 = 1 + 7³×5.

La congruence analogue modulo p² avait été démontrée en 1819 par Charles Babbage.

La preuve originelle de Wolstenholme n'utilise que des calculs algébriques élémentaires. Il démontre d'abord que le numérateur du (p – 1)-ième nombre harmonique

H_{p-1}=1+{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{p-1}}

est multiple de p², en déduit que le (p – 1)-ième nombre de Wolstenholme (le numérateur du nombre harmonique généralisé d'ordre 2

H_{p-1,2}=1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\ldots +{\frac {1}{(p-1)^{2}}}

)

est multiple de p, puis déduit son théorème de ces deux résultats, qui sont parfois eux aussi appelés « théorème de Wolstenholme ».

Problème réciproque

Comme pour le théorème de Wilson : $(n-1)!\equiv -1{\pmod {n}}$ , qui constitue une condition nécessaire et suffisante pour que $n\geqslant 2$ soit premier, on conjecture que ${{2n-1} \choose {n-1}}\equiv 1{\pmod {n^{3}}}$ constitue une condition nécessaire et suffisante pour que $n\geqslant 5$ soit premier, car cette propriété est vraie jusqu'à $n=10^{9}$ , mais cette conjecture n'est pas prouvée [1].

Voir aussi

Le théorème de Lucas qui donne ${\binom {2p-1}{p-1}}\equiv {\binom {1}{0}}{\binom {p-1}{p-1}}=1{\pmod {p}}$ .
Les nombres premiers de Wieferich, vérifiant $2^{p-1}\equiv 1{\pmod {p^{2}}}$ .

Notes et références

(en) C. Babbage, « Demonstration of a theorem relating to prime numbers », The Edinburgh Philosophical Journal, vol. 1,‎ 1819, p. 46-49 (lire en ligne)
(en) J. Wolstenholme, « On certain properties of prime numbers », The Quarterly Journal of Pure and Applied Mathematics, vol. 5,‎ 1862, p. 35-39 (lire en ligne)
(en) J. W. L. Glaisher, « Congruences relating to the sums of products of the first $n$ numbers and to other sums of products », Quart. J. Pure Appl. Math. (en), vol. 31,‎ 1900, p. 1-35 (lire en ligne)
(en) J. W. L. Glaisher, « On the residues of the sums of products of the first $p - 1$ numbers, and their powers, to modulus $p 2$ or $p 3$ », Quart. J. Pure Appl. Math., vol. 31,‎ 1900, p. 321-353 (lire en ligne)

(en) Richard J. McIntosh, « On the converse of Wolstenholme’s Theorem », Acta Arith., vol. 71, n^o 4,‎ 1995, p. 381-389 (lire en ligne)

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.