百科问答小站 logo
百科问答小站 font logo



哪些数学定理在直觉上是对的,但证明起来很困难? 第1页

  

user avatar   21iridescent 网友的相关建议: 
      

接下来我要讲一个激燃的故事。

这是一场横跨整整四百年的超级数学接力。

鉴于楼上的大神已经提过这个猜想,我就单纯的从这个猜想被证明的过程写一写。

学渣如我就不涉及理论部分了。

这就是开普勒猜想:怎样才能最紧密堆积圆球。

1590年代末,一个叫Raleigh的英国航海家提出了一个看上去很简单的问题。

他想设计一种炮弹的堆叠方式,以便自己能够轻易的数出每一堆有几颗炮弹。

他把这个问题交给了他的助手Harriot,这个聪明的年轻人想的更远一些,他想设计一种最有效率的堆积方式。

以便在航行中有限的空间内存放更多炮弹。

Harriot在其他的自然科学领域也颇有建树,但这个问题虽然看上去很简单,但是他却久久没有进展。

于是这个年轻人给远在布拉格的数学,物理和天文学家写了一封信。

当然收信者并不是三个人,他就是开普勒。一个数学,物理和天文学家。

于是,这场接力的第一棒交给了这个出生在斯图加特的大师。

1611年,开普勒写了一本小册子,名叫《六角形的雪花》。这是一本写给朋友的非正式出版物,他在书中问到,为什么雪花是六角形,为什么蜂房也是六角形。

再问完这个问题后,开普勒转而研究了另一种植物,石榴。

这是从二维平面的有效率堆积方式拓展到了三维空间的研究。

他认为在石榴有限的空间内,石榴籽的堆积方式一定是最有效率的。

他和100多年后的植物学家黑尔斯的得出了一样的结论,黑尔斯给一大堆豌豆加压。

观察到除了豆子挤成了豌豆泥之外(什么鬼)有些豌豆被挤压成了和石榴一样的十二面体。可是后来被证明是实验结论错误的。(孟德尔:你不要豌豆拿给我啊干嘛挤它

好了,到这里我们歇一歇。开普勒认为大自然的安排一定是最完美的,所以,他认为一个圆球围绕着十二个圆球是最紧密的堆积。

但他没有证明,也有没有说该如何围绕。

对于我们每个人来说,怎么样最有效率的装球,仿佛是一个简单的问题。

你先摆好一层球,然后第二层的球放在第一层的空隙中就好。

这就是著名的面心立方对堆积。但是还有一种堆积方式虽然名字很酷炫但后来被证明和面心立方堆积等效。也就是六方最密。

让我们从二维平面开始,怎么样最有效率的排列圆形。

这看上去简直就像1+1=2。

1528年,一位德国的文艺复兴时期的艺术家写了一本数学教科书。

书中写,在天花板上放置圆形花纹,只有方形和六边形排列才能放整齐。而且指出六边形最紧密。(开普勒:卧槽有人抢跑

好了,接下来接力棒交给了一个刚刚输光了全部家当的意大利人。

他叫拉格朗日。十八世纪最伟大的数学家。

到目前为止,研究的设定都基于所有圆形的圆心都排成整齐的格子状。

拉格朗日轻易的证明了在这种情况下六边形堆积最紧密。

挪威数学家杜氏接过了这一棒,开始研究一般情况,即圆型随意排列的情况下怎么堆积最紧密。

可惜并没有太多实质性的进展。接力棒传到了俄国,一位叫闵可夫斯基的小男孩随着父母移民到了德国。

他后来再苏黎世的联邦理工当了助理教授,班上有很多学生经常翘他的课。其中一位是二十世纪最伟大的专利审查员。

阿尔伯特爱因斯坦。

他指出圆的规律装填密度起码有0.8224。

但他并没有指出这种排列的样子。为了怕闵科夫斯基抢他的风头。杜氏抢先发表证明演说。可是数学界认为他的证明不完善。

三十年后匈牙利数学大师托斯完善了关于平面的装填问题证明。

之后,威斯康星大学的数学课科歇诺又证明了平面的覆盖问题。(覆盖允许重叠,装填不允许。)

证明指出,六边形排列是最佳的装填,也是最有效率的覆盖。

到此

二维平面的数学接力已经完成了,那么现在等待解决的就是三维世界的证明了。

为了叙述三维的问题,我们要从另一个跑道的选手说起。

牛顿和他的基友(误)大卫格里高利。他们之间争论着平面内一个球能最多与几个其他的球接触。我们现在知道这个数字是6。

他们把这个问题拓展到了空中。在空中的一个球能最多与几个球接触。

并进行了激烈的争论,可惜他们的争论只是开普勒的局部问题,对于猜想的证明并无多大用处。

(开普勒猜想中最紧密的堆积,一颗球周围有十二个球围绕,而大卫说空间中一个球最多能与十三个球相接触。他们的争论在1953才被终结。)

之后瑞士数学家Bender向德国的数学期刊投稿,企图证明阐述上面的争论。他的论文被期刊的编辑霍普完善并且霍普把Bender的论文和他自己的论文一同发表。

看起来这一棒跑的很顺利,但是我们的霍普选手丢了棒,他的论文被证明有致命的错误。

这个问题后来被荷兰人和德国人解决。

这条岔道的选手已经完赛,让我们回头看看我们原本的赛道。

现在执棒的选手对我们来说有些陌生,他叫奥古斯都希波,他费尽了心血证明了“立方体体积的平方”除以“扭曲盒子体积的平方”恒小于三。

为了这个看上去不怎么重要的小数字,他写了一本248页的厚厚著作。

然后交棒给了本次马拉松接力的队长,数学王子高斯。

然而高斯就是高斯。

他在希波248页的证明后面花了一页半,把这个比值的极限推到了二。

简直就是神迹!我仿佛听到高斯拔刀在喊“我方已经击穿敌方装甲!准备冲锋!”

通过这一页半,高斯间接说明了在规律排列下圆的最紧密堆积方式的密度最高极限是74.05%。(当球在三维格子里面时)

那么问题就是,哪一种堆积才能达到这样的密度。开普勒的么?只有这一种么?

接下来的近一个世纪,接力棒默默地停止在高斯的那一页半证明上。

直到1900年8月8日,第二届国际数学家大会在巴黎召开。

德国数学家希尔伯特提出了那无比著名的23个数学问题。

开普勒猜想,编号第十八。

这个时候接力赛进入了白热化,数学家们想找出比开普勒猜想更紧密的排列方式。(比如一种混乱的无序排列)

因此他们把74.05%这个密度作为一个下界,把100%作为一个最初的上界。

现在要做的就是缩小他们的距离。

丹麦人布利奇菲尔德接棒把上界缩小到83.5%,然后传棒给苏格兰数学家兰金,在剑桥数学实验室的帮助下,他把上界的值降到了82.7%。

这个时候他们之前说采用的研究方法走到了尽头,上界没办法再继续下降了。

之前跑过接力棒的托斯,又想出了一种另外的方法。

这个方法是另一个俄国数学家沃洛诺伊提出的,但他英年早逝并没有完善证明。

他提出,我们只要去找一种叫做V单元的立方体就行了。

这种V单元需要具有两个特点,第一它可以没有缝隙的填满三维空间,就像正方体,第二他的内部有一个球。

这样,球的体积不变,只要我们找到一种体积更小的v单元,装球密度就会提高。

凭借这个方法,伯明翰大学的罗杰斯把上界降到了78%,跑出了精彩的一棒。

又过了三十年,加州理工大学的林赛选手接棒,跑出77.84%的好成绩,然后数学家穆德榨干了V单元方法的潜力,把他发挥到了极致。

上界又降低了,虽然只是万分之一,但实属不易。

突然之间。

加州大学伯克利分校的台湾人项武义接棒直接一骑绝尘冲过终点线!

很可惜的是他的证明被数学界认为不完备,并且有诸多漏洞。(我们的攻击未能突破核心!观测到敌方生命迹象!

接力棒被交回新秀黑尔斯手中。

只要上界降到了74.05那么开普勒猜想就立刻会被证明。

黑尔斯采用了迪劳内的一种方法,假设空间里面装满了圆球,我们用直线连接相邻的圆心得到很多个四面体,再进行分析计算。

可是黑尔斯并没有取得太多实质性的进展。这个方法并不能降低上界,而是直接对开普勒猜想进行证明,要是不成功就一无所获。

根据普林斯顿同行的建议,黑尔斯开始使用电脑来对抗这个几百年悬而未决的问题。

他对很多种可能排列方式进行穷举分析。

可是程式运行的结果却出乎意料。

结果表明没有任何一种排列可以超过给出了74.08%这个数字。

嗯?74.08%?这和说好的75.05不一样我摔!导演你是不是给错剧本了!

经过检查,黑尔斯发现了一种古怪的排列方式,它似乎比开普勒堆积要更紧密一点。我们就把它叫做“BUG”好了。

接下来他的工作分成了五个部分,简单的概述就是,他提出了一种给每种排列打分的方式,他只要证明除了开普勒排列外的四大类的排列都低于8分,接下来证明BUG的排列也低于8。而开普勒排列的得分是8。

前面四大类都轻易的完成了。

只剩下了BUG,这种一个强有力的外援出现了,黑尔斯的医生父亲的一个病人恰好是数学教授,他的儿子成为了黑尔斯的学生。

无巧不成书。

黑尔斯原本预计再过几个月就能完成对这个BUG排列的分析。

而实际上他们用了整整三年。


终于,1998年8月9日的上午。一个普通的星期天。

黑尔斯坐下来写了一封电子邮件,告诉全世界的同行离散几何中一个古老复杂的猜想已经得到了证明。

并附上了研究过程和电脑程序代码。

但仍然有不少人人对这种这种穷举证明方法存疑。


到此开普勒猜想证明告一段落。

这个看起来无比符合直觉的猜想前前后后用了四百年的时间才得以基本证明。

人类历史上这批最杰出的天才前赴后地继交棒接力。

他们大多数人都看不到这个猜想被证明的那一天。

如果说这个世界的真理和规律都被隐藏在黑暗中的话,

那么谢谢他们为我们点起光明的火炬。

愿火光永不熄灭。


参考:GeSzpiro.Szpiro一Kepler's Conjecture 维基百科


user avatar   wang-stephen-81 网友的相关建议: 
      

定长绳子所围成的最大面积是圆。


user avatar   derek-38-11 网友的相关建议: 
      

话说就在一个月前,导师突然把我叫过去,说自己有个很好的想法。

你能不能通过pfc建模,找出三维空间下,圆球的最密实堆积状态,圆球要不等大的,按照工程级配来做。(工程中各个粒径的颗粒含量都是规定好的)

然后老师还在纸上给我画了,小球相切时最密实和最疏松状态应该是什么样,我问老师有没有相关文献,老师说,显而易见啊,还需要什么文献。

然后我就开始学习pfc了,感觉这个想法还有一定的可行性,直到昨天,看了小球堆积问题,均一级配下,最密堆积,大家都搞了400多年,我才意识到,自己揽了个大活……


user avatar   deng-dai-fei-xiang-63 网友的相关建议: 
      

Plateau's problem(

普拉托问题

这个问题看上去非常简单,就是问在边界固定的情况下,什么样子的曲面面积最小。这在物理上是一个很显然的问题。根据

普拉托定律

,你拿个铁丝弯成边界,然后吹肥皂泡就好了。但是这个在数学上来说,是一门学科,几何测度论(

Geometric measure theory

)的核心问题。

为什么说这个问题难呢?我们考虑一个简单的情形,即在三维空间中边界为圆弧的曲面。这个问题答案很显然,就是圆盘。但是从数学角度而言,这个不简单。

通常的想法就是,我们可以把曲面视为一个从二维圆盘到三维空间的映射,然后利用变分法去考虑这个问题。但是这个方法有着很多毛病,其中最大的问题就是缺乏紧性。我们不妨试着跟着这个思路走一下,看看会出怎样的问题。

1. 遍历所有可能的曲面,然后取一个面积趋近于最小(infimum)的序列;

2. 找出一个收敛子序列;

3. 证明极限就是我们想要的曲面,即最小曲面。

在这三步计划中,第二步就会出现很大的问题。比如:

【我是一个有理想的曲面,我的目标是要成为极小曲面】

【嗯,我的面积缩小了。感觉好棒!】

【我的面积又缩小了。可是为什么我感觉怪怪的呢……】

【啊……肯定有……有什么不对……啊……怎么回事……我的面积明明缩小了啊……为什么……我感觉好奇怪啊……不行啊……为什么会变得这么奇怪呢……啊……】

【图片来源:Geometric Measure Theory: A Beginner's Guide 作者:Frank Morgan】

【请绅士们严肃看待这些图片,不要想歪了!也不要“我好兴奋啊”

换句话说,即使是曲面的面积在趋近于,你所取得序列也可能长得非常奇怪,有很多很多的触手(马猴烧酒的好朋友),甚至于这些触手可以触及空间中所有的有理点。换句话说,你最后得到的东西的闭包是整个.

看看,物理中多么显然的东西,在数学中就是这么的让人纠结。存在性就已经够难了,更别说正则性(即最小曲面是否光滑等等)……这个问题直到20世纪中期才有解决方法。具体方法涉及专业知识较多,我自己也不是很熟悉,就不细说了。

其实这种问题很多。比如在给定条件(比如边值)下的拉普拉斯方程

的解的问题。这个问题在物理上也是几乎显然的,因为电势就是解。但是在数学上这个问题并不简单,一般而言需要Sobolev空间等知识进行解决。

【其实我真的不是来黑物理的2333333333 表打我(╯^╰)】

==============2015年5月6日10:31:54(马德里时间)============

那些说我黑数学的人你们够了。请你们仔细思考一下:普拉托定律仅仅是经验性定律,根本无法保证在所有的情况下结论都成立。而数学就是将特殊到一般的过程。

另外,下面的回答中已经有人补充了,数学上关于曲面面积的定义。在上面第二步中,我说找到一族收敛子序列,其实是很不严谨的。因为我没有说是什么收敛,也没有说收敛极限在哪儿。事实上我们需要的极限必须是可求面积的曲面(请跟可求长度的曲线比较起来理解)。所以如何保证极限不会很奇怪,就是存在性的主要工作。


user avatar   xue-ding-e-liao-yao-67 网友的相关建议: 
      

一个苹果让牛顿开了窍

一堆橘子却坑了科学家们400年↓

https://www.zhihu.com/video/877905405924212736
特别鸣谢:
维基百科以及相关词条的各位作者
《The Best Writing on Mathematics 2012》
《固体物理学》作者:黄昆
《费恩曼物理学讲义》译者:郑永令 等
《烦人的橘子(The Annoying Orange)》
视频片段出自:《十诫》、《大腕》、《生活大爆炸》

P.S.我们不是第一个回答开普勒猜想的,但是我们是第一个把它做成视频的(ˉ▽ ̄~)


————【扩展猫粮】————


橘子的两种摆放

数学家们通过400年的接力,终于成功证明了“开普勒猜想”——水果商的摆放能够让橘子最紧密的排列起来,从而最大程度的利用空间。

不过话说回来,其实还有另一种摆放方式,同样能够达到最大的空间利用率(大约是74%)。

左边就是水果商摆橘子的方式,其中最上层(蓝色)是最下层(红色)的180°翻转,我们可以称之为“ABC排列”。

右边则是另一种摆放方式,区别在于,最上层(红色)和最下层(红色)是一样的,我们可以称之为“AB排列”。

既然二者的空间利用率一样大,那区分它们有什么意义呢?

在化学和物理中,这种区别可以帮助我们研究微观世界中原子的排列结构。

下图左边是铜和银的排列方式(ABC),右边是铍和镁的排列方式(AB):

不同的排列方式会影响到金属的硬度、可塑性、脆度等物理属性,从而影响到对工业材料的选择和对制作工艺的把控。


在圆圈里放圆圈

很早以前,摆放问题(Packing Problem)就已经发展壮大,衍生出了各种密切相关的数学问题,其中许多问题拥有出人意料的答案。

比如:在一个大圆中放 N 个等大的小圆,如何摆放才能让这些小圆的半径最大?

从2个小球、3个小球……到7个小球,这些结果基本都在意料之中。

然而当 N=8 时,事情就开始有点反直觉了。

仔细观察 N=8(左图)的情况,中间的小球和周边的小球之间有着不小的空隙。在 N=9(右图)时,这些空隙甚至变的更大了。

考虑到我们的目的是让小球的半径尽可能大,难道这些空隙不能想办法填满吗?

数学家 Braaksma 和 Pirl 证明,虽然看起来还有改善的空间,但这的确是最优解。

再看一下 N=10 和 11 的情况,是不是更奇怪……

不过,和“圆圈中放圆圈”比起来,“方块中放圆圈”的答案更反直觉。


在方块里放圆圈

在一个大正方形中放 N 个等大的小圆,如何摆放才能让这些小圆的半径最大?

在 N 比较小时,答案的“长相”很普通:

然而 N=7 时画风突变:

右上角这个圆为什么这么尊贵,为什么有这么多的活动空间……

N=10 和 11 的答案就更奇怪了……之前好歹都是对称的,这次连对称性都放弃了:


研究这些奇怪的图形排列有什么用呢?

和“橘子问题”一样,这些问题也是有实际用途的。

首先,工业上经常需要将方形钢板裁切成各种圆形,这项研究能够帮助我们节省许多材料。

其次,运输业中经常会面临“货车不够用”的情况,现在我们能让每辆货车装载更多的货物了。

对了,由于无聊,我把 N=10000 以内的答案都下载下来了。


N=1167 时的解法,有一条斜着的空隙

如果你也同样无聊,可以查看原文,感受一下各种千奇百怪的排列方式。


关注微信公众号:薛定饿了么(xuedingeleme)

看完我们三分钟漏洞百出的科学小视频,你的生活也并不会变得更好。


user avatar   qfzklm 网友的相关建议: 
      

这是我看到的最准确的总结。

总的来说,就是中国的高考相对公平,所以性价比极高,所以其他活动都可以适当让步。




  

相关话题

  这两个极限是怎么处理的? 
  非数学专业跨考数学系难度大吗? 
  为什么做数学题不要轻易看答案? 
  怎么看待英国莱斯特大学副校长拟裁撤整个数学系以补贴 AI、计算机、量子科技等研究领域? 
  如果你是阿里巴巴数学竞赛的出题官,你会出什么题目? 
  如何尽可能精确地称量 π 斤肉? 
  有没有详细介绍圆锥曲线的极点与极线以及交比的书(不用矩阵)? 
  如何看待著名数学家、18 年菲尔兹奖得主考切尔·比尔卡尔(Caucher Birkar)加盟清华大学? 
  如何评价 2020 年阿里巴巴数学竞赛决赛试题? 
  为什么看见很多人说学数学专业需要智商高,难道它不是一环接一环,逻辑嵌套式的学下去吗? 

前一个讨论
为什么粟裕去世后才平反?
下一个讨论
如果李世民附身于刘禅,蜀汉可能翻盘吗?





© 2024-11-05 - tinynew.org. All Rights Reserved.
© 2024-11-05 - tinynew.org. 保留所有权利