arctanの加法定理を使います。 arctan(a)+arctan(b)=arctan(1−aba+b) この公式を直接使うと、
arctan(x)+arctan(x1)=arctan(1−x⋅x1x+x1)=arctan(1−1x+x1) これは 1−1=0 となり定義できません。 別の方法を考えます。
x>0の場合、arctan(x) と arctan(x1) は共に定義でき、正の値です。 tan(arctan(x))=x tan(arctan(x1))=x1 三角関数の恒等式 arctan(x)+arctan(x1)=2π (x>0) が成り立ちます。 x<0の場合、arctan(x) と arctan(x1) は共に定義でき、負の値です。 arctan(x)+arctan(x1)=−2π (x<0) が成り立ちます。 したがって、
$\arctan(x) + \arctan\left(\frac{1}{x}\right) =
\begin{cases}
\frac{\pi}{2}, & x > 0 \\
-\frac{\pi}{2}, & x < 0
\end{cases}$