以三角形一边的两个端点向三角形以内引两条相交线,那么交点到这两个端点的这两条线段的和小于三角形余下的两条边的和,所形成的角大于三角形同侧的内角。
设: BC 为三角形 ABC 的一条边,从端点 B、C ,作线段 BD、DC 。
求证: BD、DC 的和小于三角形的另两条边 BA、AC 的和,所夹的∠ BDC 大于∠ BAC 。
延长 BD 和 AC 交于 Ε 点。
因为:在三角形中任意两边的和大于剩余的一条边 (命题I.20) ,那么,在三角形 ABΕ 中,边 AB、AΕ 的和大于 BΕ 。
令:分别相加 ΕC ,于是 BA、AC 之和大于 BΕ、ΕC 之和。
又,在三角形 CΕD 中, CΕ、ΕD 两边的和大于 CD ,令分别相加 DB ,于是, CΕ、ΕB 的和大于 CD、DB 的和。
而 BA、AC 的和已证明大于 BΕ、ΕC 的和。
所以: BA、AC 的和大于 BD、DC 的和。
又,因为在三角形中任意外角大于与它不相邻的任何一个内角。 (命题I.16) 。
于是:在三角形 CDΕ 中,外角∠ BDC 大于∠ CΕD 。
同理可证:在三角形 ABΕ 中,其外角∠ CΕB 大于∠ BAC 。∠ BDC 已被证明大于∠ CΕB 。
所以:∠ BDC 大于∠ BAC 。
所以:以三角形一边的两个端点向三角形以内引两条相交线,那么交点到这两个端点的这两条线段的和小于三角形余下的两条边的和,所形成的角大于三角形同侧的内角。
证完
在欧几里得以前,派帕尔斯及其他数学家已经注意到,在一个三角形中,如果直线不是从一条边的末点作出,那么所作直线之和可能大于余下的两边之和。事实上,其和可以大到三角形最长边的两倍。
本命题应用在命题III.8中。