第二章 欧几里得对毕达哥拉斯定理
（勾股定理）的证明
（公元前约300年）

　　得到人们高度评价的《原本》是一部大型汇编书籍，全书分为13篇，465个命题，其涉及范围，从平面几何、立体几何到数论，无所不包。今天，人们一般认为，在所有这些定理中，只有比较少的一部分是欧几里得本人创立的。尽管如此，但从整个希腊数学体系来看。他毕竟创造了一个数学宝库，它是如此的成功，如此的受人尊崇，以致于所有前人的类似著作都相形见绌。欧几里得的著作很快就成为了一种标准。如此一来，如果一个数学家说到1.47，就只能意为《原本》第一篇第47命题，而无须解释我们所说的是《原本》，犹如人们一提到“I《列王记》7∶23”，就知道说的是《圣经》一样。

　　实际上，这种比较是非常恰当的，因为没有一本书能像欧几里得的大作那样被人看作“数学的圣经”。几百年来，《原本》已出版了2000多个版本，这个数字足以使今天数学教科书的编写家羡慕不已。众所周知，即使在当时，《原本》也获得了巨大的成功。罗马帝国崩溃后，阿拉伯学者将《原本》带到了巴格达。文艺复兴时期，《原本》再度出现于欧洲，其影响十分深远。16世纪的意大利著名学者及100年后年轻的剑桥大学学生艾萨克·牛顿都曾拜读过这部巨著。下面，让我们从卡尔·桑德堡著的亚伯拉罕·林肯传中摘录一段，看一看没有受过什么正规教育的年轻律师林肯是如何磨砺他的推理技能的：

　　“……购买一部欧几里得的《原本》，这部书已有2300年的历史……（他）在外出巡回出庭时，把书装在他的旅行袋里。晚上……别人都已入睡了，他还在借着烛光研读欧几里得。”

　　人们屡屡提及，林肯阅读莎士比亚和《圣经》，文风受到很大影响。同样，他的许多政论文也明显地反映出欧几里得命题的逻辑发展。

　　伯特兰·罗素（1872—1970年）对《原本》情有独钟，他在自传中写下了这样一段引人注目的回忆：

　　“11岁时，我开始学习欧几里得的书，并请我的哥哥当老师。这是我生活中的一件大事，犹如初恋般的迷人。”

　　我们在本章和下一章讨论《原本》时，应该知道，我们是在沿着一条其他许多人业已走过的道路前进。只有极少数的一些经典著作，如《伊利亚特》和《奥德赛》，才有资格共同组成这一文化遗产。我们将要讨论的命题，阿基米德、西塞罗、牛顿、莱布尼兹、拿破仑和林肯都曾研究过。侧身于这一长长的学生名单之中，不免令我们有些忐忑不安。

　　欧几里得天赋超人，与其说他创造了一种新的数学，不如说他把旧数学变成一种清晰明确、有条不紊、逻辑谨严的新数学。这绝不是无足轻重的小事。必须认识到，《原本》绝不仅仅只是数学定理及其证明；早至泰勒斯时代，数学家就已对命题作出过论证，而欧几里得对命题作了辉煌的公理化演绎，这是一个根本的区别。在《原本》中，他首先给出要素：23条定义，5条公设和5个公理。这些都是基础，是欧几里得体系的“已知”。他可以在任何时候应用这些要素。利用这些要素，他证明了他的第一个命题。然后，以第一个命题为基础，他可以将他的定义、公设、公理与第一个命题都融合进对第二个命题的证明。如此循序渐进，直至逐条证明所有的命题。

　　因此，欧几里得不仅仅作出了证明，更重要的是，他是在这种公理结构中作出的证明。这种论证方法的优越性十分明显，其一就是可以避免循环推理。每一个命题都与前一个命题有着十分清晰而明确的联系，并可直接导回原来的公理。懂得计算机的人甚至还能够画出一张流程图，准确显示证明一个特定定理可以应用哪些推导结果。这种证明方法比“投入”法优越得多，因为使用“投入”法，人们总是不清楚以前的哪些推导结果可以应用，哪些不可以应用。而且，在推导过程中，还有一个很大的危险，就是，如果要证明定理A，可能需要应用结果B，但反过来，如果不应用定理A本身，可能又无法证明结果B。这样，就出现了自我相关的“怪圈”，犹如一条蛇吞吃了自己的尾巴。在数学上，显然徒劳无益。

　　除此以外，公理化还有另一个优点。由于我们能够明确判别任何命题的前一个命题，因此，如果我们需要改变或消除某一基本公设，我们就能够立即觉察出可能会出现哪些情况。例如，如果我们没有应用公设C或根据公设C证明的任何结果，就证明出了定理A，那么，我们可以断言，即使消除公设C，定理A依然正确。这看起来似乎有点儿深奥，但在存有争议的欧几里得第5公设中，恰恰出现了这样的问题，引起了数学史上一次持续时间最长、意义最深远的辩论。我们将在本章的“后记”中详细讨论这一问题。

　　因此，《原本》的公理化演绎方法是非常重要的。虽然欧几里得没有使之尽善尽美，但它的逻辑极为严密，而且，欧几里得成功地将零散的数学理论编为一个从基本假定到最复杂结论的连续网络，所有这些，都使之成为其后所有数学著作的范本。时至今日，在神秘的拓扑学、抽象代数或泛函分析领域，数学家们还是首先提出公理，然后，一步一步地推导，直至建立他们奇妙的理论。而这正是欧几里得谢世2300年后的再现。　

第一篇：序　

　　在本章中，我们只重点讨论《原本》的第一篇；其后几篇，我们将在第三章讨论。第一篇一开始就提出了一系列互不连贯的平面几何定义。（欧几里得的全部引文均摘自托马斯·希思编辑的百科全书中“欧几里得《原本》十三篇”。）其中一些定义如下：

　　□ 定义1 点是没有部分的一种东西。
　　□ 定义2 线是没有宽度的长度。
　　□ 定义4 直线是其上各点无曲折地排列的线。

　　欧几里得今天的学生会发现这些定义的措词都是不可接受的，而且，还多少有点儿古怪。显然，在任何逻辑系统中，并非每个名词都是可以定义的，因为定义本身又是由其它名词组成的，而那些名词也必须定义。如果一个数学家试图对每个概念都给出定义，那么，人们一定会批评他在制造一个庞大的循环论证的怪圈。例如，欧几里得所说的“没有宽度”究竟是什么意思？而“各点无曲折地排列”的技术性含义又是什么？

　　从现代观点来看，一个逻辑系统总是始于一些未经定义的词，而以后所有的定义都与这些词有关。人们肯定会尽力减少这些未定义词的数量，但这些词的出现却是不可避免的。对于现代几何学家来说，“点”和“直线”的概念就始终未经定义。像欧几里得所用的陈述，有助于我们在头脑中形成某些图像，并非完全没有益处；但是，作为准确的逻辑定义来说，这最初的几个词是不能令人满意的。

　　所幸他后来的定义却比较成功。其中一些在我们第一篇的讨论中非常突出，值得予以评述。　

　　□ 定义10 一条直线与另一条直线相交，如果两个邻角相等，则这两个邻角都是直角，而与另一条直线相交的直线叫做那条直线的垂线。　

　　现代读者可能会对此感到奇怪，欧几里得并没有将直角定义为90°角；实际上，在《原本》中，也没有任何一个地方讲到“度”是角的测量单位。在这部书中，唯一有意义的角测量是直角。正如我们所看到的那样，欧几里得将其定义为一条直线上两个相等的邻角之一。

　　□ 定义15 圆是包含在一条线里的平面图形，因此，从圆内某一点出发连到该线的直线都相等。　

　　显然，圆内的“某一点”是指圆心，而他所说的相等的“直线”则是半径。

　　欧几里得在定义19至22中，定义了三角形（由三条直线包含的平面图形）、四边形（由四条直线包含的平面图形）和一些特定的子类，如等边三角形（三条边都相等的三角形）和等腰三角形（“只有两条边相等”的三角形）。他最后的定义是十分重要的：

　　□ 定义23 平行直线是两条在同一平面且向两个方向无限延伸的直线，这两条直线在两个方向上不相交。　

　　请注意，欧几里得避免了用“处处等距”的术语来定义平行线。他的定义更为简单，而且少有逻辑陷阱：平行线只是在同一平面且不相交的直线。

　　基于这些定义，欧几里得提出了五个几何公设。请不要忘记，这些都是欧几里得体系中的“已知”，是不言自明的真理。他当然对此必须审慎地选择，以避免重叠或内在的不一致。

　　公设1 从任一点到任一点〔可〕作一条直线。

　　公设2 有限直线〔可〕沿直线无限延长。　

　　我们即刻可以看出，这前两个公设恰好可以允许我们用无刻度直尺作图。例如，如果几何学家想用一条直线连接两点（这正是可以用直尺完成的作图），则公设1为此提供了逻辑依据。　

　　公设3 给定中心和距离（半径），〔可以〕作一个圆。

　　这样，公设3就为以已知点为圆心，以已知距离为半径，用圆规作圆提供了相应的逻辑根据。因此，我们可以说，这前三个公设加在一起，就为欧几里得作图工具的全部用途奠定了理论基础。

　　是否确实如此呢？人们只要回想一下自己的几何作图训练，就会想起圆规的另一个用途，即用以将平面上某一部分的固定长度转移到另一部分。具体做法是，已知一条线段，拟在另一处复制其长度。将圆规的尖端放在线段的一端，并将圆规的铅笔端对准线段的另一端；然后，将圆规固定，并拿起圆规，放在需要复制线段的位置。这是一种非常简便，又非常有用的方法。但是，按照欧几里得的规则，这种方法却是不允许的，因为在他的著作中，没有一个地方提出一种公设，允许用这种方法转移长度。因此，数学家们常常称欧几里得的圆规是“可折叠的”。就是说，虽然圆规完全有能力作圆（如公设3所保证的），但只要把圆规从平面拿起，圆规就闭拢了，无法再打开。

　　造成这种情况的原因究竟是什么？欧几里得为什么不再增加一条公设，以支持这一非常重要的转移长度的方法呢？答案十分简单：他不需要假定这样一种方法作为公设，因为他证明出了这种方法，并将其作为第一篇的第三命题。也就是说，虽然欧几里得的圆规一从纸上拿起来变成“可折叠”的了，但他的确提出了一种十分巧妙的转移长度的方法，并证明了他的方法为什么奏效。欧几里得令人仰慕之处就在于，他尽力避免假定他实际上能够推导出来的公设，因而使他的公设的数目少而且精。

　　公设4 所有直角都相等。

　　这一公设与作图无关，它提供了一个贯穿于整个欧几里得几何体系的统一的比较标准。定义10引入了直角概念，而现在，欧几里得则假定任何两个直角，不论在平面的什么位置，都相等。基于这一公设，欧几里得提出了一个在希腊数学界引起最大争议的公设：　

　　公设5 如果一条直线与两条直线相交，且如果同侧所交两内角之和小于两个直角，则这两条直线无限延长后必将相交于该侧的一点。

　　如图2.1所示，这一公设的意思是说，如果a＋β小于两个直角，则直线AB与CD相交于右侧。公设5常常被人们称为欧几里得的平行线公设。这显然有点儿用词不当，因为实际上这一公设规定了使两条直线相交的条件，因此，根据定义23，更准确的名称应该叫不平行公设。

　　显然，这一条公设与其它公设完全不同。它的行文较长，而且需要有图帮助理解，似乎远不是那种不证自明的真理。这条公设看来过于复杂，与泛泛而谈的“所有直角都相等”显然不属同一类。实际上，许多数学家都直觉地感到这第5条公设实际上是一个定理。他们认为，正如欧几里得不需要假定可用圆规转移长度，他也不需要假定这样一条公设，他完全可以借助更基本的几何性质证明这一点。有证据表明，欧几里得自己也对这个问题感到有点儿不安，因为他在第一篇的演绎中一直尽力避免应用这一平行线公设。也即，在最初的28个命题中，既然他感到完全可以首先和经常使用其他公设，他就放弃了使用第5条公设。但诚如“后记”中所表明，怀疑是否需要这一公设是一回事，作出实际证明则是另一回事。

　　根据这一有争议的公设，欧几里得提出了五个公理，从而完了他的序篇。这五个公理也都是不证自明的真理，但具有更一般的性质，不仅仅只对几何学有效。这些公理是　

　　□ 公理1 与同一个东西相等的东西，彼此也相等。
　　□ 公理2 等量加等量，总量仍相等。
　　□ 公理3 等量减等量，余量仍相等。
　　□ 公理4 彼此重合的东西相等。
　　□ 公理5 整体大于部分。

　　在这五个公理中，只有第4个公理有点儿让人费解。显然，欧几里得的意思是，如果一个图形能够严格不变地从纸上某一位置拿起，放到第二个图形上，两个图形完全重合，则两个图形在各个方面都相等——即它们有相等的角，相等的边，等等。长期以来，人们认为，公理4具有某种几何特征，应该归入公设的范围。

　　所有这些就是整个《原本》大厦建筑其上的假设陈述的基础。现在，让我们再来看一看青年伯特兰·罗素在其自传中的另一段回忆：

　　“我听说欧几里得证明了一些定理，但看到他从公理入手，感到非常失望。起初，我拒绝接受这些，除非哥哥讲明这样做的道理，但他说，‘如果你不接受它们，我们就无法继续。’我为了能继续学习，勉强接受了它们。”　

第一篇：早期命题　

　　在《序》的基础上，欧几里得开始证明他第一篇中的前48个命题。我们在此只讨论那些特别有趣或特别重要的命题，目标是要到达命题I．47和I．48，因为这两个命题是第一篇的逻辑顶峰。

　　如果一个人想从一些特定公理开始演绎几何，那么，他的第一个命题应该是什么呢？对于欧几里得来说，这第一个命题就是

　　命题I.1 在已知有限直线上作等边三角形。　

　　证明 欧几里得开始先作已知线段AB，如图2．2所示。然后，他以A为圆心，以AB为半径，作圆；再以B为圆心，以AB为半径，作第二个圆。当然，这两个圆都应用了公设3，而且，在从纸上拿起圆规时，不要求圆规保持打开状态。设C为两圆交点。欧几里得根据公设1作直线CA和CB，然后，宣布△ABC是等边三角形。因为根据定义15，由于AC和

　　这是一个非常简单的证明，只应用了两个公设，一个公理和两个定义，乍一看，似乎很完美。但遗憾的是，这个证明是有缺点的。即使古希腊人，不论他们对《原本》评价多高，也都看出了欧几里得最初论证的逻辑缺陷。

　　问题出在C点上。欧几里得如何证明两个圆实际上一定会相交呢？他怎么知道这两个圆不会以某种方法相互通过而不相交呢？显然，由于这是他的第一个命题，他以前并没有证明过这两个圆必然相交。而且，在他的公设或公理中，也都没有提到这个问题。对C点存在的唯一证明就是图中的明确表示。

　　但问题就在这里。因为如果说欧几里得想从他的几何中排除什么，那就是代替了证明的对图的依据，根据他自己的基本规则，证明必须建立在逻辑基础上，必须建立在依据公设和公理所做的谨慎的推理基础上，一切结论最终都必须来源于此。欧几里得“让图说话”，就违背了他给自己制定的规则。并且，如果我们想从图中得出结论，我们完全可以根据观察来判明命题1.1，即所作三角形看起来是等边三角形。如果我们求助于这种视觉判断，那么，一切都不再成立。

　　现代几何学家认为，需要增加一个公设，以作为判定这两个圆必定相交的理论根据，这一公设有时称之为“连续性公设”。他们还引入了其他公设，以弥补《原本》中这里或那里出现的类似缺陷。本世纪初，数学家戴维·希尔伯特（1862—1943年）依据20个公设演绎出他自己的几何学，堵塞了欧几里得的许多漏洞。因而， 1902年，伯特兰·罗素对欧几里得的著作给予了否定的评价：

　　“他的定义并非总是确定的，他的公理也不是都无法证明，他的论证需要许多公理，而他自己却没有意识到。严谨的证明应在没有图形辅助时依然保持其论证的力量，但欧几里得的许多早期证明却不能如此……他的著作作为逻辑名作的价值在很大程度上被夸大了。”

　　大家公认，欧几里得在以图像、而不是以逻辑为先导时，他不过是没做应该做的事。而在他全部465个命题中，并没有一处做了不该做的事。他的465个定理，没有一个是虚假的。只要对他的证明作一些小小的改动，并增加一些遗漏的公设，他的全部命题就能够经受住时间的考验。那些赞同罗素观点的人不妨首先将欧几里得的著作与希腊天文学家、化学家或物理学家的著作作一番比较。用现代标准来看，那些古希腊科学家真正是处于原始状态，今天，没有一个人会依据这些古代科学家的著作来解释月球的运动或肝脏的功能。但与此相反，我们经常可以请教欧几里得。他的著作是一项永恒的成就。它无须依赖收集数据或创造更精密的仪器。一切只需敏锐的理性，而欧几里得恰恰高于理性。

　　命题I.2和I.3巧妙解决了前面提到的在没有移动圆规的明确公设情况下转移长度的问题；而命题I.4则是欧几里得的第一个全等命题。用现代话说，这一命题就是“边角边”或“SAS”三角形全等模式，对此，读者应回想起中学几何课上学过的知识。命题I.4设定，如果有两个三角形，其中一个三角形的两条边及其夹角分别与另一个三角形的两条边及其夹角相等，则这两个三角形全等（图2.3）。

　　后，他拿起△DEF，放到△ABC上，并证明，两个三角形完全重合。这种用叠加方式证明的方法早已不受欢迎。并且，谁能说当图形在纸上移动的时候，它们不会变形或扭曲呢？希尔伯特认识到了这种危险，他实质上已将SAS作为他的公理Ⅳ.6。

　　命题I.5确定等腰三角形的两个底角相等。这一定理以“笨人不过桥”著称。之所以有此说法，一则是因为欧几里得的图形有点儿像一座桥；再则是因为，许多差些的学生都难于理解这一定理的逻辑，因此，也就无法跨过这座桥，进入《原本》的其它部分。

　　接下来的命题，即命题I．6，是命题I．5的逆命题。该命题确定，如果一个三角形的两个底角相等，则这个三角形是等腰三角形。显然，逻辑学家对定理及其逆定理极感兴趣，所以，欧几里得在证明一个命题后，常常会插入逆命题证明，即使省略或延迟这一证明都不致损害他著作的逻辑。

　　欧几里得的第二个三角形全等模式——“边边边”或“SSS”，写入了命题I.8。这一命题确定，如果有两个三角形，其中一个三角形的三条边分别与另一个三角形的三条边相等，则这三条边所对应的两个三角形全等。

　　随后的几个命题是作图命题。欧几里得演示了如何用圆规和直尺平分一个已知角（命题I.9）或一个已知线段（命题I.10）。紧跟其后的两个命题则演示了如何作已知直线的垂线，其一是过直线上已知点作垂线（命题I.11），其二是过直线外已知点作垂线（命题I.12）。

　　欧几里得下面的两个定理是关于邻角∠ABC和∠ABD的，如图2.4所示。他在命题I.13中证明，如果CBD是一条直线，那么，上述两个角之和等于两个直角；在命题I.14中，他证明了这一定理的逆定理，即，如果∠ABC与∠ABD之和等于两个直角，则CBD是直线。接着，他应用这一角与直线的性质，证明了更为重要的命题I.15。

　　命题I.15 如果两条直线相交，则所形成的对顶角相等（图2．5）。

　　证明 因为AEB是一条直线，所以，命题I．13保证了∠AEC
　　与∠CEB之和等于两个直角。同样，我们可以说，∠CEB与∠BED
　　之和也等于两个直角。公设4称，所有直角都相等，并根据公理1
　　和2，得出∠AEC＋∠CEB＝∠CEB＋∠BED。然后，根据公理3，
　　从等式两边各减去∠CEB，欧几里得即得出结论，对顶角∠AEC
　　和∠BED相等，与命题一致。 证讫。

　　这一定理又为我们引出了命题I.16，即所谓外角定理，这是《第一篇》中最重要的定理之一。

　　命题I.16 在任何三角形中，一角的外角大于其他两角中的任何一角。

　　证明 已知△ABC，延长BC到D，如图2．6所示，我们必须证明∠DCA大于∠CBA或∠CAB。欧几里得先根据命题I．10，平分AC于E，然后，根据公设1，作线段BE。公设2使他可以延长BE，并根据命题I．3，

　　
据命题I.4（即“边角边”或SAS），这两个三角形全等，所以，∠BAE=∠FCE。∠DCA显然大于∠FCE，因为根据公理5，整体大于部分。因此，外角∠DCA大于内对角∠BAC。用同样方法也可以证明∠DCA大于∠ABC。证讫。

　　外角定理是一个几何不等式。《原本》中随后的几个命题也是如此。例如，命题I．20确定，三角形任何两边之和必大于第三边。但据我们所知，古希腊伊壁鸠鲁派对这一定理很不以为然，因为他们认为这条定理太通俗，犹如不证自明的公理，甚至连驴子也会明白。也就是说，如果有一头驴站在A点（图2.7），而它的食物放在B点。这头驴肯定本能地懂得，从A直接到B，路程比沿两条边走，即从A到C，再从C到B要短。人们曾认为，命题I.20确是一条不证自明的真理，因此应属于公设。然而，如果能够作为一条命题证明这一定理，犹如前文中圆规的例子一样，欧几里得当然不愿再去假定一条公设，而他对这一定理所做的证明又是非常富有逻辑性的。

　　欧几里得接着又提出了几条不等式命题，随后提出了他最后一条全等定理，即重要的命题I．26。在这一命题中，他首先证明了“角边角”或ASA的全等模式，并以此作为命题I．4“边角边”或SAS全等定理的推论。然后，在命题I．26的第二部分，欧几里得又提出了第四个，也是最后一个全等模式，即“角角边”。对此，他证明，如果∠2=∠5，∠3=　

　　开始，人们会认为这只是“角边角”模式的直接推论而不予考虑。我们可以很清楚地看到，∠2+∠3=∠5+∠6，据此，我们可以得出

　　∠1=2个直角-（∠2＋∠3）=2个直角-（∠5＋∠6）=∠4

　　然后，我们可以再回复到“角边角”（ASA）的全等模式，因为我们可以把等式中的角放在AB与DE的任何一端。

　　这是一个简短的证明；但遗憾的是，这个证明同样不能令人满意。在这里欧几里得不能引用这一证明，因为他还必须证明一个三角形三个角的和等于两个直角。的确，如果没有这一关键性的证明，似乎完全不可能证明“角角边”（AAS）的全等定理。但是，欧几里得却确实证明出了这一定理，他用反证法作了如下精彩的证明。

　　命题I.26（角角边或AAS） 已知两个三角形，如果其中一个三角形的两个角分别与另一个三角形的两个角相等，一条边，即……相等角中的一个对边，等于另一个三角形相应的一条边，则其余的边和其余的角也相等。

之等于EF。然后，作线段AH。

　　
因此，根据“边角边”定理，△ABH与△DEF全等。所以，∠AHB=∠6，因为它们是两个全等三角形的对应角。

　　然后，欧几里得将注意力集中于小△AHC，并注意到，其外角AHB和相对内角∠3都等于∠6，因此，∠AHB与∠3也应该相等。但是，欧几里得在重要的命题I．16中已然证明，外角必定大于内对角。这一矛盾表相等，因而，根据“边角边”定理，原三角形ABC与 DEF全等。 证讫。

　　我们再来看一看这一巧妙论证的重要意义：这四种全等模式（边角边、边边边、角边角和角角边）都成立，但无须涉及三角形三个角之和等于两个直角的问题。

　　命题I.26结束了第一篇的第一部分。回顾这一部分的内容，我们看到，欧几里得在几何上已很有造诣。即使他还不得不应用他的平行线公设，但他已经确立了四种全等模式，研究了等腰三角形、对顶角和外角，并进行了各种作图。但是，他并未就此止步，仍在尽力走得更远。《原本》随即提出了平行线的概念。　

第一篇：平行线及有关命题　

　　命题I.27 一条直线与两条直线相交，如果内错角相等，则这两条直线平行。　

　　证明 见图2.10，假设∠1=∠2，欧几里得必须证明直线AB与CD平行——即，根据定义23，他必须证明这两条直线不会相交。他采用间接证法，先假设这两条直线相交，然后找到所涉的矛盾。假设直线AB与CD延长后，相交于G。那么，图形EFG就是一个延伸很长的三角形。但是，△EFG的外角∠2等于这同一个三角形的内对角∠1。根据命题I．16外角定理，这种情况是不可能的。因此，我们断定，AB与CD，不论延长多长，也不会相交，而这恰恰是欧几里得的平行线定义。证讫。

　　命题I.27打破了有关平行性的坚冰，但是，欧几里得依然避免应用平行线公设。这一争议很大的公设在欧几里得在命题I.29中证明I.27的逆命题时，终于出现了。

　　命题I.29 一条直线与两条平行线相交，则内错角相等。

　　证明 这次，欧几里得假设AB与CD平行（见图2.11），并须证明∠1=∠2。他再次使用间接法，即，假设∠1≠∠2，然后引出逻辑上的矛盾。因为，如果这两个角不相等，那么，其中一个角必定大于另一个角，我们不妨假设∠1＞∠2。根据命题I.13

　　2个直角=∠1＋∠BGH＞∠2+∠BGH

　　在此，欧几里得终于引用了公设5，这一公设恰恰适合于这种情况。由于∠2+∠BGH＜2个直角，根据公设5，他可以断定，AB与CD必定相交于右侧，这显然是不可能的，因为已知这条直线是平行的。因此，根据反证法，欧几里得表明，∠1不能大于∠2；同样，∠2也不能大于∠1。总而言之，平行线的内错角相等。证讫。

　　根据这一证明，欧几里得很容易地便推断出同位角也相等，即，在图2.11中，∠EGB=∠2，因为∠EGB与∠1是对顶角。

　　在最终引用了平行线公设之后，欧几里得发现，实际上不可能打破以往的习惯。在第一篇余下的20个命题中，几乎没有一处再直接应用平行线公设或基于这一公设的命题，唯一的例外是命题I.31，在这一命题中，欧几里得演示了如何通过直线外一点作已知直线的平行线。但是，平行线公设当然是被嵌入了一个人人都在等待出现的定理之中：

　　命题I.32 在任何三角形中……三个内角之和……等于两个直角。

　　证明 已知△ABC，如图2.12所示，他根据命题I.31，作CE平行于三角形的边AB，并延长BC到D。根据命题I.29（平行线公设的推论），他知道，∠1=∠4，因为它们是两条平行线的内错角；并且，还知道，∠2=∠5，因为它们是同位角。因此，△ABC三个内角的和就是∠1＋∠2＋∠3=∠4+∠5＋∠3=2个直角，因为这些角构成了直线BCD。这样，这一著名的定理即证明完毕。 证讫。

　　自此，欧几里得开始将注意力转向更复杂的问题。他接下来的几个命题提出了有关三角形和平行四边形的面积问题，其中最精彩的是命题I.41。

　　命题I.41 如果一个平行四边形与三角形同底，且位于同两条平行线之间，则这个平行四边形的面积是三角形面积的两倍。　

　　希腊人以此说法表示，如果一个三角形与任意平行四边形同底同高，则这个三角形的面积等于平行四边形面积的一半。由于这种平行四边形的面积与同底同高的矩形面积是一致的，而矩形的面积是（底）×（高），我们由此可以看到，在命题I.41中包含着一个现代公式，即，面积（三角　

　　但是，欧几里得并未用这种代数语言思维。相反，他想象，△ABC确与平行四边形ABDE具有同一条边，且同位于两条平行线AB与DE之间，如图2.13所示。然后，欧几里得证明，面积（平行四边形ABDE）=2面积（△ABC）。

　　间隔几个命题之后，欧几里得在命题I.46中演示了如何在已知线段上作正方形图形。当然，正方形是一种规则四边形，因为它的所有边和所有角全等。最初，人们可能会以为这一命题只是一个普通的命题，特别是他们会回忆起第一篇一开始就介绍了等边三角形这种规则三边形的作图。我们只要看一看他对正方形作图的证明就会明白，正方形作图何以延迟了这么长时间，因为对正方形作图的论证，很多要根据平行线的性质，而这当然只能等到关键的命题I.29之后。因此，虽然欧几里得在第一篇的一开始就介绍了规则三角形的作图，但他不得不等到接近第一篇的尾声时才作规则四边形的图形。

　　第一篇除了证明这46个命题之外，还有最后两个命题需要证明。看来，欧几里得是将最好的留在了最后。在作好所有这些准备之后，他开始冲击毕达哥拉斯定理，这一定理显然是所有数学定理中最重要的定理之一。

　　伟大的定理：毕达哥拉斯定理（勾股定理）　

　　众所周知，在欧几里得之前，毕达哥拉斯定理即已闻名遐迩，因此，欧几里得决不是这一数学里程碑的发现人。然而，我们下面看到的证明为他赢得了声誉，许多人都相信，这一证明最初是由欧几里得作出的。这个证明的美妙之处在于其先决条件的精练；毕竟，欧几里得为作出证明，只能依赖他的公设、公理和最初的46个命题，可谓捉襟见肘。我们不妨考虑一下他尚未涉及的几何论题：他以前唯一探讨过的四边形是平行四边形；对于圆，基本上尚未探索；而对于特别重要的相似性，则直到第六篇才开始阐述。虽然可以确信，如果应用相似三角形，可以对毕达哥拉斯定理作出非常简短的证明，但是，欧几里得不愿把这一重要命题的证明推迟到第六篇以后进行。显然，他希望尽可能早地直接涉及毕达哥拉斯定理，因此，他创立了一个证明，并以此作为《原本》的第47个命题。从这个命题中，我们可以看到，在此之前的许多命题都指向了伟大的毕达哥拉斯定理，因此，我们可以说第47命题堪称第一篇的高潮。

　　在我们详细介绍欧几里得的证明之前，我们不妨先来看一看用欧几里得语言阐述的这个命题，从中可以窥见其论证方法之巧妙。

　　命题I.47 在直角三角形中，斜边上的正方形面积等于两个直角边上的正方形面积之和。

　　请注意，欧几里得的命题不是关于代数方程式a²=b²＋c²，而是述及了一种几何现象，涉及到以直角三角形的三条边为边所作的实在的正方形。欧几里得必须证明，以AB和AC为边的两个小正方形面积之和等于以斜边BC为边的大正方形面积（见图2.14）。为证明这一点，他采用了一个非常奇妙的方法，从直角顶点开始作线段AL，使之与大正方形的边平行，并将大正方形分割为两个矩形。现在，欧几里得只要证明左边矩形（即以B和L为对角的矩形）的面积等于以AB为边的正方形面积；同样，右边矩形的面积等于以AC为边的正方形面积即可。由此可直接导出，两个矩形面积之和等于大正方形面积，同样也就等于两个小正方形面积之和。

　　这一普通方法非常巧妙，但还需要补充一些细节。幸好，欧几里得在他的早期命题中已完成了全部准备工作，因此，现在的问题是如何将它们谨慎地组合起来。

　　证明 根据假设，欧几里得已知∠BAC是直角。他应用命题I.46，在三条边上作正方形，并应用命题I.31，过A点作AL平行于BD，然后，连接AD与FC。初看起来，这些辅助线似乎显得很神秘，但它们很快就会变得浅显易懂了。

　　对于欧几里得来说，关键的问题是要证明CA与AG在同一条直线上。欧几里得指明，根据正方形作图，∠GAB为直角，而根据假设，∠BAC也是直角。由于这两个角的和等于两个直角，命题I.14保证了GAC是一条直线。有趣的是，在这一显然只涉及到很少的技术性问题的证明中，欧几里得唯一一次应用了∠BAC是直角这一事实。

　　现在，欧几里得开始将目光转向两个细长的三角形ABD和FBC。这两个三角形的短边（分别为AB和FB）相等，因为它们是一个正方形的两条边；同理，两个三角形的长边（BD和BC）也相等。那么，它们的对应夹角是否相等呢？由于∠ABD是∠ABC与正方形直角∠CBD之和，而∠FBC是∠ABC与正方形直角∠FBA之和。公设4规定，所有直角都相等。公理2则保证了等量之和相等。因此，∠ABD=∠FBC。根据“边角边”定理（即命题I.4），欧几里得证明狭长三角形ABD与FBC全等；因此，这两个三角形的面积相等。

　　到目前为止，一切顺利。接着，欧几里得指明，△ABD与矩形BDLM具有同一条边BD，并且，位于同两条平行线（BD与AL）之间。因此，根据命题I.41，BDLM的面积等于△ABD面积的2倍。同样，△FBC与正方形ABFG也具有同一条边BF。并且，欧几里得已证明GAC是一条直线，因此，△FBC与正方形ABFG也同位于平行线BF与GC之间；根据命题I.41，正方形ABFG的面积也等于△FBC面积的2倍。

　　欧几里得综合这些结果和先前证明的三角形全等，得出：

　　面积（矩形BDLM）=2面积（△ABD）
　　　　　　　　　　=2面积（△FBC）
　　　　　　　　　　=面积（正方形ABFG）

　　至此，欧几里得完成了一半使命。下一步，他需证明矩形CELM的面积等于正方形ACKH的面积。对此，他可以用同样的方法证明。首先，连接AE与BK，然后，证明BAH是一条直线，并根据“边角边”定理，证明△ACE与△BCK全等。最后，引用命题

　　I.41，欧几里得推论：

　　面积（矩形CELM）=2面积（△ACE）
　　　　　　　　　　=2面积（△BCK）
　　　　　　　　　　=面积（正方形ACKH）

　　至此，毕达哥拉斯定理呼之欲出，因为：
　　面积（正方形BCED）
　　=面积（矩形BDLM）+面积（矩形CELM）
　　=面积（正方形ABFG）+面积（正方形ACKH）。证讫。

　　至此，欧几里得完成了数学中最重要的证明之一，而他所应用的图形（图2.14）也因此成为了非常著名的图形。人们常常称欧几里得的图形为“风车”，因为它的外形看起来很像风车。从附图中我们可以看到1566年版《原本》所刊载的“风车”图形，图中的文字为拉丁文。显然，400多年前的学生便已开始研究这一图形，犹如我们刚才所做的那样。

　　当然，欧几里得的证明并不是证明毕达哥拉斯定理的唯一方法。实际上，证明方法有数百种之多，有的非常巧妙，有的极其平庸。（其中包括俄亥俄州众议员詹姆斯·加菲尔德的证明，他后来成为美国总统。）读者如果对其他证明方法感兴趣，可以参考E.S.卢米斯所著《毕达哥拉斯命题》一书，其中收录了对这一著名定理的千百种证明方法，令人眼花缭乱。

　　虽然命题I.47标志了第一篇的高潮，但欧几里得还有最后一个命题要证明，这就是毕达哥拉斯定理的逆定理。欧几里得对这一逆定理的证明，其巧妙和精练，依然是显而易见的。但遗憾的是，这一证明本该同样著名，却始终湮没不彰。实际上，大多数学生在其一生中，总会在某一时刻见到过对毕达哥拉斯定理的证明，但是见过对其逆定理证明的人就少得多，即使见到，也不敢肯定其正确性。

　　欧几里得对这一逆定理的证明有两个特点值得我们特别注意。其一是它非常短，将其与我们刚看到的论证相比，则尤其如此。其二是欧几里得在证明这一逆定理时，应用了毕达哥拉斯定理。这种逻辑方法虽然并非没有前例，但至少值得注意。让我们回想一下，欧几里得在证明有关平行线的两个重要命题（命题Ⅰ.27及其逆命题Ⅰ.29）时，并没有用其中一个命题去证明另一个命题。但是，他对毕达哥拉斯逆定理的证明，却将命题Ⅰ.48牢固地建立在命题Ⅰ.47的基础之上，使这两个命题成为一个明确的序列单位。

　　命题Ⅰ.48 在一个三角形中，如果一边上的正方形面积等于其他两边上的正方形面积之和，则这两边的夹角是直角。

　　
所示。他必须证明∠BAC是直角。

　

　　为此，欧几里得首先根据命题Ⅰ.11，作AE垂直于AC，并交AC于A。
　
明三角形BAC与DAC全等。

　　
确定的），但根据垂线作图，我们知道∠DAC是直角。因此，欧几里得完全有理由应用毕达哥拉斯定理于直角三角形DAC，并根据假设，推导出

　　边边”定理，△DAC与△BAC全等。因而，∠BAC与∠DAC也必然全等。而根据作图，后者为直角，所以，∠BAC也是直角。证讫。

　　命题Ⅰ.47和Ⅰ.48相得益彰，揭示了直角三角形的全部特征。欧几里得表明，一个三角形，如果，也只有当其斜边的平方等于两条侧边的平方和时，这个三角形才是直角三角形。这些证明过去是，现在依然是最佳几何例证。

　　这两个毕达哥拉斯命题在另一种意义上也是卓越非凡的。欧几里得以一种巧妙的方式证明这两个命题是一回事，而这两个命题是正确的则是另一回事。对于直角三角形与平方和的密切关系，没有直觉的推论。例如，它不像命题Ⅰ.20那样，是一种甚至连驴子都能懂得的不证自明的真理。相反，毕达哥拉斯定理证明了一个非常奇特的事实，其奇特性之所以不被认识，仅仅是因为其结果太著名了。理查德·特鲁多在他的《非欧几里得革命》一书中精彩地描述了毕达哥拉斯定理这种固有的奇特。特鲁多注意到，直角是一种人人都熟悉的日常存在，它不仅存在于人为世界，而且也存在于自然界本身。还有什么能比直角更“普通”或更“自然”的呢？但特鲁多又说：

　　“毕达哥拉斯定理使我感到非常惊奇……‘a²=b²＋c²’……无论如何引不起我本能的记忆……因为这个方程抽象，精确，异乎寻常。我想象不出这样一种东西与日常生活中所见的直角有什么关系。因此，当偶然揭开‘熟悉’的帘幕，重新审视毕达哥拉斯定理，我不禁感到目瞪口呆。”　

　　那么，这些19世纪的发现者们究竟要将欧几里得置于何地呢？一方面，欧几里得几何作为对空间的唯一逻辑上一致的描述的地位不复存在。实际上，每个人都会感到非常吃惊的是，非欧几何证明了平行线公设不是逻辑所训示的。欧几里得假设了这一条公设，但在数学上却没有这种必然性。存在对立的几何，而且同样正确。