>>450
自明すぎる。
tanが奇函数であることからarctanも奇函数となり
x > 0のところだけ見ればいい。

arctan(x) + arctan(1/x) = π/2
というのは直角三角形の
直角でない角を足したら π/2 だよというだけの話。