垂直平分线的定义和性质