PRINCIPIA · THEOREM
三角形内角和等于 180°
依赖:过线外一点存在唯一平行线(过直线外一点存在唯一平行线(Playfair))、两直线被截内错角相等 ⇒ 平行的逆命题(平行 ⇒ 内错角相等,记为 B.06)、邻补角和等于 180°(邻补角和等于 180°)。
陈述
设 为任意三角形。则其三个内角之和恒为一个平角:
这条结论与三角形的形状、大小、位置无关——它是欧氏平面上"过线外一点有且只有一条平行线"这一公理的最直接代价。

帮我把这条定理写得更好
依赖:过线外一点存在唯一平行线(过直线外一点存在唯一平行线(Playfair))、两直线被截内错角相等 ⇒ 平行的逆命题(平行 ⇒ 内错角相等,记为 B.06)、邻补角和等于 180°(邻补角和等于 180°)。
设 为任意三角形。则其三个内角之和恒为一个平角:
这条结论与三角形的形状、大小、位置无关——它是欧氏平面上"过线外一点有且只有一条平行线"这一公理的最直接代价。
