如何证明垂直平分线