Từ năm 2010 · Hơn 2 triệu lượt chạy công cụ mỗi tháng
Từ năm 2010
Thêm vào Chrome

Hộp Công Cụ Của Tôi

Chế Độ Tự Động

Chưa có công cụ nào được lưu.

Nâng Cấp Lên Phiên Bản Cao Cấp
Công cụ liên quan
Kiểm tra Số Hoàn hảoCông cụ Tìm Số Nguyên Tố Sinh ĐôiKiểm tra Số FibonacciMáy Tính Lũy Thừa Modular
Trang chủ > Toán học > Phép toán cơ bản
 

Công cụ Kiểm tra Số nguyên tố Mersenne

Kiểm tra số ứng viên dạng 2^p − 1 bằng công cụ kiểm tra số nguyên tố Mersenne của MiniWebtool. Dấu vết lặp Lucas-Lehmer giải thích phép kiểm tra nguyên tố, kèm hình trực quan mẫu nhị phân và số hoàn hảo liên quan với các số nguyên tố đạt điều kiện.

Chưa rõ cách dùng? Hỏi AI
Gemini (sao chép và mở)

Trong Gemini, hãy dán câu hỏi đã sao chép vào cuộc trò chuyện. Bạn cũng có thể sao chép câu hỏi bên dưới.

Xem câu hỏi

Sử dụng miễn phíKhông cần đăng kýKết quả tức thì
Công cụ Kiểm tra Số nguyên tố MersenneDùng thử ngay — miễn phí ▼
Lucas–Lehmer: M_p là số nguyên tố khi và chỉ khi s → s² − 2 về 0

Nhập số mũ p bên dưới để kiểm tra 2^p − 1 có phải số nguyên tố Mersenne không, kèm dãy tính của phép thử Lucas–Lehmer và dạng bit.

Chọn một số mũ nổi tiếng để kiểm tra — mỗi cái chạy trong vài mili giây:

✦ Số nguyên tố \(M_p\) đã biết p = 13 p = 17 p = 31 p = 61 p = 127
✕ Hợp số \(M_p\) p = 11 p = 23 p = 37 p = 67
⚡ Số mũ lớn p = 521 p = 1279 p = 2281 p = 4253
2^

Bất kỳ số nguyên dương nào từ 1 đến 5.000. Đối với số mũ lớn hơn, hãy sử dụng phần mềm chuyên dụng như Prime95.

Embed Công cụ Kiểm tra Số nguyên tố Mersenne Widget

Giới thiệu về Công cụ Kiểm tra Số nguyên tố Mersenne

Chào mừng bạn đến với Công cụ Kiểm tra Số nguyên tố Mersenne, một công cụ tương tác kiểm tra xem \(2^p - 1\) có phải là số nguyên tố Mersenne hay không cho bất kỳ số mũ \(p\) nào lên đến 5000. Công cụ này chạy kiểm tra tính nguyên tố Lucas-Lehmer nổi tiếng, hiển thị dấu vết lặp lại hoạt hình của hệ thức truy hồi \(S_i = S_{i-1}^2 - 2 \pmod{M_p}\), trực quan hóa mẫu bit nhị phân (một dấu hiệu đặc trưng của mọi số Mersenne) và — khi kết quả là số nguyên tố — sẽ ghép đôi nó với số hoàn hảo chẵn tương ứng thông qua định lý Euclid-Euler.

Tóm tắt nhanh

Công cụ Kiểm tra Số nguyên tố Mersenne kiểm tra xem 2^p - 1 có phải số nguyên tố Mersenne với số mũ p bất kỳ từ 1 đến 5,000 hay không. Công cụ chạy kiểm tra Lucas-Lehmer và hiển thị vết lặp cùng dạng nhị phân.

Công cụ Kiểm tra Số nguyên tố Mersenne: tính năng chính
Tính năngBạn nhận đượcPhù hợp với
Nhập số mũNhập số mũ nguyên dương p từ 1 đến 5,000 và công cụ kiểm tra M_p = 2^p - 1.Kiểm tra một số mũ cụ thể như 11, 13 hoặc 127
Kiểm tra số mũ nguyên tốTrước tiên kiểm tra p có phải số nguyên tố không. Nếu không, công cụ giải thích vì sao M_p phải là hợp số.Hiểu vì sao số mũ hợp số thì thất bại
Kiểm tra Lucas-LehmerVới p nguyên tố, chạy công thức truy hồi S_i = S_(i-1)^2 - 2 mod M_p trong p - 2 lần lặp và đưa ra kết luận nguyên tố hoặc hợp số.Xem phép kiểm tra tính nguyên tố kinh điển hoạt động ra sao
Vết lặpHiển thị vết 6 hàng của các lần lặp, với các bước giữa bị bỏ qua khi p lớn.Theo dõi công thức truy hồi mà không cần xem mọi bước
Mẫu nhị phânHiển thị M_p ở dạng thập phân và nhị phân, mỗi bit 1 trong p bit là một ô riêng.Thấy vì sao số Mersenne toàn là số 1 trong nhị phân
Số hoàn hảoKhi M_p là số nguyên tố, hiển thị số hoàn hảo chẵn tương ứng 2^(p-1) x (2^p - 1).Khám phá mối liên hệ Euclid-Euler

Số nguyên tố Mersenne là gì?

Một số Mersenne là một số có dạng \(M_p = 2^p - 1\). Khi bản thân \(M_p\) là số nguyên tố, nó được gọi là một số nguyên tố Mersenne. Tên gọi này nhằm vinh danh Marin Mersenne (1588-1648), một tu sĩ người Pháp, người đã lập danh mục các trường hợp ban đầu và phỏng đoán những số mũ nào lên đến 257 tạo ra số nguyên tố — một danh sách sau đó được chứng minh là sai một phần, nhưng đã mở ra ba thế kỷ nghiên cứu.

Số nguyên tố Mersenne
$$M_p = 2^p - 1 \;\; \text{là số nguyên tố, trong đó } p \text{ bản thân phải là số nguyên tố}$$

Một vài số nguyên tố Mersenne đầu tiên, theo thứ tự:

Tính đến năm 2024, chính xác 52 số nguyên tố Mersenne đã được biết đến. Kỷ lục hiện tại là \(M_{136{,}279{,}841}\), được phát hiện vào tháng 10 năm 2024 bởi dự án điện toán phân tán GIMPS — một con số có 41.024.320 chữ số thập phân.

Kiểm tra Lucas-Lehmer

Lý do các số nguyên tố Mersenne thống trị các bảng kỷ lục là nhờ một bài kiểm tra tính nguyên tố chuyên biệt, cực kỳ nhanh do Édouard Lucas phát hiện (1878) và được Derrick Lehmer đơn giản hóa (1930):

Kiểm tra Lucas-Lehmer
$$S_0 = 4, \quad S_i = S_{i-1}^2 - 2 \pmod{M_p}$$

Đối với p nguyên tố \(p \geq 3\): \(\;M_p\) là số nguyên tố \(\iff S_{p-2} \equiv 0 \pmod{M_p}\)

Bài kiểm tra chỉ yêu cầu \(p-2\) phép bình phương modulo — xấp xỉ \(O(p^3)\) thao tác bit với phép nhân thông thường, hoặc \(O(p^2 \log p \log\log p)\) với FFT. Hãy so sánh điều này với các bài kiểm tra tính nguyên tố đa năng trên các số có kích thước như \(M_p\) (hàng triệu chữ số), điều mà hoàn toàn không khả thi. Lối tắt Lucas-Lehmer chính là thứ giúp việc tìm kiếm số nguyên tố Mersenne trở nên khả thi.

Tại sao p phải là số nguyên tố?

Nếu \(p = a \cdot b\) với \(a, b > 1\), một hằng đẳng thức cổ điển cho thấy \(2^a - 1\) chia hết cho \(2^{ab} - 1\):

Hằng đẳng thức phân tích nhân tử
$$2^{ab} - 1 = (2^a - 1)\left(2^{a(b-1)} + 2^{a(b-2)} + \cdots + 2^a + 1\right)$$

Vì vậy, nếu số mũ là hợp số, \(M_p\) tự động là hợp số. Điều ngược lại là sai: \(p\) là số nguyên tố không đảm bảo \(M_p\) là số nguyên tố. Ví dụ, \(p = 11\) là số nguyên tố nhưng \(M_{11} = 2047 = 23 \times 89\).

Số nguyên tố Mersenne và Số hoàn hảo (Euclid-Euler)

Euclid đã quan sát thấy vào khoảng năm 300 trước Công nguyên rằng nếu \(2^p - 1\) là số nguyên tố, thì \(2^{p-1}(2^p - 1)\) là một số hoàn hảo — một con số bằng tổng các ước thực sự của nó. Sau đó, Euler đã chứng minh điều ngược lại: mọi số hoàn hảo chẵn đều phát sinh theo cách này.

Định lý Euclid-Euler
$$N \text{ là số hoàn hảo chẵn} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ nguyên tố}$$

Vì vậy, việc tìm thấy một số nguyên tố Mersenne mới ngay lập tức tạo ra một số hoàn hảo mới. Bốn số hoàn hảo chẵn đầu tiên là 6, 28, 496 và 8128 — đã được biết đến từ thời cổ đại. Việc liệu có tồn tại bất kỳ số hoàn hảo lẻ nào hay không vẫn là một bài toán chưa có lời giải sau hơn 2.300 năm.

Mẫu bit nhị phân

Mỗi số Mersenne có một biểu diễn nhị phân cực kỳ gọn gàng: \(2^p\) trong hệ nhị phân là \(1\) theo sau bởi \(p\) số 0, vì vậy \(2^p - 1\) chính xác là \(p\) bit 1 liên tiếp:

M_5 = 2^5 − 1 = 111112 = 31
M_7 = 2^7 − 1 = 11111112 = 127

Đây là lý do tại sao công cụ trực quan hóa mỗi bit dưới dạng một ô riêng biệt — mẫu bit là dấu hiệu trực quan của một số Mersenne, không phụ thuộc vào việc số đó có phải là số nguyên tố hay không.

Cách sử dụng máy tính này

  1. Nhập một số mũ \(p\): bất kỳ số nguyên dương nào từ 1 đến 5.000.
  2. Nhấp Kiểm tra: công cụ trước tiên kiểm tra xem \(p\) có phải là số nguyên tố hay không; nếu không, nó sẽ giải thích tại sao \(M_p\) phải là hợp số.
  3. Đối với p nguyên tố: hệ thức truy hồi Lucas-Lehmer chạy \(p - 2\) lần lặp modulo \(M_p\).
  4. Khám phá kết quả: biểu ngữ phán quyết, dấu vết lặp lại 6 dòng (với "..." cho các bước giữa bị bỏ qua trên \(p\) lớn), dạng thập phân và nhị phân của \(M_p\), và ghép cặp số hoàn hảo Euclid-Euler khi có thể áp dụng.

Mười hai số nguyên tố Mersenne đầu tiên đã biết

Công cụ Kiểm tra Số nguyên tố Mersenne: Mười hai số nguyên tố Mersenne đầu tiên đã biết
#Số mũ \(p\)\(M_p = 2^p - 1\)Chữ sốPhát hiện
1231Cổ đại
2371Cổ đại
35312Cổ đại
471273Cổ đại
5138,19141456 (khuyết danh)
617131,07161588 Cataldi
719524,28761588 Cataldi
8312,147,483,647101772 Euler
9612.3 × 10^18191883 Pervushin
10896.2 × 10^26271911 Powers
111071.6 × 10^32331914 Powers
121271.7 × 10^38391876 Lucas

Dự án GIMPS

Great Internet Mersenne Prime Search (GIMPS), được khởi xướng vào năm 1996 bởi George Woltman, là một dự án điện toán phân tán nơi các tình nguyện viên đóng góp thời gian CPU để chạy các bài kiểm tra Lucas-Lehmer trên các số mũ ứng viên. Tính đến năm 2024, mọi số nguyên tố Mersenne kể từ M_35 = M_{1398269} (1996) đều được khám phá bởi GIMPS. Một bài kiểm tra Lucas-Lehmer đơn lẻ ở biên giới hiện đại (các số mũ gần \(10^8\)) mất nhiều tuần tính toán trên GPU.

Sự thật thú vị về số nguyên tố Mersenne

Câu hỏi thường gặp

Số nguyên tố Mersenne là gì?

Số nguyên tố Mersenne là số nguyên tố có dạng \(2^p - 1\), trong đó \(p\) cũng là số nguyên tố. Một vài số đầu tiên là 3, 7, 31, 127 và 8.191. Tính đến năm 2024, có 52 số nguyên tố Mersenne đã được biết đến; số nguyên tố lớn nhất (\(M_{136{,}279{,}841}\)) là một số nguyên tố Mersenne với hơn 41 triệu chữ số.

Kiểm tra Lucas-Lehmer hoạt động như thế nào?

Đối với số mũ nguyên tố \(p \geq 3\), xác định \(S_0 = 4\) và \(S_i = S_{i-1}^2 - 2 \pmod{M_p}\). Số Mersenne \(M_p = 2^p - 1\) là số nguyên tố nếu và chỉ nếu \(S_{p-2} \equiv 0 \pmod{M_p}\). Kiểm tra chạy trong \(p - 2\) lần lặp, mỗi lần là một phép bình phương modulo đơn lẻ.

Tại sao p phải là số nguyên tố?

Nếu \(p = ab\) với cả hai thừa số đều lớn hơn 1, thì \(2^p - 1\) chia hết cho \(2^a - 1\) (và cho \(2^b - 1\)), vì vậy \(M_p\) là hợp số. Điều ngược lại không đúng: \(p\) là số nguyên tố không có nghĩa là \(M_p\) là số nguyên tố. Ví dụ \(p = 11\) là số nguyên tố nhưng \(M_{11} = 2047 = 23 \times 89\) là hợp số.

Mối liên hệ giữa số nguyên tố Mersenne và số hoàn hảo là gì?

Định lý Euclid-Euler phát biểu rằng mọi số hoàn hảo chẵn đều có dạng \(2^{p-1}(2^p - 1)\) trong đó \(2^p - 1\) là một số nguyên tố Mersenne. Vì vậy, mỗi số nguyên tố Mersenne tạo ra đúng một số hoàn hảo chẵn và mỗi số hoàn hảo chẵn đều bắt nguồn từ một số nguyên tố Mersenne. Việc có tồn tại số hoàn hảo lẻ nào hay không là một trong những bài toán mở lâu đời nhất.

Tại sao \(M_p\) có \(p\) bit 1 liên tiếp trong hệ nhị phân?

Số \(2^p\) trong hệ nhị phân là số 1 theo sau bởi \(p\) số 0. Trừ đi 1 sẽ chuyển tất cả \(p\) số 0 ở cuối thành các số 1. Vì vậy, \(2^p - 1\) trong hệ nhị phân chính xác là \(p\) số một — dấu hiệu trực quan đặc trưng của mọi số Mersenne, dù là số nguyên tố hay hợp số.

Số mũ lớn nhất mà công cụ này có thể kiểm tra là bao nhiêu?

Công cụ này kiểm tra các số mũ lên đến 5.000 để vòng lặp Lucas-Lehmer hoàn thành trong một yêu cầu web bình thường. Đối với các số mũ lớn hơn (bao gồm cả ranh giới GIMPS gần \(10^8\)), cần có phần mềm chuyên dụng như Prime95 vì một lần kiểm tra có thể mất nhiều tuần tính toán trên một GPU hiện đại.

Tài nguyên bổ sung

Tham khảo nội dung, trang hoặc công cụ này như sau:

"Công cụ Kiểm tra Số nguyên tố Mersenne" tại https://MiniWebtool.com/vi/cong-cu-kiem-tra-so-nguyen-to-mersenne/ từ MiniWebtool, https://MiniWebtool.com/

bởi đội ngũ miniwebtool. Cập nhật: 18 tháng 4, 2026

Có API dành cho developer: Chạy công cụ này từ ứng dụng, tự động hóa hoặc agent của bạn bằng một yêu cầu HTTP JSON. Xem tài liệu API

Trò chuyện với AI yêu thích của bạn

Gemini (sao chép và mở)

Trong Gemini, hãy dán câu hỏi đã sao chép vào cuộc trò chuyện. Bạn cũng có thể sao chép câu hỏi bên dưới.

Xem câu hỏi

Phép toán cơ bản:

Giải toánBạn muốn giải bài toán nào?

Giải toán

Ví dụ
Xem thêm biểu thức

Chọn ví dụ, sửa các số rồi giải. log dùng cơ số 10; ln là logarit tự nhiên.

Số và ước số

Phân số và phép chia

Lũy thừa, căn và logarit

Đại số và phương trình

Giải tích

Hình học và lượng giác

Công cụ phổ biến và mới cập nhật:

Đây có phải là Số Nguyên Tố?Kiểm Tra Số Chẵn Hay Số LẻKiểm tra Số Thân ThiếtXem tất cả →
Trang chủ > Toán học > Phép toán cơ bản > Công cụ Kiểm tra Số nguyên tố Mersenne