PRINCIPIA · THEOREM
垂径定理(垂直于弦的直径平分弦及其所对弧)
依赖:垂直平分线 ⇔ 到两端点等距、垂直平分线判定、等腰三角形底角相等、同 / 等圆中:圆心角 / 弧 / 弦 三者两两等价。
陈述
已知: 是一个圆, 是它的一条弦(不过圆心 )。 是 的一条直径,且 ,交 于 (、 为直径 与 的两个交点)。
求证:

帮我把这条定理写得更好
依赖:垂直平分线 ⇔ 到两端点等距、垂直平分线判定、等腰三角形底角相等、同 / 等圆中:圆心角 / 弧 / 弦 三者两两等价。
已知: 是一个圆, 是它的一条弦(不过圆心 )。 是 的一条直径,且 ,交 于 (、 为直径 与 的两个交点)。
求证:
