定理线段的垂直平分线上的点到线段两个端点距离相等的逆定理是