**اعداد اول مرسن** (به انگلیسی: Mersenne Primes)، اعداد اولی به فرم {\displaystyle M\_{n}=2^{n}-1} هستند که به افتخار نام کشیش فرانسوی مارین مرسن (به انگلیسی: Marin Mersenne)، به این نام خوانده می‌شوند. چرا که مرسن در زمینهٔ اول بودن این نوع اعداد اظهار نظری نادرست اما محرک کرده بود.
اولین اعداد مرسن اعداد زیر هستند: ۳، ۷، ۳۱، ۱۲۷، ۸۱۹۱، ۱۳۱۰۷۱، ۲۱۴۷۴۸۳۶۴۷ و … که متناظر هستند با … ،۸۹ ،۶۱ ،۳۱ ،۱۹ ،۱۷ ،۱۳ ،۷ ،۵ ،۳ ،۲ =n

اثبات چند قضیه کاربردی در این رابطه
-----------------------------------

**قضیه اول:** اگر {\displaystyle M\_{n}} اول باشد، n نیز باید خود اول باشد.

**اثبات:** فرض کنیم که حکم نادرست است (برهان خلف). یعنی به ازای n مرکبی، {\displaystyle 2^{n}-1} اول است؛ در این صورت می‌توان n را به صورت ضرب دو عدد غیر یک {\displaystyle n=rs} نوشت. پس:

{\displaystyle 2^{n}-1=2^{rs}-1=(2^{r})^{s}-1=(2^{r}-1)(\cdots )}
پس اگر s زوج باشد، طبق اتحاد مزدوج و اگر فرد باشد طبق اتحاد چاق و لاغر (لاگرانژ) به عوامل اول تجزیه می‌شود و اول نیست؛ پس به تناقض می‌رسیم و فرض خلف باطل است. پس n باید اول باشد.

### اعداد مرسن و اعداد کامل (تام)

بدیهی است که اعداد مرسن در مبنای دو به صورت {\displaystyle ((100\cdots 0)-1)\_{2}} می‌باشد که برابر {\displaystyle (11\cdots 1)\_{2}} است (pتا یک).

تعریف: عدد کامل (تام) عددی است که با مجموع مقسوم علیه‌های خود، به جز خودش، برابر باشد. از معروفترین آن‌ها ۶=۳+۲+۱ و ۲۸=۱۴+۷+۴+۲+۱ هستند.

**قضیه دوم:** هر عدد کامل به صورت {\displaystyle (2^{p}-1)(2^{p-1})} است که {\displaystyle 2^{p}-1} اول است.

این‌ها اعداد به شکل {\displaystyle 2^{p}-1} مرسن هستند و متعاقباً توان‌های آن‌ها (p)اول است.
پس با یافتن هر عدد کامل، می‌توان یک عدد مرسن جدید پیدا کرد.

### آزمایش لوکاس- لمر

تقسیم آزمایشی اکثراً برای تصدیق مرکب بودن یک عدد مرسن اول پنهان استفاده می‌شود.
این آزمایش فوراً نشان می‌دهد که M\_{p} به ازای {\displaystyle p=11,23,83,131,179,191,239,251} مرکب است (به ترتیب با عوامل اول ۲۳، ۴۷، ۱۶۷، ۲۶۳، ۳۵۹، ۳۸۳، ۴۷۹ و ۵۰۳).

یک آزمایش بسیار قدرتمند اولیه برای شناسایی M\_{p} آزمایش لوکاس- لمر است.

ابتدا سه قضیه زیر را مطرح می‌کنیم:

1. اگر {\displaystyle n\equiv 3} به پیمانه ۴ و n عدد اول باشد، در این صورت {\displaystyle 2n+1|Mn}، اگر {\displaystyle 2n+1} اول باشد.
2. همچنین این درست است که عوامل اول {\displaystyle 2^{p}-1} باید شکل {\displaystyle 2kp+1} داشته باشند که k یک عدد مثبت طبیعی است و در عین حال شکل {\displaystyle 8n+1} یا {\displaystyle 8n-1} را داشته باشد (آسپنسکی و هیسلت ۱۹۳۹).
3. یک عامل اول p از یک عدد مرسن {\displaystyle M\_{p}=2^{p}-1} (چه اول و چه مرکب) در صورتی عدد ویفریچ اول است که {\displaystyle p^{2}|2^{p}-1}. بنابراین یک عدد مرسن نمی‌تواند عدد ویفریچ اول باشد.

### آیا عدد کامل فرد وجود دارد؟

می‌دانیم تمام اعداد کامل به صورت حاصل ضرب یک عدد اول مرسن توانی از دو می‌باشند؛ اما در مورد اعداد فرد کامل چه نظریه‌ای وجود دارد؟
اگر این چنین عددی وجود داشته باشد در این صورت، به صورت حاصل ضرب یک مربع کامل در یک عدد اول به توان فرد می‌باشد، این عدد حداقل هشت عامل اول دارد و حداقل بر ۳۷ عدد اول بخش پذیر است (لزومی ندارد که متمایز باشند)؛ این عدد حداقل در مبنای اعشاری ۳۰۰ رقم دارد؛ و یک مقسوم علیه اول بزرگ‌تر از ۱۰۲۰ دارد.

### آیا تعداد اعداد مرسن بی‌نهایت است؟

این سؤال معادل با پاسخ دادن به این سؤال است که آیا تعداد نامحدودی عدد کامل زوج است. جواب این است که احتمالاً بله است (زیرا سری هارمونیک واگراست).

### آیا تعداد اعداد مرسن مرکب بی‌نهایت است؟

**نظریه اولر:** اگر {\displaystyle k>1} باشد و {\displaystyle p=4k+3} اول باشد، در این صورت {\displaystyle p^{2}|2^{p}-1} نیز اول است، اگر و تنها اگر باقی‌مانده تقسیم {\displaystyle 2p} بر {\displaystyle p^{2}|2^{p}-1}برابر 1 باشد.

همچنین اگر {\displaystyle p=4k+3} باشد و {\displaystyle p^{2}|2^{p}-1}اول باشد، در این صورت عدد مرسن {\displaystyle p^{2}|2^{p}-1} مرکب است (این حدس احتمالاً منطقی است از آن جایی که تعداد اعداد اولی که به ازای p به صورت {\displaystyle 2p+1} باشد، بی‌نهایت است).

### حدس جدید در بارهٔ اعداد مرسن

بیتمن، سلفریج و واگستاف حدس زیر را زده‌اند:
فرض کنیم p هر عدد طبیعی فرد باشد؛ در این صورت اگر دو شرط اول -که در زیر آمده‌است- برقرار باشد، گزاره سوم برقرار خواهد بود:

1. {\displaystyle p=2^{k}+/-1}،{\displaystyle p=4^{k}+/-3}
2. {\displaystyle p=2^{k}-1} عدد اول باشد (بدیهی است که عدد مرسن اول است).
3. {\displaystyle {\frac {2^{p}+1}{3}}} عددی اول است.

توجه داشته باشید که این حدس چگونه به حدس قبلی وابسته‌است.

این سؤال بیشتر از این که یک حدس باشد، از دسته سؤال‌های جواب داده نشده‌است.
به راحتی می‌توان نشان داد که اگر مربع عدد اول p بر یک عدد مرسن تقسیم شود، در این صورت p یک عدد اول ویفریچ است و این اعداد کمیاب هستند! فقط دو عدد شناخته شده‌اند که زیر ۴٬۰۰۰٬۰۰۰٬۰۰۰٬۰۰۰ هستند و هیچ‌کدام از این مربع‌ها بر یک عدد مرسن بخش پذیر نیستند.

اعداد مرسن بهمراه سال
اگر دنباله‌ای به این صورت باشد که {\displaystyle A\_{p}=2^{A\_{p}}-1} و {\displaystyle A\_{0}=2} آیا همه این دنباله اول هستند؟
دیکسون کاتالان، در پاسخ این سؤال در سال ۱۸۷۶، به لوکاس اظهار داشت که ۱–۱۲۷^۲
({\displaystyle A\_{4}})، به این ترتیب اول است.
همان‌طور که مشخص است این اعداد در این دنباله بسیار سریع بزرگ می‌شوند:

C0 = ۲ (اول)

C1 = ۳ (اول)

C2 = ۷ (اول)

C3 = ۱۲۷ (اول)

C4 = ۱۷۰۱۴۱۱۸۳۴۶۰۴۶۹۲۳۱۷۳۱۶۸۷۳۰۳۷۱۵۸۸۴۱۰۵۷۳۷ (اول)

51217599719369681879879723386331576246^10 <C5 (سؤال:آیا این عدد اول است؟)

به نظر می‌آید احتمال این موضوع خیلی کم باشد که A5 (یا چند عدد بزرگ‌تر از این دنباله) اول باشد. بدون شک این مثال دیگری از «قانون قوی عددهای کوچک» Guy، است. دقت کنید که اگر در این دنباله یک عدد مرکب پیدا شود، طبق نظریه اول، تمام اعداد بعدی مرکب خواهند بود.

تاریخچه
-------

در سال ۱۹۶۳ کشف شد که ۱–۱۱۲۱۳^۲ اول است، و این به وسیله بسته‌های پستی مخصوص ساخته شده با مُهرِ فرستاده شده از *یوبرانا، ایلینیوس* اعلام شد.
یک شبکه تحقیقاتی توزیع شده در اینترنت توسط *ولتمن* به پا شده‌است که به GIMPS(Great Internet Mersenne Prime Search) معروف است و و داوطلبان بیشمار آن، از کامپیوترهای شخصی خود برای انجام دادن قسمت‌های مختلفی از تحقیقات استفاده می‌کنند. در ۱۷ نوامبر ۲۰۰۳، یکی از داوطلبان GIMPS کشف چهلمین عدد مرسن را گزارش داد و این موضوع، پس از آن تأیید شد. شش ماه پس از آن، کشف چهل و یکمین عدد مرسن توسط یکی از داوطلبان این شبکه به ثبت رسید. عدد بعدی مرسن در این سری نیز در ۱۸ فوریه ۲۰۰۵ اعلام شد. تلاش‌های داوطلبان GIMP، این پروژه محاسباتی توزیع شده را تبدیل به کاشف هشت عدد بزرگ‌تر اعداد مرسن نمود. در واقعیت، تا فوریه همین سال، شرکت کنندگان GIMPS، تمام توان‌های قبل از ۹٬۸۸۹٬۹۰۰ را امتحان کردند و حتی دو بار چک کردند و همه توان‌های پایین‌تر از ۱۵٬۱۳۰٬۰۰۰ را دست کم یک بار امتحان کردند.

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

* بیشتر بدانید
* سایت اعداد اول
* /تمام مرسنها با ارقام دسیمال

منابع
-----

1. ↑  "GIMPS Project Discovers Largest Known Prime Number: 282,589,933-1". *Mersenne Research, Inc*. 21 December 2018. Retrieved 21 December 2018.
2. ↑  "M1277 Mersenne number exponent details". *www.mersenne.ca*. Retrieved 24 June 2022.

* Dickson, L. E. History of the Theory of Numbers, Vol. 1: Divisibility and Primality. New York: Dover, p. 13, 2005.
* Eddington, W. "Will Eddington's Mersenne Page." .
* Flannery, S. and Flannery, D. In Code: A Mathematical Journey. London: Profile Books, pp. 47–51, 2000.
* Gardner, M. "Mathematical Games: About the Remarkable Similarity between the Icosian Game and the Towers of Hanoi." Sci. Amer. 196, 150-156, May 1957.
* Guy, R. K. "Mersenne Primes. Repunits. Fermat Numbers. Primes of Shape [sic]." §A3 in Unsolved Problems in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 8–13, 1994.
* Hardy, G. H. and Wright, E. M. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 15–16 and 22, 1979.
* Pappas, T. "Mersenne's Number." The Joy of Mathematics. San Carlos, CA: Wide World Publ. /Tetra, p. 211, 1989.
* Robinson, R. M. "Mersenne and Fermat Numbers." Proc. Amer. Math. Soc. 5, 842-846, 1954.
* Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, pp. 14, 18-19, 22, and 29-30, 1993.
* Sloane, N. J. A. Sequences A000225/M2655, A001265, A005420/M2609, A007524/M2196, A034887, A046051, A049479, and A114475 in "The On-Line Encyclopedia of Integer Sequences."
* Steinhaus, H. Mathematical Snapshots, 3rd ed. New York: Dover, pp. 23–24, 1999.


| * ن
* ب
* و
رده‌های اعداد اول |
| --- |
| برحسب فرمول | 
* اعداد فرما
* اعداد مرسن
* Double Mersenne (22*p*−1 − 1)
* Wagstaff (2*p* + ۱)/۳
* Proth (*k*·2*n* + ۱)
* Factorial (*n*! ± 1)
* Primorial (*pn*# ± 1)
* Euclid (*pn*# + 1)
* Pythagorean (4*n* + ۱)
* Pierpont (2*m*·3*n* + ۱)
* Quartan (*x*4 + *y*4)
* Solinas (2*m* ± 2*n* ± 1)
* Cullen (*n*·2*n* + ۱)
* Woodall (*n*·2*n* − 1)
* Cuban (*x*3 − *y*3)/(*x* − *y*)
* Carol (2*n* − 1)2 − 2
* Kynea (2*n* + 1)2 − 2
* Leyland (*xy* + *yx*)
* Thabit (۳·2*n* − 1)
* Williams ((*b*−۱)·*b**n* − 1)
* میلز (⌊*A*3*n*⌋)

 |
| برحسب دنباله اعداد | 
* اعداد اول فیبوناتچی
* دنباله لوکاس
* Pell
* Newman–Shanks–Williams
* Perrin
* افراز عدد صحیح
* اعداد بل
* Motzkin

 |
| برحسب خواص | 
* Wieferich (pair)
* Wall–Sun–Sun
* Wolstenholme
* اعداد اول ویلسون
* Lucky
* Fortunate
* عدد اول رامانوجان
* Pillai
* Regular
* Strong
* Stern
* Supersingular (elliptic curve)
* Supersingular (moonshine theory)
* Good
* Super
* Higgs
* Highly cototient

 |
| وابسته به مبنا | 
* Palindromic
* Emirp
* Repunit (10*n* − 1)/9
* Permutable
* Circular
* Truncatable
* Minimal
* Weakly
* Primeval
* Full reptend
* Unique
* اعداد خوشحال
* Self
* Smarandache–Wellin
* Strobogrammatic
* Dihedral
* Tetradic

 |
| الگوها | 
* اعداد اول دوقلو
* Bi-twin chain (*n* − 1, *n* + 1, 2*n* − 1, 2*n* + 1, …)
* Triplet (*p*, *p* + 2 or *p* + 4, *p* + 6)
* Quadruplet (*p*, *p* + 2, *p* + 6, *p* + 8)
* *k*−Tuple
* Cousin (*p*, *p* + 4)
* Sexy (*p*, *p* + 6)
* Chen
* Sophie Germain/Safe (*p*, 2*p* + 1)
* Cunningham (*p*, 2*p* ± 1, 4*p* ± 3, 8*p* ± 7, ...)
* Arithmetic progression (*p* + *a·n*, *n* = 0, 1, 2, 3, ...)
* Balanced (consecutive *p* − *n*, *p*, *p* + *n*)

 |
| برحسب بزرگی | 
* Titanic (1,000+ digits)
* Gigantic (10,000+ digits)
* Mega (1,000,000+ digits)
* بزرگ‌ترین عدد اول شناخته‌شده

 |
| عدد مختلط | 
* Eisenstein prime
* Gaussian prime

 |
| اعداد مرکب | 
* Pseudoprime
	+ Catalan
	+ Elliptic
	+ Euler
	+ Euler–Jacobi
	+ Fermat
	+ Frobenius
	+ Lucas
	+ Somer–Lucas
	+ Strong
* Carmichael number
* Almost prime
* Semiprime
* Interprime
* Pernicious

 |
| موضوعات مرتبط | 
* Probable prime
* Industrial-grade prime
* عدد اول ممنوع
* Formula for primes
* شکاف اعداد اول

 |
| اولین ۶۰ عدد اول | 
* ۲ (عدد)
* ۳ (عدد)
* ۵ (عدد)
* ۷ (عدد)
* ۱۱ (عدد)
* ۱۳ (عدد)
* ۱۷ (عدد)
* ۱۹ (عدد)
* ۲۳ (عدد)
* ۲۹ (عدد)
* ۳۱ (عدد)
* ۳۷ (عدد)
* ۴۱ (عدد)
* ۴۳ (عدد)
* ۴۷ (عدد)
* ۵۳ (عدد)
* ۵۹ (عدد)
* ۶۱ (عدد)
* ۶۷ (عدد)
* ۷۱ (عدد)
* ۷۳ (عدد)
* ۷۹ (عدد)
* ۸۳ (عدد)
* ۸۹ (عدد)
* ۹۷ (عدد)
* ۱۰۱ (عدد)
* ۱۰۳ (عدد)
* ۱۰۷ (عدد)
* ۱۰۹ (عدد)
* ۱۱۳ (عدد)
* ۱۲۷ (عدد)
* ۱۳۱ (عدد)
* ۱۳۷ (عدد)
* ۱۳۹ (عدد)
* ۱۴۹ (عدد)
* ۱۵۱ (عدد)
* ۱۵۷ (عدد)
* ۱۶۳ (عدد)
* ۱۶۷ (عدد)
* ۱۷۳ (عدد)
* ۱۷۹ (عدد)
* ۱۸۱ (عدد)
* ۱۹۱ (عدد)
* ۱۹۳ (عدد)
* ۱۹۷ (عدد)
* ۱۹۹ (عدد)
* ۲۱۱ (عدد)
* ۲۲۳ (عدد)
* ۲۲۷ (عدد)
* ۲۲۹ (عدد)
* ۲۳۳ (عدد)
* ۲۳۹ (عدد)
* ۲۴۱ (عدد)
* ۲۵۱ (عدد)
* ۲۵۷ (عدد)
* ۲۶۳ (عدد)
* ۲۶۹ (عدد)
* ۲۷۱
* ۲۷۷ (عدد)
* ۲۸۱

 |
| فهرست اعداد اول |