`ABCD` is a square in first quadrant whose side is a, taking `AB and AD` as axes, prove that the equation to the circle circumscribing the square is `x^2+ y^2= a(x + y)`.