毕达哥拉斯定理及证明.docVIP

毕达哥拉斯定理的证明 侯昕彤 南京大学匡亚明学院 摘 要： 欧几里德的毕达哥拉斯定理证明。包括其中涉及的4条定义，5条公设，4条公理，25个命题证明，以及主证明（欧几里德《几何原本》第一卷命题47）。 关 键 词：毕达哥拉斯定理 几何原本 欧几里德 毕达哥拉斯定理：一个直角三角形斜边的平方，等于其两个直角边的平方和。 命题 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. 由以上已经证明了整个角ABG等于角ACF，且角CBG等于角BCF，其余的角ABC等于其余的角ACB。【公理３】 又它们都在三角形ABC的底边以上. 从而，也就证明了FBC等于角GCB，且它们都在三角形的底边以下。 证完。 【命题6】命题：在已知线段上(从它的两个端点)做作出相交于一点的二线段，则不可能在该线段(从它的两个端点)的同侧作出