Login

Concepts

Read through concept notes with worked explanations and diagrams, chapter by chapter.

Concept 11 / 11Trigonometry

Inverse Trigonometric Identities: Sums, Multiple Angles and Equations

The complementary identities sin^-1 x + cos^-1 x = pi/2, the addition formulas for tan^-1 with their range conditions, formulas for sin^-1 x +/- sin^-1 y, 2 tan^-1 x in terms of sin^-1, cos^-1 and tan^-1 with validity intervals, and solving equations and summing series with inverse trigonometric functions.

Complementary identities (for xx in the relevant domains): sin⁡−1x+cos⁡−1x=π2\sin^{-1}x + \cos^{-1}x = \frac{\pi}{2}, tan⁡−1x+cot⁡−1x=π2\tan^{-1}x + \cot^{-1}x = \frac{\pi}{2}, sec⁡−1x+csc⁡−1x=π2\sec^{-1}x + \csc^{-1}x = \frac{\pi}{2}. Reason: if θ=sin⁡−1x\theta = \sin^{-1}x, then cos⁡(π2−θ)=x\cos(\frac{\pi}{2} - \theta) = x with π2−θ∈[0,π]\frac{\pi}{2} - \theta \in [0, \pi], so π2−θ=cos⁡−1x\frac{\pi}{2} - \theta = \cos^{-1}x. Sum and difference of inverse tangents. From tan⁡(A+B)\tan(A + B): tan⁡−1x+tan⁡−1y=tan⁡−1x+y1−xy\tan^{-1}x + \tan^{-1}y = \tan^{-1}\frac{x + y}{1 - xy} if xy<1xy < 1; =π+tan⁡−1x+y1−xy= \pi + \tan^{-1}\frac{x + y}{1 - xy} if xy>1xy > 1 and x,y>0x, y > 0; =−π+tan⁡−1x+y1−xy= -\pi + \tan^{-1}\frac{x + y}{1 - xy} if xy>1xy > 1 and x,y<0x, y < 0; =π2= \frac{\pi}{2} if xy=1xy = 1 with x,y>0x, y > 0. tan⁡−1x−tan⁡−1y=tan⁡−1x−y1+xy\tan^{-1}x - \tan^{-1}y = \tan^{-1}\frac{x - y}{1 + xy} if xy>−1xy > -1 (with similar corrections otherwise). The corrections are needed because the sum of two angles in (−π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2}) can lie outside that interval, where tan⁡−1\tan^{-1} cannot reach. For example, tan⁡−12+tan⁡−13=π+tan⁡−15−5=π−π4=3π4\tan^{-1}2 + \tan^{-1}3 = \pi + \tan^{-1}\frac{5}{-5} = \pi - \frac{\pi}{4} = \frac{3\pi}{4}, not −π4-\frac{\pi}{4}. Three terms: tan⁡−1x+tan⁡−1y+tan⁡−1z=tan⁡−1x+y+z−xyz1−xy−yz−zx\tan^{-1}x + \tan^{-1}y + \tan^{-1}z = \tan^{-1}\frac{x + y + z - xyz}{1 - xy - yz - zx} (with range adjustments). Sums of inverse sines and cosines (for x,y≥0x, y \ge 0 with x2+y2≤1x^{2} + y^{2} \le 1): sin⁡−1x+sin⁡−1y=sin⁡−1(x1−y2+y1−x2)\sin^{-1}x + \sin^{-1}y = \sin^{-1}(x\sqrt{1 - y^{2}} + y\sqrt{1 - x^{2}}), cos⁡−1x+cos⁡−1y=cos⁡−1(xy−1−x21−y2)\cos^{-1}x + \cos^{-1}y = \cos^{-1}(xy - \sqrt{1 - x^{2}}\sqrt{1 - y^{2}}). When x2+y2>1x^{2} + y^{2} > 1 (with x,y>0x, y > 0), the sum of inverse sines exceeds π2\frac{\pi}{2} and the formula becomes π−sin⁡−1(…)\pi - \sin^{-1}(\ldots). Multiple-angle forms of 2tan⁡−1x2\tan^{-1}x: 2tan⁡−1x=sin⁡−12x1+x22\tan^{-1}x = \sin^{-1}\frac{2x}{1 + x^{2}} for ∣x∣≤1|x| \le 1; 2tan⁡−1x=cos⁡−11−x21+x22\tan^{-1}x = \cos^{-1}\frac{1 - x^{2}}{1 + x^{2}} for x≥0x \ge 0; 2tan⁡−1x=tan⁡−12x1−x22\tan^{-1}x = \tan^{-1}\frac{2x}{1 - x^{2}} for ∣x∣<1|x| < 1. Also 2sin⁡−1x=sin⁡−1(2x1−x2)2\sin^{-1}x = \sin^{-1}(2x\sqrt{1 - x^{2}}) for ∣x∣≤12|x| \le \frac{1}{\sqrt{2}} and 3sin⁡−1x=sin⁡−1(3x−4x3)3\sin^{-1}x = \sin^{-1}(3x - 4x^{3}) for ∣x∣≤12|x| \le \frac{1}{2}. Each is valid only where the left side stays inside the principal range of the right-side inverse. Outside those intervals the correct forms involve π±\pi \pm adjustments. These validity conditions are exactly what makes derivatives of such expressions change sign across ∣x∣=1|x| = 1 (see the chapter on differentiation). Solving equations. Take a suitable trigonometric function of both sides (usually tan⁡\tan or cos⁡\cos), solve the algebraic equation, and check each root in the original equation, because taking tan⁡\tan of both sides can introduce angles differing by π\pi. Summing series. Write each term as a difference: tan⁡−1b−a1+ab=tan⁡−1b−tan⁡−1a\tan^{-1}\frac{b - a}{1 + ab} = \tan^{-1}b - \tan^{-1}a for a,b≥0a, b \ge 0. Terms like tan⁡−111+n+n2\tan^{-1}\frac{1}{1 + n + n^{2}} and tan⁡−12n2\tan^{-1}\frac{2}{n^{2}} (=tan⁡−1(n+1)−(n−1)1+(n+1)(n−1)= \tan^{-1}\frac{(n + 1) - (n - 1)}{1 + (n + 1)(n - 1)}) telescope. Key Takeaways: - sin⁡−1x+cos⁡−1x=π2\sin^{-1}x + \cos^{-1}x = \frac{\pi}{2}; tan⁡−1x+cot⁡−1x=π2\tan^{-1}x + \cot^{-1}x = \frac{\pi}{2}. - tan⁡−1x+tan⁡−1y=tan⁡−1x+y1−xy\tan^{-1}x + \tan^{-1}y = \tan^{-1}\frac{x + y}{1 - xy} only when xy<1xy < 1; add π\pi when xy>1xy > 1 with positive x,yx, y. - 2tan⁡−1x=sin⁡−12x1+x22\tan^{-1}x = \sin^{-1}\frac{2x}{1 + x^{2}} for ∣x∣≤1|x| \le 1; =cos⁡−11−x21+x2= \cos^{-1}\frac{1 - x^{2}}{1 + x^{2}} for x≥0x \ge 0. - 3sin⁡−1x=sin⁡−1(3x−4x3)3\sin^{-1}x = \sin^{-1}(3x - 4x^{3}) for ∣x∣≤12|x| \le \frac{1}{2}. - Check every root after taking a trigonometric function of both sides. - Telescoping: tan⁡−1b−a1+ab=tan⁡−1b−tan⁡−1a\tan^{-1}\frac{b - a}{1 + ab} = \tan^{-1}b - \tan^{-1}a. - Pitfall: applying the tan⁡−1\tan^{-1} addition formula without checking xy<1xy < 1. Brain-Teaser 1: Prove that tan⁡−11+tan⁡−12+tan⁡−13=π\tan^{-1}1 + \tan^{-1}2 + \tan^{-1}3 = \pi. Solution: tan⁡−12+tan⁡−13\tan^{-1}2 + \tan^{-1}3: here xy=6>1xy = 6 > 1 with both positive, so it equals π+tan⁡−151−6=π+tan⁡−1(−1)=π−π4=3π4\pi + \tan^{-1}\frac{5}{1 - 6} = \pi + \tan^{-1}(-1) = \pi - \frac{\pi}{4} = \frac{3\pi}{4}. Adding tan⁡−11=π4\tan^{-1}1 = \frac{\pi}{4} gives π\pi. Using the formula without the π\pi correction would give 00, which is impossible for a sum of three positive angles. Brain-Teaser 2: Solve tan⁡−1(x−1)+tan⁡−1(x+1)=tan⁡−13x\tan^{-1}(x - 1) + \tan^{-1}(x + 1) = \tan^{-1}3x. Solution: Take tan⁡\tan of both sides: 2x1−(x2−1)=3x\frac{2x}{1 - (x^{2} - 1)} = 3x, i.e. 2x2−x2=3x\frac{2x}{2 - x^{2}} = 3x. So x=0x = 0 or 2=3(2−x2)2 = 3(2 - x^{2}), giving x2=43x^{2} = \frac{4}{3}, x=±23x = \pm\frac{2}{\sqrt{3}}. Check x=23≈1.155x = \frac{2}{\sqrt{3}} \approx 1.155: the left side is tan⁡−10.155+tan⁡−12.155≈0.154+1.136=1.290\tan^{-1}0.155 + \tan^{-1}2.155 \approx 0.154 + 1.136 = 1.290, and tan⁡−13.464≈1.290\tan^{-1}3.464 \approx 1.290. It works. For x=−23x = -\frac{2}{\sqrt{3}}, by oddness both sides change sign, so it also works; x=0x = 0 works trivially. Solutions: 0,±230, \pm\frac{2}{\sqrt{3}}. (Here (x−1)(x+1)=13<1(x - 1)(x + 1) = \frac{1}{3} < 1, so no range correction was needed, which the check confirms.) Brain-Teaser 3: Find ∑n=1∞tan⁡−12n2\sum_{n=1}^{\infty}\tan^{-1}\frac{2}{n^{2}}. Solution: 2n2=(n+1)−(n−1)1+(n+1)(n−1)\frac{2}{n^{2}} = \frac{(n + 1) - (n - 1)}{1 + (n + 1)(n - 1)}, so each term is tan⁡−1(n+1)−tan⁡−1(n−1)\tan^{-1}(n + 1) - \tan^{-1}(n - 1) (both arguments non-negative, so no correction). The partial sum to NN telescopes, leaving tan⁡−1(N+1)+tan⁡−1N−tan⁡−11−tan⁡−10\tan^{-1}(N + 1) + \tan^{-1}N - \tan^{-1}1 - \tan^{-1}0. As N→∞N \to \infty this tends to π2+π2−π4−0=3π4\frac{\pi}{2} + \frac{\pi}{2} - \frac{\pi}{4} - 0 = \frac{3\pi}{4}. The gap of 22 in the telescoping means two terms survive at each end.