线段垂直平分线的性质及判定定理证明