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

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

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