垂直平分线判定

依赖：SSS 全等判定 与 邻补角和等于 180°（邻补角和等于 180°）。

陈述

已知：$A$、$B$ 是平面上两个不同的点，$P$ 是一点，满足 $PA = PB$。（“线段 $AB$ 的垂直平分线”指过 $AB$ 中点且与 $AB$ 垂直的那条直线。）

求证：$P$ 在线段 $AB$ 的垂直平分线上，即