1701002466
1701002467
1701002468
同时，我们还知道：
1701002469
1701002470
c=d＋e
1701002471
1701002472
因为我们只是画了一条辅助线，把原来的斜边c分割成了两个部分d和e，所以d和e的总长当然应该等于斜边c的长度。
1701002473
1701002474
看到这里，你可能感到有些头晕，心里会犯嘀咕：我们现在在做什么？下一步要做什么？让我来回答一下这两个问题：我们现在创造出了5个方程式，我们下一步的目标是使这5个方程式成为我们想要证明的等式：
1701002475
1701002476
a2＋b2=c2
1701002477
1701002478
怎么做呢？你不妨先自己研究一下。研究一会儿你就会发现，5个方程式中有2个方程式是完全没用的，就这一点而言这个证明方法相当“丑陋”，因为一个“优雅”的证明里不应该有任何多余的东西。当然，这只是后见之明，因为在一开始，你根本不可能知道5个方程式中的哪三个是有用的。
1701002479
1701002480
不管怎样，通过找出那3个有用的方程式，然后进行研究，你就能得出a2＋b2=c2这个公式。
1701002481
1701002482
现在，我们来讨论一下这两种证明方法到底孰优孰劣。从审美的角度来说，我认为第一种证明方法要高明许多，你同意吗？第二种证明方法有很多不够优雅的地方：首先，第二种证明方法的结尾部分确实过长；其次，这只是一个几何证明方法。
1701002483
1701002484
但是，我觉得第二种证明方法的致命缺陷还不只是上述两条，它最大的缺点在于它太不直观了。当你终于艰难地完成了这个证明，你可能勉强相信勾股定理的成立，但是你仍然无法直观地看到它为什么成立。
1701002485
1701002486
关于证明方法的优劣讨论暂时告一段落。现在，我们来说说为什么勾股定理如此重要。原因在于，它揭示了关于空间性质的一个非常深刻而又非常基础的真理。勾股定理暗含了一个重要的信息：空间是平面的，而不是弯曲的。如果是在一个曲面上（例如地球仪表面或者面包圈表面），勾股定理就需要被修正才能继续成立。在爱因斯坦的广义相对论中，他成功地完成了这一挑战。在广义相对论中，重力不再被看作一种力，而是被看作一种空间弯曲程度的表现。事实上，爱因斯坦并不是第一个使空间弯曲的人，在他之前，黎曼和其他数学家已经走出了创造性的一步，奠定了非欧几何的基石。
1701002487
1701002488
从勾股定理到爱因斯坦的相对论，这中间还有很长的一段路。但至少这条路是一条直线，或者应该说，至少这条路的大部分路段是直线。
1701002489
1701002490
1701002491
1701002492
1701002493
X的奇幻之旅：在现实生活中发现数学思维之美 [:1701001365]
1701002494
X的奇幻之旅：在现实生活中发现数学思维之美 第13章 感性与逻辑兼备的几何证明方法
1701002495
1701002496
每一门数学课都一定有一个臭名昭著、惹人生厌的部分。算术学中最烦人的是长除法；代数学中最令人讨厌的是运用题；几何学呢？好吧，我知道人人都恨证明题。
1701002497
1701002498
对于刚开始学习几何学的学生来说，大部分人在此之前完全不知道证明题是什么。初次看到数学证明题，有人会觉得新奇，但更多的学生会觉得头晕目眩、深受打击。也许，数学证明就像药品一样，需要在上面贴上一个警示标签才好，比如：
1701002499
1701002500
警告！本证明可能导致头晕及强烈睡意。长时间接触数学证明可能会产生如下副作用：夜间盗汗，惊厥恐惧。极少数患者可能会患上欣快症。使用前请务必咨询医生的专业意见。
1701002501
1701002502
虽然数学证明如此令人迷惑不解，但学习数学证明的方法却是一种非常有益的教学活动。很多人认为，数学证明的技巧本身并不重要，重要的是在学习证明方法的过程中，学生们能够很好地锻炼他们的头脑，学会清晰而有逻辑的思维方式。也就是说，我们之所以要掌握几何学，并不是为了掌握三角、圆，以及平行线的性质，而是为了学会数学证明背后的思维方法，学会如何用严密的逻辑语言进行一步步的推论和证明，直到得到我们想要的结论为止。
1701002503
1701002504
这套数学证明的方法是由欧几里得在2 300年前发明的。数学证明法最早见于欧几里得所著的《几何原本》。到目前为止，《几何原本》是人类历史上重印次数最多的教科书。自发明之日起，欧几里得几何学一直被人们奉为严密逻辑思考的典范，不管是在科技领域还是法律领域，不管是在心理学界还是政治界，人类生活的方方面面都在试图借鉴和奉行这套逻辑思考的方式。比如，物理学家艾萨克·牛顿爵士就在他的传世著作《自然哲学的数学原理》中运用了欧几里得的方法。在这本书中，牛顿通过几何证明的方法，推导出一套关于重力和物体运动的深刻规律，这套规律完全由他原创，并且能够很好地解释伽利略和开普勒发现的关于抛物运动和星球轨道运行的规律。著名的哲学家斯宾诺莎在他的著作《伦理学》中也使用了这套方法。在哲学史上占有一席之地的伟大著作《伦理学》，全名为《依几何次序所证之伦理学》，该书系统运用了欧几里得的几何证明方法来探讨哲学问题。在书的一开始，作者就给出了一组公理以及各种公式，然后从中产生命题、证明、推论与解释。就连美国的《独立宣言》里也有欧几里得的话语。在《独立宣言》里，托马斯·杰弗逊写道，“我们认为以下这些真理是不言自明的”，这句话正是来自欧几里得的《几何原本》。欧几里得的《几何原本》一开篇就提出了一些定义、假设和所谓“不言自明的真理”，也就是我们所说的公理。在这些定义、假设和公理的基础上，欧几里得用命题和推导建立起了他的几何学大厦。在这个系统中，每个真理都是由其他真理推导而来的，它们之间的逻辑关系绝对无懈可击。在美国的《独立宣言》中，杰弗逊也使用了类似的体系，通过他的一步步推导和雄辩，《独立宣言》的最终结论——殖民地人民有权独立自治——就像几何定理一般不容辩驳。
1701002505
1701002506
也许你会觉得，把政治宣言与数学联系在一起未免有些牵强。你可能不知道，杰弗逊总统一直非常喜欢和崇拜欧几里得。1812年1月12日，杰弗逊给他的老朋友约翰·亚当斯写了一封信。当时杰弗逊已经结束了他的第二任总统任期，过起了远离公众与政治的生活。在这封信中，杰弗逊提到远离政坛给他带来的快乐：“我已经不再看报纸了，现在我每天阅读塔西佗和修昔底德的书，阅读牛顿和欧几里得的书。我觉得自己比以前快乐了很多。”
1701002507
1701002508
但是，在我们敬仰欧几里得的逻辑和理性的时候，也许我们忽略了一件非常重要的事情，那就是几何学其实也有直觉和感性（而非理性）的一面。如果没有灵感和直觉，就不可能有证明，或者说，根本不会产生可供证明的定理。就像作曲或者写诗一样，几何学也需要一些“无中生有”的本事。几乎每个领域都需要灵感女神缪斯的眷顾，在艺术领域中如此，在数学天地中同样如此。
1701002509
1701002510
为了详细阐述这个问题，我们来看一个小问题：如何构建一个等边三角形？所谓等边三角形，就是三边边长相等的三角形。这个游戏的规则是，给你三角形的一边，请你构建出一个等边三角形。题目给出的三角形一边（底边）是一条线段，如下图所示。
1701002511
1701002512
1701002513
1701002514
1701002515
由这个线段出发，如何构建出等边三角形的另外两边呢？如何保证另外两边的边长和底边相等？我们手头的工具只有两种，一是直尺，二是圆规。直尺的作用是什么呢？它能够辅助你画出任意长度的直线，或者用直线连接任意两个点。圆规则能够让你以任意点为圆心、以任意长度为半径画出圆形来。