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°1745\approx 57°17'45''.
  • Arc length: =rθ\ell = r\theta. \quad Sector area: A=12r2θ=12rA = \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

sin2θ+cos2θ=11+tan2θ=sec2θ1+cot2θ=csc2θ\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
sinx\sin xR\mathbb{R}[1,1][-1, 1]2π2\pi
cosx\cos xR\mathbb{R}[1,1][-1, 1]2π2\pi
tanx\tan xR{(2n+1)π/2}\mathbb{R} \setminus \{(2n+1)\pi/2\}R\mathbb{R}π\pi
cscx\csc xR{nπ}\mathbb{R} \setminus \{n\pi\}(,1][1,)(-\infty,-1] \cup [1,\infty)2π2\pi
secx\sec xR{(2n+1)π/2}\mathbb{R} \setminus \{(2n+1)\pi/2\}(,1][1,)(-\infty,-1] \cup [1,\infty)2π2\pi
cotx\cot xR{nπ}\mathbb{R} \setminus \{n\pi\}R\mathbb{R}π\pi
Period Rules
  • Period of f(ax+b)f(ax + b) is T/aT/|a| if the period of f(x)f(x) is TT.
  • Period of sinx,cosx,tanx,cotx,secx,cscx|\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\thetasinθ-\sin\thetacotθ-\cot\theta
πθ\pi - \thetasinθ\sin\thetacosθ-\cos\thetatanθ-\tan\theta
π+θ\pi + \thetasinθ-\sin\thetacosθ-\cos\thetatanθ\tan\theta
Useful Algebraic Forms

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

1sin2θ=(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)=sinAcosB±cosAsinB\sin(A \pm B) = \sin A\cos B \pm \cos A\sin B

cos(A±B)=cosAcosBsinAsinB\cos(A \pm B) = \cos A\cos B \mp \sin A\sin B

tan(A±B)=tanA±tanB1tanAtanB\tan(A \pm B) = \frac{\tan A \pm \tan B}{1 \mp \tan A\tan B}

Derived Results
  • sin(A+B)sin(AB)=sin2Asin2B=cos2Bcos2A\sin(A+B)\sin(A-B) = \sin^2 A - \sin^2 B = \cos^2 B - \cos^2 A
  • cos(A+B)cos(AB)=cos2Asin2B=cos2Bsin2A\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°α)=2tan2α\tan(45° + \alpha) - \tan(45° - \alpha) = 2\tan 2\alpha

3.2 Product-to-Sum

2sinAcosB=sin(A+B)+sin(AB)2\sin A\cos B = \sin(A+B) + \sin(A-B)

2cosAsinB=sin(A+B)sin(AB)2\cos A\sin B = \sin(A+B) - \sin(A-B)

2cosAcosB=cos(A+B)+cos(AB)2\cos A\cos B = \cos(A+B) + \cos(A-B)

2sinAsinB=cos(AB)cos(A+B)2\sin A\sin B = \cos(A-B) - \cos(A+B)

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

sinC+sinD=2sin ⁣(C+D2)cos ⁣(CD2)\sin C + \sin D = 2\sin\!\left(\frac{C+D}{2}\right)\cos\!\left(\frac{C-D}{2}\right)

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

cosC+cosD=2cos ⁣(C+D2)cos ⁣(CD2)\cos C + \cos D = 2\cos\!\left(\frac{C+D}{2}\right)\cos\!\left(\frac{C-D}{2}\right)

cosCcosD=2sin ⁣(C+D2)sin ⁣(CD2)\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

sin2A=2sinAcosA=2tanA1+tan2A\sin 2A = 2\sin A\cos A = \frac{2\tan A}{1 + \tan^2 A}

cos2A=cos2Asin2A=2cos2A1=12sin2A=1tan2A1+tan2A\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}

tan2A=2tanA1tan2A\tan 2A = \frac{2\tan A}{1 - \tan^2 A}

Useful Rearrangements
  • 1cos2A=2sin2A1 - \cos 2A = 2\sin^2 A
  • 1+cos2A=2cos2A1 + \cos 2A = 2\cos^2 A
  • sin2A1+cos2A=tanA\dfrac{\sin 2A}{1 + \cos 2A} = \tan A
  • cotAtanA=2cot2A\cot A - \tan A = 2\cot 2A
  • tanA+cotA=2csc2A\tan A + \cot A = 2\csc 2A
  • cscθ+cotθ=cot(θ/2)\csc\theta + \cot\theta = \cot(\theta/2)

4.2 Triple Angle

Triple Angle

sin3A=3sinA4sin3A\sin 3A = 3\sin A - 4\sin^3 A

cos3A=4cos3A3cosA\cos 3A = 4\cos^3 A - 3\cos A

tan3A=3tanAtan3A13tan2A\tan 3A = \frac{3\tan A - \tan^3 A}{1 - 3\tan^2 A}

4.3 Higher Multiple Angles & Chebyshev Polynomials

cos4θ=8cos4θ8cos2θ+1\cos 4\theta = 8\cos^4\theta - 8\cos^2\theta + 1

tan4θ=4tanθ4tan3θ16tan2θ+tan4θ\tan 4\theta = \frac{4\tan\theta - 4\tan^3\theta}{1 - 6\tan^2\theta + \tan^4\theta}

Chebyshev Polynomials

Tn(x)=cos(ncos1x),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)cos1x)1x2,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

sin2A=1cos2A2cos2A=1+cos2A2\sin^2 A = \frac{1 - \cos 2A}{2} \qquad \cos^2 A = \frac{1 + \cos 2A}{2}

sin3x=3sinxsin3x4cos3x=3cosx+cos3x4\sin^3 x = \frac{3\sin x - \sin 3x}{4} \qquad \cos^3 x = \frac{3\cos x + \cos 3x}{4}

sin4x=34cos2x+cos4x8cos4x=3+4cos2x+cos4x8\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 sin4xa+cos4xb=1a+b\dfrac{\sin^4 x}{a} + \dfrac{\cos^4 x}{b} = \dfrac{1}{a+b}, then sin2NxaN1+cos2NxbN1=1(a+b)N1\dfrac{\sin^{2N} x}{a^{N-1}} + \dfrac{\cos^{2N} x}{b^{N-1}} = \dfrac{1}{(a+b)^{N-1}} for integer N2N \ge 2.

4.5 Half Angle

sin(θ/2)=±1cosθ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)=±1cosθ1+cosθ=sinθ1+cosθ=1cosθ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°+θ)=14sin3θ\sin\theta\,\sin(60°-\theta)\sin(60°+\theta) = \tfrac{1}{4}\sin 3\theta
  • cosθcos(60°θ)cos(60°+θ)=14cos3θ\cos\theta\,\cos(60°-\theta)\cos(60°+\theta) = \tfrac{1}{4}\cos 3\theta
  • tanθtan(60°θ)tan(60°+θ)=tan3θ\tan\theta\,\tan(60°-\theta)\tan(60°+\theta) = \tan 3\theta
  • cos2θ+cos2(60°+θ)+cos2(60°θ)=32\cos^2\theta + \cos^2(60°+\theta) + \cos^2(60°-\theta) = \tfrac{3}{2}
  • sin2θ+sin2(60°+θ)+sin2(60°θ)=32\sin^2\theta + \sin^2(60°+\theta) + \sin^2(60°-\theta) = \tfrac{3}{2}
  • cos3θ+cos3(120°+θ)+cos3(240°+θ)=34cos3θ\cos^3\theta + \cos^3(120°+\theta) + \cos^3(240°+\theta) = \tfrac{3}{4}\cos 3\theta
  • sin3θ+sin3(120°+θ)+sin3(240°+θ)=34sin3θ\sin^3\theta + \sin^3(120°+\theta) + \sin^3(240°+\theta) = -\tfrac{3}{4}\sin 3\theta
  • tanθ+tan(60°+θ)tan(60°θ)=3tan3θ\tan\theta + \tan(60°+\theta) - \tan(60°-\theta) = 3\tan 3\theta
  • tan2θ+tan2(60°θ)+tan2(60°+θ)=6+9tan23θ\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θ1cosθn)(S1S3+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θ1cosθn)(1S2+S4)\cos(\theta_1 + \cdots + \theta_n) = (\cos\theta_1 \cdots \cos\theta_n)(1 - S_2 + S_4 - \cdots)

tan(θ1++θn)=S1S3+S51S2+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=0n1sin(θ+kα)=sin ⁣(θ+(n1)α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=0n1cos(θ+kα)=cos ⁣(θ+(n1)α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)4sin2(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)14sin2(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((2k1)x)=sin2(nx)sinx\displaystyle\sum_{k=1}^{n} \sin((2k-1)x) = \frac{\sin^2(nx)}{\sin x}
  • k=1ncos((2k1)x)=sin(2nx)2sinx\displaystyle\sum_{k=1}^{n} \cos((2k-1)x) = \frac{\sin(2nx)}{2\sin x}
  • k=1n1kcos(2kπ/n)=n/2\displaystyle\sum_{k=1}^{n-1} k\cos(2k\pi/n) = -n/2 for n2n \ge 2
  • j=1Nsin2(jx)=N2sin(Nx)cos((N+1)x)2sinx\displaystyle\sum_{j=1}^{N}\sin^2(jx) = \frac{N}{2} - \frac{\sin(Nx)\cos((N+1)x)}{2\sin x}
  • j=1Ncos2(jx)=N2+sin(Nx)cos((N+1)x)2sinx\displaystyle\sum_{j=1}^{N}\cos^2(jx) = \frac{N}{2} + \frac{\sin(Nx)\cos((N+1)x)}{2\sin x}
  • k=1n1sin2kx=cotxcot2nx\displaystyle\sum_{k=1}^{n}\frac{1}{\sin 2^k x} = \cot x - \cot 2^n x

6.3 Hermite’s Identities

Hermite
  • k=0n1cot ⁣(x+kπn)=ncot(nx)\displaystyle\sum_{k=0}^{n-1}\cot\!\left(x + \frac{k\pi}{n}\right) = n\cot(nx)
  • k=0n1csc2 ⁣(x+kπn)=n2csc2(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=0n1cos(2kx)=sin(2nx)2nsinx(sinx0)\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: cos20°cos40°cos80°=1/8\cos 20°\cos 40°\cos 80° = 1/8
  • cos6°cos42°cos66°cos78°=1/16\cos 6°\cos 42°\cos 66°\cos 78° = 1/16
  • sin5°sin15°sin25°sin85°=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 nNn \in \mathbb{N}, n2n \ge 2:

  • k=1n1sin ⁣(kπn)=n2n1\displaystyle\prod_{k=1}^{n-1}\sin\!\left(\frac{k\pi}{n}\right) = \frac{n}{2^{n-1}}
  • k=1n1cos ⁣(kπn)={0n even1/2n1n 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 ⁣((2k1)π2n)=12n1\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=1n1csc ⁣(kπn)=2n1n\displaystyle\prod_{k=1}^{n-1}\csc\!\left(\frac{k\pi}{n}\right) = \frac{2^{n-1}}{n}
  • k=1n1(1cos(2kπ/n))=n2/2n1\displaystyle\prod_{k=1}^{n-1}(1 - \cos(2k\pi/n)) = n^2/2^{n-1}

6.5 Telescopic Series

  • k=0n1csc(2kA)=cot(A/2)cot(2n1A)\displaystyle\sum_{k=0}^{n-1}\csc(2^k A) = \cot(A/2) - \cot(2^{n-1}A)
  • k=0n12ktan(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αcosrα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)=2ncosn(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)=2ncosn(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)=2nsinn(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)=2nsinn(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=1sinjxj=πx2\displaystyle\sum_{j=1}^{\infty}\frac{\sin jx}{j} = \frac{\pi - x}{2} for x(0,2π)x \in (0, 2\pi)
  • j=1cosjxj=ln2sin(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=1cosjxj2=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)j1sinjxj=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)j1cosjxj=ln2cos(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=1sin2(nx)n2=πxx22\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θtan3θ3+tan5θ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=1rjsin(jθ)=rsinθ12rcosθ+r2j=0rjcos(jθ)=1rcosθ12rcosθ+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 zZz \notin \mathbb{Z}:

πcot(πz)=1z+2zj=11z2j2πsin(πz)=1z+2zj=1(1)jz2j2\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)=2zj=01(j+1/2)2z2\pi\tan(\pi z) = 2z\sum_{j=0}^{\infty}\frac{1}{(j + 1/2)^2 - z^2}

Clausen Functions

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

Cl3(x)=k=1cos(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θtan2θ+tan2θtan4θ+tan4θtanθ=7\tan\theta\tan 2\theta + \tan 2\theta\tan 4\theta + \tan 4\theta\tan\theta = -7
  • k=1n1(nk)cos(2kπ/n)=n/2\displaystyle\sum_{k=1}^{n-1}(n-k)\cos(2k\pi/n) = -n/2 for n3n \ge 3
  • 1+k=1n1cos(2kπ/n)=01 + \displaystyle\sum_{k=1}^{n-1}\cos(2k\pi/n) = 0 for n>1n > 1
  • k=012ktan ⁣(x2k)=1xcotx\displaystyle\sum_{k=0}^{\infty}\frac{1}{2^k}\tan\!\left(\frac{x}{2^k}\right) = \frac{1}{x} - \cot x (xmπ)(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)=11x\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=1ntan2 ⁣(rπ2n+1)=n(2n+1)\displaystyle\sum_{r=1}^{n}\tan^2\!\left(\frac{r\pi}{2n+1}\right) = n(2n+1)
  • k=1n1sin2m ⁣(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θ+eiθ2sinθ=eiθeiθ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 nZ(\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,,n1k = 0, 1, \ldots, n-1.

Root Properties
  • Sum of roots: k=0n1zk=0\displaystyle\sum_{k=0}^{n-1}z_k = 0 for n>1n > 1
  • Product of roots: k=0n1zk=(1)n1\displaystyle\prod_{k=0}^{n-1}z_k = (-1)^{n-1}
  • xn1=k=0n1(xei2kπ/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,,n1k = 0, 1, \ldots, n-1
  • k=0n1cos ⁣((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 ⁣((2j1)π2n)x_j = \cos\!\left(\frac{(2j-1)\pi}{2n}\right) for j=1,,nj = 1, \ldots, n.

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

7.3 Power Expansions via Complex Numbers

cos^n θ expansion

Even nn: cosnθ=12n1 ⁣[k=0n/21(nk)cos((n2k)θ)+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: cosnθ=12n1k=0(n1)/2(nk)cos((n2k)θ)\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: sinnθ=(1)n/22n1 ⁣[k=0n/21(1)k(nk)cos((n2k)θ)+(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: sinnθ=(1)(n1)/22n1k=0(n1)/2(1)k(nk)sin((n2k)θ)\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
sin15°=cos75°\sin 15° = \cos 75°3122\frac{\sqrt{3}-1}{2\sqrt{2}}
cos15°=sin75°\cos 15° = \sin 75°3+122\frac{\sqrt{3}+1}{2\sqrt{2}}
tan15°\tan 15°232 - \sqrt{3}
sin18°=cos72°\sin 18° = \cos 72°514\frac{\sqrt{5}-1}{4}
cos36°=sin54°\cos 36° = \sin 54°5+14\frac{\sqrt{5}+1}{4}
tan22.5°\tan 22.5°21\sqrt{2} - 1
Advanced Specific Values
  • tan70°=tan20°+2tan50°\tan 70° = \tan 20° + 2\tan 50°
  • tan50°+tan60°+tan70°=tan80°\tan 50° + \tan 60° + \tan 70° = \tan 80°
  • tan2(π/16)+tan2(2π/16)++tan2(7π/16)=35\tan^2(π/16) + \tan^2(2π/16) + \cdots + \tan^2(7π/16) = 35
  • (1+tan1°)(1+tan2°)(1+tan44°)=222(1 + \tan 1°)(1 + \tan 2°) \cdots (1 + \tan 44°) = 2^{22}
  • sin218°+sin230°=sin236°\sin^2 18° + \sin^2 30° = \sin^2 36°
  • tan236°tan272°=5\tan^2 36°\cdot\tan^2 72° = 5
  • cosπ7cos2π7+cos3π7=12\cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7} = \frac{1}{2}
  • 4sin2π7tanπ7=74\sin\frac{2\pi}{7} - \tan\frac{\pi}{7} = \sqrt{7}

8.2 Results from Polynomial Roots

  • Roots of 8x34x24x+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=1ncot2 ⁣(kπ2n+1)=n(2n1)3\displaystyle\sum_{k=1}^{n}\cot^2\!\left(\frac{k\pi}{2n+1}\right) = \frac{n(2n-1)}{3}
  • k=1n1tan2 ⁣(kπ2n)=(n1)(2n1)3\displaystyle\sum_{k=1}^{n-1}\tan^2\!\left(\frac{k\pi}{2n}\right) = \frac{(n-1)(2n-1)}{3}
  • k=1n1csc2 ⁣(kπ2n)=2(n21)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(n1)/2sec2 ⁣(kπn)=n214\displaystyle\sum_{k=1}^{(n-1)/2}\sec^2\!\left(\frac{k\pi}{n}\right) = \frac{n^2-1}{4}
  • tan210°+tan250°+tan270°=9\tan^2 10° + \tan^2 50° + \tan^2 70° = 9

8.3 Conditional Identities

Triangle Conditions (A + B + C = π)
  • tanA+tanB+tanC=tanAtanBtanC\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)
  • cyccosAsinBsinC=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: tanA+tanB+tanC=tanAtanBtanC\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: tanAtanB+tanBtanC+tanCtanA=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(xy)+tan(yz)+tan(zx)=tan(xy)tan(yz)tan(zx)\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+tanA)(1+tanB)=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): sinx<x<tanx\sin x < x < \tan x
  • Jordan’s Inequality: For x[0,π/2]x \in [0, \pi/2]: 2xπsinxx\dfrac{2x}{\pi} \le \sin x \le x
  • Jensen’s (concave): If ff is concave on II, then 1nf(xi)f ⁣(1nxi)\frac{1}{n}\sum f(x_i) \le f\!\left(\frac{1}{n}\sum x_i\right) — applies to sinx\sin x on (0,π)(0, \pi), cosx\cos x on (π/2,π/2)(-\pi/2, \pi/2)
  • Jensen’s (convex): If ff is convex on II, then 1nf(xi)f ⁣(1nxi)\frac{1}{n}\sum f(x_i) \ge f\!\left(\frac{1}{n}\sum x_i\right) — applies to tanx\tan x on (0,π/2)(0, \pi/2), secx\sec x on (0,π/2)(0, \pi/2)

8.5 Weierstrass Substitution

t = tan(x/2)

sinx=2t1+t2cosx=1t21+t2tanx=2t1t2dx=2dt1+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)Γ(1z)=πsin(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)} for zZz \notin \mathbb{Z}
  • Legendre Duplication: Γ(z)Γ(z+1/2)=212zπΓ(2z)\Gamma(z)\Gamma(z+1/2) = 2^{1-2z}\sqrt{\pi}\,\Gamma(2z)

8.7 Notable Trigonometric Integrals

  • 0sinxxdx=π2\displaystyle\int_0^{\infty}\frac{\sin x}{x}\,dx = \frac{\pi}{2}  (Dirichlet Integral)
  • 0π/2ln(sinx)dx=0π/2ln(cosx)dx=π2ln2\displaystyle\int_0^{\pi/2}\ln(\sin x)\,dx = \int_0^{\pi/2}\ln(\cos x)\,dx = -\frac{\pi}{2}\ln 2
  • 0πxsinxdx=π\displaystyle\int_0^{\pi}x\sin x\,dx = \pi
  • 0πxsinx1+cos2xdx=π24\displaystyle\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}\,dx = \frac{\pi^2}{4}
  • 0π/2tanpxdx=π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π/2sinnxdx=0π/2cosnxdx={(n1)!!n!!π2n even(n1)!!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

  • tan2θ+cot2θ=81cos4θ2\tan^2\theta + \cot^2\theta = \dfrac{8}{1 - \cos 4\theta} - 2 (sin2θ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=1n1P0Pk=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 ⁣(1z2n2)cos(πz)=n=1 ⁣(14z2(2n1)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 nNn \in \mathbb{N}:

k=1n1cot2(kπ/n)=(n1)(n2)3(n3)k=1n1csc2(kπ/n)=n213(n2)\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)