Advanced Trigonometry Compendium

The complete formula arsenal — every identity, series, product, and technique a JEE Advanced or Olympiad aspirant needs, distilled into a single, searchable reference.

How to Use This Compendium

This is a pure reference sheet — not a teaching handout. Every formula is organized for rapid lookup during revision, not for learning from scratch. If a section feels unfamiliar, study the underlying theory first, then return here to consolidate.


§1 · Fundamental Identities

1.1 Measurement of Angles

  • 180°=π180° = \pi radians. 1\quad 1 radian ≈57°17′45′′\approx 57°17'45''.
  • Arc length: ℓ=rθ\ell = r\theta. \quad Sector area: A=12r2θ=12ℓrA = \tfrac{1}{2}r^2\theta = \tfrac{1}{2}\ell r \quad (θ\theta in radians).

1.2 Basic Ratios

sin⁡θ=PH,cos⁡θ=BH,tan⁡θ=PB\sin\theta = \frac{P}{H}, \quad \cos\theta = \frac{B}{H}, \quad \tan\theta = \frac{P}{B}

csc⁡θ=HP,sec⁡θ=HB,cot⁡θ=BP\csc\theta = \frac{H}{P}, \quad \sec\theta = \frac{H}{B}, \quad \cot\theta = \frac{B}{P}

1.3 Fundamental Identities

Reciprocal

sin⁡θcsc⁡θ=1,cos⁡θsec⁡θ=1,tan⁡θcot⁡θ=1\sin\theta\csc\theta = 1, \qquad \cos\theta\sec\theta = 1, \qquad \tan\theta\cot\theta = 1

Quotient

tan⁡θ=sin⁡θcos⁡θ,cot⁡θ=cos⁡θsin⁡θ\tan\theta = \dfrac{\sin\theta}{\cos\theta}, \qquad \cot\theta = \dfrac{\cos\theta}{\sin\theta}

Pythagorean

sin⁡2θ+cos⁡2θ=11+tan⁡2θ=sec⁡2θ1+cot⁡2θ=csc⁡2θ\sin^2\theta + \cos^2\theta = 1 \qquad 1 + \tan^2\theta = \sec^2\theta \qquad 1 + \cot^2\theta = \csc^2\theta

1.4 Signs of Trigonometric Functions (ASTC Rule)

QuadrantRangePositive functions
I0<θ<π/20 < \theta < \pi/2All
IIπ/2<θ<π\pi/2 < \theta < \pisin⁡,csc⁡\sin, \csc
IIIπ<θ<3π/2\pi < \theta < 3\pi/2tan⁡,cot⁡\tan, \cot
IV3π/2<θ<2π3\pi/2 < \theta < 2\picos⁡,sec⁡\cos, \sec

1.5 Domain, Range, and Periodicity

FunctionDomainRangePeriod
sin⁡x\sin xR\mathbb{R}[−1,1][-1, 1]2π2\pi
cos⁡x\cos xR\mathbb{R}[−1,1][-1, 1]2π2\pi
tan⁡x\tan xR∖{(2n+1)π/2}\mathbb{R} \setminus \{(2n+1)\pi/2\}R\mathbb{R}π\pi
csc⁡x\csc xR∖{nπ}\mathbb{R} \setminus \{n\pi\}(−∞,−1]∪[1,∞)(-\infty,-1] \cup [1,\infty)2π2\pi
sec⁡x\sec xR∖{(2n+1)π/2}\mathbb{R} \setminus \{(2n+1)\pi/2\}(−∞,−1]∪[1,∞)(-\infty,-1] \cup [1,\infty)2π2\pi
cot⁡x\cot xR∖{nπ}\mathbb{R} \setminus \{n\pi\}R\mathbb{R}π\pi
Period Rules
  • Period of f(ax+b)f(ax + b) is T/∣a∣T/|a| if the period of f(x)f(x) is TT.
  • Period of ∣sin⁡x∣,∣cos⁡x∣,∣tan⁡x∣,∣cot⁡x∣,∣sec⁡x∣,∣csc⁡x∣|\sin x|, |\cos x|, |\tan x|, |\cot x|, |\sec x|, |\csc x| is π\pi.

§2 · Allied Angles & Basic Transformations

Negative Angle

sin⁡(−θ)=−sin⁡θ,cos⁡(−θ)=cos⁡θ,tan⁡(−θ)=−tan⁡θ\sin(-\theta) = -\sin\theta, \qquad \cos(-\theta) = \cos\theta, \qquad \tan(-\theta) = -\tan\theta

Complementary / Supplementary Shifts
Shiftsin⁡\sincos⁡\costan⁡\tan
π/2−θ\pi/2 - \thetacos⁡θ\cos\thetasin⁡θ\sin\thetacot⁡θ\cot\theta
π/2+θ\pi/2 + \thetacos⁡θ\cos\theta−sin⁡θ-\sin\theta−cot⁡θ-\cot\theta
π−θ\pi - \thetasin⁡θ\sin\theta−cos⁡θ-\cos\theta−tan⁡θ-\tan\theta
π+θ\pi + \theta−sin⁡θ-\sin\theta−cos⁡θ-\cos\thetatan⁡θ\tan\theta
Useful Algebraic Forms

1+sin⁡2θ=(sin⁡θ+cos⁡θ)21 + \sin 2\theta = (\sin\theta + \cos\theta)^2

1−sin⁡2θ=(sin⁡θ−cos⁡θ)2=(cos⁡θ−sin⁡θ)21 - \sin 2\theta = (\sin\theta - \cos\theta)^2 = (\cos\theta - \sin\theta)^2


§3 · Sum, Difference & Product Formulas

3.1 Sum and Difference Identities

Core Identities

sin⁡(A±B)=sin⁡Acos⁡B±cos⁡Asin⁡B\sin(A \pm B) = \sin A\cos B \pm \cos A\sin B

cos⁡(A±B)=cos⁡Acos⁡B∓sin⁡Asin⁡B\cos(A \pm B) = \cos A\cos B \mp \sin A\sin B

tan⁡(A±B)=tan⁡A±tan⁡B1∓tan⁡Atan⁡B\tan(A \pm B) = \frac{\tan A \pm \tan B}{1 \mp \tan A\tan B}

Derived Results
  • sin⁡(A+B)sin⁡(A−B)=sin⁡2A−sin⁡2B=cos⁡2B−cos⁡2A\sin(A+B)\sin(A-B) = \sin^2 A - \sin^2 B = \cos^2 B - \cos^2 A
  • cos⁡(A+B)cos⁡(A−B)=cos⁡2A−sin⁡2B=cos⁡2B−sin⁡2A\cos(A+B)\cos(A-B) = \cos^2 A - \sin^2 B = \cos^2 B - \sin^2 A
  • If θ1+θ2=π/4\theta_1 + \theta_2 = \pi/4, then (1+tan⁡θ1)(1+tan⁡θ2)=2(1 + \tan\theta_1)(1 + \tan\theta_2) = 2.
  • tan⁡(45°+α)−tan⁡(45°−α)=2tan⁡2α\tan(45° + \alpha) - \tan(45° - \alpha) = 2\tan 2\alpha

3.2 Product-to-Sum

2sin⁡Acos⁡B=sin⁡(A+B)+sin⁡(A−B)2\sin A\cos B = \sin(A+B) + \sin(A-B)

2cos⁡Asin⁡B=sin⁡(A+B)−sin⁡(A−B)2\cos A\sin B = \sin(A+B) - \sin(A-B)

2cos⁡Acos⁡B=cos⁡(A+B)+cos⁡(A−B)2\cos A\cos B = \cos(A+B) + \cos(A-B)

2sin⁡Asin⁡B=cos⁡(A−B)−cos⁡(A+B)2\sin A\sin B = \cos(A-B) - \cos(A+B)

3.3 Sum-to-Product (C–D Formulas)

sin⁡C+sin⁡D=2sin⁡ ⁣(C+D2)cos⁡ ⁣(C−D2)\sin C + \sin D = 2\sin\!\left(\frac{C+D}{2}\right)\cos\!\left(\frac{C-D}{2}\right)

sin⁡C−sin⁡D=2cos⁡ ⁣(C+D2)sin⁡ ⁣(C−D2)\sin C - \sin D = 2\cos\!\left(\frac{C+D}{2}\right)\sin\!\left(\frac{C-D}{2}\right)

cos⁡C+cos⁡D=2cos⁡ ⁣(C+D2)cos⁡ ⁣(C−D2)\cos C + \cos D = 2\cos\!\left(\frac{C+D}{2}\right)\cos\!\left(\frac{C-D}{2}\right)

cos⁡C−cos⁡D=−2sin⁡ ⁣(C+D2)sin⁡ ⁣(C−D2)\cos C - \cos D = -2\sin\!\left(\frac{C+D}{2}\right)\sin\!\left(\frac{C-D}{2}\right)


§4 · Multiple & Sub-Multiple Angle Formulas

4.1 Double Angle

Double Angle

sin⁡2A=2sin⁡Acos⁡A=2tan⁡A1+tan⁡2A\sin 2A = 2\sin A\cos A = \frac{2\tan A}{1 + \tan^2 A}

cos⁡2A=cos⁡2A−sin⁡2A=2cos⁡2A−1=1−2sin⁡2A=1−tan⁡2A1+tan⁡2A\cos 2A = \cos^2 A - \sin^2 A = 2\cos^2 A - 1 = 1 - 2\sin^2 A = \frac{1 - \tan^2 A}{1 + \tan^2 A}

tan⁡2A=2tan⁡A1−tan⁡2A\tan 2A = \frac{2\tan A}{1 - \tan^2 A}

Useful Rearrangements
  • 1−cos⁡2A=2sin⁡2A1 - \cos 2A = 2\sin^2 A
  • 1+cos⁡2A=2cos⁡2A1 + \cos 2A = 2\cos^2 A
  • sin⁡2A1+cos⁡2A=tan⁡A\dfrac{\sin 2A}{1 + \cos 2A} = \tan A
  • cot⁡A−tan⁡A=2cot⁡2A\cot A - \tan A = 2\cot 2A
  • tan⁡A+cot⁡A=2csc⁡2A\tan A + \cot A = 2\csc 2A
  • csc⁡θ+cot⁡θ=cot⁡(θ/2)\csc\theta + \cot\theta = \cot(\theta/2)

4.2 Triple Angle

Triple Angle

sin⁡3A=3sin⁡A−4sin⁡3A\sin 3A = 3\sin A - 4\sin^3 A

cos⁡3A=4cos⁡3A−3cos⁡A\cos 3A = 4\cos^3 A - 3\cos A

tan⁡3A=3tan⁡A−tan⁡3A1−3tan⁡2A\tan 3A = \frac{3\tan A - \tan^3 A}{1 - 3\tan^2 A}

4.3 Higher Multiple Angles & Chebyshev Polynomials

cos⁡4θ=8cos⁡4θ−8cos⁡2θ+1\cos 4\theta = 8\cos^4\theta - 8\cos^2\theta + 1

tan⁡4θ=4tan⁡θ−4tan⁡3θ1−6tan⁡2θ+tan⁡4θ\tan 4\theta = \frac{4\tan\theta - 4\tan^3\theta}{1 - 6\tan^2\theta + \tan^4\theta}

Chebyshev Polynomials

Tn(x)=cos⁡(ncos⁡−1x),so Tn(cos⁡θ)=cos⁡(nθ)T_n(x) = \cos(n\cos^{-1}x), \quad\text{so } T_n(\cos\theta) = \cos(n\theta)

Un(x)=sin⁡ ⁣((n+1)cos⁡−1x)1−x2,so Un(cos⁡θ)=sin⁡ ⁣((n+1)θ)sin⁡θU_n(x) = \frac{\sin\!\big((n+1)\cos^{-1}x\big)}{\sqrt{1-x^2}}, \quad\text{so } U_n(\cos\theta) = \frac{\sin\!\big((n+1)\theta\big)}{\sin\theta}

4.4 Power Reduction / Linearization

sin⁡2A=1−cos⁡2A2cos⁡2A=1+cos⁡2A2\sin^2 A = \frac{1 - \cos 2A}{2} \qquad \cos^2 A = \frac{1 + \cos 2A}{2}

sin⁡3x=3sin⁡x−sin⁡3x4cos⁡3x=3cos⁡x+cos⁡3x4\sin^3 x = \frac{3\sin x - \sin 3x}{4} \qquad \cos^3 x = \frac{3\cos x + \cos 3x}{4}

sin⁡4x=3−4cos⁡2x+cos⁡4x8cos⁡4x=3+4cos⁡2x+cos⁡4x8\sin^4 x = \frac{3 - 4\cos 2x + \cos 4x}{8} \qquad \cos^4 x = \frac{3 + 4\cos 2x + \cos 4x}{8}

Power-4 Generalization

If sin⁡4xa+cos⁡4xb=1a+b\dfrac{\sin^4 x}{a} + \dfrac{\cos^4 x}{b} = \dfrac{1}{a+b}, then sin⁡2NxaN−1+cos⁡2NxbN−1=1(a+b)N−1\dfrac{\sin^{2N} x}{a^{N-1}} + \dfrac{\cos^{2N} x}{b^{N-1}} = \dfrac{1}{(a+b)^{N-1}} for integer N≥2N \ge 2.

4.5 Half Angle

sin⁡(θ/2)=±1−cos⁡θ2cos⁡(θ/2)=±1+cos⁡θ2\sin(\theta/2) = \pm\sqrt{\frac{1 - \cos\theta}{2}} \qquad \cos(\theta/2) = \pm\sqrt{\frac{1 + \cos\theta}{2}}

tan⁡(θ/2)=±1−cos⁡θ1+cos⁡θ=sin⁡θ1+cos⁡θ=1−cos⁡θsin⁡θ\tan(\theta/2) = \pm\sqrt{\frac{1 - \cos\theta}{1 + \cos\theta}} = \frac{\sin\theta}{1 + \cos\theta} = \frac{1 - \cos\theta}{\sin\theta}

Sign depends on the quadrant of θ/2\theta/2.

4.6 Identities for 60°/120° Families

  • sin⁡θ sin⁡(60°−θ)sin⁡(60°+θ)=14sin⁡3θ\sin\theta\,\sin(60°-\theta)\sin(60°+\theta) = \tfrac{1}{4}\sin 3\theta
  • cos⁡θ cos⁡(60°−θ)cos⁡(60°+θ)=14cos⁡3θ\cos\theta\,\cos(60°-\theta)\cos(60°+\theta) = \tfrac{1}{4}\cos 3\theta
  • tan⁡θ tan⁡(60°−θ)tan⁡(60°+θ)=tan⁡3θ\tan\theta\,\tan(60°-\theta)\tan(60°+\theta) = \tan 3\theta
  • cos⁡2θ+cos⁡2(60°+θ)+cos⁡2(60°−θ)=32\cos^2\theta + \cos^2(60°+\theta) + \cos^2(60°-\theta) = \tfrac{3}{2}
  • sin⁡2θ+sin⁡2(60°+θ)+sin⁡2(60°−θ)=32\sin^2\theta + \sin^2(60°+\theta) + \sin^2(60°-\theta) = \tfrac{3}{2}
  • cos⁡3θ+cos⁡3(120°+θ)+cos⁡3(240°+θ)=34cos⁡3θ\cos^3\theta + \cos^3(120°+\theta) + \cos^3(240°+\theta) = \tfrac{3}{4}\cos 3\theta
  • sin⁡3θ+sin⁡3(120°+θ)+sin⁡3(240°+θ)=−34sin⁡3θ\sin^3\theta + \sin^3(120°+\theta) + \sin^3(240°+\theta) = -\tfrac{3}{4}\sin 3\theta
  • tan⁡θ+tan⁡(60°+θ)−tan⁡(60°−θ)=3tan⁡3θ\tan\theta + \tan(60°+\theta) - \tan(60°-\theta) = 3\tan 3\theta
  • tan⁡2θ+tan⁡2(60°−θ)+tan⁡2(60°+θ)=6+9tan⁡23θ\tan^2\theta + \tan^2(60°-\theta) + \tan^2(60°+\theta) = 6 + 9\tan^2 3\theta

§5 · Formulas for Sums of Multiple Angles

Let SkS_k denote the kk-th elementary symmetric polynomial of tan⁡θ1,…,tan⁡θn\tan\theta_1, \ldots, \tan\theta_n.

General n-Angle Formulas

sin⁡(θ1+⋯+θn)=(cos⁡θ1⋯cos⁡θn)(S1−S3+S5−⋯ )\sin(\theta_1 + \cdots + \theta_n) = (\cos\theta_1 \cdots \cos\theta_n)(S_1 - S_3 + S_5 - \cdots)

cos⁡(θ1+⋯+θn)=(cos⁡θ1⋯cos⁡θn)(1−S2+S4−⋯ )\cos(\theta_1 + \cdots + \theta_n) = (\cos\theta_1 \cdots \cos\theta_n)(1 - S_2 + S_4 - \cdots)

tan⁡(θ1+⋯+θn)=S1−S3+S5−⋯1−S2+S4−⋯\tan(\theta_1 + \cdots + \theta_n) = \frac{S_1 - S_3 + S_5 - \cdots}{1 - S_2 + S_4 - \cdots}

tan(nθ) via Binomial Coefficients

For t=tan⁡θt = \tan\theta:

tan⁡(nθ)=(n1)t−(n3)t3+⋯1−(n2)t2+⋯\tan(n\theta) = \frac{\binom{n}{1}t - \binom{n}{3}t^3 + \cdots}{1 - \binom{n}{2}t^2 + \cdots}


§6 · Series, Products & Advanced Summations

6.1 Angles in Arithmetic Progression

Sine/Cosine Series (AP)

If α≠2mπ\alpha \ne 2m\pi:

∑k=0n−1sin⁡(θ+kα)=sin⁡ ⁣(θ+(n−1)α2)sin⁡(nα/2)sin⁡(α/2)\sum_{k=0}^{n-1}\sin(\theta + k\alpha) = \frac{\sin\!\left(\theta + \frac{(n-1)\alpha}{2}\right)\sin(n\alpha/2)}{\sin(\alpha/2)}

∑k=0n−1cos⁡(θ+kα)=cos⁡ ⁣(θ+(n−1)α2)sin⁡(nα/2)sin⁡(α/2)\sum_{k=0}^{n-1}\cos(\theta + k\alpha) = \frac{\cos\!\left(\theta + \frac{(n-1)\alpha}{2}\right)\sin(n\alpha/2)}{\sin(\alpha/2)}

6.2 More Finite Sums

  • ∑k=1nksin⁡(kx)=(n+1)sin⁡(nx)−nsin⁡((n+1)x)4sin⁡2(x/2)\displaystyle\sum_{k=1}^{n} k\sin(kx) = \frac{(n+1)\sin(nx) - n\sin((n+1)x)}{4\sin^2(x/2)}
  • ∑k=1nkcos⁡(kx)=(n+1)cos⁡(nx)−ncos⁡((n+1)x)−14sin⁡2(x/2)\displaystyle\sum_{k=1}^{n} k\cos(kx) = \frac{(n+1)\cos(nx) - n\cos((n+1)x) - 1}{4\sin^2(x/2)}
  • ∑k=1nsin⁡((2k−1)x)=sin⁡2(nx)sin⁡x\displaystyle\sum_{k=1}^{n} \sin((2k-1)x) = \frac{\sin^2(nx)}{\sin x}
  • ∑k=1ncos⁡((2k−1)x)=sin⁡(2nx)2sin⁡x\displaystyle\sum_{k=1}^{n} \cos((2k-1)x) = \frac{\sin(2nx)}{2\sin x}
  • ∑k=1n−1kcos⁡(2kπ/n)=−n/2\displaystyle\sum_{k=1}^{n-1} k\cos(2k\pi/n) = -n/2 for n≥2n \ge 2
  • ∑j=1Nsin⁡2(jx)=N2−sin⁡(Nx)cos⁡((N+1)x)2sin⁡x\displaystyle\sum_{j=1}^{N}\sin^2(jx) = \frac{N}{2} - \frac{\sin(Nx)\cos((N+1)x)}{2\sin x}
  • ∑j=1Ncos⁡2(jx)=N2+sin⁡(Nx)cos⁡((N+1)x)2sin⁡x\displaystyle\sum_{j=1}^{N}\cos^2(jx) = \frac{N}{2} + \frac{\sin(Nx)\cos((N+1)x)}{2\sin x}
  • ∑k=1n1sin⁡2kx=cot⁡x−cot⁡2nx\displaystyle\sum_{k=1}^{n}\frac{1}{\sin 2^k x} = \cot x - \cot 2^n x

6.3 Hermite’s Identities

Hermite
  • ∑k=0n−1cot⁡ ⁣(x+kπn)=ncot⁡(nx)\displaystyle\sum_{k=0}^{n-1}\cot\!\left(x + \frac{k\pi}{n}\right) = n\cot(nx)
  • ∑k=0n−1csc⁡2 ⁣(x+kπn)=n2csc⁡2(nx)\displaystyle\sum_{k=0}^{n-1}\csc^2\!\left(x + \frac{k\pi}{n}\right) = n^2\csc^2(nx)

6.4 Finite Products

Core Product Identities

∏k=0n−1cos⁡(2kx)=sin⁡(2nx)2nsin⁡x(sin⁡x≠0)\prod_{k=0}^{n-1}\cos(2^k x) = \frac{\sin(2^n x)}{2^n \sin x} \qquad (\sin x \ne 0)

∏k=1ncos⁡ ⁣(θ2k)=sin⁡θ2nsin⁡(θ/2n)(sin⁡(θ/2n)≠0)\prod_{k=1}^{n}\cos\!\left(\frac{\theta}{2^k}\right) = \frac{\sin\theta}{2^n\sin(\theta/2^n)} \qquad (\sin(\theta/2^n) \ne 0)

Special Value Products
  • Morrie’s Law: cos⁡20°cos⁡40°cos⁡80°=1/8\cos 20°\cos 40°\cos 80° = 1/8
  • cos⁡6°cos⁡42°cos⁡66°cos⁡78°=1/16\cos 6°\cos 42°\cos 66°\cos 78° = 1/16
  • sin⁡5°sin⁡15°sin⁡25°⋯sin⁡85°=2256\sin 5°\sin 15°\sin 25° \cdots \sin 85° = \dfrac{\sqrt{2}}{256}
  • ∏k=189tan⁡(k°)=1\displaystyle\prod_{k=1}^{89}\tan(k°) = 1
Products over Roots of Unity

For n∈Nn \in \mathbb{N}, n≥2n \ge 2:

  • ∏k=1n−1sin⁡ ⁣(kπn)=n2n−1\displaystyle\prod_{k=1}^{n-1}\sin\!\left(\frac{k\pi}{n}\right) = \frac{n}{2^{n-1}}
  • ∏k=1n−1cos⁡ ⁣(kπn)={0n even1/2n−1n odd,n>1\displaystyle\prod_{k=1}^{n-1}\cos\!\left(\frac{k\pi}{n}\right) = \begin{cases} 0 & n \text{ even} \\ 1/2^{n-1} & n \text{ odd}, n > 1 \end{cases}
  • ∏k=1nsin⁡ ⁣((2k−1)π2n)=12n−1\displaystyle\prod_{k=1}^{n}\sin\!\left(\frac{(2k-1)\pi}{2n}\right) = \frac{1}{2^{n-1}}
  • ∏k=1nsin⁡ ⁣(kπ2n+1)=2n+12n\displaystyle\prod_{k=1}^{n}\sin\!\left(\frac{k\pi}{2n+1}\right) = \frac{\sqrt{2n+1}}{2^n}
  • ∏k=1n−1csc⁡ ⁣(kπn)=2n−1n\displaystyle\prod_{k=1}^{n-1}\csc\!\left(\frac{k\pi}{n}\right) = \frac{2^{n-1}}{n}
  • ∏k=1n−1(1−cos⁡(2kπ/n))=n2/2n−1\displaystyle\prod_{k=1}^{n-1}(1 - \cos(2k\pi/n)) = n^2/2^{n-1}

6.5 Telescopic Series

  • ∑k=0n−1csc⁡(2kA)=cot⁡(A/2)−cot⁡(2n−1A)\displaystyle\sum_{k=0}^{n-1}\csc(2^k A) = \cot(A/2) - \cot(2^{n-1}A)
  • ∑k=0n−12ktan⁡(2kθ)=cot⁡θ−2ncot⁡(2nθ)\displaystyle\sum_{k=0}^{n-1}2^k\tan(2^k\theta) = \cot\theta - 2^n\cot(2^n\theta)
  • ∑r=1nsin⁡αcos⁡rαcos⁡(r+1)α=tan⁡((n+1)α)−tan⁡α\displaystyle\sum_{r=1}^{n}\frac{\sin\alpha}{\cos r\alpha\cos(r+1)\alpha} = \tan((n+1)\alpha) - \tan\alpha
  • ∑k=1n1sin⁡(kα)sin⁡((k+1)α)=1sin⁡α(cot⁡α−cot⁡((n+1)α))\displaystyle\sum_{k=1}^{n}\frac{1}{\sin(k\alpha)\sin((k+1)\alpha)} = \frac{1}{\sin\alpha}\big(\cot\alpha - \cot((n+1)\alpha)\big)

6.6 Binomial-Coefficient Series

∑k=0n(nk)sin⁡(kx)=2ncos⁡n(x/2)sin⁡(nx/2)\sum_{k=0}^{n}\binom{n}{k}\sin(kx) = 2^n\cos^n(x/2)\sin(nx/2)

∑k=0n(nk)cos⁡(kx)=2ncos⁡n(x/2)cos⁡(nx/2)\sum_{k=0}^{n}\binom{n}{k}\cos(kx) = 2^n\cos^n(x/2)\cos(nx/2)

With alternating signs:

∑k=0n(−1)k(nk)cos⁡(kx)=2nsin⁡n(x/2)cos⁡ ⁣(n(x−π)2)\sum_{k=0}^{n}(-1)^k\binom{n}{k}\cos(kx) = 2^n\sin^n(x/2)\cos\!\left(\frac{n(x-\pi)}{2}\right)

∑k=0n(−1)k(nk)sin⁡(kx)=2nsin⁡n(x/2)sin⁡ ⁣(n(x−π)2)\sum_{k=0}^{n}(-1)^k\binom{n}{k}\sin(kx) = 2^n\sin^n(x/2)\sin\!\left(\frac{n(x-\pi)}{2}\right)

6.7 Fourier Series & Partial Fractions

Classical Fourier Series
  • ∑j=1∞sin⁡jxj=π−x2\displaystyle\sum_{j=1}^{\infty}\frac{\sin jx}{j} = \frac{\pi - x}{2} for x∈(0,2π)x \in (0, 2\pi)
  • ∑j=1∞cos⁡jxj=−ln⁡∣2sin⁡(x/2)∣\displaystyle\sum_{j=1}^{\infty}\frac{\cos jx}{j} = -\ln|2\sin(x/2)| for x∈(0,2π)x \in (0, 2\pi)
  • ∑j=1∞cos⁡jxj2=x24−πx2+π26\displaystyle\sum_{j=1}^{\infty}\frac{\cos jx}{j^2} = \frac{x^2}{4} - \frac{\pi x}{2} + \frac{\pi^2}{6} for x∈[0,2π]x \in [0, 2\pi]
  • ∑j=1∞(−1)j−1sin⁡jxj=x2\displaystyle\sum_{j=1}^{\infty}(-1)^{j-1}\frac{\sin jx}{j} = \frac{x}{2} for x∈(−π,π)x \in (-\pi, \pi)
  • ∑j=1∞(−1)j−1cos⁡jxj=ln⁡∣2cos⁡(x/2)∣\displaystyle\sum_{j=1}^{\infty}(-1)^{j-1}\frac{\cos jx}{j} = \ln|2\cos(x/2)| for x∈(−π,π)x \in (-\pi, \pi)
  • ∑n=1∞sin⁡2(nx)n2=πx−x22\displaystyle\sum_{n=1}^{\infty}\frac{\sin^2(nx)}{n^2} = \frac{\pi x - x^2}{2} for x∈[0,π]x \in [0, \pi]
Gregory's Series

θ=tan⁡θ−tan⁡3θ3+tan⁡5θ5−⋯\theta = \tan\theta - \dfrac{\tan^3\theta}{3} + \dfrac{\tan^5\theta}{5} - \cdots for ∣tan⁡θ∣≤1|\tan\theta| \le 1, −π/4≤θ≤π/4-\pi/4 \le \theta \le \pi/4.

Power Series with r

For ∣r∣<1|r| < 1:

∑j=1∞rjsin⁡(jθ)=rsin⁡θ1−2rcos⁡θ+r2∑j=0∞rjcos⁡(jθ)=1−rcos⁡θ1−2rcos⁡θ+r2\sum_{j=1}^{\infty}r^j\sin(j\theta) = \frac{r\sin\theta}{1 - 2r\cos\theta + r^2} \qquad \sum_{j=0}^{\infty}r^j\cos(j\theta) = \frac{1 - r\cos\theta}{1 - 2r\cos\theta + r^2}

Partial Fraction Expansions

For z∉Zz \notin \mathbb{Z}:

πcot⁡(πz)=1z+2z∑j=1∞1z2−j2πsin⁡(πz)=1z+2z∑j=1∞(−1)jz2−j2\pi\cot(\pi z) = \frac{1}{z} + 2z\sum_{j=1}^{\infty}\frac{1}{z^2 - j^2} \qquad \frac{\pi}{\sin(\pi z)} = \frac{1}{z} + 2z\sum_{j=1}^{\infty}\frac{(-1)^j}{z^2 - j^2}

πtan⁡(πz)=2z∑j=0∞1(j+1/2)2−z2\pi\tan(\pi z) = 2z\sum_{j=0}^{\infty}\frac{1}{(j + 1/2)^2 - z^2}

Clausen Functions

Cl⁡2(x)=∑k=1∞sin⁡(kx)k2\operatorname{Cl}_2(x) = \displaystyle\sum_{k=1}^{\infty}\frac{\sin(kx)}{k^2}. Cl⁡2(π/2)=G\quad \operatorname{Cl}_2(\pi/2) = G (Catalan’s constant).

Cl⁡3(x)=∑k=1∞cos⁡(kx)k3\operatorname{Cl}_3(x) = \displaystyle\sum_{k=1}^{\infty}\frac{\cos(kx)}{k^3}.

6.8 Other Notable Results

  • If θ=2π/7\theta = 2\pi/7: tan⁡θtan⁡2θ+tan⁡2θtan⁡4θ+tan⁡4θtan⁡θ=−7\tan\theta\tan 2\theta + \tan 2\theta\tan 4\theta + \tan 4\theta\tan\theta = -7
  • ∑k=1n−1(n−k)cos⁡(2kπ/n)=−n/2\displaystyle\sum_{k=1}^{n-1}(n-k)\cos(2k\pi/n) = -n/2 for n≥3n \ge 3
  • 1+∑k=1n−1cos⁡(2kπ/n)=01 + \displaystyle\sum_{k=1}^{n-1}\cos(2k\pi/n) = 0 for n>1n > 1
  • ∑k=0∞12ktan⁡ ⁣(x2k)=1x−cot⁡x\displaystyle\sum_{k=0}^{\infty}\frac{1}{2^k}\tan\!\left(\frac{x}{2^k}\right) = \frac{1}{x} - \cot x (x≠mπ)(x \ne m\pi)
Infinite Products
  • ∏j=1∞ ⁣(1+1j2)=sinh⁡ππ\displaystyle\prod_{j=1}^{\infty}\!\left(1 + \frac{1}{j^2}\right) = \frac{\sinh\pi}{\pi}
  • ∏j=1∞(1+x2j)=11−x\displaystyle\prod_{j=1}^{\infty}(1 + x^{2^j}) = \frac{1}{1-x} for ∣x∣<1|x| < 1
Products & Sums by @GlacialNUZ
  • ∏r=1ntan⁡ ⁣(rπ2n+1)=2n+1\displaystyle\prod_{r=1}^{n}\tan\!\left(\frac{r\pi}{2n+1}\right) = \sqrt{2n+1}
  • ∏r=1ncos⁡ ⁣(rπ2n+1)=12n\displaystyle\prod_{r=1}^{n}\cos\!\left(\frac{r\pi}{2n+1}\right) = \frac{1}{2^n}
  • ∑r=1ntan⁡2 ⁣(rπ2n+1)=n(2n+1)\displaystyle\sum_{r=1}^{n}\tan^2\!\left(\frac{r\pi}{2n+1}\right) = n(2n+1)
  • ∑k=1n−1sin⁡2m ⁣(kπn)=n22m(2mm)\displaystyle\sum_{k=1}^{n-1}\sin^{2m}\!\left(\frac{k\pi}{n}\right) = \frac{n}{2^{2m}}\binom{2m}{m} for 2m<n2m < n
C + iS Method

To sum ∑akcos⁡(kθ)\sum a_k\cos(k\theta) or ∑aksin⁡(kθ)\sum a_k\sin(k\theta): form Sc+iSs=∑akeikθS_c + iS_s = \sum a_k e^{ik\theta}. Sum the complex series, then separate Sc=Re⁡(⋅)S_c = \operatorname{Re}(\cdot) and Ss=Im⁡(⋅)S_s = \operatorname{Im}(\cdot).


§7 · Complex Numbers & Roots of Unity

7.1 Euler’s Formula and De Moivre’s Theorem

Euler's Formula

eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta

cos⁡θ=eiθ+e−iθ2sin⁡θ=eiθ−e−iθ2i\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2} \qquad \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}

De Moivre's Theorem

(cos⁡θ+isin⁡θ)n=cos⁡(nθ)+isin⁡(nθ)for n∈Z(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta) \quad \text{for } n \in \mathbb{Z}

7.2 nth Roots of Unity

Solutions to zn=1z^n = 1 are zk=ei(2kπ/n)z_k = e^{i(2k\pi/n)} for k=0,1,…,n−1k = 0, 1, \ldots, n-1.

Root Properties
  • Sum of roots: ∑k=0n−1zk=0\displaystyle\sum_{k=0}^{n-1}z_k = 0 for n>1n > 1
  • Product of roots: ∏k=0n−1zk=(−1)n−1\displaystyle\prod_{k=0}^{n-1}z_k = (-1)^{n-1}
  • xn−1=∏k=0n−1(x−ei2kπ/n)x^n - 1 = \displaystyle\prod_{k=0}^{n-1}(x - e^{i2k\pi/n})
  • Roots of xn+1=0x^n + 1 = 0: ei(2k+1)π/ne^{i(2k+1)\pi/n} for k=0,1,…,n−1k = 0, 1, \ldots, n-1
  • ∑k=0n−1cos⁡ ⁣((2k+1)πn)=0\displaystyle\sum_{k=0}^{n-1}\cos\!\left(\frac{(2k+1)\pi}{n}\right) = 0
Chebyshev Roots

Roots of Tn(x)T_n(x): xj=cos⁡ ⁣((2j−1)π2n)x_j = \cos\!\left(\frac{(2j-1)\pi}{2n}\right) for j=1,…,nj = 1, \ldots, n.

Roots of Un−1(x)U_{n-1}(x): xj=cos⁡ ⁣(jπn)x_j = \cos\!\left(\frac{j\pi}{n}\right) for j=1,…,n−1j = 1, \ldots, n-1.

7.3 Power Expansions via Complex Numbers

cos^n θ expansion

Even nn: cos⁡nθ=12n−1 ⁣[∑k=0n/2−1(nk)cos⁡((n−2k)θ)+12(nn/2)]\cos^n\theta = \dfrac{1}{2^{n-1}}\!\left[\displaystyle\sum_{k=0}^{n/2-1}\binom{n}{k}\cos((n-2k)\theta) + \frac{1}{2}\binom{n}{n/2}\right]

Odd nn: cos⁡nθ=12n−1∑k=0(n−1)/2(nk)cos⁡((n−2k)θ)\cos^n\theta = \dfrac{1}{2^{n-1}}\displaystyle\sum_{k=0}^{(n-1)/2}\binom{n}{k}\cos((n-2k)\theta)

sin^n θ expansion

Even nn: sin⁡nθ=(−1)n/22n−1 ⁣[∑k=0n/2−1(−1)k(nk)cos⁡((n−2k)θ)+(−1)n/22(nn/2)]\sin^n\theta = \dfrac{(-1)^{n/2}}{2^{n-1}}\!\left[\displaystyle\sum_{k=0}^{n/2-1}(-1)^k\binom{n}{k}\cos((n-2k)\theta) + \frac{(-1)^{n/2}}{2}\binom{n}{n/2}\right]

Odd nn: sin⁡nθ=(−1)(n−1)/22n−1∑k=0(n−1)/2(−1)k(nk)sin⁡((n−2k)θ)\sin^n\theta = \dfrac{(-1)^{(n-1)/2}}{2^{n-1}}\displaystyle\sum_{k=0}^{(n-1)/2}(-1)^k\binom{n}{k}\sin((n-2k)\theta)


§8 · Special Identities & Advanced Techniques

8.1 Specific Value Identities

ExpressionValue
sin⁡15°=cos⁡75°\sin 15° = \cos 75°3−122\frac{\sqrt{3}-1}{2\sqrt{2}}
cos⁡15°=sin⁡75°\cos 15° = \sin 75°3+122\frac{\sqrt{3}+1}{2\sqrt{2}}
tan⁡15°\tan 15°2−32 - \sqrt{3}
sin⁡18°=cos⁡72°\sin 18° = \cos 72°5−14\frac{\sqrt{5}-1}{4}
cos⁡36°=sin⁡54°\cos 36° = \sin 54°5+14\frac{\sqrt{5}+1}{4}
tan⁡22.5°\tan 22.5°2−1\sqrt{2} - 1
Advanced Specific Values
  • tan⁡70°=tan⁡20°+2tan⁡50°\tan 70° = \tan 20° + 2\tan 50°
  • tan⁡50°+tan⁡60°+tan⁡70°=tan⁡80°\tan 50° + \tan 60° + \tan 70° = \tan 80°
  • tan⁡2(π/16)+tan⁡2(2π/16)+⋯+tan⁡2(7π/16)=35\tan^2(π/16) + \tan^2(2π/16) + \cdots + \tan^2(7π/16) = 35
  • (1+tan⁡1°)(1+tan⁡2°)⋯(1+tan⁡44°)=222(1 + \tan 1°)(1 + \tan 2°) \cdots (1 + \tan 44°) = 2^{22}
  • sin⁡218°+sin⁡230°=sin⁡236°\sin^2 18° + \sin^2 30° = \sin^2 36°
  • tan⁡236°⋅tan⁡272°=5\tan^2 36°\cdot\tan^2 72° = 5
  • cos⁡π7−cos⁡2π7+cos⁡3π7=12\cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7} = \frac{1}{2}
  • 4sin⁡2π7−tan⁡π7=74\sin\frac{2\pi}{7} - \tan\frac{\pi}{7} = \sqrt{7}

8.2 Results from Polynomial Roots

  • Roots of 8x3−4x2−4x+1=08x^3 - 4x^2 - 4x + 1 = 0 are cos⁡(π/7),cos⁡(3π/7),cos⁡(5π/7)\cos(\pi/7), \cos(3\pi/7), \cos(5\pi/7)
  • ∑k=1ncot⁡2 ⁣(kπ2n+1)=n(2n−1)3\displaystyle\sum_{k=1}^{n}\cot^2\!\left(\frac{k\pi}{2n+1}\right) = \frac{n(2n-1)}{3}
  • ∑k=1n−1tan⁡2 ⁣(kπ2n)=(n−1)(2n−1)3\displaystyle\sum_{k=1}^{n-1}\tan^2\!\left(\frac{k\pi}{2n}\right) = \frac{(n-1)(2n-1)}{3}
  • ∑k=1n−1csc⁡2 ⁣(kπ2n)=2(n2−1)3\displaystyle\sum_{k=1}^{n-1}\csc^2\!\left(\frac{k\pi}{2n}\right) = \frac{2(n^2-1)}{3}
  • For nn odd: ∑k=1(n−1)/2sec⁡2 ⁣(kπn)=n2−14\displaystyle\sum_{k=1}^{(n-1)/2}\sec^2\!\left(\frac{k\pi}{n}\right) = \frac{n^2-1}{4}
  • tan⁡210°+tan⁡250°+tan⁡270°=9\tan^2 10° + \tan^2 50° + \tan^2 70° = 9

8.3 Conditional Identities

Triangle Conditions (A + B + C = π)
  • tan⁡A+tan⁡B+tan⁡C=tan⁡Atan⁡Btan⁡C\tan A + \tan B + \tan C = \tan A\tan B\tan C
  • cot⁡(A/2)+cot⁡(B/2)+cot⁡(C/2)=cot⁡(A/2)cot⁡(B/2)cot⁡(C/2)\cot(A/2) + \cot(B/2) + \cot(C/2) = \cot(A/2)\cot(B/2)\cot(C/2)
  • ∑cyccos⁡Asin⁡Bsin⁡C=2\displaystyle\sum_{\text{cyc}}\frac{\cos A}{\sin B\sin C} = 2
Other Conditional Results
  • If A+B+C=nπA + B + C = n\pi: tan⁡A+tan⁡B+tan⁡C=tan⁡Atan⁡Btan⁡C\tan A + \tan B + \tan C = \tan A\tan B\tan C
  • If A+B+C=(2n+1)π/2A + B + C = (2n+1)\pi/2: tan⁡Atan⁡B+tan⁡Btan⁡C+tan⁡Ctan⁡A=1\tan A\tan B + \tan B\tan C + \tan C\tan A = 1
  • If cos⁡(α−β)+cos⁡(β−γ)+cos⁡(γ−α)=−3/2\cos(\alpha-\beta) + \cos(\beta-\gamma) + \cos(\gamma-\alpha) = -3/2: ∑cos⁡α=0\sum\cos\alpha = 0 and ∑sin⁡α=0\sum\sin\alpha = 0
  • tan⁡(x−y)+tan⁡(y−z)+tan⁡(z−x)=tan⁡(x−y)tan⁡(y−z)tan⁡(z−x)\tan(x-y) + \tan(y-z) + \tan(z-x) = \tan(x-y)\tan(y-z)\tan(z-x)
  • If A+B=45°A + B = 45°: (1+tan⁡A)(1+tan⁡B)=2(1 + \tan A)(1 + \tan B) = 2
Four-Variable Identities

sin⁡α+sin⁡β+sin⁡γ−sin⁡(α+β+γ)=4sin⁡ ⁣(α+β2)sin⁡ ⁣(β+γ2)sin⁡ ⁣(γ+α2)\sin\alpha + \sin\beta + \sin\gamma - \sin(\alpha+\beta+\gamma) = 4\sin\!\left(\frac{\alpha+\beta}{2}\right)\sin\!\left(\frac{\beta+\gamma}{2}\right)\sin\!\left(\frac{\gamma+\alpha}{2}\right)

cos⁡α+cos⁡β+cos⁡γ+cos⁡(α+β+γ)=4cos⁡ ⁣(α+β2)cos⁡ ⁣(β+γ2)cos⁡ ⁣(γ+α2)\cos\alpha + \cos\beta + \cos\gamma + \cos(\alpha+\beta+\gamma) = 4\cos\!\left(\frac{\alpha+\beta}{2}\right)\cos\!\left(\frac{\beta+\gamma}{2}\right)\cos\!\left(\frac{\gamma+\alpha}{2}\right)

8.4 Trigonometric Inequalities

  • For x∈(0,π/2)x \in (0, \pi/2): sin⁡x<x<tan⁡x\sin x < x < \tan x
  • Jordan’s Inequality: For x∈[0,π/2]x \in [0, \pi/2]: 2xπ≤sin⁡x≤x\dfrac{2x}{\pi} \le \sin x \le x
  • Jensen’s (concave): If ff is concave on II, then 1n∑f(xi)≤f ⁣(1n∑xi)\frac{1}{n}\sum f(x_i) \le f\!\left(\frac{1}{n}\sum x_i\right) — applies to sin⁡x\sin x on (0,π)(0, \pi), cos⁡x\cos x on (−π/2,π/2)(-\pi/2, \pi/2)
  • Jensen’s (convex): If ff is convex on II, then 1n∑f(xi)≥f ⁣(1n∑xi)\frac{1}{n}\sum f(x_i) \ge f\!\left(\frac{1}{n}\sum x_i\right) — applies to tan⁡x\tan x on (0,π/2)(0, \pi/2), sec⁡x\sec x on (0,π/2)(0, \pi/2)

8.5 Weierstrass Substitution

t = tan(x/2)

sin⁡x=2t1+t2cos⁡x=1−t21+t2tan⁡x=2t1−t2dx=2 dt1+t2\sin x = \frac{2t}{1+t^2} \qquad \cos x = \frac{1-t^2}{1+t^2} \qquad \tan x = \frac{2t}{1-t^2} \qquad dx = \frac{2\,dt}{1+t^2}

8.6 Gamma Function Connections

  • Euler’s Reflection: Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)} for z∉Zz \notin \mathbb{Z}
  • Legendre Duplication: Γ(z)Γ(z+1/2)=21−2zπ Γ(2z)\Gamma(z)\Gamma(z+1/2) = 2^{1-2z}\sqrt{\pi}\,\Gamma(2z)

8.7 Notable Trigonometric Integrals

  • ∫0∞sin⁡xx dx=π2\displaystyle\int_0^{\infty}\frac{\sin x}{x}\,dx = \frac{\pi}{2}  (Dirichlet Integral)
  • ∫0π/2ln⁡(sin⁡x) dx=∫0π/2ln⁡(cos⁡x) dx=−π2ln⁡2\displaystyle\int_0^{\pi/2}\ln(\sin x)\,dx = \int_0^{\pi/2}\ln(\cos x)\,dx = -\frac{\pi}{2}\ln 2
  • ∫0πxsin⁡x dx=π\displaystyle\int_0^{\pi}x\sin x\,dx = \pi
  • ∫0πxsin⁡x1+cos⁡2x dx=π24\displaystyle\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}\,dx = \frac{\pi^2}{4}
  • ∫0π/2tan⁡px dx=π2cos⁡(pπ/2)\displaystyle\int_0^{\pi/2}\tan^p x\,dx = \frac{\pi}{2\cos(p\pi/2)} for 0<Re⁡(p)<10 < \operatorname{Re}(p) < 1
Wallis' Integrals

∫0π/2sin⁡nx dx=∫0π/2cos⁡nx dx={(n−1)!!n!!⋅π2n even(n−1)!!n!!n odd\int_0^{\pi/2}\sin^n x\,dx = \int_0^{\pi/2}\cos^n x\,dx = \begin{cases} \dfrac{(n-1)!!}{n!!}\cdot\dfrac{\pi}{2} & n \text{ even} \\[6pt] \dfrac{(n-1)!!}{n!!} & n \text{ odd} \end{cases}

8.8 Miscellaneous Advanced Results

  • tan⁡2θ+cot⁡2θ=81−cos⁡4θ−2\tan^2\theta + \cot^2\theta = \dfrac{8}{1 - \cos 4\theta} - 2 (sin⁡2θ≠0)\quad(\sin 2\theta \ne 0)
  • cot⁡(2nθ)−tan⁡(2nθ)=2cot⁡(2n+1θ)\cot(2^n\theta) - \tan(2^n\theta) = 2\cot(2^{n+1}\theta)
  • For a regular nn-gon inscribed in the unit circle: ∏k=1n−1∣P0Pk∣=n\displaystyle\prod_{k=1}^{n-1}|P_0 P_k| = n
  • Sum of squared distances from any PP on circumcircle to vertices: ∑k=1nPAk2=2nR2\sum_{k=1}^{n}PA_k^2 = 2nR^2
Euler's Infinite Products

sin⁡(πz)πz=∏n=1∞ ⁣(1−z2n2)cos⁡(πz)=∏n=1∞ ⁣(1−4z2(2n−1)2)\frac{\sin(\pi z)}{\pi z} = \prod_{n=1}^{\infty}\!\left(1 - \frac{z^2}{n^2}\right) \qquad \cos(\pi z) = \prod_{n=1}^{\infty}\!\left(1 - \frac{4z^2}{(2n-1)^2}\right)

Setting z=1/2z = 1/2 in the sine product gives Wallis’ Product for π/2\pi/2.

Advanced Summation Results

For n∈Nn \in \mathbb{N}:

∑k=1n−1cot⁡2(kπ/n)=(n−1)(n−2)3(n≥3)∑k=1n−1csc⁡2(kπ/n)=n2−13(n≥2)\sum_{k=1}^{n-1}\cot^2(k\pi/n) = \frac{(n-1)(n-2)}{3} \quad (n \ge 3) \qquad \sum_{k=1}^{n-1}\csc^2(k\pi/n) = \frac{n^2 - 1}{3} \quad (n \ge 2)