x^2+y^2=z^2