怎么证明一个点在指定线段的垂直平分上?