毕达哥拉斯定理的证明.docx

毕达哥拉斯定理的证明 侯昕彤 南京大学匡亚明学院 摘 要： 欧几里德的毕达哥拉斯定理证明。包括其中涉及的 4 条定义， 5条公设， 4 条公理， 25 个命题证明，以及主证明（欧几里德《几何原本》第一卷命题 47 ）。 关 键 词： 毕达哥拉斯定理 几何原本 欧几里德 毕达哥拉斯定理： 一个直角三角形斜边的平方， 等于其两个直角边的平方和 。欲证明该定理，首先给出下列定义，公设以及公理： 定义： 【定义 1】当一条直线和另一条直横的直线交成的邻角彼此相等时，这些角的每 一个被叫做直角。 【定义 2】圆是由一条线包围成的平面图形，其内有一点与这条线上的点连接成 的所有线段都相等。 【定义 3】在四边形中，四边相等且四个角是直角的，叫做正方形。 【定义 4】平行直线是在同一平面内的直线，向两个方向无限延长，在不论那个 方向它们都不相交。 公设： 【共设 1】由任意一点到另外任意一点可以画直线 . 【共设 2】一条有限直线可以继续延长 . 【共设 3】以任意点为心及任意的距离可以画圆。 【共设 4】凡直角都彼此相等。 【共设 5】同平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和 小于二自角的和，则这二直线经无限延长后在这一侧相交 公理： 【公理1】等于同量的量彼此相等。 【公理2】等量加等量，其和仍相等。 【公理3】等量碱等量，其差仍相等。 【公理4】彼此能重合的物体是全等的。 根据给出的上述定义，公设，公理，进行下列命题的证明。证明段落中出现 的【】表示该段证明所用的论据。 【命题1】命题：在一个已知有限直线上作一 appear个等边三角形。 命题 错误!不能识别的开关参数。 设AB是已知有限直线。 那么，要求在线段AB上作一个等边三角形。 以A为中心，且以AB为距离画圆【共设3】 再以B为心，且以BA为直为距离画圆ACE【共设3】 由两圆的交点C到A,B连线CA CB ?【共设1】 因为，点A是圆CDB的圆心，AC等于BA【定义2】 又点B是圆CAE的圆心，BC等于BA【定义2】但是，已经证明CA等于AB; 所以线段CA CB都等于AB 而且等于同量的量彼此相等，【公理 1】. 三条线段CA , AB，BC彼此相等. 所以三角形ABC是等边的，即在已知有限直线 AB上作出了这个三角形 这就是所要求作的 【命题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等于BQ所以线段AL，BG的每一个都等于BG又因等丁同量 的量彼此相等.【公理1】 所以，AL也等于BC 从而，由已知点A作出了线段AL等于一已知线段BC. 这就是所要求作的 【命题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,由较大的ABt截取了 AE等于Co 这就是所要求作的。 【命题4】命题：如果两个三角形有两组对应边和这两组边所夹的角相等, 则两三角形全等。（SAS定理） 命题 错误!不能识别的开关参数。 证明： 设ABC DEF是两个三角形，两边 AB, AC分别等于边DE DF,即卩AB等于 DE 且AC等于DF,以及角BA（等于角EDF 如果移动三角形ABC到三角形DEF上,若点A落在D上且线段AB落在DE上, 因为AB=DE那么， 点B也就与点E重合。 又，AB与DE重合，因为角BA（等于角EDF线段AC也与DF重合。 因为AC等于DF,故点C也与点F重合。 又，B与E重合，故底BC也与底EF重合。 这样，整个三角形ABC与整个三角形DEF重合，由【公理4】，他们全等。 命题得证。 【命题5】命题：在等腰三角形中，两底角彼此相等，并且若向下延长两腰， 则在底以下的两个角也彼此相等 命题 错误!不能识别的开关参数。 证明： 设ABC是一个等腰二角