开普勒猜想　三百多年悬而未决　一对师生攻克难关 [复制链接]

第7版(国际)
专栏：

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