￥tan^{-1}(x)+￥tan^{-1}(1/x)=￥pi/2なんて関係式がでてきたが，

そんなわけないと思っていたら，

少し考えれば簡単に成立することが分かった