已知圆c的圆心是直线x-y+1=0与x轴的交点,且圆c与直线x+y+3=0相切,求圆c的方程