这一讲,我们继续《几何原本》第6卷“相似图形”中命题4的学习。
该命题证明了相似三角形对应边成比例。
命题4:在各角对应相等的三角形中,夹等角的边成比例,且等角的对边为相对应的边。已知ABC和DCE为各角对应相等的三角形,设角ABC等于角DCE、角BAC等于角CDE,角ACB等于角CED。
目标:证明在三角形ABC和三角形DCE中,夹等角的边成比例,且等角所对的边是对应边。
证明:
1、将BC、CE置于同一直线上。因为角ABC与角ACB之和小于两直角【第1卷 命题17】,角ACB等于角DEC,所以角ABC与角DEC之和小于两直角,因此,BA与ED 的延长线可以相交【公设5】,将二者延长交于F点。
说明:该步骤运用了第1卷命题17的结论,命题17用现代的数学语言表述如下:
在任意三角形中,任何两角之和小于两直角和。
2、因为角DCE等于角ABC,所以BF平行于CD。【第1卷 命题28】
3、又因为角 ACB 等于角DEC,所以AC平行于FE。【第1卷 命题28】
4、因此FACD为平行四边形,所以FA等于DC,AC等于FD。【第1卷 命题34】
5、因为AC平行于三角形 FBE的一边FE,所以BA比AF等于BC比CE。【第6卷 命题2】
6、因为AF等于 CD,所以BA比CD等于BC比CE,由更比例可得,AB比BC等于DC比CE。【第5卷 命题16】
说明:该步骤运用了第5卷命题16的结论,命题16用现代的数学语言表述如下:
如果a/b=c/d,那么a/c=b/d
7、又因为CD平行于BF,因此BC比CE等于FD比DE。【第6卷 命题2】
8、因为FD等于AC,因此BC比CE等于AC比DE,由更比例可得, BC比CA等于CE比ED。【第5卷 命题16】
9、因为已经证明了,AB比BC等于 DC比CE,BC比CA等于CE比ED,所以通过首末比可得,BA比AC等于CD比DE。【第5卷 命题22】
说明:该步骤运用了第5卷命题22的结论,命题22用现代的数学语言表述如下:
如果有a、b、c与d、e、f两组量,且满足a/b=d/e,b/c=e/f,那么a/c=d/f。
10、综上,在各角对应相等的三角形中,夹等角的边成比例,且等角的对边为相对应的边。
好了,这一讲就到这里了。
我是一个致力于科普数学、物理的科技媒体。想了解更多相关的知识,欢迎关注我的微信公众号科学发现之历程,期待你的到来。