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