Trigonometry · real student question

Express arctan(1/x) in terms of arctan(x), for x positive and for x negative.

Question

Express

arctan(1x)\arctan\left(\frac{1}{x}\right)

in terms of arctanx\arctan x, treating x>0x>0 and x<0x<0 separately.

Step-by-step solution

  1. Note the domain. The expression 1x\tfrac1x requires x0x\neq 0, so the identity will have two branches with nothing to say at x=0x=0.

  2. Derive the positive branch from complementary angles. For x>0x>0 let θ=arctanx\theta=\arctan x, so 0<θ<π20<\theta<\tfrac{\pi}{2}. In a right triangle with legs 11 and xx the two acute angles are complementary, and swapping which leg is 'opposite' replaces xx by 1x\tfrac1x:

    arctan(1x)=π2arctanx,x>0\arctan\left(\frac{1}{x}\right)=\frac{\pi}{2}-\arctan x,\qquad x>0

  3. See why the negative branch needs a different constant. For x<0x<0 both arctanx\arctan x and arctan1x\arctan\tfrac1x lie in (π2,0)\left(-\tfrac{\pi}{2},0\right), so their sum is negative and cannot be +π2+\tfrac{\pi}{2}. The correct constant is the negative one:

    arctan(1x)=π2arctanx,x<0\arctan\left(\frac{1}{x}\right)=-\frac{\pi}{2}-\arctan x,\qquad x<0

  4. Understand the jump. The function arctanx+arctan1x\arctan x+\arctan\tfrac1x is constant on each side of the origin but jumps by π\pi across it, taking the value π2\tfrac{\pi}{2} for x>0x>0 and π2-\tfrac{\pi}{2} for x<0x<0. The jump exists because the principal range of arctan is only π\pi wide.

  5. Check one value on each branch. At x=2x=2: arctan120.46365\arctan\tfrac12\approx 0.46365 and π2arctan21.570801.10715=0.46365\tfrac{\pi}{2}-\arctan 2\approx 1.57080-1.10715=0.46365 \checkmark. At x=2x=-2: arctan(12)0.46365\arctan\left(-\tfrac12\right)\approx-0.46365 and π2arctan(2)1.57080+1.10715=0.46365-\tfrac{\pi}{2}-\arctan(-2)\approx-1.57080+1.10715=-0.46365 \checkmark.

Answer

arctan(1x)={π2arctanx,x>0π2arctanx,x<0\arctan\left(\frac{1}{x}\right)=\begin{cases}\dfrac{\pi}{2}-\arctan x,&x>0\\[4pt]-\dfrac{\pi}{2}-\arctan x,&x<0\end{cases}

Need to solve a different problem like this? Open the solver →