证明点在线段垂直平分线上