证明： ∵MN ⊥AB（已知） ∴∠AOP=∠BOP=90°(垂直的定义) 在△AOP和△BOP中 AO=BO(已知) ∵ ∠AOP=∠BOP(已证) PO=PO(公共边) ∵ △AOP≌△BOP(SAS) ∵PA=PB(全等三角形对应边相等)

定理

线段垂直平分线上的点与线段两端的距离相等。

你能写出上述定理的逆命题吗？它是真命题吗？