线段的垂直平分线的方程的公式是什么?怎么求?