Giả_thiết_Kepler

Giả thiết Kepler, được đặt theo tên của nhà toán họcnhà thiên văn người Đức Johannes Kepler, là một định lý toán học về xếp hình cầu trong không gian Euclid ba chiều. Nó cho rằng không có sự sắp xếp các quả cầu có cùng kích thước lấp đầy không gian có mật độ trung bình tốt hơn so với việc xếp các khối lập phương (hệ tinh thể lập phương) và sắp xếp các quả cầu giống nhau. Mật độ của sự sắp xếp này chỉ là khoảng 74.05%.Năm 1998, Thomas Hales đi theo một cách tiếp cận được đề xuất bởi Fejes Tóth vào năm 1953 tuyên bố rằng ông có cách chứng minh giả thiết Kepler. Chứng minh của Hales là chứng minh của sự vắt kiệt bao gồm việc kiểm tra nhiều trường hợp cụ thể, sử dụng các tính toán của máy vi tính phức tạp. Những người đóng vai trò trọng tài đã cho rằng có đến 99% được xác định là đúng trong cách chứng minh của Hales, và giả thiết của Kepler được chấp nhận như một định lý. Năm 2014, đội dự án Flyspeck, được dẫn dắt bởi Hales, đã tuyên bố đã hoàn thiện một chứng minh chính thức của giả thiết Kepler, sử dụng sự kết hợp các trợ thủ IsabelleHOL Light. Vào năm 2017, chứng minh chính thức đã được chấp nhận bởi Forum of Mathematics.[1]

Tài liệu tham khảo

WikiPedia: Giả_thiết_Kepler http://sites.google.com/site/thalespitt/ http://www.keplersdiscovery.com/SixCornered.html http://www.thelatinlibrary.com/kepler/strena.html http://mathworld.wolfram.com/KeplerConjecture.html http://gdz.sub.uni-goettingen.de/dms/load/img/?IDD... http://www.its.caltech.edu/~atomic/snowcrystals/ea... http://adsabs.harvard.edu/abs/2010JAMS...23..299H http://www.math.pitt.edu/articles/cannonOverview.h... http://annals.princeton.edu/annals/2005/162-3/p01.... http://afp.sourceforge.net/entries/Flyspeck-Tame.s...