已知一条直线,求这条直线的垂直平分线的方程,有没有公式.