查看“︁克卜勒猜想”︁的源代码

{{NoteTA
|G1=math
|1=zh-cn:开普勒; zh-tw:克卜勒; zh-hk:刻卜勒;
}}
[[File:Pyramid of 35 spheres animation.gif|frame|right|[[面心立方]]堆積法]]

'''克卜勒猜想'''（{{lang-en|Kepler conjecture}}）是以十七世紀德國天文學家[[约翰内斯·开普勒]]為名的一個數學猜想。此猜想是關於在三維[[歐幾里德空間]]中最佳的裝球方式（即留下的空隙最小的裝球方式）的。此猜想認為在每個球大小相同的狀況下，沒有任何裝球方式的「密度」大于面心立方與六方最密堆積的「密度」，即<math> \pi/\sqrt{18}  </math>≈74.048%。

在1998年，[[托马斯·黑尔斯]]（Thomas Callister Hales）藉由費耶斯‧托特（{{harvtxt|Fejes Tóth|1953}}）所提出的方式，提出了一個關於此猜想的證明。黑爾斯利用[[窮舉法]]（Proof by exhaustion）的方式證明此猜想，其證明大量地使用電腦程式的運算。審稿者曾說他們對於黑爾斯證明的正確性有99%的確定性，故克卜勒猜想目前已幾乎可說是個定理了。2014年由黑尔斯引导的Project FlysPecK完成了对克卜勒猜想的形式化证明。

==背景==
[[File:Empilement compact.svg|thumb|面心立方（左）與六方最密堆積（右）示意圖]]

若將一個容積很大的容器，以大量體積很小且體積彼此相等的小球給填充（顯然不可能完全填滿，一定會有些空隙留下），那其密度就是指所有小球體積的總和對容器空間的比值。若欲使該容器中能放入儘可能多的小球，就必須尋找密度最高的排列法，也就是使這些被裝填的小球彼此間能盡可能緊密地排在一起。

有人做過實驗，並發現隨機裝填的密度大約有65%，然而小心地排列球的位置，可達致更高的密度。若在第一層，先將球以六角形的方式排列（即每個球四周圍繞六顆球），然後下一層的球放在「於上一層球之上能讓球中心位置最低的點」上，然後其餘層以此類推。這就是在市場水果攤上橘子堆疊的方式。每個階段對於下一層該如何擺放，都有著兩種選擇，故若一直重複此法，到了最後，會有無限多的、密度相同的球的堆疊存在，此法最為人知的兩種形式，即是面心立方和六方最密堆積這兩種方法（這兩種方法的平均密度相同），此法的平均密度如下：

:<math>\frac{\pi}{\sqrt{18}} \simeq 0.74048</math>（即大約74%左右的空間為球所佔據）

克卜勒猜想說，這是所有可能的裝球排列法所能達到的最高密度，沒有更高的了。

==起源==
[[File:Kepler conjecture 2.jpg|thumb|《Strena Seu de Nive Sexangula》這書裡的一張圖。這圖的內容即克卜勒猜想]]
此猜想最早在1611年，由[[约翰内斯·开普勒]]在其文章「關於六角雪花」（On the six-cornered snowflake）中提出。他研究了球的排列，並於1606年將之寫在與英國數學家兼天文學家[[托馬斯·哈里奧特]]（Thomas Harriot）的信中。哈里奧特是[[華特·雷利]]（Sir Walter Raleigh）的朋友與助手，雷利給了哈里奧特「在船支甲板上該怎樣堆疊砲彈才是最好的」這個問題。哈里奧特曾在1591年出版一本關於各種堆疊問題的研究，並曾發展出某種早期的[[原子論]]來。

==十九世紀的發展==
克卜勒並未證明他的猜想，而此猜下的下一步發展則由[[卡爾·弗里德里希·高斯]]所推展，高斯在1831年證明了若球必須在規則[[格 (抽象代數)|格]]中進行排列，則克卜勒猜想是正確的。

這就表示任何可反證克卜勒猜想的球排列方式必然是不規則的排列方式。然而要排除任何可能的不規則排列法是非常困難的，而這也是克卜勒猜想之所以如此難以證明的原因。實際上，當裝球的空間足夠小時，確實是有些不規則排列法的密度是高於面心立方排列法的，但當這些不規則排列法被推廣至更大的空間時，其密度總會降低。

在高斯出手後，整個十九世紀就再也沒有人在此定理上做出更進一步的推展了。1900年，[[希尔伯特]]將此問題包含在[[希尔伯特的23个问题]]中，做為[[希爾伯特第十八問題]]的一部份。

==廿世紀的進展==
克卜勒猜想的下一步進展，由匈牙利數學家[[拉斯羅‧費耶斯‧托特]]（László Fejes Tóth）展開，他在1953年證明了決定任何排列法密度的問題，可變為有限量的計算過程（唯需要的計算量非常大）。這表示至少在原則上，透過窮舉法證明此定理是可能的。就如托特所言，一臺運算速度足夠快的電腦，可使這個理論上的結果，轉化為對此問題實際的證明過程。

與此同時，人們也努力地尋找三維空間裡任何可能的裝球方法的上界。英國數學家在1958年給出了一個78%的上界，之後數學家的努力稍微縮減了此數值，唯此數值距離面心立方密度的數值，也就是上述的74%左右的數值，依舊有一段距離。

[[項武義]]在1993年和2001年曾宣稱自己藉由幾何的方法，證明了克卜勒猜想。然而[[嘉伯‧費耶斯‧托特]]（拉斯羅‧費耶斯‧托特的兒子）卻在看此文後，說道：「在考慮細節後，我認為其證明許多關鍵性的陳述都沒有可接受的證明。」

黑爾斯在1994年丟出了對項武義證明較為詳盡的批評，項武義則在1995年對此進行回應。現在一般的看法認為項武義的證明是不完善的。

==黑爾斯的證明==
[[托马斯·黑尔斯]]決定根據費耶斯‧托特在1953年提出的思路來證明此猜想，他認為可透過一個有著150個變數的方程式的最小值，來找出任何可能裝球排法的最大密度。在1992年，在其研究生山謬爾‧費爾古生（Samuel Ferguson）的幫助下，他開始了一個藉由系統化地應用[[线性规划]]的方法，對超過五千種不同的裝球法的每一個，找出其所提出的方程式的下界的研究。如果此方程式對於這些裝球法的下界都超過（此方程式對於）面心立方的值的話，那克卜勒猜想就可得證。若要尋找每種情況的下界，則需要解超過十萬個線性規劃問題。

當[[托马斯·黑尔斯]]在1996年公開其計劃時，他說這證明的結果近了，然而依舊需要「一兩年的時間」來完成它。在1998年，[[托马斯·黑尔斯]]宣佈他的證明已經完成了。在此階段，其證明包含了250頁的註解與3[[gigabyte|GB]]的電腦檔案，其中包括了電腦程式、資料和結果等。

雖然這證明在本質上是不尋常的，但因一個由20名裁判員組成的小組接受其內容，《數學年報》（Annals of Mathematics）依舊同意了此論文在其上的發表。2003年，在經過四年的努力後，裁判員小組的頭領嘉伯‧費耶斯‧托特報告道他們小組「99%確定了」此證明的正確性，然而他們不能完全確定所有電腦計算的正確性。

[[托马斯·黑尔斯]]在2005年出版了一份超過一百頁的文檔以說明其證明的非電腦部份的細節。費爾古生在2006年及數篇之後發的文則描述了其電腦運作的部份。黑爾斯與費爾古生在2009年，獲得了[[福爾克生獎]]在離散數學方面傑出論文的獎項（Fulkerson Prize for outstanding papers in the area of discrete mathematics）。

==形式證明==
在2003年一月，黑爾斯宣佈將要開始一個以完成克卜勒猜想的形式證明為目標的協作計劃。此計劃的目標，是要藉由產生可由[[HOL定理證明軟體|HOL]]等[[自動證明檢驗]]（Automated proof checking）軟體確認其正確性的證明，來移除所有剩餘的、和證明有效性相關的不確定成份。這個計劃被稱作「Project FlysPecK」，其中的F、P和K代表「Formal Proof of Kepler」，也就是「克卜勒猜想的形式證明」。黑爾斯認為此計劃需要大約20年的時間才能完成。该计划在2014年8月10日宣告完成。<ref>{{Cite web |url=https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion |title=存档副本 |accessdate=2016-02-24 |archive-date=2015-09-11 |archive-url=https://web.archive.org/web/20150911113054/https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion |dead-url=no }}</ref>在2015年月，黑尔斯和21位协作者共同发表了“克卜勒猜想的形式化证明”。<ref>{{Cite web |url=http://arxiv.org/pdf/1501.02155.pdf |title=存档副本 |accessdate=2016-02-24 |archive-date=2018-01-30 |archive-url=https://web.archive.org/web/20180130183003/https://arxiv.org/pdf/1501.02155.pdf |dead-url=no }}</ref>

==相關問題==
;[[阿克塞尔·图厄|圖厄]]（Axel Thue）定理：
:正六邊形排列法（每個球旁邊都圍六顆球的排列法）是平面上密度最高的裝球法（1890）。
:這是克卜勒問題在二維空間上的版本；其證明是較簡易的。

;六角蜂巢猜想：
:若要將平面分割成彼此大小相同的區塊，則最有效的分法是將之分成由正六邊形組成的區塊。[https://web.archive.org/web/20110927064658/http://www.math.pitt.edu/~thales/kepler98/honey/ 黑爾斯對此猜想的證明]（1999）。
:此問題與杜氏定理相關。

;正十二面體猜想：
:在相等的球的裝載之中，一個球的[[沃罗诺伊图]]多邊形的體積至少與內徑為1的正十二面體相等。由麥克勞林證明<ref>{{cite journal |last1=Hales |first1=Thomas C. |last2=McLaughlin |first2=Sean |year=2010 |title=The Dodecahedral Conjecture |journal=[[Journal of the American Mathematical Society]] |volume=23 |issue=2 |pages=299–344 |doi=10.1090/S0894-0347-09-00647-X |arxiv=math.MG/9811079 |bibcode=2010JAMS...23..299H }}</ref> ，他也因此證明而得到1999年的[[摩根獎]]。
:這是一個相關的問題，證明者使用的證明技巧與黑爾斯對克卜勒猜想使用的技巧類似。此猜想在1950年代由拉斯羅‧費耶斯‧托特提出。

;[[韋爾—費倫結構]]（Weaire–Phelan structure）上的克爾文問題（Kelvin problem/Kelvin conjecture）：
:在三維空間中，最有效率的[[泡沫]]為何？直到1993年，[[韋爾—費倫結構]]被發現前，有一百多年的時間，人們認為[[克爾文結構]]是最佳解。然而韋爾—費倫結構的發現，使得克爾文猜想被否證，而這件事，也是一個可用於警示人們當小心接受黑爾斯對克卜勒猜想的證明的理由。

;高維空間的[[裝球問題]]：
:2016年，[[马林娜·维亚佐夫斯卡]]宣布證明了八維空間的最佳球堆積問題，並很快地找到廿四維的解。<ref>{{citation |last1=Klarreich |first1=Erica |author-link1=Erica Klarreich |title=Sphere Packing Solved in Higher Dimensions |url=https://www.quantamagazine.org/sphere-packing-solved-in-higher-dimensions-20160330/ |magazine=Quanta Magazine |date=March 30, 2016 |accessdate=2024-09-02 |archive-date=2025-02-28 |archive-url=https://web.archive.org/web/20250228171558/https://www.quantamagazine.org/sphere-packing-solved-in-higher-dimensions-20160330/ |dead-url=no }}</ref>然而在1、2、3、8及24維以外的維度，最佳球堆積的問題仍未解決。

==參考書目==
<references/>
{{refbegin}}
<!--本文譯自英語維基百科，此當是英語維基百科原文之參考書目-->
*{{Citation | last1=Aste | first1=Tomaso | last2=Weaire | first2=Denis | title=The pursuit of perfect packing | publisher=IOP Publishing Ltd. | location=Bristol | isbn=978-0-7503-0648-5 | mr=1786410 | year=2000}}
*{{Citation | last1=Gauss | first1=Carl F. | author1-link=Carl Friedrich Gauss | title=Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seber | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=267233 | year=1831 | journal=Göttingische gelehrte Anzeigen}}
* {{Citation | doi=10.4007/annals.2005.162.1065 | last1=Hales | first1=Thomas C. | title=A proof of the Kepler conjecture | url=http://annals.princeton.edu/annals/2005/162-3/p01.xhtml | mr=2179728 | year=2005 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=162 | issue=3 | pages=1065–1185 | accessdate=2011-10-01 | archive-date=2010-06-18 | archive-url=https://web.archive.org/web/20100618084223/http://annals.princeton.edu/annals/2005/162-3/p01.xhtml | dead-url=no }}
*{{Citation | last1=Hales | first1=Thomas C. | title=Cannonballs and honeycombs | url=http://www.ams.org/notices/200004/ | mr=1745624 | year=2000 | journal=[[Notices of the American Mathematical Society]] | issn=0002-9920 | volume=47 | issue=4 | pages=440–449 | accessdate=2011-10-01 | archive-date=2012-10-19 | archive-url=https://web.archive.org/web/20121019092307/http://www.ams.org/notices/200004/ | dead-url=no }} An elementary exposition of the proof of the Kepler conjecture.
*{{Citation | last1=Hales | first1=Thomas C. | title=The status of the Kepler conjecture | doi=10.1007/BF03024356 | mr=1281754 | year=1994 | journal=[[The Mathematical Intelligencer]] | issn=0343-6993 | volume=16 | issue=3 | pages=47–58}}
*{{Citation | last1=Hales | first1=Thomas C. | title=Historical overview of the Kepler conjecture | doi=10.1007/s00454-005-1210-2 | mr=2229657 | year=2006 | journal=Discrete & Computational Geometry. an International Journal of Mathematics and Computer Science | issn=0179-5376 | volume=36 | issue=1 | pages=5–20}}
*{{Citation | last1=Hales | first1=Thomas C. | last2=Ferguson | first2=Samuel P. | title=A formulation of the Kepler conjecture | doi=10.1007/s00454-005-1211-1 | mr=2229658 | year=2006 | journal=Discrete & Computational Geometry. an International Journal of Mathematics and Computer Science | issn=0179-5376 | volume=36 | issue=1 | pages=21–69}}
*{{Citation | doi=10.1142/S0129167X93000364 | last1=Hsiang | first1=Wu-Yi | title=On the sphere packing problem and the proof of Kepler's conjecture | mr=1245351 | year=1993 | journal=International Journal of Mathematics | issn=0129-167X | volume=4 | issue=5 | pages=739–831}}
*{{Citation | last1=Hsiang | first1=Wu-Yi | title=A rejoinder to T. C. Hales's article: ``The status of the Kepler conjecture''  | doi=10.1007/BF03024716 | mr=1319992 | year=1995 | journal=[[The Mathematical Intelligencer]] | issn=0343-6993 | volume=17 | issue=1 | pages=35–42}}
*{{Citation | last1=Hsiang | first1=Wu-Yi | title=Least action principle of crystal formation of dense packing type and Kepler's conjecture | publisher=World Scientific Publishing Co. Inc. | location=River Edge, NJ | series=Nankai Tracts in Mathematics | isbn=9789810246709 | mr=1962807 | year=2001 | volume=3}}
*{{Citation | last1=Kepler | first1=Johannes | title=Strena seu de nive sexangula (The six-cornered snowflake) | url=http://www.thelatinlibrary.com/kepler/strena.html | year=1611 | mr=0927925 | isbn=978-1589880535 | laysummary=http://www.keplersdiscovery.com/SixCornered.html | accessdate=2011-10-01 | archive-date=2011-09-19 | archive-url=https://web.archive.org/web/20110919163249/http://www.thelatinlibrary.com/kepler/strena.html | dead-url=no }}
*{{Citation | last1=Rogers | first1=C. A. | title=The packing of equal spheres | doi=10.1112/plms/s3-8.4.609  | mr=0102052 | year=1958 | journal=Proceedings of the London Mathematical Society. Third Series | issn=0024-6115 | volume=8 | issue=4 | pages=609–620}}
*{{Citation | last1=Szpiro | first1=George G. | title=Kepler's conjecture | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-08601-7 | mr=2133723 | year=2003}}
*{{Citation | last1=Fejes Tóth | first1=L. | author1-link=László Fejes Tóth | title=Lagerungen in der Ebene, auf der Kugel und im Raum | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band LXV | mr=0057566 | year=1953}}
{{refend}}

==外部連結==
*{{MathWorld | urlname = KeplerConjecture | title = Kepler Conjecture}}
* [http://www.its.caltech.edu/~atomic/snowcrystals/earlyobs/kepler2.gif Front page of 'On the six-cornered snowflake']{{Wayback|url=http://www.its.caltech.edu/~atomic/snowcrystals/earlyobs/kepler2.gif |date=20110719160625 }}
* [http://sites.google.com/site/thalespitt/ Thomas Hales' home page]{{Wayback|url=http://sites.google.com/site/thalespitt/ |date=20090131225414 }}
* [http://www.math.pitt.edu/articles/cannonOverview.html Overview of Hales' proof]{{Wayback|url=http://www.math.pitt.edu/articles/cannonOverview.html |date=20110927064513 }}
* [https://web.archive.org/web/20160422151301/http://www.americanscientist.org/issues/id.556,y.0,no.,content.true,page.1,css.print/issue.aspx Article in American Scientist by Dana Mackenzie]
* [http://afp.sourceforge.net/entries/Flyspeck-Tame.shtml Flyspeck I: Tame Graphs, verified enumeration of tame plane graphs as defined by Thomas C. Hales in his proof of the Kepler Conjecture]{{Wayback|url=http://afp.sourceforge.net/entries/Flyspeck-Tame.shtml |date=20110927041452 }}

{{約翰尼斯·克卜勒}}

[[Category:離散幾何]]
[[Category:约翰内斯·开普勒]]
[[Category:希尔伯特问题]]
[[Category:已证明猜想]]
[[Category:计算机辅助证明]]
[[Category:球面]]
[[Category:填充问题]]