PRINCIPIA · THEOREM
三角形内角和等于 180°
依赖:过线外一点存在唯一平行线(过直线外一点存在唯一平行线(Playfair))、两直线被截内错角相等 ⇒ 平行的逆命题(平行 ⇒ 内错角相等,记为 B.06)、邻补角和等于 180°(邻补角和等于 180°)。
陈述
已知: 为任意三角形,、、 为其三个内角。
求证:

帮我把这条定理写得更好
依赖:过线外一点存在唯一平行线(过直线外一点存在唯一平行线(Playfair))、两直线被截内错角相等 ⇒ 平行的逆命题(平行 ⇒ 内错角相等,记为 B.06)、邻补角和等于 180°(邻补角和等于 180°)。
已知: 为任意三角形,、、 为其三个内角。
求证:
