垂直平分线定义性质及判定