The inverse tangent function obeys a family of addition and doubling identities that let you combine two arctangents into one. They come straight from the tangent addition formula, but they carry conditions you must respect.
The core addition identity
Start from tan(A+B)=1−tanAtanBtanA+tanB. Put A=tan−1x and B=tan−1y, so tanA=x and tanB=y. Then
tan−1x+tan−1y=tan−1(1−xyx+y),xy<1.
The restriction xy<1 keeps the combined angle inside the principal range (−π/2,π/2).
Watch out
If xy>1 the raw formula lands in the wrong branch, so you must correct it:
tan−1x+tan−1y=π+tan−1(1−xyx+y)(x,y>0),
and −π+tan−1(⋅) when x,y<0. Ignoring this is the classic exam slip.
Subtraction
Replacing y with −y gives
tan−1x−tan−1y=tan−1(1+xyx−y),xy>−1.
The doubling identity
Set y=x in the addition formula:
2tan−1x=tan−1(1−x22x),−1<x<1.
The same angle can also be rewritten through sine and cosine, which is handy in integration and in proofs -- but each alternate form only matches 2tan−1x on part of its domain, so the two forms carry different conditions:
2tan−1x=sin−1(1+x22x),−1≤x≤1,
2tan−1x=cos−1(1+x21−x2),x≥0.
Watch out
The cos−1 form needs x≥0 -- it fails for negative x. Check x=−1: 2tan−1(−1)=2(−4π)=−2π, but cos−1(1+11−1)=cos−1(0)=2π, the wrong sign entirely. The sin−1 form has no such restriction because sin−1 (unlike cos−1) can return a negative angle.
The complementary identity
For every real x,
tan−1x+cot−1x=2π.
This holds without restriction because tan−1 and cot−1 of the same value are complementary angles. …
The identity simplifies a nested radical expression into a neat inverse-trig form by substituting x=cos2θ, using the half-angle formulas, and recognizing the standard inverse tangent identity. The final result is 4π−21cos−1x.
We need to show that for −21≤x≤1,
tan−1(1+x+1−x1+x−1−x)=4π−21cos−1x.
The hint suggests putting x=cos2θ. Why? Because expressions like 1±x become 1±cos2θ, which simplify beautifully using half-angle formulas. This is the classic trick: when you see 1±cos(something), think of cos2θ=2cos2θ−1=1−2sin2θ.
Let's walk through it step by step.
Substitute x=cos2θ.
Since x lies between −21 and 1, we have cos2θ in that range. This implies 2θ is between 0 and 43π (since cos43π=−21), so θ is between 0 and 83π. That's fine — we'll stay in the principal range where sinθ and cosθ are positive.
Simplify 1+x and 1−x.
Using x=cos2θ:
1+x=1+cos2θ=2cos2θ=2∣cosθ∣.
Since θ is between 0 and 83π, cosθ>0, so ∣cosθ∣=cosθ. Thus 1+x=2cosθ.
Similarly,
1−x=1−cos2θ=2sin2θ=2∣sinθ∣.
For θ in (0,83π), sinθ>0, so 1−x=2sinθ.
Plug into the fraction.
The numerator becomes:
1+x−1−x=2cosθ−2sinθ=2(cosθ−sinθ).
The denominator becomes:
1+x+1−x=2cosθ+2sinθ=2(cosθ+sinθ).
The 2 cancels, so the fraction inside the tan−1 is:
cosθ+sinθcosθ−sinθ.
Rewrite using tangent.
Divide numerator and denominator by cosθ (which is non-zero here):
1+tanθ1−tanθ.
This is a classic form: 1+tanθ1−tanθ=tan(4π−θ). Why? Because tan(A−B)=1+tanAtanBtanA−tanB, and with A=4π, tan4π=1, we get exactly 1+tanθ1−tanθ.
So the expression becomes:
tan−1(tan(4π−θ)).
Check the range to apply the inverse.
We need 4π−θ to lie in the principal range of tan−1, which is (−2π,2π). …
Mistake 1: Writing 2cos2θ=2cosθ without the absolute value.
Why it's wrong: strictly 2cos2θ=2∣cosθ∣; the sign must be justified from the domain. Correct approach: the domain −21≤x≤1 gives θ∈[0,83π], where cosθ and sinθ are both positive.
Mistake 2: Applying tan−1(tanϕ)=ϕ without a range check. …