Tổng quan nghiên cứu

Số Mersenne và số hoàn hảo là hai chủ đề trung tâm của lý thuyết số, có lịch sử phát triển kéo dài hơn 2.500 năm — từ thời Pythagoras (khoảng 570 TCN) đến các công trình hiện đại bằng máy tính. Tính đến năm 2017, chỉ có 49 số nguyên tố Mersenne được biết đến, và số lớn nhất trong số đó — 2⁷⁴·²⁰⁷·²⁸¹ − 1 — có tới 22.338.618 chữ số, được công bố vào ngày 7 tháng 1 năm 2017 nhân kỷ niệm 20 năm thành lập dự án GIMPS.

Luận văn thạc sĩ "Các ước số của số Mersenne" của tác giả Phạm Thị Phượng, thực hiện tại Trường Đại học Khoa học — Đại học Thái Nguyên năm 2017, dưới sự hướng dẫn của GS. Hà Huy Khoái, tập trung giải quyết hai mục tiêu chính: (1) trình bày toàn cảnh lịch sử phát triển của số hoàn hảo và số Mersenne, bao gồm những phát kiến lẫn sai lầm qua các thế kỷ; (2) phân tích và trình bày các kết quả nghiên cứu hiện đại về các ước nguyên tố của số Mersenne, bao gồm ước lượng cận trên và cận dưới của tổng nghịch đảo các ước nguyên tố.

Phạm vi nghiên cứu trải dài từ kết quả kinh điển của Euclid (khoảng 300 TCN) qua Euler (1749), Lucas (1876), đến các kết quả đương đại của Erdős, Shparlinski và nhiều nhà toán học khác trong thế kỷ 20–21. Luận văn có ý nghĩa kép: vừa là tài liệu học thuật phù hợp với chương trình Toán THPT và bồi dưỡng học sinh giỏi, vừa là cầu nối tiếp cận các công trình nghiên cứu tiền duyên về số nguyên tố lớn — lĩnh vực có ứng dụng trực tiếp trong mật mã học hiện đại.


Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn được xây dựng trên hai trụ cột lý thuyết cốt lõi của lý thuyết số giải tích và số học sơ cấp.

Lý thuyết số hoàn hảo và định lý Euclid–Euler: Số hoàn hảo được định nghĩa hiện đại qua hàm tổng ước σ(n): một số n được gọi là hoàn hảo khi σ(n) = 2n. Định lý Euclid (300 TCN) khẳng định nếu 2ⁿ − 1 là số nguyên tố thì 2ⁿ⁻¹(2ⁿ − 1) là số hoàn hảo chẵn. Euler (1749) hoàn thiện chiều ngược lại: mọi số hoàn hảo chẵn đều có dạng 2ⁿ⁻¹(2ⁿ − 1) với 2ⁿ − 1 nguyên tố. Đây là kết quả nền tảng xác lập mối quan hệ tất yếu giữa số hoàn hảo chẵn và số nguyên tố Mersenne.

Lý thuyết hàm số học và ước lượng giải tích: Luận văn sử dụng hệ thống các hàm số học chuẩn gồm: hàm Euler φ(m), hàm tổng ước σ(m), hàm số ước τ(m), và số thừa số nguyên tố Ω(m), ω(m). Khung giải tích bao gồm bất đẳng thức Brun–Titchmarsh, định lý số nguyên tố trong cấp số cộng (Siegel–Walfitz), phép lấy tích phân từng phần, và phương pháp sàng. Các kết quả tiệm cận của Erdős và Shparlinski về hàm φ(Mₙ)/Mₙ và σ(Mₙ)/Mₙ được trình bày như công cụ phân tích trung tâm.

Năm khái niệm cốt lõi xuyên suốt luận văn gồm: số Mersenne Mₘ = 2ᵐ − 1; số nguyên tố Mersenne (Mp nguyên tố khi p nguyên tố); phép thử Lucas–Lehmer để kiểm tra tính nguyên tố; hàm r(p) — bậc của 2 theo modulo p (tức số nguyên dương nhỏ nhất d sao cho 2^d ≡ 1 mod p); và tổng nghịch đảo các ước nguyên tố Σ 1/p với p | 2ⁿ − 1.

Phương pháp nghiên cứu

Luận văn sử dụng phương pháp nghiên cứu lý thuyết thuần túy, tổng hợp và chứng minh toán học. Không có thu thập dữ liệu thực nghiệm; thay vào đó, nguồn tư liệu gồm các bài báo toán học quốc tế, chủ yếu từ Israel Journal of Mathematics, Journal of Number Theory, và các công trình kinh điển của Erdős, Shparlinski, Lucas, Euler được trích dẫn trực tiếp.

Phương pháp phân tích chính bao gồm: chứng minh định lý bằng phương pháp phản chứng; ước lượng tổng giải tích qua phân tích từng phần; phân tích tiệm cận với biến thực đủ lớn; và kỹ thuật sàng nguyên tố. Toàn bộ kết quả được tổ chức thành hai chương, với Chương 1 trình bày khoảng 25 trang lịch sử và tính chất, Chương 2 trình bày khoảng 26 trang kết quả hiện đại kèm chứng minh chi tiết.

Lựa chọn phương pháp lý thuyết là hoàn toàn phù hợp với chuyên ngành Phương pháp Toán sơ cấp: thay vì thực nghiệm số học máy tính, luận văn ưu tiên làm rõ cơ chế toán học cơ bản, giúp kết quả có tính tổng quát cao và có thể ứng dụng trong giảng dạy toán nâng cao.


Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Phát hiện 1 — Lịch sử đầy sai lầm của số nguyên tố Mersenne. Trong số 47 số nguyên tố từ 19 đến 257 mà Mersenne tuyên bố năm 1646, tới 42 số đúng và 5 số sai (n = 67, 257 là hợp số; n = 61, 89, 107 bị bỏ sót). Phải mất hơn 300 năm, đến tận 1947, bảng này mới được kiểm tra hoàn toàn. Tỷ lệ sai sót khoảng 10,6% này phản ánh giới hạn của tính toán thủ công đối với các số hàng chục chữ số.

Phát hiện 2 — Ước lượng cận trên của tổng nghịch đảo ước nguyên tố. Định lý 2.2 của luận văn chứng minh rằng với n đủ lớn:

$$\sum_{p \mid 2^n - 1} \frac{1}{p} \leq (\log n)^{2/3} (\log_2 n)^{4/3} + O(1)$$

Kết quả này tinh chỉnh đánh giá của Erdős (σ(Mₙ)/Mₙ = O(log²n)), cho thấy tổng nghịch đảo các ước nguyên tố tăng chậm hơn nhiều so với hàm logarit tuyến tính. Nếu trực quan hóa bằng biểu đồ đường, đường biểu diễn tổng này sẽ nằm rõ ràng dưới đường cận trên lý thuyết với n từ 10³ trở lên.

Phát hiện 3 — Ước lượng cận dưới và tính trù mật. Định lý 2.5 chứng minh tập hợp {σ(Mₙ)/Mₙ} trù mật trong [1, ∞) và {φ(Mₙ)/Mₙ} trù mật trong [0, 1]. Điều này có nghĩa là các hàm số học cơ bản nhất trên tập số Mersenne hành xử "đủ phong phú" — không có vùng giá trị nào bị bỏ trống. Đây là kết quả song song với tính trù mật đã biết trên tất cả các số tự nhiên, nhưng được thu hẹp xuống tập con số Mersenne.

Phát hiện 4 — Phân phối hàm số học trên số Mersenne. Dựa theo kết quả của Shparlinski, với hàm số học f(m) thỏa mãn điều kiện (2.25), tồn tại công thức tiệm cận:

$$\frac{1}{x}\sum_{n < x} f(M_n) = \Gamma_1 + O!\left(\frac{\log x}{x}\right)$$

với Γ₁ là hằng số tính được. Đặc biệt, cả φ(Mₙ)/Mₙ và σ(Mₙ)/Mₙ đều có hàm phân bố xác suất giới hạn — tức hành vi thống kê của chúng hoàn toàn xác định.

Thảo luận kết quả

Các kết quả cận trên–cận dưới của luận văn bổ sung cho nhau thành bức tranh đầy đủ về tổng nghịch đảo ước nguyên tố: tổng này không vô hạn (cận trên kiểm soát tăng trưởng) nhưng cũng không tầm thường (cận dưới đảm bảo sự phong phú). So với kết quả ban đầu của Erdős về σ(Mₙ), cận trên mới của luận văn sắc hơn ở bậc logarit, phản ánh sự cải tiến kỹ thuật đáng kể.

Điều thú vị là bổ đề 2.4 — sự hội tụ của tổng Σ 1/(p·r(p)) — hóa ra là "tầm thường" theo nghĩa kỹ thuật vì r(p) ≫ log p, nhưng lại cần thiết để hoàn thành chứng minh Định lý 2.4. Điều này phản ánh một đặc điểm chung của lý thuyết số giải tích: những bước trung gian có vẻ đơn giản lại mang tải lượng kỹ thuật quan trọng.

Kết quả về tính trù mật kết nối với câu hỏi mở lớn nhất của lĩnh vực: liệu có vô hạn số nguyên tố Mersenne không (Giả thuyết 1.4)? Nếu có, tính trù mật càng được củng cố; nếu không, bức tranh sẽ thay đổi hoàn toàn.


Đề xuất và khuyến nghị

1. Mở rộng nghiên cứu sang số Mersenne tổng quát hóa. Các kết quả ước lượng của luận văn hiện áp dụng cho Mₙ = 2ⁿ − 1. Nhóm nghiên cứu tiếp theo nên kiểm tra xem các bất đẳng thức tương tự có giữ nguyên cho dãy aⁿ − 1 với cơ số a tổng quát hay không, hướng đến công bố kết quả trong vòng 2–3 năm tại các tạp chí chuyên ngành như Journal of Number Theory.

2. Triển khai kiểm chứng tính toán bằng phần mềm CAS. Sử dụng phần mềm đại số máy tính như SageMath hoặc PARI/GP để kiểm tra số liệu bảng 1.1 và 1.2 (49 số nguyên tố Mersenne), đồng thời trực quan hóa tốc độ tăng của tổng Σ 1/p với n từ 100 đến 10⁶. Mục tiêu đạt được ít nhất 3 biểu đồ minh họa chất lượng trong vòng 6 tháng, hỗ trợ các bài giảng toán giải tích bậc sau đại học.

3. Xây dựng tài liệu giảng dạy cho học sinh giỏi THPT. Chương 1 của luận văn đã có cấu trúc phù hợp với đối tượng học sinh năng khiếu toán. Giáo viên và cán bộ nghiên cứu tại các trường chuyên nên chuyển thể phần lịch sử (từ Pythagoras đến phép thử Lucas–Lehmer) thành bộ tài liệu bồi dưỡng 15–20 tiết, kèm bài tập có phân bậc độ khó. Bộ tài liệu này có thể hoàn thành trong học kỳ 1 của năm học tiếp theo.

4. Kết nối với dự án GIMPS và cộng đồng toán học mở. Dự án GIMPS (Great Internet Mersenne Prime Search) hiện thu hút hàng chục nghìn người tham gia trên toàn cầu và đã trao giải thưởng 150.000 USD cho số nguyên tố Mersenne vượt 100 triệu chữ số. Khoa Toán–Tin, Đại học Thái Nguyên nên thiết lập kết nối chính thức với cộng đồng này, tổ chức ít nhất 1 hội thảo chuyên đề hàng năm về số nguyên tố lớn, nhằm kéo sinh viên và học viên cao học vào các vấn đề nghiên cứu thực tiễn.

5. Nghiên cứu ứng dụng mật mã học. Số nguyên tố Mersenne là thành phần quan trọng trong nhiều thuật toán mật mã như Mersenne Twister (sinh số ngẫu nhiên) và các hệ thống mã hóa dựa trên bài toán logarit rời rạc. Nhóm liên ngành gồm nhà toán học và kỹ sư bảo mật nên khảo sát cách kết quả ước lượng ước số ảnh hưởng đến độ an toàn của các hệ thống này trong vòng 18–24 tháng tới.


Đối tượng nên tham khảo luận văn

Học viên cao học và nghiên cứu sinh toán học là nhóm hưởng lợi trực tiếp nhất. Luận văn cung cấp nền tảng lý thuyết vững chắc về hàm số học trên tập Mersenne, đặc biệt hữu ích cho những ai làm về lý thuyết số giải tích, lý thuyết số sơ cấp, hoặc hàm phân bố số học. Hệ thống chứng minh chi tiết trong Chương 2 — từ Bổ đề 2.3 đến Định lý 2.5 — có thể dùng trực tiếp làm mẫu kỹ thuật cho các bài báo tiếp theo. Đặc biệt, công thức tiệm cận (2.24) của Shparlinski và cách luận văn xử lý nó cung cấp mô hình phân tích có thể tái sử dụng.

Giáo viên toán THPT chuyên và các trường bồi dưỡng học sinh giỏi sẽ tìm thấy trong Chương 1 một nguồn tài nguyên hiếm có: lịch sử toán học được kể theo chiều thời gian 2.500 năm với các ví dụ cụ thể (6, 28, 496, 8128), các sai lầm nổi tiếng của Nicomachus và Cataldi, và các phát kiến đột phá của Fermat, Euler. Nội dung này thích hợp trực tiếp cho các chuyên đề Toán 10–12 về lý thuyết số và kỳ thi học sinh giỏi quốc gia.

Kỹ sư và nhà nghiên cứu bảo mật thông tin có thể tham khảo phần phân tích cấu trúc ước số của số Mersenne, liên quan trực tiếp đến thiết kế bộ sinh số ngẫu nhiên chất lượng cao và phân tích độ phức tạp của bài toán phân tích nhân tử — cơ sở của nhiều hệ thống mã hóa RSA và ECC.

Sinh viên đại học ngành toán hoặc toán–tin đang tìm chủ đề khóa luận hoặc đồ án tốt nghiệp sẽ thấy luận văn này là cầu nối lý tưởng giữa toán sơ cấp đã học và các vấn đề nghiên cứu mở: câu hỏi về vô hạn số nguyên tố Mersenne, về tính trù mật của các hàm số học, và về ước lượng tốt hơn cho Σ 1/p, đều còn là bài toán chưa có lời giải hoàn chỉnh.


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

1. Số Mersenne là gì và tại sao nó quan trọng? Số Mersenne thứ m được định nghĩa là Mₘ = 2ᵐ − 1. Khi m = p là số nguyên tố và Mp cũng nguyên tố, ta có số nguyên tố Mersenne. Tầm quan trọng của chúng nằm ở chỗ: mỗi số nguyên tố Mersenne sinh ra đúng một số hoàn hảo chẵn qua công thức Euclid–Euler. Tính đến 2017, tất cả 49 số hoàn hảo chẵn đã biết đều xuất phát từ 49 số nguyên tố Mersenne, và số hoàn hảo lớn nhất có tới 44.677.236 chữ số.

2. Phép thử Lucas–Lehmer hoạt động như thế nào? Đây là thuật toán kiểm tra tính nguyên tố đặc biệt hiệu quả cho số Mersenne. Với số nguyên tố lẻ p, định nghĩa dãy S(1) = 4, S(n+1) = S(n)² − 2. Khi đó 2ᵖ − 1 là nguyên tố khi và chỉ khi 2ᵖ − 1 chia hết S(p−1). Thuật toán chỉ cần p−2 bước lặp, hiệu quả hơn rất nhiều so với phép chia thử thông thường. Chính nhờ phép thử này, kết hợp với máy tính, GIMPS đã tìm ra số nguyên tố Mersenne thứ 49 năm 2017.

3. Tại sao bảng của Mersenne năm 1646 lại có sai lầm? Mersenne đề xuất 2ⁿ − 1 nguyên tố với n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257, nhưng thực tế n = 67 và n = 257 cho ra hợp số, còn n = 61, 89, 107 bị bỏ sót. Bản thân Mersenne thừa nhận: "Để kiểm tra một số có 15 hay 20 chữ số có nguyên tố hay không chắc phải mất cả đời!" Với công nghệ tính toán thế kỷ 17, sai lầm 10% là không thể tránh khỏi. Phải đến năm 1947, bảng này mới được kiểm tra hoàn toàn.

4. Tổng nghịch đảo ước nguyên tố của số Mersenne tăng nhanh như thế nào? Kết quả trung tâm của luận văn cho thấy tổng Σ_{p | 2ⁿ−1} 1/p bị chặn trên bởi hàm (log n)^{2/3} · (log₂ n)^{4/3} cộng với hằng số. Điều này có nghĩa là dù 2ⁿ − 1 có thể có rất nhiều ước nguyên tố, tổng nghịch đảo của chúng tăng cực kỳ chậm — chậm hơn bất kỳ lũy thừa dương nào của log n. Đây là bằng chứng toán học rằng các ước nguyên tố nhỏ của số Mersenne rất hiếm.

5. Có vô hạn số hoàn hảo không? Câu hỏi này tương đương với: có vô hạn số nguyên tố Mersenne không? Giả thuyết 1.4 — một trong những bài toán mở lớn nhất của toán học — khẳng định có, nhưng chưa ai chứng minh được. Hiện có 49 số nguyên tố Mersenne đã biết; số lớn nhất có hơn 22 triệu chữ số. Giả thuyết của Catalan và dự đoán của Bateman–Selfridge–Wagstaff (1989) đều hướng đến sự tồn tại vô hạn, nhưng đây vẫn là vùng lãnh thổ chưa được chinh phục.


Kết luận

  • Cầu nối lịch sử và hiện đại: Luận văn là tài liệu hiếm hoi trong tiếng Việt hệ thống hóa 2.500 năm phát triển của lý thuyết số hoàn hảo từ Pythagoras đến GIMPS 2017, kèm theo chứng minh toán học đầy đủ của các kết quả then chốt.
  • Kết quả kỹ thuật có giá trị: Ước lượng cận trên và cận dưới cho tổng nghịch đảo ước nguyên tố của số Mersenne là đóng góp phân tích quan trọng, mở rộng và tinh chỉnh kết quả của Erdős và Shparlinski.
  • Tính trù mật đã chứng minh: Định lý 2.5 xác nhận {σ(Mₙ)/Mₙ} và {φ(Mₙ)/Mₙ} đều trù mật trong miền xác định, làm phong phú thêm hiểu biết về hành vi thống kê của hàm số học trên tập Mersenne.
  • Câu hỏi mở còn nhiều tiềm năng: Giả thuyết 1.4 (vô hạn số nguyên tố Mersenne), bài toán cải thiện cận trên ở bậc logarit, và việc mở rộng kết quả sang cơ số tổng quát là ba hướng nghiên cứu tiếp theo rõ ràng.
  • Ứng dụng đa chiều: Từ bồi dưỡng học sinh giỏi THPT đến mật mã học ứng dụng, kết quả của luận văn có khả năng tác động thực tế ở nhiều cấp độ khác nhau trong 3–5 năm tới.

Những nhà nghiên cứu quan tâm đến lý thuyết số giải tích, giáo viên toán nâng cao, và học viên sau đại học nên đọc toàn văn luận văn như một điểm xuất phát vững chắc trước khi tiếp cận tài liệu gốc của Erdős, Shparlinski và các cộng sự.