resultant(x^2+y^2+z^2-xt-t^2,x^2+y^2+z^2+yt-2t^2,z)