垂直平分線性質和判定