**Số nguyên tố Mersenne** là một số nguyên tố có giá trị bằng 2n − 1. Ví dụ 31 là số nguyên tố Mersenne vì 31 = 25 − 1 (31 và 5 đều là số nguyên tố)

Điều kiện cần để số Mn nguyên tố là *n* là số nguyên tố, 24 -1 = 15 là hợp số vì 4 không là nguyên tố, nhưng suy đoán ngược lại không đúng: ví dụ số Mersenne 2047 = 211 − 1 không là nguyên tố vì nó chia hết cho 89 và 23, mặc dù số 11 là số nguyên tố.

Hiện nay, các số nguyên tố lớn nhất được tìm thấy thường là số nguyên tố Mersenne.

Các số nguyên tố Mersenne có quan hệ chặt chẽ với các số hoàn thiện, nghĩa là các số bằng tổng các ước chân chính của nó. Trong lịch sử, việc nghiên cứu các số nguyên tố Mersenne đã từng bị thay đổi do các liên quan này; vào thế kỷ IV TCN, Euclid phát biểu rằng nếu M là số nguyên tố Mersenne thì M(M+1)/2 là số hoàn thiện. Vào thế kỷ XVIII, Leonhard Euler chứng minh rằng tất cả các số hoàn thiện chẵn đều có dạng này. Không một số hoàn thiện lẻ nào được biết, và người ta nghi ngờ rằng chúng không tồn tại.

Tìm các số nguyên tố Mersenne
-----------------------------

|  |  |
| --- | --- |
|  | **Vấn đề mở trong toán học**:Liệu có vô hạn số nguyên tố Mersenne?(các vấn đề mở khác trong toán học) |

Đẳng thức sau

{\displaystyle 2^{ab}-1=(2^{a}-1)\cdot \left(1+2^{a}+2^{2a}+2^{3a}+\dots +2^{(b-1)a}\right)}
cho biết rằng *Mn* có thể là số nguyên tố chỉ nếu chính *n* là số nguyên tố, điều đó làm giản lược bớt việc tìm các số nguyên tố Mersenne. Mệnh đề đảo, nói rằng *Mn* là số nguyên tố nếu *n* là số nguyên tố là sai. Số nhỏ nhất cho ví dụ này là 211-1 = 23×89, là hợp số.

Đã có một số thuật toán tối ưu hóa để tìm số nguyên tố Mersenne, do đó hiện nay người ta đã biết các số nguyên tố Mersenne rất lớn.

Bốn số nguyên tố Mersenne đầu tiên {\displaystyle M\_{2}=3}, {\displaystyle M\_{3}=7}, {\displaystyle M\_{5}=31} và {\displaystyle M\_{7}=127} đã được biết từ cổ xưa. Số thứ năm, {\displaystyle M\_{13}=8191}, được tìm thấy vào trước năm 1461; hai số tiếp theo ({\displaystyle M\_{17}} và {\displaystyle M\_{19}}) tìm thấy bởi Cataldi vào năm 1588, đồng thời ông còn dự đoán cho các số mũ 23 (đã bị Fermat bác bỏ), 29 (đã bị Fermat bác bỏ), 37(đã bị Euler bác bỏ). Sau hơn một thế kỷ {\displaystyle M\_{31}} được kiểm tra bởi Euler vào năm 1750 bằng **Lý thuyết chỉ số**. Số tiếp theo (trong lịch sử, không theo thứ tự số) là {\displaystyle M\_{127}}, do Lucas tìm thấy vào năm 1876, sau đó {\displaystyle M\_{61}} do Pervushin tìm vào năm 1883. Hai số nữa ({\displaystyle M\_{89}} và {\displaystyle M\_{107}}) được tìm thấy vào thế kỷ XX, bởi Powers vào năm 1911 và 1914.

Từ thế kỷ XVII, các số này được mang tên nhà toán học Pháp Marin Mersenne, người đã chứng minh và dự đoán một loạt các số nguyên tố Mersenne với các số mũ: 2, 3, 5, 7, 13, 17, 31, 67, 127, 257. Danh sách của ông đã mắc một số sai lầm, như bao gồm cả *M*67 (được Kohler chứng minh là hợp số vào năm 1901, cụ thể: {\displaystyle 2^{67}-1=193.707.721\times 761.838.257.287}), *M*257 (được chứng minh là hợp số vào năm 1952), và bị bỏ quên *M*61, *M*89 và *M*107.

Phương pháp tốt nhất để kiểm tra tính nguyên tố của các số Mersenne được dựa vào sự tính toán một dãy tuần hoàn, được phát biểu đầu tiên bởi Lucas năm 1878 và chứng minh bởi Lehmer vào những năm 1930. Hiện nay nó được gọi là kiểm tra Lucas-Lehmer với số Mersenne. Đặc biệt, ta có thể chứng minh rằng (với {\displaystyle n>2}) {\displaystyle M\_{n}=2^{n}-1} là số nguyên tố nếu và chỉ nếu *Mn* chia hết cho *Sn-2*, trong đó {\displaystyle S\_{0}=4} và với {\displaystyle k>0}, {\displaystyle S\_{k}=S\_{k-1}^{2}-2}.

Đồ thị biểu diễn số các chữ số của số nguyên tố Mersenne lớn nhất đã biết theo từng năm của kỷ nguyên điện tử. Chú ý rằng trục tung độ đã được logarit hóa.
Việc tìm các số nguyên tố Mersenne thực sự được cách mạng bởi các máy tính điện tử số. Thành công đầu tiên của tư tưởng này thuộc về số nguyên tố Mersenne, *M*521, nhờ nỗ lực khéo léo vào lúc 10:00 P.M. ngày 30-1, 1952 khi sử dụng máy tính tự động Western U.S. National Bureau of Standards (SWAC) tại Institute for Numerical Analysis thuộc Đại học California tại Los Angeles, dưới sự điều khiển trực tiếp của Lehmer, sử dụng chương trình viết và chạy bởi GS R.M. Robinson. Nó là số nguyên tố Mersenne đầu tiên tìm thấy sau 38 năm; số tiếp theo, *M*607, đã được tìm thấy do computer này sau gần hai giờ chạy máy. Ba số tiếp theo  — *M*1279, *M*2203, *M*2281 — đã được tìm thấy với cùng chương trình trên sau nhiều tháng nữa. *M*4253 là số nguyên tố Mersenne đầu tiên là số nguyên tố siêu lớn (trên 1000 chữ số thập phân - titanic), và *M*44497 là số nguyên tố đầu tiên có trên 10.000 chữ số thập phân (gigantic).

Đến tháng 9 năm 2008, chỉ mới biết 46 số nguyên tố Mersenne; số lớn nhất đã biết là số (243 112 609 − 1). Cũng như nhiều số nguyên tố Mersenne trước đó, nó được tìm ra nhờ dự án tính toán phân tán trên Internet, được biết với tên gọi *Tìm kiếm số nguyên tố Mersenne khổng lồ trên Internet* (Great Internet Mersenne Prime Search - GIMPS).

Các định lý về số nguyên tố Mersenne
------------------------------------

* Nếu *n* là số nguyên dương, theo định lý nhị thức ta có thể viết:

{\displaystyle c^{n}-d^{n}=(c-d)\sum \_{k=0}^{n-1}c^{k}d^{n-1-k}},
hay

{\displaystyle (2^{a}-1)\cdot \left(1+2^{a}+2^{2a}+2^{3a}+\dots +2^{(b-1)a}\right)=2^{ab}-1}
nhờ đặt {\displaystyle c=2^{a}}, {\displaystyle d=1}, và {\displaystyle n=b}

*Chứng minh:*

{\displaystyle (a-b)\sum \_{k=0}^{n-1}a^{k}b^{n-1-k}}
{\displaystyle =\sum \_{k=0}^{n-1}a^{k+1}b^{n-1-k}-\sum \_{k=0}^{n-1}a^{k}b^{n-k}}
{\displaystyle =a^{n}+\sum \_{k=1}^{n-1}a^{k}b^{n-k}-\sum \_{k=1}^{n-1}a^{k}b^{n-k}-b^{n}}
{\displaystyle =a^{n}-b^{n}}
* Nếu {\displaystyle 2^{n}-1} là số nguyên tố, thì n là số nguyên tố.

*Chứng minh*

Do

{\displaystyle (2^{a}-1)\cdot \left(1+2^{a}+2^{2a}+2^{3a}+\dots +2^{(b-1)a}\right)=2^{ab}-1}
Nếu n không phải là nguyên tố, hoặc {\displaystyle n=ab} trong đó {\displaystyle 1<a,b<n}. Do đó, {\displaystyle 2^{a}-1} là ước của {\displaystyle 2^{n}-1}, hoặc {\displaystyle 2^{n}-1} không là nguyên tố.

* Với mọi số nguyên tố p lẻ, ước nguyên tố của Mp luôn có dạng {\displaystyle 2kp+1\equiv \pm 1{\pmod {8}}}.

*Chứng minh*

Gọi **q** là ước nguyên tố của 2p - 1 ta có:

{\displaystyle 2^{p}\equiv 1{\pmod {q}}}.
Theo định lý nhỏ Fermat ta có:

{\displaystyle 2^{q-1}\equiv 1{\pmod {q}}}.
Từ đó ta có q là ước chung của 2p - 1 và 2q - 1 - 1, hay là {\displaystyle \gcd(2^{p}-1,2^{q-1}-1)>1}(\*).

Ta xét bổ đề sau: Nếu a và b là hai số nguyên dương phân biệt thì {\displaystyle \gcd(2^{a}-1,2^{b}-1)=2^{\gcd(a,b)}-1}.

Thật vậy, giả sử {\displaystyle \gcd(a,b)=d}, suy ra a = k1d và b = k2d.

Suy ra:

{\displaystyle 2^{a}-1=2^{k\_{1}d}-1=\left(2^{d}-1\right)\times A}
{\displaystyle 2^{b}-1=2^{k\_{2}d}-1=\left(2^{d}-1\right)\times B}
Tức là bổ đề ta đã đặt ra là đúng.

Từ bổ đề suy ra: {\displaystyle \gcd(2^{p}-1,2^{q-1}-1)=2^{\gcd(p,q-1)}-1}.

Giả sử {\displaystyle \gcd(p,q-1)=1} thì suy ra được {\displaystyle \gcd(2^{p}-1,2^{q-1}-1)=1}, mâu thuẫn với (\*). Do đó ta phải có {\displaystyle \gcd(p,q-1)>1}. Do p là số nguyên tố nên {\displaystyle \gcd(p,q-1)=p} hay *q - 1 = bp*.

Do q là ước của Mp lẻ nên q lẻ, suy ra b = 2k hay **q = 2kp + 1**.

Do 2p ≡ 1 (mod q) nên 2p + 1 ≡ 2 (mod q), suy ra {\displaystyle 2^{\frac {p+1}{2}}} là căn bậc hai của 2 theo modulo (môđun) q, tức nó là nghiệm của:

{\displaystyle x^{2}\equiv 2{\pmod {q}}}.
Theo luật tương hỗ bậc hai:

{\displaystyle q\equiv \pm 1{\pmod {8}}}.

Danh sách các số nguyên tố Mersenne đã biết cho đến nay
-------------------------------------------------------

Bài chi tiết: Danh sách số nguyên tố Mersenne và số hoàn hảo
Tính đến tháng 12 năm 2021[cập nhật] có 51 số nguyên tố Mersenne 2*p* − 1 tương ứng với số mũ *p* dưới đây:

2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933. (dãy số A000043 trong bảng OEIS)
* Để hình dung độ lớn của số nguyên tố lớn nhất được tìm thấy (số thứ 48), ta cần có 4 647 trang giấy A4 để biểu diễn số đó với các chữ số trong hệ cơ số 10, 75 chữ số một dòng và 50 dòng một trang. Nếu dùng giấy định lượng 70g/m², sẽ cần hơn 10 kg giấy (2.324 tờ) để in thành tập dày khoảng 20 cm.
* Lấy 2 lũy thừa n trừ 1 nhân với số tương ứng thì sẽ cho ra số hoàn hảo.

Xem thêm
--------

|  |  |
| --- | --- |
|  | Wikinews có tin tức ngoại ngữ liên quan đến bài:
 ***Distributed computing discovers largest known prime number*** |

|  |  |
| --- | --- |
|  | Wikinews có tin tức ngoại ngữ liên quan đến bài:
 ***CMSU computing team discovers another record size prime*** |

|  |  |
| --- | --- |
|  | Wikinews có tin tức ngoại ngữ liên quan đến bài:
 ***Số nguyên tố Mersenne thứ 48*** |

* Repunit
* Số nguyên tố Fermat
* Hằng số Erdős–Borwein
* Prime95 / MPrime
* Kiểm tra Lucas–Lehmer với các số Mersenne
* Số Mersenne kép
* Mersenne twister
* Bảng số nguyên tố

Tham khảo
---------

Liên kết ngoài
--------------

|  |  |
| --- | --- |
|  | Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về ***Số nguyên tố Mersenne***. |

* Cổng thông tin Số nguyên tố
* Cổng thông tin Số học
* iconCổng thông tin Toán học

* Great Internet Mersenne Prime Search (GIMPS), Orlando, Florida
	+ Great Internet Mersenne Prime Search PrimeNet (v5.0): GIMPS Milestones Report
* Prime Mersenne Numbers – History, Theorems and Lists – giải thích
* Mersenne numbers – Wolfram Research/Mathematica
* prime Mersenne numbers – Wolfram Research/Mathematica
* *Mq = (8x)2 - (3qy)2* Mersenne Proof (pdf)
* *Mq = x2 + d.y2* Math Thesis Lưu trữ 2005-02-21 tại Wayback Machine (ps)
* Mersenne Numbers & Mersenne Primes Bibliography with hyperlinks to original publications
* Die neue Primzahl ist 39 Kilometer lang, 11.03.2005.dpa – reportage about prime Mersenne number – detection in detail (German)
* Mersenne prime Wiki Lưu trữ 2006-12-05 tại Wayback Machine
* 43rd Mersenne Prime Found tại MathWorld

| * x
* t
* s
Phân loại các số nguyên tố |
| --- |
| Theo công thức | 
* Fermat (22*n* + 1)
* Mersenne (2*p* − 1)
* Mersenne kép (22*p*−1 − 1)
* Wagstaff (2*p* + 1)/3
* Proth (*k*·2*n* + 1)
* Giai thừa (*n*! ± 1)
* Primorial (*pn*# ± 1)
* Euclid (*pn*# + 1)
* Pythagorean (4*n* + 1)
* Pierpont (2*u*·3*v* + 1)
* Quartan (*x*4 + *y*4)
* Solinas (2*a* ± 2*b* ± 1)
* Cullen (*n*·2*n* + 1)
* 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 (3·2*n* − 1)
* Mills (⌊*A*3*n*⌋)

 |
| Theo dãy số nguyên | 
* Fibonacci
* Lucas
* Pell
* Newman–Shanks–Williams
* Perrin
* Phân hoạch
* Bell
* Motzkin

 |
| Theo tính chất | 
* (Cặp Wieferich)
* Wall–Sun–Sun
* Wolstenholme
* Wilson
* May rủi
* May mắn
* Ramanujan
* Pillai
* Chính quy
* Mạnh
* Stern
* Siêu trội (đối với đường cong elliptic)
* Siêu trội (trong thuyết Ánh trăng)
* Tốt
* Siêu phàm
* Higgs
* Fortune

 |
| Phụ thuộc vào hệ số | 
* May mắn
* Nhị diện
* Palindromic
* Emirp
* Repunit (10*n* − 1)/9
* Hoán vị
* Vòng
* Rút ngắn được
* Strobogrammatic
* Tối thiểu
* Yếu
* Đầy đủ
* Đơn nhất
* Nguyên thủy
* Smarandache–Wellin

 |
| Theo mô hình | 
* Sinh đôi (*p*, *p* + 2)
* Chuỗi bộ đôi (*n* − 1, *n* + 1, 2*n* − 1, 2*n* + 1, …)
* Bộ tam (*p*, *p* + 2 or *p* + 4, *p* + 6)
* Bộ tứ (*p*, *p* + 2, *p* + 6, *p* + 8)
* Bộ *k*
* Họ hàng (*p*, *p* + 4)
* Sexy (*p*, *p* + 6)
* Chen
* Sophie Germain (*p*, 2*p* + 1)
* chuỗi Cunningham (*p*, 2*p* ± 1, …)
* An toàn (*p*, (*p* − 1)/2)
* Trong cấp số cộng (*p* + *a·n*, *n* = 0, 1, …)
* Đối xứng (consecutive *p* − *n*, *p*, *p* + *n*)

 |
| Theo kích thước | 
* Hàng nghìn (1,000+ chữ số)
* Hàng chục nghìn (10,000+ chữ số)
* Hàng triệu (1,000,000+ chữ số)
* Lớn nhất từng biết

 |
| Số phức | 
* Số nguyên tố Eisenstein
* Số nguyên tố Gauss

 |
| Hợp số | 
* Số giả nguyên tố
* Số gần nguyên tố
* Số nửa nguyên tố
* Giữa các nguyên tố

 |
| Chủ đề liên quan | 
* Số có thể nguyên tố
* Số nguyên tố cấp công nghiệp
* Số nguyên tố bất chính
* Công thức của số nguyên tố
* Khoảng cách nguyên tố

 |
| 50 số nguyên tố đầu | 
* 2
* 3
* 5
* 7
* 11
* 13
* 17
* 19
* 23
* 29
* 31
* 37
* 41
* 43
* 47
* 53
* 59
* 61
* 67
* 71
* 73
* 79
* 83
* 89
* 97
* 101
* 103
* 107
* 109
* 113
* 127
* 131
* 137
* 139
* 149
* 151
* 157
* 163
* 167
* 173
* 179
* 181
* 191
* 193
* 197
* 199
* 211
* 223
* 227
* 229

 |
| Danh sách số nguyên tố |