几何原本命题17命题32

　　在上篇文章《《几何原本》平面几何基础（1）定义、公设、公理，命题1命题16》中，我对《几何原本》第1卷平面几何基础中的命题1命题16是如何证明的进行了讲解，这一讲我们继续命题17命题32的讲解。命题17：在任意三角形中，任何两角之和小于两直角和。
　　已知三角形ABC，延长BC边至D。
　　目标：证明角ABC角BCA两直角和。
　　证明：
　　1、因为角ACD是三角形ABC的一个外角，所以角ACD角ABC。（命题16）
　　2、所以角ACD角ACB角ABC角ACB
　　3、又角ACD角ACB两直角和。（命题13）
　　3、所以角ABC角ACB两直角和。
　　4、同理，角ABC角BAC两直角和，角BAC角ACB两直角和。
　　证明完毕。命题18：在任意三角形中，大边对大角。
　　已知三角形ABC中，ACAB。
　　目标：证明角ABC角ACB。
　　证明：
　　1、作ADAB。（命题3）
　　2、连接BD，因为角ADB是三角形BCD外角，所以角ADB角ACB。（命题16）
　　3、因为ADAB，所以角ADB角ABD。（命题5）
　　4、所以角ABD角ACB。
　　5、又角ABC角ABD，所以角ABC角ACB。
　　证明完毕。
　　说明：初中数学教材中，该命题被作为定理直接应用，不过没给出该命题的证明方法。命题19：在任意三角形中，大角对大边。
　　已知三角形ABC中，角B角C。
　　目标：证明ACAB。
　　证明：
　　1、假设AC等于或者小于AB。
　　2、若ACAB，则角B角C。（命题5）与已知条件角B角C不符。所以AC不可能等于AB。
　　3、若AC角C不符。所以AC不可能小于AB。
　　4、所以ACAB。
　　证明完毕。
　　说明：该命题的证明，作者采用先假设命题的对立结论成立，然后得出矛盾的方法，证明假设错误，命题正确。本卷中，作者多次采用假设法进行证明，思想新颖。初中教材中也提及该命题，但未给出证明方法。命题20：在任意三角形中，任意两边之和大于第三边。
　　已知三角形ABC。
　　目标：证明BAACBC、ABBCAC、BCACAB。
　　证明：
　　1、延长BA至D，使ADAC。（命题3）
　　2、连接DC，因为ADAC，所以角D角DCA。（命题5）
　　3、而角DCB角DCA角D，所以BDBC。（命题19）
　　4、又因为DBBAAD，ADAC，所以BAACBC。
　　5、同理，ABBCAC、BCACAB。
　　证明完毕。
　　说明：初中教材中也提及该命题，但未给出证明方法。命题21：由三角形的一条边的两个端点作相交于三角形内的两条线段，那么交点到这两个端点的线段和小于三角形其他两边之和，但是所形成的角大于同一条边对应的原三角形的角。
　　已知三角形ABC及其内任意一点D，连接并延长BD，使其交AC于E。连接CD。
　　目标：BDDC角A。
　　证明：
　　1、在三角形ABE中，ABAEBE。（命题20）。
　　2、所以ABAEECABACBEEC。
　　3、在三角形EDC中，EDECDC。（命题20）
　　4、所以BDEDECBEECBDDC。
　　5、于是结合步骤2、步骤4的结论，可得ABACBDDC。
　　6、因为三角形的外角大于任何一个内对角小（命题16），所以角BDC角DEC，角DEC角A。
　　7、所以角BDC角A。
　　证明完毕。命题22：以分别与三条已知线段相等的线段为三边作三角形：要求给定线段中的任意两条线段之和大于第三条线段，因为在任意三角形中，任意两边之和大于第三边。
　　已知三条线段A、B、C，且其中任意两条线段之和大于第三条线段。
　　目标：以与线段A、B、C长度相等的线段为三边作三角形。
　　证明：
　　1、已知DE为任意直线，一端为D，沿E方向可无限延长。
　　2、作DFA，FGB，GHC。（命题3）
　　3、以点F为圆心，FD为半径作圆DKL。
　　4、以G为圆心，GH为半径作圆KHL与圆DKL相交于点K、L。
　　5、连接FK、KG。
　　6、因为F为圆DKL圆心，所以FKFDA；
　　7、因为G为圆KHL圆心，所以KGGHC；
　　8、又因为FGB，所以三角形FKG三边FK、KG和FG分别等于A、C、B。
　　证明完毕。命题23：在已知直线和它上面的一点，作一个直线角等于已知直线角。
　　已知直线角C，直线AB以及直线AB上点A。
　　目标：过点A及直线AB作直线角等于已知直线角C。
　　已知直线角C以及直线AB，在AB上作直线角等于角C
　　证明：
　　1、在直线角C两边上取两点D、E，连接DE。
　　2、作三角形AFG，使三边AF、FG、AG分别等于CD、DE、CE。（命题22）
　　3、因为三角形CDE、三角形AFG三边分别相等，所以角C角A。（命题8）
　　证明完毕。
　　说明：本命题的证明，主要是为命题24、命题31的证明作铺垫。命题24：如果两个三角形中分别有两条边对应相等，若一个三角形中的一个夹角比另一个三角形中的夹角大，那么夹角大的所对的边也比较大。
　　已知在三角形ABC与三角形DEF中，ABDE，ACDF，角A角EDF。
　　目标：证明BCEF。
　　证明：
　　1、以DE为边，D为顶点作角EDG角A。（命题23）
　　2、作图使DGAC，连接EG、GF。（命题3）
　　3、因为角EDG角A，ACDG，ABDE，所以BCEG。（命题4）
　　4、因为DGAC，ACAF，所以DGAF，于是角DGF角DFG。（命题5）
　　5、因为角DGF角EGF，所以DFG角EGF。
　　6、又角EFG角DFG，所以角EFG角EGF。
　　7、于是在三角形EFG中，EGEF。（命题19）
　　8、又BCEG，所以BCEF。
　　证明完毕。命题25：如果两个三角形有两条对应边相等，则第三边越长，其所对应的角越大。
　　已知三角形ABC、DEF中，ABDE，ACDF，BCEF。
　　目标：证明角A角D。
　　证明：
　　1、假设角A不大于角D，即角A角D或者角A角D。
　　2、若角A角D，则BCEF（命题4），与已知条件BCEF矛盾，所以角A不等于角D。
　　3、若角A角D，则BCEF（命题24），与已知条件BCEF矛盾，所以角A不小于角D。
　　4、因此假设不成立，所以角A角D。
　　证明完毕。
　　说明：该命题的证明，作者采用先假设命题的对立结论成立，然后得出矛盾的方法，证明假设错误，命题正确。本卷中，作者多次采用假设法进行证明。命题26：如果在两个三角形中，有两对角分别相等，且有一条边相等这条边或者是等角之间的边，或者是任意等角的对边那么这两个三角形的其他边和角都对应相等。
　　已知在三角形ABC、DEF中，角ABC角E，角ACB角F，且两个三角形有一条边相等。
　　目标：证明这两个三角形其他边和角都对应相等。
　　情况一：这条相等的边是两对相等角之间的边，即BCEF。
　　证明：
　　1、假设AB不等于DE，且ABDE。
　　2、在AB上取一点G，使BGDE（命题3），连接GC。
　　3、因为BGED，BCEF，角ABC角E，所以三角形BGC与三角形EDF全等，角GCB角F。（命题4）
　　4、而角ACB角GCB，角ACB角F，所以角F角GCB，这与步骤3得出的角GCB角F矛盾。
　　5、所以假设不成立，因此ABDE。
　　6、因为ABDE，BCEF，角ABC角E，所以三角形ABC与三角形DEF全等，因此角BAC角D，ABDE，ACDF。（命题4）
　　证明完毕。
　　情况二：等角对应的边相等，如ABDE或者ACDF，这里取ABDE。
　　证明：
　　1、假设BC不等于EF，且BCEF。
　　2、在BC上取一点H，使BHEF。（命题3）
　　3、因为ABDE，角B角E，BHEF，于是三角形ABH与三角形DEF全等，所以角BHA角F。（命题4）
　　4、在三角形AHC中，外角BHA内角C。（命题16）
　　5、于是角F角ACB，这与角F角ACB矛盾，所以假设BC不等于EF不成立。
　　6、于是BCEF，又ABDE，角ABC角E，所以三角形三角形ABC与三角形DEF全等，因此角BAC角D，BCEF，ACDF。（命题4）
　　证明完毕。
　　说明：该命题的证明，作者采用先假设命题的对立结论成立，然后得出矛盾的方法，证明假设错误，命题正确。本卷中，作者多次采用假设法进行证明。初中教材中直接摆出结论两角一边对应相等的两个三角形全等，但未给出证明方法。命题27：如果一条直线与两条直线相交，内错角相等，则两直线平行。
　　已知直线EF与直线AB、CD相交于E、F，内错角AEF角EFD。
　　目标：证明直线AB平行于CD。
　　证明：
　　1、假设AB不与CD平行，在B、D方向相交于点G。
　　2、在三角形EFG中，外角AEF角EFD（命题16），这与已知角AEF角EFD矛盾。
　　3、于是假设不成立，因此AB与CD平行。
　　4、同理，可证明AB与CD在A、C方向不相交。
　　证明完毕。
　　说明：该命题的证明，作者采用先假设命题的对立结论成立，然后得出矛盾的方法，证明假设错误，命题正确。本卷中，作者多次采用假设法进行证明。初中教材中提及该命题，但未给出证明方法。命题28：如果一条直线与两条直线相交，同位角相等，或同旁内角之和等于两直角和，则这两条直线平行。
　　已知EF与直线AB、CD相交于G、H，同位角EGBGHD或者同旁内角BGH与角GHD两角之和等于两直角和。
　　目标：证明AB平行于CD。
　　证明：
　　第一种情况：同位角EGB角GHD。
　　1、对顶角EGB角AGH。（命题15）
　　2、因为角EGB角GHD，所以内错角AGH角GHD，所以AB平行于CD。（命题27）
　　证明完毕。
　　第二种情况：同旁内角BGH与角GHD两角之和等于两直角和。
　　1、角AGH与角BGH之和等于两直角和。（命题13）
　　2、又角BGH与角GHD两角之和等于两直角和，所以内错角AGH角GHD，所以AB平行于CD。（命题27）
　　证明完毕。
　　说明：初中教材中提及该命题，但未给出证明方法。命题29：如果一条直线与两条平行线相交，那么内错角相等，同位角相等，且同旁内角之和等于两直角和。
　　已知AB平行于CD，EF与AB、CD相交于G、H。
　　目标：证明内错角AGH角GHD，同位角EGB角GHD，且同旁内角BGH与角GHD的和等于两直角和。
　　证明：
　　1、假设角AGH不等于角GHD，且角AGH角GHD。
　　2、角AGH角BGH两直角和。（命题13）
　　3、又角AGH角GHD，所以角GHD角BHD两直角和。
　　4、同平面内一条直线和另外两条直线相交，若直线同侧的两个内角之和小于两直线和，则这两条直线经无限延长后，在这一侧相交。（公设5）
　　5、又角GHD角GHD两直角和，所以AB、CD无限延长后相交。这与AB、CD平行矛盾，因此假设错误，角AGH角GHD。
　　6、又对顶角AGH角EGB（命题15），所以角EGB角GHD。
　　7、又角EGB角BGH两直角和（命题13），所以角GHD角BGH两直角和。
　　证明完毕。
　　说明：该命题的证明，作者采用先假设命题的对立结论成立，然后得出矛盾的方法，证明假设错误，命题正确。本卷中，作者多次采用假设法进行证明。初中教材中也提及该命题，但未给出证明方法。命题30：平行于同一直线的直线相互平行。
　　已知直线AB平行于EF，直线CD平行于EF。
　　目标：证明直线AB平行于CD。
　　证明：
　　1、作直线GK与直线AB、CD、EF相交于G、K、H。
　　2、因为GK与平行线AB、EF相交，所以角AGK角GHF。（命题29）
　　3、又因为GK与平行线EF、CD相交，所以角GHF角GKD。（命题29）
　　4、所以角AGK角GKD，因为这两个角是内错角，所以AB平行于CD。（命题27）
　　证明完毕。
　　说明：初中教材中也提及该命题，但未给出证明方法。命题31：过给定点，作一条直线与已知直线平行。
　　已知BC是已知直线，点A是BC外任意一点。
　　目标：过点A作一条直线平行于BC。
　　证明：
　　1、在BC上任取一点D，连接AD。
　　2、以A为顶点作角DAE角ADC。（命题23）
　　3、延长EA至F。
　　4、因为AD与直线EF、BC相交，内错角角DAE角ADC，所以直线EAF平行于BC。
　　证明完毕。
　　说明：本命题的证明，主要是为命题32的证明作铺垫。命题32：在任意三角形中，如果延长一边，则外角等于两个内对角的和，而且三角形的三个内角的和等于两个直角和。
　　已知三角形ABC，延长BC至D。
　　目标：证明角ACD角A角B，角A角B角BCA两个直角和。
　　证明：
　　1、过点C作直线CF平行于AB。（命题31）
　　2、因为CE平行于AB，所以内错角ECA角A，同位角ECD角B。（命题29）
　　3、又角ACD角ECA角ECD，所以角ACD角A角B。
　　4、又角ACD角ACB两直角和。（命题13）
　　5、所以ACD角ACB角A角B角ACB两直角和。
　　证明完毕。
　　说明：初中教材中也提及该命题，但未给出证明方法。
　　好了，今天的讲解就到这里了。
　　下一讲我将带着大家继续讲解命题33命题48。
　　欢迎大家在下方扫码关注我的微信公众号：科学发现之历程。
　　我将带着大家学习科学大家的原著。