开普勒猜想有重大突破
《人民日报》
-http://www.srsnet.com 11:13:47 08/14/98-
新华社伦敦 8月11日电 据英国广播公司报道，美
国密歇根大学黑尔斯教授宣布说，他已经借助计算机证明
了悬而未决300多年的“开普勒猜想”。
“开普勒猜想”又称“圆球堆积问题”。这一问题利
用日常生活中的例子可简单表述为：如果往一个箱子中放
置大小一样的球，采用何种方式排列球能够使得箱子利用
效率最高，即放的球最多。
“圆球堆积问题”于17世纪由一位名叫雷利的英国爵
士首先向英国数学家哈里奥特提出，哈里奥特随后写信给
德国著名天文学家开普勒，向其寻求解决方案。
开普勒于1611年提出，圆球最有效的排列应该是采取
所谓的“面心立方体”堆积方式，这就是“开普勒猜想”
的由来。
“开普勒猜想”中提到的“面心立方体”堆积方式，
简单地说就是上层圆球安放在下一层圆球中间的各个凹处。
这一方法在日常生活中已经被人们广泛采用。但由于圆球
在空间中堆积可以采取无限的排列方式，因此自开普勒提
出猜想以来，几代科学家都无法从理论上给出有说服力的
证明。
1953年，匈牙利数学家托特的研究为解决该问题带来
希望。托特经过研究发现，“开普勒猜想”可简化为有限
个变量，因此只要借助功能足够强大的计算机，这一问题
能够解决。
黑尔斯教授近年来一直在利用计算机从事“开普勒猜
想”的研究。利用编制出的大小达到3000兆字节以上的计
算机程序，黑尔斯教授及其研究生弗格森证明，开普勒猜
想所提出的堆积方式确实是最佳方式。
据英国广播公司报道，黑尔斯教授已在因特网上公布
了其证明“开普勒猜想”的具体过程。
英国广播公司说，如果黑尔斯的这一结果最终得到数
学界权威的认可，那将是继1994年英国数学家怀尔斯证明
费尔马大定理以来，基础数学研究领域的又一项重大成果。