毕达哥拉斯定理的证明

毕达哥拉斯定理的证明

侯昕彤南京大学匡亚明学院摘要：

欧几里德的毕达哥拉斯定理证明。包括其中涉及的4条定义，5条公设，4条公理，25个命题证明，以及主证明（欧几里德《几何原本》第一卷命题47）。

关键词：毕达哥拉斯定理几何原本欧几里德

毕达哥拉斯定理：一个直角三角形斜边的平方，等于其两个直角边的平方和。

欲证明该定理，首先给出下列定义，公设以及公理：

●定义：

【定义1】当一条直线和另一条直横的直线交成的邻角彼此相等时，这些角的每一个被叫做直角。

【定义2】圆是由一条线包围成的平面图形，其内有一点与这条线上的点连接成的所有线段都相等。

【定义3】在四边形中，四边相等且四个角是直角的，叫做正方形。

【定义4】平行直线是在同一平面内的直线，向两个方向无限延长，在不论那个方向它们都不相交。

●公设：

【共设1】由任意一点到另外任意一点可以画直线.

【共设2】一条有限直线可以继续延长.

【共设3】以任意点为心及任意的距离可以画圆。

【共设4】凡直角都彼此相等。

【共设5】同平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和小于二自角的和，则这二直线经无限延长后在这一侧相交

●公理：

【公理1】等于同量的量彼此相等。

【公理2】等量加等量，其和仍相等。

【公理3】等量碱等量，其差仍相等。

【公理4】彼此能重合的物体是全等的。

根据给出的上述定义，公设，公理，进行下列命题的证明。证明段落中出现的【】表示该段证明所用的论据。

【命题1】命题：在一个已知有限直线上作一appear个等边三角形。

命题1

设AB是已知有限直线。

那么，要求在线段AB上作一个等边三角形。

以A为中心，且以AB为距离画圆【共设3】

再以B为心，且以BA为直为距离画圆ACE；【共设３】

由两圆的交点C到A,B连线CA，CB .【共设１】

因为，点A是圆CDB的圆心，AC等于BA。【定义2】

又点B是圆CAE的圆心，BC等于BA，【定义2】但是，已经证明CA等于AB;所以线段CA，CB都等于AB。

而且等于同量的量彼此相等，【公理1】.

三条线段CA , AB，BC彼此相等.

所以三角形ABC是等边的，即在已知有限直线AB上作出了这个三角形.

【命题2】命题：由一个已知点(作为端点)作一线段等于已知线段

命题2

设A是已知点，BC是已知线段，那么，要求由点A(作为端点)作一线段

等于已知线段BC.

由点A到点B连线段BC,【共设1】而且在AB上作等边三角形DAB，【命题1】

延长DA，DB成直线AE，BF,【共设2】

以B为心，以BC为距离画圆CGH.【共设3】

再以D为心，以DG为距离画圆GKL【共设3】 .

因为点B是圆CGH的心，故BC少等于BG .【定义2】

且点B是圆CGH的心，故BC等于BG.【定义2】

又DA等于DB,所以余量AL等于余量BG【公理3】

但已证明了BC等于BG，所以线段AL，BG的每一个都等于BG又因等丁同量的量彼此相等.【公理1】

所以，AL也等于BC。

从而，由已知点A作出了线段AL等于一已知线段BC.

【命题3】命题：已知两条不相等的线段，试由大的上边截取一条线段使

它等于另外一条。

命题3

设AB，C是两条不相等的线段，且AB大于C.

这样要求由较大的AB上截取一段等于较小的C，

由点A取AD等于线段C【命题2】，且以A为心，以D为距离画圆DEF。【公设3】

因为点A是圆DEF的圆心，故AE等于AD【定义2】

但C也等于AD，所以线段AE，C的每一条都等于AD;这样AE也等于C。【公理1】

所以，已知两条线段AD、C，由较大的AB上截取了AE等于C。

这就是所要求作的。

●【命题4】命题：如果两个三角形有两组对应边和这两组边所夹的角相等，

则两三角形全等。（SAS定理）

命题4

证明：

设ABC，DEF是两个三角形，两边AB，AC 分别等于边DE、DF，即AB等于DE，且AC等于DF，以及角BAC等于角EDF。

如果移动三角形ABC到三角形DEF上，若点A落在D上且线段AB落在DE 上，因为AB=DE，那么，点B也就与点E重合。

又，AB与DE重合，因为角BAC等于角EDF，线段AC也与DF重合。

因为AC等于DF，故点C也与点F重合。

又，B与E重合，故底BC也与底EF重合。

这样，整个三角形ABC与整个三角形DEF重合，由【公理4】，他们全等。命题得证。

●【命题5】命题：在等腰三角形中，两底角彼此相等，并且若向下延长两腰，

则在底以下的两个角也彼此相等

命题5

证明：

设ABC是一个等腰二角形，边AB等于边AC，且延长AB，AC成

直线BD，CE.【共设2】

则可证角ABC等于角ACB，且角CBD等于角BCE.

在BD上任取点F，且在较大的AE截取一段AG等于较小的AF，【命题3】

连接FC和GB.【共设1】

因为AF等于AG，AB等于AC，两边FA ,AC分别等于边GA、AB，且它们包含着公共角FAG .

所以底FC等于底GB，且三角形AFC个等于三角形AGB，其余的角也分别相等，即相等的边所对的角，也就是角ACF等于角AGB，角AFC等于角AGB【命题4】

又因为，整体AF等于整体AG，且在它们中的AB等于AC，余量BF等于余量CG.

【公理3】

但是已经证明了FC等于GB；

所以，两边BF，FC分别等于两边CG、GB，且角BFC等于角CGB .

这里底BC是公用的;所以，三角形BFC也全等于三角形CGB;

又，其余的角也分别相等，即等边所对的角.

所以角FBC等于角GCB，且角BCF等于角CBG.