证明垂直平分线逆定理_线段垂直平分线