Sự thật tuyệt đối của toán học thuần túy và bài toán xếp hình tròn thách thức các thiên tài

Ảo giác về các đường thẳng song song và chân trời mới của hình học cầu

Chúng ta thường mặc định rằng các đường thẳng song song là một thực tại hiển nhiên. Thế nhưng trong thực tế, chưa từng có ai trên mặt đất thực sự nhìn thấy hai đường thẳng song song đúng nghĩa. Mọi cặp đường song song mà mắt người cảm nhận chỉ là ảo giác cục bộ, sinh ra từ góc nhìn hữu hạn trước một bề mặt cong rộng lớn.

Để hiểu rõ nghịch lý này, hãy quay về năm 300 TCN tại Alexandria, khi Euclid đặt nền móng toán học qua bộ sách Cơ sở (Elements). Ông xây dựng hệ thống hình học trên 5 tiên đề. Trong khi 4 tiên đề đầu rất ngắn gọn và trực quan, thì tiên đề thứ 5 (tiên đề về đường thẳng song song) lại dài dòng như một đoạn văn phức tạp:

“Nếu một đường thẳng cắt hai đường thẳng khác tạo thành hai góc trong cùng phía có tổng nhỏ hơn hai góc vuông, thì hai đường thẳng đó nếu kéo dài vô tận sẽ cắt nhau về phía có hai góc đó.”

Chính Euclid cũng ngần ngại trước sự rắc rối này, thể hiện qua việc ông chứng minh 25 mệnh đề đầu mà không cần dùng đến nó. Suốt hơn 2.000 năm sau, vô số học giả cố chứng minh tiên đề 5 từ 4 tiên đề đầu nhưng đều bất thành. Mãi đến thế kỷ 19, giới toán học mới vỡ lẽ: tiên đề 5 độc lập hoàn toàn, và tồn tại những không gian phi Euclid kỳ thú — nơi 4 tiên đề đầu đúng nhưng tiên đề song song lại sai.

Hình học cầu chính là minh chứng sống động. Con người sống trên bề mặt quả cầu nhưng lại giữ thói quen tư duy phẳng. Chẳng hạn, chặng bay New York – Rome có cùng vĩ độ. Nếu máy bay đi thẳng về hướng Đông theo vĩ tuyến, đó không phải quãng đường ngắn nhất. Đường bay tối ưu trên mặt cầu (đường trắc địa hay đường vòng lớn – Great Circle) buộc phi cơ phải vòng lên phía Bắc, qua Nova Scotia và bờ biển Ireland rồi mới hạ xuống Rome.

Tương tự, hãy tưởng tượng hai người tại New York đứng cách nhau 1 foot theo trục Đông – Tây rồi cùng bước thẳng về hướng Bắc dọc theo các đường kinh tuyến trắc địa. Ban đầu họ đi song song, nhưng càng tiến gần địa cực, khoảng cách giữa họ càng thu hẹp và cuối cùng giao nhau tại Cực Bắc.

Kết luận rút ra thật kinh ngạc: Không một con người nào từng thực sự nhìn thấy hai đường thẳng song song trong thực tế trên bề mặt Trái Đất. Đó hoàn toàn là ảo ảnh do giới hạn quan sát của con người.

Chân lý bất biến: Khi toán học thuần túy vượt lên trên mọi nghi ngờ

Sự sụp đổ của một trực giác hình học không làm suy chuyển toán học, mà trái lại càng làm nổi bật nét đặc sắc nhất của toán học thuần túy: chân lý vĩnh cửu. Trong khoa học thực nghiệm như vật lý, sinh học hay trong hệ thống pháp luật, điều được gọi là “đã chứng minh” thường chỉ dừng ở mức “vượt qua nghi ngờ hợp lý”. Khi có dữ liệu mới, kết luận ấy hoàn toàn có thể thay đổi.

Toán học thuần túy thì khác: một định lý đã chứng minh là sự thật tuyệt đối trước mọi sự nghi ngờ, ở bất kỳ thời đại nào. Nhà toán học Alex Kontorovich (Đại học Rutgers) từng kể câu chuyện vui khi tham gia tuyển chọn bồi thẩm đoàn tại New York. Khi biết ông là nhà toán học thuần túy, tòa án lập tức gạch tên ông khỏi danh sách. Lý do là chuẩn mực về “chứng cứ tuyệt đối” của ông hoàn toàn không phù hợp với đời sống pháp đình — nơi chỉ cần sự cân nhắc xác suất hợp lý. Những định lý của Euclid từ 2.300 năm trước vẫn đúng tuyệt đối hôm nay và sẽ tiếp tục đúng vĩnh viễn.

Trước câu hỏi liệu toán học là do con người sáng tạo hay khám phá, Alex Kontorovich đúc kết: Các câu hỏi và khái niệm là sự sáng tạo của con người, nhưng các câu trả lời lại là sự khám phá chân lý sẵn có của tự nhiên. Toán học chính là chiếc cầu nối giữa tư duy con người và trật tự vĩnh cửu của vũ trụ.

Hành trình của cậu bé nhập cư và di sản thầm lặng từ người mẹ

Tình yêu sâu sắc đó được hun đúc từ chính cuộc đời nhiều thử thách của Alex Kontorovich. Năm 8 tuổi, Alex theo gia đình từ Nga sang Mỹ mà không biết một chữ tiếng Anh. Những ngày đầu đến trường là chuỗi bỡ ngỡ trước những trang giấy đầy chữ cái Latin xa lạ. Nhưng khi nhìn thấy các con số và ký hiệu toán học, ánh mắt cậu bừng sáng vì nhận ra đó là kiến thức mình đã học từ năm ngoái ở quê nhà. Toán học trở thành chiếc phao cứu sinh, thứ ngôn ngữ không lời giúp cậu bé nhập cư vượt lên khẳng định mình.

Niềm đam mê nghiên cứu của Alex chịu ảnh hưởng sâu sắc từ người mẹ. Bà từng hoàn tất luận án Tiến sĩ Toán học tại Liên Xô nhưng không được bảo vệ vì các chính sách phân biệt thời đó. Sang Mỹ, vì mưu sinh gia đình, bà đành gác lại ước mơ nghiên cứu để làm việc trong ngành tài chính. Ngày Alex bảo vệ thành công luận án Tiến sĩ, ông mang tặng mẹ bản in của mình. Người mẹ lặng lẽ mở tủ hồ sơ, trao lại cho con trai bản thảo luận án chưa từng công bố về phương trình Navier-Stokes mà bà cất giữ bấy lâu. Đó là khoảnh khắc tiếp nối thiêng liêng giữa hai thế hệ.

Áp lực trước vĩ nhân và bài học cởi trói tư duy bên Jean Bourgain

Dù có năng khiếu xuất sắc, Alex Kontorovich từng trải qua cuộc khủng hoảng tự ti nghiêm trọng khi làm việc chung với Jean Bourgain — chủ nhân huy chương Fields được ví như một “Archimedes hiện đại”.

Trong các buổi thảo luận tại Viện Nghiên cứu Cao cấp Princeton, Alex luôn rơi vào trạng thái sợ sai. Đứng trước bảng đen, ông từng nghĩ đến việc dùng bất đẳng thức Cauchy-Schwarz nhưng lại vội dập tắt ý tưởng vì sợ ngô nghê. Chỉ 5 phút sau, chính Bourgain lại nêu đúng bất đẳng thức ấy và mở ra hướng giải quyết. Sự nhút nhát khiến Alex dằn vặt khôn nguôi.

Thấy vậy, giáo sư hướng dẫn của Alex là Peter Sarnak đã thẳng thắn chỉ rõ:

“Cậu đang lo lắng rằng mình không giỏi bằng ông ấy đúng không? Cậu không giỏi bằng ông ấy đâu. Chẳng ai giỏi bằng ông ấy cả. Hãy chấp nhận điều đó và vượt qua nó đi!”

Lời nói ấy đã giải thoát tâm lý cho Alex. Chấp nhận việc mình kém hơn một thiên tài xuất chúng giúp ông trút bỏ gánh nặng, thoải mái đưa ra mọi ý tưởng táo bạo. Sự hợp tác giữa hai người nhờ đó bùng nổ mạnh mẽ. Qua đó, Alex cũng nhận ra Bourgain không phải thần thánh làm xiếc với con số, mà là tấm gương lao động bền bỉ, sẵn sàng đối mặt với hàng ngàn trang nháp thất bại để tìm ra chân lý.

Vũ điệu của những ly rượu vang và bài toán xếp hình tròn Apollonius

Một trong những thành tựu nổi tiếng nhất từ sự hợp tác giữa Kontorovich và Bourgain liên quan đến Bài toán xếp hình tròn Apollonius (Apollonian Circle Packing), có từ thời Apollonius xứ Perga (năm 250 TCN).

Hãy tưởng tượng bạn đặt 3 ly rượu vang trên bàn sao cho chân đế hình tròn tiếp xúc đôi một. Khoảng trống ở giữa 3 đế ly tạo thành một “tam giác cong” (curvilinear triangle) có 3 cạnh là cung tròn. Làm sao để đặt một chiếc ly champagne có chân đế tròn lọt khít hoàn hảo vào khoảng trống đó?

Xét trường hợp cụ thể trong hình học:

• Hai hình tròn bên trong có bán kính là $\frac{1}{2}$ inch.
• Một hình tròn bao bên ngoài ôm trọn hai hình tròn trên có bán kính là 1 inch.
• Khoảng trống giữa chúng tạo ra các tam giác cong. Hình tròn tiếp xúc hoàn hảo nằm bên trong tam giác cong này sẽ có bán kính đúng bằng $\frac{1}{3}$ inch!

Nếu chúng ta tiếp tục nhét thêm các hình tròn nhỏ hơn vào các khoảng trống tam giác cong mới xuất hiện, bán kính của các hình tròn tiếp theo sẽ lần lượt là $\frac{1}{6}$, $\frac{1}{14}$, $\dots$

Điều kỳ diệu khiến các nhà toán học vỡ òa phấn khích ở đây là: Độ cong (nghịch đảo của bán kính) của mọi hình tròn trong cấu trúc này đều là các số nguyên! Chúng ta bắt đầu với các độ cong 1, 2, 3, và các hình tròn tiếp theo có độ cong là $6, 14, \dots$

$$\text{Độ cong} = \frac{1}{\text{Bán kính}}$$

• Hình tròn ngoài cùng: Bán kính 1 $\rightarrow$ Độ cong 1
• Hai hình tròn ban đầu: Bán kính $\frac{1}{2}$ $\rightarrow$ Độ cong 2
• Hình tròn ở giữa: Bán kính $\frac{1}{3}$ $\rightarrow$ Độ cong 3
• Các hình tròn tiếp theo: Bán kính $\frac{1}{6}, \frac{1}{14}$ $\rightarrow$ Độ cong 6, 14

Tại sao hai thế giới tưởng như riêng biệt — Hình học (việc xếp các hình tròn tiếp xúc) và Số học (các số nguyên 1, 2, 3, 6, 14) — lại bất ngờ hòa quyện hoàn hảo như vậy? Đây chính là đỉnh cao vẻ đẹp của toán học thuần túy.

Giả thuyết Cục bộ – Toàn cục và mật độ số nguyên xuất hiện

Câu hỏi lớn đặt ra là: Những số nguyên nào sẽ xuất hiện làm độ cong của các hình tròn trong dãy xếp vô tận này? Đây là một trong những bài toán mở lớn nhất trong lý thuyết nhóm mỏng (thin groups).

Các nhà toán học xây dựng một giả thuyết gọi là Giả thuyết Cục bộ – Toàn cục (Local-Global Conjecture). Bằng đại số đồng dư (kiểm tra số dư khi chia cho các số nguyên), người ta có thể dễ dàng loại trừ một số con số chắc chắn không thể xuất hiện. Giả thuyết cho rằng: Bất kỳ số nguyên nào không bị loại trừ bởi các điều kiện cục bộ này, nếu đủ lớn, thì chắc chắn sẽ xuất hiện làm độ cong của một hình tròn nào đó trong dãy.

Alex Kontorovich và Jean Bourgain đã chứng minh được một định lý lịch sử: Giả thuyết này đúng trên khía cạnh xác suất (mật độ bằng 1).

Để hiểu khái niệm “mật độ bằng 1” hay “gần như tất cả”, hãy xét ví dụ về các số chính phương ($1, 4, 9, 16, 25, \dots$):

• Trong các số từ 1 đến 100, có 10 số chính phương (10%).
• Trong các số từ 1 đến 1.000.000, có 1.000 số chính phương (0,1%).
• Trong các số từ 1 đến 1.000.000.000.000 (1 nghìn tỷ), chỉ có 1.000.000 số chính phương (0,0001%).

Khi tiến ra vô cùng, tỷ lệ các số chính phương so với tổng số nguyên tiến về 0. Do đó, ta nói “gần như không có số nào là số chính phương”. Ngược lại, công trình của Kontorovich và Bourgain chứng minh rằng tỷ lệ giữa các số thực sự xuất hiện làm độ cong hình tròn so với các số lý thuyết cho phép sẽ tiến tới 1 (100%) khi tiến ra vô cùng. Hầu như mọi số nguyên hợp lệ đều sẽ xuất hiện!

Ý nghĩa của giáo dục toán học, sức bền tâm lý và hai phong cách đỉnh cao

Cuối buổi trò chuyện, Steven Strogatz và Alex Kontorovich cùng suy ngẫm về câu hỏi: Ý nghĩa thực sự của việc học toán đối với đa số mọi người là gì, khi họ không trở thành nhà toán học?

Alex chia sẻ kinh nghiệm giảng dạy: nếu thấy sinh viên dùng điện thoại chụp lại bảng đen thay vì chép tay, ông nhắc nhở ngay rằng hành động vật lý khi di chuyển cây bút trên giấy chính là lúc các tế bào thần kinh não bộ kích hoạt và ghi nhớ logic.

Mục đích của giáo dục và việc học toán nghiêm túc không chỉ là nạp kiến thức — thứ có thể tra cứu nhanh chóng trên Google hay YouTube. Học toán là quá trình rèn luyện sức bền tâm lý (mental stamina) và khả năng đối mặt với khó khăn. Tương tự như môn cờ vua, khi phạm sai lầm và rơi vào thế cờ xấu, bạn không thể bỏ cuộc mà phải tập trung tìm đường thoát hiểm từ chính vị trí đó. Thất bại trước một ván cờ hay một bài toán khó dạy cho con người cách chấp nhận nghịch cảnh và kiên trì đứng dậy.

Khi giải quyết một bài toán lớn, lịch sử ghi nhận hai phong cách trái ngược của các thiên tài:

• Phong cách Alexandre Grothendieck: Giống như ngâm một hạt quả khô có vỏ rất cứng vào nước ấm trong nhiều ngày. Khi vỏ đã mềm ra, bạn chỉ việc nhẹ nhàng tách nó. Trong toán học, đó là việc xây dựng các lý thuyết tổng quát siêu cấp làm cho bài toán tự nhiên được hóa giải.
• Phong cách Jean Bourgain: Giống như dùng đục và búa nện liên tục vào vỏ cứng cho đến khi vỡ vụn. Đó là sự quyết đoán, sẵn sàng thử hàng ngàn trang nháp, dùng công cụ mạnh nhất; nếu gặp một bức tường không thể vượt qua, ông sẽ tìm một bức tường khác để tiến tới mục tiêu.

Trong kỷ nguyên số và trí tuệ nhân tạo ngày nay, khi máy tính giải quyết hàng triệu phép tính mỗi giây, giá trị của tư duy toán học thuần túy lại càng quý giá hơn bao giờ hết. Toán học rèn luyện cho chúng ta bản lĩnh tư duy độc lập, thói quen truy vấn đến tận cùng bản chất sự vật và sức bền ý chí để giải quyết những bài toán phức tạp trong cuộc sống mà không có bất kỳ thuật toán lập trình sẵn nào cứu rỗi.

Toán học thuần túy không phải những con số khô khan, mà là hành trình đuổi theo “con hươu” tri thức trong rừng sâu. Dù phải chạy liên tục 5 tiếng hay nghiên cứu suốt 5 năm, cảm giác vỡ òa khi chinh phục được chân lý tuyệt đối chính là niềm hạnh phúc thuần khiết và vĩnh cửu nhất của trí tuệ con người.

Bài viết tham khảo Quanta Magazine (quantamagazine.org).