Bài toán xếp cam của Kepler (Kepler
Conjecture) là một trong những bài toán nổi tiếng nhất trong lịch sử toán học,
liên quan đến việc tìm cách xếp các hình cầu có cùng kích thước vào một không
gian sao cho mật độ chiếm chỗ là lớn nhất. Dưới đây là những điểm
cốt lõi về giả thuyết này:
1. Nguồn gốc lịch sử
Năm 1611, nhà thiên văn học Johannes
Kepler đưa ra giả thuyết rằng cách xếp các quả cam (hình cầu) theo
kiểu "kim tự tháp" mà chúng ta thường thấy ở các sạp hoa quả là cách
tối ưu nhất.
Cách xếp này được gọi là xếp chặt
khít tâm mặt (face-centered cubic - fcc) hoặc xếp chặt lục
giác.
2. Nội dung bài toán
Kepler khẳng định rằng trong không gian 3
chiều, không có cách sắp xếp các hình cầu đồng nhất nào có mật độ trung bình
lớn hơn mật độ của cách xếp chồng lên nhau theo lớp.
Mật độ tối đa: Khoảng 74.05%.
Công thức toán học: Mật độ này bằng 32π.
Nói cách khác, dù bạn có cố gắng nhồi
nhét thế nào, các quả cầu cũng chỉ có thể chiếm tối đa 74% thể tích không gian,
phần còn lại (khoảng 26%) luôn là những khoảng trống giữa các quả cầu.
3. Quá
trình chứng minh đầy gian nan
Mặc dù nghe có vẻ hiển nhiên trong thực
tế, nhưng việc chứng minh nó về mặt toán học lại cực kỳ khó khăn:
- Năm
1998: Giáo sư Thomas Hales (Đại học
Michigan) công bố bản chứng minh dài 250 trang cùng với hàng gigabyte dữ liệu
máy tính.
- Tranh
cãi: Hội đồng thẩm định toán học gồm 12 người đã mất 4 năm để kiểm tra
nhưng cuối cùng tuyên bố họ chỉ chắc chắn khoảng 99%, vì khối lượng tính toán
của máy tính quá lớn để con người kiểm tra thủ công.
- Dự
án Flyspeck (2014): Thomas Hales quyết định thực hiện một cuộc kiểm
tra bằng máy tính (formal proof) để loại bỏ mọi nghi ngờ. Đến năm 2014, nhóm
nghiên cứu của ông đã hoàn tất việc chứng minh bằng phần mềm kiểm chứng logic,
chính thức xác nhận giả thuyết của Kepler là đúng.
4. Ý nghĩa của bài toán
Lý thuyết mã hóa: Việc
sắp xếp các hình cầu có liên quan trực tiếp đến cách truyền tải dữ liệu hiệu
quả và sửa lỗi trong viễn thông.
Hóa học và Vật liệu: Giúp
hiểu rõ cấu trúc tinh thể của các nguyên tử trong kim loại.
Toán học thuần túy: Thúc
đẩy sự phát triển của hình học tính toán và các phương pháp chứng minh bằng máy
tính.
Nguồn: https://youtu.be/QMCW0ETZZ4o