ABCD is a square, the length of whose side is a. Taking AB and AD as the coordinate axes, the equation of the
circle passing through the vertices of the square, is