Lời giải cho câu đố hình học 300 năm tuổi về khối đa diện không thể tự xuyên qua chính mình

Cú sốc tháng 8/2025: Lật đổ giả thuyết 300 năm về khối đa diện

Vào tháng 8 năm 2025, giới toán học quốc tế chứng kiến bước ngoặt lịch sử khi hai nhà nghiên cứu Jakob Steininger (30 tuổi) và Sergey Yurkevich (29 tuổi) công bố một công trình chấn động. Là đôi bạn thân từ thời tham gia các kỳ thi Olympic Toán học quốc tế và không làm việc trong các viện hàn lâm, họ vẫn giữ trọn đam mê với các bài toán đỉnh cao. Cả hai đã sáng tạo thành công Noperthedron — khối đa diện đầu tiên trong lịch sử được chứng minh là không thể tự xuyên qua chính mình. Phát hiện mang tính bước ngoặt này đã chính thức đánh đổ giả thuyết hình học kéo dài suốt hơn 3 thế kỷ.

Ý tưởng khoét một đường hầm thẳng qua một vật thể để một bản sao cùng kích thước chui lọt qua thoạt nghe như một nghịch lý. Nếu bạn cầm hai con xúc xắc lập phương hoàn toàn đồng nhất, trực giác thông thường sẽ quả quyết rằng không thể nào đục rỗng con xúc xắc thứ nhất để con thứ hai trượt qua mà không làm vỡ vụn khối hình. Khối bị khoét rỗng ắt mất đi vật liệu, làm sao có thể chứa vừa một bản sao nguyên vẹn của chính nó? Dẫu vậy, lịch sử hình học từng chứng minh điều ngược lại.

Vụ cá cược lịch sử của Hoàng tử Rupert và chiếc lỗ kỳ diệu

Nguồn gốc sâu xa của bài toán bắt đầu từ cuối thế kỷ 17 qua cuộc cá cược nổi tiếng tại nước Anh. Hoàng tử Rupert — cháu trai Vua Charles I, một chỉ huy quân đội say mê nghiên cứu hóa học và luyện kim tại Lâu đài Windsor — đã tin chắc việc tạo một đường hầm như vậy qua khối lập phương là hoàn toàn khả thi.

Hoàng tử Rupert đã giành chiến thắng. Khi ghi lại sự kiện vào năm 1693, nhà toán học John Wallis đã chứng minh bằng hình học: nếu bạn khoan đường hầm thẳng theo hướng đường chéo không gian của khối lập phương, đường hầm đó hoàn toàn đủ rộng cho một khối lập phương cùng cỡ trượt qua dễ dàng, thậm chí lọt cả khối lớn hơn khoảng 4%. Khoảng một thế kỷ sau, nhà toán học Pieter Nieuwland còn tìm ra góc xoay tối ưu hơn, cho phép khối lớn hơn tới hơn 6% đi qua mà không mắc kẹt.

Khả năng kỳ lạ này được đặt tên là Tính chất Rupert (Rupert property). Các nhà nghiên cứu nhanh chóng mở rộng sang các khối đa diện lồi (convex polyhedra) — những hình đa diện có các mặt phẳng, không có gờ lõm vào trong. Năm 1968, Christoph Scriba chứng minh khối tứ diện đều và bát diện đều cũng mang tính chất này. Trong thập kỷ qua, máy tính đã giúp phát hiện tính chất Rupert ở khối 12 mặt đều, khối 20 mặt đều và cả khối 20 mặt cụt hình quả bóng đá. Hàng loạt kết quả thực nghiệm khiến giới toán học tin vào giả thuyết tổng quát: Mọi khối đa diện lồi đều có tính chất Rupert.

Bản chất toán học: Phép chiếu bóng và không gian tham số

Để giải bài toán xuyên khối một cách chặt chẽ, các nhà toán học đã chuyển hóa bài toán về việc quan sát bóng chiếu (shadows). Khi chiếu ánh sáng song song từ trên xuống, khối đa diện đổ một chiếc bóng phẳng lên bề mặt bên dưới. Một khối đa diện $A$ có thể cho một khối đa diện $B$ đi qua nếu và chỉ nếu tồn tại một góc xoay sao cho bóng chiếu của $B$ nằm hoàn toàn bên trong bóng chiếu của $A$.

Nếu điều kiện này được thỏa mãn tại một góc định hướng nào đó, ta chỉ việc khoét đường hầm thẳng tắp dọc theo hướng chiếu tương ứng để khối thứ hai trượt qua. Tuy nhiên, để chứng minh một hình khối KHÔNG có tính chất Rupert, bài toán trở nên vô cùng hóc búa. Các nhà nghiên cứu buộc phải loại bỏ khả năng này trên toàn bộ không gian tham số chứa vô hạn các góc xoay ba chiều có thể có. Họ phải chứng minh rằng tuyệt đối không tồn tại bất kỳ góc xoay nào khiến bóng của khối di chuyển nằm trọn trong bóng của khối đứng yên.

Cuộc săn lùng khối hình chống lại quy luật bằng thuật toán

Để truy tìm phản ví dụ nhằm bác bỏ giả thuyết Rupert, Tom Murphy — kỹ sư phần mềm tại Google — đã viết các thuật toán giả lập hàng trăm triệu khối đa diện ngẫu nhiên và đa diện có đỉnh trên mặt cầu, thậm chí cố tình dịch chuyển một đỉnh để cản trở đường hầm. Kỳ lạ thay, thuật toán của ông hầu như luôn tìm thấy đường hầm Rupert cho mọi hình khối được đưa vào thử nghiệm.

Tuy nhiên, một số ít khối đa diện phức tạp vẫn ngoan cố thách thức các thuật toán tìm kiếm. Chẳng hạn, nhà toán học ứng dụng Benjamin Grimmer tại Đại học Johns Hopkins từng cho máy tính chạy ròng rã suốt 2 tuần liền để tìm đường hầm cho khối 62 mặt (rhombicosidodecahedron) nhưng hoàn toàn thất bại. Dù vậy, việc máy tính bất lực không đồng nghĩa với việc đường hầm không tồn tại, bởi máy tính chỉ có thể thử nghiệm số lượng hữu hạn các trường hợp rời rạc trong không gian góc xoay vô hạn.

Kiệt tác Noperthedron và cấu trúc 152 mặt độc nhất

Nhận thấy tìm kiếm ngẫu nhiên dễ rơi vào ngõ cụt, Steininger và Yurkevich đã tự tay thiết kế một khối đa diện đặc biệt gồm 90 đỉnh và 152 mặt (150 mặt tam giác và 2 mặt đa giác đều 15 cạnh). Khối hình có dáng dấp một chiếc bình hoa thạch anh với phần thân phình to ở giữa, được đặt tên là Noperthedron (kết hợp giữa Rupert và ‘Nope’ nhằm khẳng định sự bất khả thi).

Bằng lập luận toán học chặt chẽ kết hợp siêu máy tính, họ chứng minh không tồn tại bất kỳ đường hầm thẳng nào cho Noperthedron thông qua hai định lý bổ trợ nhau:

• Định lý toàn cục (Global Theorem): Khi bóng khối thứ hai nhô ra khỏi bóng khối thứ nhất một khoảng đủ lớn, định lý cho phép loại bỏ cùng lúc cả một khối (block) các góc xoay lân cận trong không gian tham số mà không cần kiểm tra từng góc riêng lẻ.
• Định lý cục bộ (Local Theorem): Với góc xoay cực nhỏ, nếu trên biên bóng ban đầu có 3 đỉnh tạo thành tam giác chứa tâm bóng chiếu, thì mọi xoay nhẹ đều đẩy ít nhất một đỉnh ra ngoài biên, khiến bóng mới không thể nằm trọn trong bóng cũ.

Hai tác giả chia không gian tham số thành khoảng 18 triệu khối nhỏ rồi cho máy tính quét qua điểm trung tâm từng khối. Kết quả khẳng định toàn bộ 18 triệu khối đều thỏa mãn định lý toàn cục hoặc cục bộ, chứng minh dứt khoát rằng Noperthedron hoàn toàn không có tính chất Rupert.

Góc nhìn thực tế: Từ câu đố hình học đến công nghệ robot và đóng gói

Dù bắt nguồn từ một vụ cá cược cổ xưa, bài toán Rupert và Noperthedron lại mở ra những giá trị thực tiễn to lớn. Việc chuyển hóa bài toán xuyên thấu vật thể sang bài toán bao bọc bóng chiếu phẳng trong không gian tham số là nền tảng cốt lõi cho các thuật toán tối ưu hóa đóng gói không gian (packing problems), phát hiện va chạm trong đồ họa máy tính 3D và điều hướng chuyển động cho cánh tay robot công nghiệp khi luồn lách qua các khe hẹp phức tạp.

Khởi nguyên mới của hình học không gian

Khám phá về Noperthedron đã bác bỏ hoàn toàn giả thuyết kéo dài hơn 300 năm, khẳng định chắc chắn rằng tính chất Rupert không phải là thuộc tính vạn năng của mọi khối đa diện lồi. Cột mốc này giải phóng tư duy toán học khỏi định kiến lịch sử lâu đời.

Đúng như lời nhận định sâu sắc của giáo sư Joseph O’Rourke: ‘Giả thuyết tự nhiên nhất đã bị chứng minh là sai.’ Giờ đây, các nhà toán học đã có nền tảng vững chắc để mở rộng ranh giới toán học rời rạc và hình học tính toán, đồng thời tiếp tục hành trình mới: săn tìm những khối Nopert gọn gàng hơn với số lượng mặt và đỉnh tối giản hơn Noperthedron.

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