垂直平分线的逆定理可以直接用吗