已知道A(1,3)和B(-5,1)两点,那么线段AB的垂直平分线的方程