线段垂直平分线性质与判定