线段的垂直平分线的性质和判定定理