PRINCIPIA · THEOREM
西姆松线
依赖:90° ⇒ 直径(直角 在以斜边为直径的圆上)、圆内接四边形对角互补(四点共圆 同弦圆周角等 / 对角互补)、邻补角和等于 180°(邻补角 )。
陈述
已知: 的外接圆为 , 为 上任意一点()。从 分别向三条边所在直线作垂线,三个垂足为
求证:、、 三点共线。
本节只证此正向( 在外接圆上 三垂足共线)。逆向(三垂足共线 在外接圆上)见 即时推论。

帮我把这条定理写得更好
依赖:90° ⇒ 直径(直角 在以斜边为直径的圆上)、圆内接四边形对角互补(四点共圆 同弦圆周角等 / 对角互补)、邻补角和等于 180°(邻补角 )。
已知: 的外接圆为 , 为 上任意一点()。从 分别向三条边所在直线作垂线,三个垂足为
求证:、、 三点共线。
本节只证此正向( 在外接圆上 三垂足共线)。逆向(三垂足共线 在外接圆上)见 即时推论。
