为什么垂直平分线可以证明这两个点关于这两条直线对称