x^2+y^2+1=2z^2