_线段的垂直平分线(1)性质定理与判定定理