PRINCIPIA · THEOREM
⊥ 弦的直径平分弦所对的弧
依赖:SAS 全等判定、圆心角 ≡ 弧 ≡ 弦(同 / 等圆中:圆心角 / 弧 / 弦 三者两两等价)。
陈述
设 是给定的圆, 是 的一条弦; 是过圆心 的一条直径,并且 ;设 与 交于 。则 平分弦所对的两条弧:
换言之,"⊥ 弦的直径"在圆周上把 、 之间的两段弧都精确地切成两半。

帮我把这条定理写得更好
依赖:SAS 全等判定、圆心角 ≡ 弧 ≡ 弦(同 / 等圆中:圆心角 / 弧 / 弦 三者两两等价)。
设 是给定的圆, 是 的一条弦; 是过圆心 的一条直径,并且 ;设 与 交于 。则 平分弦所对的两条弧:
换言之,"⊥ 弦的直径"在圆周上把 、 之间的两段弧都精确地切成两半。
