计算机成功验证了400年前数学难题的解法
早在1611年的时候，约翰尼斯·开普勒就建议人们在堆放球形物体时——比如商店中待售的橙子，采用金字塔型堆放法是效率最高的。不幸的是他本人并不能证明这点，不过最近计算机终于验证了这条猜想的正确性，结束了这场跨越5个世纪，长达400多年的争论。
其实，早在1998年匹兹堡大学的Thomas Hales就想出了证明方法，只是Hales的论述太长——12名评审耗时4年时间对这份300页的文档进行查错，只能99%肯定方法的正确性。所以，不甘心的Hales在2003年又开始了“污点项目”——一套能够验证他的证明法的计算机工具。
污点使用了两个形式验证软件——名字还很好听，一个叫“Isabelle”一个叫“HOL Light”——两个软件都是通过判断短小且容易验证的一系列逻辑表述来进行验证。凭借这种技术，软件可以检验所有逻辑表述的正确性，只要时间充足，验证数学证明过程也是可以的。
上周日的时候，Hales和团队宣布这份300页的证明方法已经接受并通过了两套软件的联合详细验证，最后结果显示他的验证方法完全正确，这也让Hales感到欣慰。
也就是说，计算机成功验证了400年前开普勒所提出的方法的正确性。“我一下子觉得年轻了十岁。”Hales 兴奋地说。
计算机可以成功验证数学证明过程不仅仅对于Hales来说是好消息，要知道每年全世界会诞生数百份内容多到可怕的数学证明过程，通过这项工程，Hales证明了验证逻辑不再需要人脑进行，计算机就可以完成这个工作。数学家终于能够放手去进行创造性思考——至于烦人的验证过程，交给计算机就可以了。
(<span id="cos_support-4)
(<span id="cos_unsupport-)
(<span id="cos_support-)
(<span id="cos_unsupport-)
(<span id="cos_support-)
(<span id="cos_unsupport-)
(<span id="cos_support-)
(<span id="cos_unsupport-)
(<span id="cos_support-)
(<span id="cos_unsupport-)
(<span id="cos_support-)
(<span id="cos_unsupport-)数学方程组超难题，加分求解_百度知道
数学方程组超难题，加分求解
{16&#47,{x=y+z,化简也行,y=8&#47,z)+(x+z)*(x+z)求值,z)*(8&#47,z{x*x+(16&#47,y)=(8&#47,x+12&#47,x+12&#47,y)*(16&#47,x+12&#47,
提问者采纳
z)*(8&#47,z)+(x+z)*(x+z) 2代入3得X^2+(8&#47,所以化简至此,z)^2=(8&#47,x+12&#47,y)=(8&#47,y=8&#47,x+12&#47,z=-2x所以y=3x由于带入2无解,1{x=y+z,y)*(16&#47,z)+(x+z)*(x+z) X^2=(x+z)*(x+z)2XZ+Z^2=0Z(2X+Z)=0Z不等于0（8&#47,z）,x+12&#47,z)*(8&#47,z 3{x*x+(16&#47, 2{16&#47,2x+z=0,
提问者评价
其他类似问题
方程组的相关知识
其他4条回答
左右可以约掉了,x+12&#47,y）换成第二行的东西,把第三行左边的（16&#47,
把第二个式子代到第三个中得 2xz+z*z=0
即z=0或z=2x当z=0时代到第二个式子中剩下的就是解二元二次方程组z=2x时
带入到一式和二式中 得二元二次方程组 求解即可
(1){16/x+12/y=8/z
(2){x*x+(16/x+12/y)*(16/x+12/y)=(8/z)*(8/z)+(x+z)*(x+z) (3)根据（2）（3）可化为x*x=(x+z)*(x+z) 即2xz+z*z=0 z=0(由（2）知z不能=0舍去)或 z=-2x
将z=-2x分别代入（1）可得 y=3x 将y=3x ,z=-2x代入（2）得到16/x+12/3x=-8/2x 无解
等待您来回答
您可能关注的推广回答者：回答者：
下载知道APP
随时随地咨询
出门在外也不愁高一抽象函数难题，求解。_数学吧_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0成为超级会员，使用一键签到本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：263,495贴子：
高一抽象函数难题，求解。收藏
算到含有绝对值，不知对否。
求助数吧大神！
求助数吧大神！
登录百度帐号我的游戏推荐游戏
后查看最近玩过的游戏
使用签名档&&
为兴趣而生，贴吧更懂你。或}