PRINCIPIA · THEOREM

垂直平分线判定

依赖SSS 全等判定邻补角和等于 180°邻补角和等于 180°)。

陈述

AABB 是平面上两个不同的点。若一点 PPAA 与到 BB 的距离相等,则 PP 在线段 ABAB垂直平分线 ⇔ 到两端点等距上。即:

PA=PB    Pperp-bisector(AB).PA = PB \;\Longrightarrow\; P \in \text{perp-bisector}(AB).

“线段 ABAB 的垂直平分线”指:过 ABAB 中点且与 ABAB 垂直的那条直线。

垂直平分线判定示意:PA = PB ⇒ P 在 AB 的垂直平分线上(PM 过中点 M 且 PM\perp AB)

前 20 条免费 · 第 21 条起需要登录

登录解锁完整证明

前 20 条定理可匿名阅读;这条以及其后的所有定理需要登录后查看完整证明、动画与即时推论。注册免费,邮箱验证码登录即可。

登录解锁
帮我把这条定理写得更好