در ریاضیات، **قضیۀ ولستن‌هولم** بیان می‌کند که به ازای عدد اول {\displaystyle p\geq 5} ، هم‌نهشتی

{\displaystyle {2p-1 \choose p-1}\equiv 1{\pmod {p^{3}}}}
برقرار است، به طوری که پرانتز نشان‌دهنده‌ی یک ضریب دوجمله‌ا‌ی است. به عنوان مثال برای *p* = 7، این یعنی ۱۷۱۶ یک واحد از مضرب ۳۴۳ بیشتر است. این قضیه برای اولین بار توسط جوزف ولستن‌هولم در سال ۱۸۶۲ اثبات شد. در سال ۱۸۱۹، چارلز ببیج هم‌نهشتی مشابه را به پیمانۀ *p*2 ثابت کرد که برای {\displaystyle p\geq 3} برقرار است. یک فرمول معادل، هم‌نهشتیِ

{\displaystyle {ap \choose bp}\equiv {a \choose b}{\pmod {p^{3}}}}
برای {\displaystyle p\geq 5} است که به ویلهلم لیونگرن مربوط می‌شود (و در حالت خاص {\displaystyle b=1}، به جی. دابلیو. گلایشر[]) و از قضیه لوکاس الهام گرفته است.

هیچ عدد مرکب شناخته شده‌ای قضیۀ ولستن‌هولم را برآورده نمی‌کند و حدس زده می‌شود که تعداد چنین اعدادی صفر باشد. عدد اولی که این هم‌نهشتی را به پیمانۀ *p*4 برآورده می‌کند، **عدد اول ولستن‌هولم** نامیده می‌شود.

همانطور که خود ولستن‌هولم اثبات کرده است، این قضیه می‌تواند به صورت یک جفت هم‌نهشتی برای اعداد هارمونیک (تعمیم یافته) نیز بیان شود:

{\displaystyle 1+{1 \over 2}+{1 \over 3}+\dots +{1 \over p-1}\equiv 0{\pmod {p^{2}}}{\mbox{, and}}}
{\displaystyle 1+{1 \over 2^{2}}+{1 \over 3^{2}}+\dots +{1 \over (p-1)^{2}}\equiv 0{\pmod {p}}.}
(هم‌نهشتی برای این کسرها منطقی است، چرا که مخرج‌ها نسبت به پیمانه‌ها اول‌اند.) به عنوان مثال برای *p* =7، معادله‌ی اول می‌گوید که صورت کسر ۴۹/۲۰ مضرب ۴۹ است، در حالی که دومی می‌گوید صورت کسر ۵۳۶۹/۳۶۰۰ مضرب ۷ است.

اعداد اول ولستن‌هولم
--------------------

عدد اول *p* عدد اول ولستن‌هولم نامیده می‌شود اگر و تنها اگر شرط زیر برقرار باشد:

{\displaystyle {{2p-1} \choose {p-1}}\equiv 1{\pmod {p^{4}}}.}
اگر *p* یک عدد اول ولستن‌هولم باشد، آنگاه قضیۀ گلایشر به پیمانۀ *p*4 صادق است. تنها اعداد اول ولستن‌هولم شناخته شده تا کنون ۱۶۸۴۳ و ۲۱۲۴۶۷۹ هستند. هر عدد اول ولستن‌هولم دیگر باید بزرگتر از 109 باشد.

تعمیم‌ها
--------

لودِسدورف ثابت کرده است که برای عدد صحیح مثبت *n* که نسبت به ۶ اول باشد، هم‌نهشتی زیر برقرار است:

{\displaystyle \sum \_{i=1 \atop (i,n)=1}^{n-1}{\frac {1}{i}}\equiv 0{\pmod {n^{2}}}.}

جستارهای وابسته
---------------

* قضیه کوچک فرما
* قضیه ویلسون
* اعداد اول ویلسون
* فهرست اعداد اول

پانویس
------

1. ↑  Granville, Andrew (1997), "Binomial coefficients modulo prime powers" (PDF), *Canadian Mathematical Society Conference Proceedings*, **20**: 253–275, MR 1483922, archived from the original (PDF) on 2017-02-02
2. ↑  McIntosh, R. J.; Roettger, E. L. (2007), "A search for Fibonacci−Wieferich and Wolstenholme primes", *Mathematics of Computation*, **76** (260): 2087–2094, Bibcode:2007MaCom..76.2087M, doi:10.1090/S0025-5718-07-01955-2
3. ↑  Leudesdorf, C. (1888). "Some results in the elementary theory of numbers". *Proc. London Math. Soc*. **20**: 199–212. doi:10.1112/plms/s1-20.1.199.

منابع
-----

* Babbage, C. (1819), "Demonstration of a theorem relating to prime numbers", *The Edinburgh Philosophical Journal*, **1**: 46–49.
* Glaisher, J.W.L. (1900), "Congruences relating to the sums of products of the first n numbers and to other sums of products", *The Quarterly Journal of Pure and Applied Mathematics*, **31**: 1–35.
* Glaisher, J.W.L. (1900), "Residues of binomial-theorem coefficients with respect to p3", *The Quarterly Journal of Pure and Applied Mathematics*, **31**: 110–124.
* Glaisher, J.W.L. (1900), "On the residues of the sums of products of the first p−1 numbers, and their powers, to modulus p2 or p3", *The Quarterly Journal of Pure and Applied Mathematics*, **31**: 321–353.
* Granville, Andrew (1997), "Binomial coefficients modulo prime powers" (PDF), *Canadian Mathematical Society Conference Proceedings*, **20**: 253–275, MR 1483922, archived from the original (PDF) on 2017-02-02.
* McIntosh, R. J. (1995), "On the converse of Wolstenholme's theorem" (PDF), *Acta Arithmetica*, **71** (4): 381–389, doi:10.4064/aa-71-4-381-389.
* R. Mestrovic, Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862—2012).
* Wolstenholme, Joseph (1862), "On certain properties of prime numbers", *The Quarterly Journal of Pure and Applied Mathematics*, **5**: 35–39.

پیوند به بیرون
--------------

* The Prime Glossary: Wolstenholme prime
* Status of the search for Wolstenholme primes