16.2.1 线段的垂直平分线的性质