>>120
tanの加法公式から、
arctan(A)+arctan(B)=arctan((A+B)/(1-AB))　であり、
A = (t^2 + y^2 - z^2)/(2*y*z), B = -y/z と置くと、
arctan((A+B)/(1-AB)) = arctan((x*z)/(y*r)) である。

したがって、定数arctan(-y/z)だけずれているだけで、
答えは正解。