8 và 9: Cặp lũy thừa liên tiếp duy nhất trong toán học

8 và 9: hai con số đứng cạnh nhau, không con số nào chen vào

Hãy viết ra các “lũy thừa hoàn hảo” — những số có dạng $m^k$ với $m \ge 2$, $k \ge 2$ — theo thứ tự tăng dần:

$$4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 81, 100, 121, 125, 128, \ldots$$

Nhìn kỹ dãy này, bạn sẽ thấy một điều lạ: $8 = 2^3$ và $9 = 3^2$ đứng sát nhau, không một lũy thừa hoàn hảo nào chen vào giữa. Càng đi xa, các lũy thừa càng thưa thớt. Dường như sau cặp (8, 9), không bao giờ còn hai lũy thừa hoàn hảo nào “dính” nhau nữa.

Năm 1844, nhà toán học người Bỉ Eugène Charles Catalan đã mạnh dạn khẳng định điều đó trong một bức thư gửi cho August Leopold Crelle — chủ bút tạp chí toán học danh tiếng Journal für die reine und angewandte Mathematik (tạp chí Crelle). Đại ý bức thư: “Xin ngài công bố trên tạp chí định lý sau mà tôi tin là đúng, dù tôi chưa chứng minh trọn vẹn được: hai số nguyên liên tiếp, ngoài 8 và 9, không thể đều là lũy thừa hoàn hảo.”

Nói theo ngôn ngữ phương trình, giả thuyết Catalan khẳng định phương trình

$$x^p – y^q = 1 \qquad (x, y > 0;\ p, q > 1)$$

chỉ có đúng một nghiệm nguyên: $x = 3$, $p = 2$, $y = 2$, $q = 3$, tức $3^2 – 2^3 = 9 – 8 = 1$.

Catalan đoán đúng. Nhưng để biến “đoán” thành “định lý”, nhân loại mất 158 năm.

158 năm: từ một bức thư đến một định lý

Câu chuyện của giả thuyết Catalan là một trong những cuộc marathon dài nhất của lý thuyết số — và nó bắt đầu từ trước cả bức thư năm 1844.

Thế kỷ 14. Nhà bác học Levi ben Gershon (thường được gọi là Gersonides, 1288–1344) đã chứng minh trường hợp riêng: khi hai cơ số là 2 và 3, cặp duy nhất thỏa mãn là $3^2 – 2^3 = 1$. Nói cách khác, ông đã “khóa” được trường hợp hai cơ số nhỏ nhất.

Thế kỷ 18. Leonhard Euler xử lý xong cặp “bình phương – lập phương”: ông chứng minh không có cặp số nào khác ngoài 8 và 9 mà một số là bình phương, một số là lập phương, và hiệu bằng 1.

1850. Victor-Amédée Lebesgue giải quyết trường hợp một trong hai số mũ bằng 2 — tức phương trình $x^p – y^2 = 1$.

1976. Robert Tijdeman dùng lý thuyết dạng tuyến tính của logarit (công cụ do Alan Baker phát triển, sau này mang về cho Baker Huy chương Fields) để chứng minh số nghiệm của phương trình Catalan là hữu hạn, đồng thời đưa ra một chặn trên hiệu dụng cho các nghiệm. Vấn đề: chặn này lớn một cách vô dụng trong thực hành — các ước lượng cải tiến sau này vẫn đòi hỏi các số mũ nhỏ hơn $8 \times 10^{16}$, khiến việc kiểm tra vét cạn bằng máy tính là bất khả thi.

Tháng 4 năm 2002. Nhà toán học người Romania Preda Mihăilescu, khi đó đang nghiên cứu tại Đại học Paderborn (Đức), công bố một chứng minh hoàn chỉnh — dùng lý thuyết trường cyclotomic và mô-đun Galois, không cần đến chặn của Tijdeman, cũng không cần máy tính kiểm tra vét cạn. Chứng minh được đăng trên tạp chí Journal für die reine und angewandte Mathematik năm 2004 — chính là tạp chí Crelle, nơi 160 năm trước đã nhận bức thư của Catalan. Năm 2005, Mihăilescu còn công bố một phiên bản chứng minh gọn hơn nữa.

Từ đó, “giả thuyết Catalan” chính thức trở thành định lý Catalan–Mihăilescu.

Đáng nhớ: không giống chứng minh Định lý cuối cùng của Fermat — vốn huy động cỗ máy toán học khổng lồ — chứng minh của Mihăilescu được giới chuyên môn đánh giá là “không quá phức tạp”.

Cái bẫy “hiển nhiên”: vì sao trực giác suýt đúng nhưng chưa đủ

Đây là phần thú vị nhất — và là nơi hầu hết các “chứng minh” nghiệp dư sập bẫy.

Lập luận nghe rất có lý như sau: trong cùng một số mũ, khoảng cách giữa các lũy thừa liên tiếp ngày càng lớn. Với bình phương: $(n+1)^2 – n^2 = 2n + 1$, càng lúc càng lớn khi $n$ tăng. Với lập phương: $(n+1)^3 – n^3 = 3n^2 + 3n + 1$, cũng vậy. Thế thì các lũy thừa ngày càng thưa — làm sao còn cặp nào dính nhau được nữa?

Lỗ hổng nằm ở ba chữ: “trong cùng một số mũ”. Bài toán Catalan không hỏi về các lũy thừa cùng số mũ; nó hỏi về mọi lũy thừa mọi số mũ trộn lẫn vào nhau. Cặp (8, 9) chính là một lập phương ($2^3$) đứng cạnh một bình phương ($3^2$). Các dãy lũy thừa khác số mũ đan xen nhau theo những cách không ai lường trước — và chính sự đan xen đó mới là toàn bộ độ khó của bài toán.

Còn một cú twist sâu hơn nữa. Khẳng định “khoảng cách giữa hai lũy thừa hoàn hảo liên tiếp dần ra vô hạn” — nghe như điều hiển nhiên ai cũng tin — thực ra là một giả thuyết chưa ai chứng minh được: giả thuyết Pillai, do nhà toán học Ấn Độ Subbayya Pillai nêu ra trong những năm 1936–1945. Phát biểu tổng quát: với mỗi số nguyên $k$ cố định, phương trình $x^p – y^q = k$ chỉ có hữu hạn nghiệm. Định lý Catalan–Mihăilescu chính là trường hợp $k = 1$ — trường hợp duy nhất đã được chứng minh. Với mọi $k$ khác 1, giả thuyết vẫn còn mở; thậm chí với $k = 2$ người ta còn chưa biết số nghiệm là hữu hạn hay vô hạn.

Nói cách khác: trực giác “lũy thừa càng lúc càng thưa” của bạn không sai — nó chỉ chưa được chứng minh, ngoại trừ đúng một trường hợp $k = 1$. Và trường hợp duy nhất đó đã tốn của nhân loại 158 năm.

Tự kiểm chứng: dưới một triệu, chỉ có một cặp

Bạn không cần tin lời tôi. Định lý thì khó chứng minh, nhưng kiểm chứng đến một giới hạn cụ thể thì ai cũng làm được — kể cả bằng một đoạn code vài chục dòng.

Tôi đã liệt kê toàn bộ 1.110 lũy thừa hoàn hảo không vượt quá $10^6$ và đo khoảng cách giữa các số liên tiếp. Kết quả:

• Hiệu bằng 1: chỉ duy nhất cặp (8, 9).
• Hiệu bằng 2: chỉ duy nhất cặp (25, 27) — tức $3^3 – 5^2 = 2$.
• Hiệu bằng 3: chỉ duy nhất cặp (125, 128) — tức $2^7 – 5^3 = 3$.
• Hiệu bằng 4: ba cặp (4, 8), (32, 36), (121, 125).
• Hiệu bằng 5: chỉ duy nhất cặp (27, 32) — tức $2^5 – 3^3 = 5$.

Những “suýt trúng” này cho thấy các lũy thừa hoàn hảo thích đứng gần nhau ở vùng số nhỏ — nhưng không bao giờ dính sát nhau thêm lần nào nữa, ít nhất là đến một triệu.

Đây cũng là bài học phương pháp: trong toán học, kiểm chứng đến $10^6$ hay $10^{100}$ vẫn chỉ là bằng chứng thực nghiệm, không phải chứng minh. Tijdeman từng đưa ra chặn trên hữu hạn nhưng quá lớn để kiểm tra vét cạn — và chính vì thế, chứng minh của Mihăilescu (không vét cạn, không máy tính) mới đáng giá.

Những câu hỏi thường gặp

Số 1 có tính là lũy thừa hoàn hảo không? Theo quy ước của bài toán thì không: người ta xét cơ số $m \ge 2$ để loại các trường hợp tầm thường $1 = 1^2 = 1^3 = \cdots$. Quy ước này không làm mất nghiệm nào: 2 và 3 vốn không phải lũy thừa hoàn hảo.

Chứng minh của Mihăilescu có dùng máy tính không? Không. Chứng minh năm 2002 dùng lý thuyết trường cyclotomic và mô-đun Galois một cách thuần túy — và được giới chuyên môn đánh giá là “không quá phức tạp” so với quy mô bài toán.

Sau Catalan, còn câu hỏi nào mở? Rất nhiều. Giả thuyết Pillai ($x^p – y^q = k$ có hữu hạn nghiệm với mỗi $k$ cố định) vẫn mở với mọi $k \ne 1$. Ngay cả câu hỏi tưởng đơn giản “có hai lũy thừa hoàn hảo nào hiệu đúng bằng 6 không” cũng chưa ai trả lời được. Bài toán 158 năm đã khép lại — nhưng cánh cửa nó mở ra còn rộng hơn nhiều.

Bài học: đừng tin “hiển nhiên” khi chưa chứng minh

Câu chuyện Catalan là lời nhắc đắt giá cho mọi người làm toán: có những điều “nhìn là thấy” nhưng chứng minh phải mất hơn một thế kỷ rưỡi — và có những điều tưởng đã xong bằng trực giác, hóa ra vẫn là giả thuyết mở (như Pillai).

Nó cũng là minh chứng cho một truyền thống đẹp của toán học: một bức thư khiêm tốn gửi cho chủ bút tạp chí năm 1844 — “tôi tin là đúng, dù chưa chứng minh được; có lẽ người khác sẽ làm tốt hơn” — 160 năm sau được đáp lời trên chính tạp chí ấy, bằng một định lý mang tên cả người đặt câu hỏi lẫn người trả lời.

Cũng như câu chuyện của Roger Apéry và hằng số $\zeta(3)$ — một bài toán tưởng chừng cơ bản nhưng từng khiến các thiên tài bế tắc hàng thập kỷ mà Toán Khó đã kể tại đây — định lý Catalan nhắc ta rằng trong toán học, khoảng cách giữa “đoán đúng” và “chứng minh được” có thể dài bằng cả một đời người. Và chính khoảng cách đó là nơi toán học thực sự sống.

Bài viết cho bạn của Toán Khó. Nếu muốn bài viết về chủ đề nào, hãy liên hệ với chúng mình nhé!