已知三角形的三个顶点分别为A(5,3)B(7,-1)C(-1,5).求三条高所在直线的方程