已知三角形ABC的三个顶点分别为A(1,1),B(1,4),C(5,1),求他的外接圆的方程