PRINCIPIA · THEOREM
垂直平分线判定
依赖:SSS 全等判定 与 邻补角和等于 180°(邻补角和等于 180°)。
陈述
设 、 是平面上两个不同的点。若一点 到 与到 的距离相等,则 在线段 的垂直平分线 ⇔ 到两端点等距上。即:
“线段 的垂直平分线”指:过 中点且与 垂直的那条直线。

帮我把这条定理写得更好
依赖:SSS 全等判定 与 邻补角和等于 180°(邻补角和等于 180°)。
设 、 是平面上两个不同的点。若一点 到 与到 的距离相等,则 在线段 的垂直平分线 ⇔ 到两端点等距上。即:
“线段 的垂直平分线”指:过 中点且与 垂直的那条直线。
