[y=x,(y-3)^2=(5/√2)^2-(x--2)^2]