线段垂直平分线定理逆定理（线段垂直平分线的性质及逆定理）

线段的垂直平分线

定理

线段垂直平分线上的点和这条线段两个端点的距离相等

几何语言：

∵MN⊥AB于C，AB＝BC，（MN垂直平分AB）

点P为MN上任一点

∴PA＝PB（线段垂直平分线性质）

逆定理

和一条线段两个端点距离相等的点，在这条线段的垂直平分线上

几何语言：

∵PA＝PB

∴点P在线段AB的垂直平分线上（线段垂直平分线判定）