10. Trigonometry & Complex Numbers

Applications of De Moivre's Theorem

De Moivre's theorem bridges trigonometry and complex analysis by providing a powerful mechanism to compute powers and roots of complex numbers in polar form.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade

📖 Topic progress

○ Mark as complete

Definition and statement

De Moivre's Theorem & Its Core Applications

For any real number $\theta$ and integer $n$ (and more generally, for any rational index $n$), $(\cos \theta + i \sin \theta)^n = \cos(n\theta) + i \sin(n\theta)$. When $n$ is a rational fraction $p/q$, $(\cos \theta + i \sin \theta)^{p/q}$ represents the set of values given by \begin{align*} \cos\left(\frac{2k\pi + p\theta}{q}\right) + i \sin\left(\frac{2k\pi + p\theta}{q}\right), \quad k = 0, 1, 2, \dots, q-1 \end{align*}

📐 Geometric Interpretation

Geometrically, multiplication by $\cos \theta + i \sin \theta$ represents a rotation of the complex vector in the Argand plane about the origin by an angle $\theta$. Raising a complex number to the power $n$ scales its modulus by $r^n$ and multiplies its argument by $n$, wrapping it around the circle of radius $r^n$ multiple times.

⚙️ Algebraic & Structural Meaning

It linearizes products of trigonometric terms into sums, enables the extraction of $n$-th roots of unity forming regular polygons inscribed in the unit circle, and solves binomial equations of the form $z^n - A = 0$ over $\mathbb{C}$.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition	Domain / Interval	Necessity	What Fails If Condition Dropped
Polar Representation Validity	$z = r(\cos \theta + i \sin \theta)$	Strictly Mandatory / Necessary	If $z$ is not expressed in proper polar form with a consistent principal argument $\theta$, multi-valued expressions will yield extraneous or missing roots.
Rational Exponent Restriction for Equality	`$n \in \mathbb{Q}$ vs $n \in \mathbb{R}$ or $\mathbb{C}$`	Strictly Mandatory	If $n$ is irrational or complex, $(\cos \theta + i \sin \theta)^n$ is a multi-valued relation, and equality with $\cos(n\theta) + i \sin(n\theta)$ holds only for one specific branch unless properly restricted.
Continuity of Argument across Branch Cuts	`$\theta \in (-\pi, \pi]$ or $[0, 2\pi)$`	Essential for principal values	Failure to use the correct principal branch angle leads to incorrect quadrant placement and flawed root generation.

Useful results and shortcuts

Use these identities and results when their conditions apply:

Sum of $n$-th Roots of Unity

$$ \sum_{k=0}^{n-1} e^{i \frac{2k\pi}{n}} = 0 \quad (\text{for } n \ge 2) $$

Rule: The sum of all $n$-th roots of unity is always zero. The sum of their $m$-th powers is zero unless $m$ is a multiple of $n$ (in which case the sum is $n$).

Application: Frequently asked in UP PGT and KVS PGT to find values of complex summations instantly.

Product of $n$-th Roots of Unity

$$ \prod_{k=0}^{n-1} (z - \alpha_k) = z^n - 1 $$

Rule: The product of all $n$-th roots of unity is $(-1)^{n-1}$, and evaluating $\prod_{k=1}^{n-1} (1 - e^{i2k\pi/n}) = n$.

Expansion of $\cos^n \theta$ and $\sin^n \theta$

$$ 2^n \cos^n \theta = \sum_{k=0}^{n} \binom{n}{k} \cos((n-2k)\theta) $$

Rule: Set $x = \cos \theta + i \sin \theta$ and $\frac{1}{x} = \cos \theta - i \sin \theta$. Then $2\cos \theta = x + \frac{1}{x}$ and $2i \sin \theta = x - \frac{1}{x}$.

Application: Standard integration and coefficient-finding questions in UP PGT.

Summation of Trigonometric Series (C + iS Method)

$$ \sum_{k=0}^{n-1} \cos(\alpha + k\beta) = \frac{\sin(n\beta/2)}{\sin(\beta/2)} \cos\left(\alpha + \frac{n-1}{2}\beta\right) $$

Rule: Convert the cosine series $C$ and sine series $S$ into a geometric progression using $e^{i(\alpha + k\beta)}$, sum using GP formula, and take real/imaginary parts.

Vertices of Regular Polygon

$$ z_k = R \left( \cos\left(\frac{\theta + 2k\pi}{n}\right) + i \sin\left(\frac{\theta + 2k\pi}{n}\right) \right) $$

Rule: The roots of $z^n = Z$ form the vertices of a regular polygon of $n$ sides inscribed in a circle of radius $R = |Z|^{1/n}.

Application: Geometric complex number questions in NVS and KVS PGT.

Rapid Elimination via Modulus and Argument

$$ |z_1 z_2| = |z_1||z_2|, \quad \arg(z_1 z_2) = \arg(z_1) + \arg(z_2) $$

Rule: When evaluating powers or roots of complex numbers, test the modulus of the given options first to eliminate 2 or 3 incorrect choices instantly.

Common errors and counterexamples

These examples show how a conclusion can fail when a condition is missing:

⚠️ COMMON ERROR #01

Applying De Moivre's Theorem to Non-Integral Powers without Branch Care

Common Pitfall: Writing $(\cos \theta + i \sin \theta)^{p/q} = \cos\left(\frac{p}{q}\theta\right) + i \sin\left(\frac{p}{q}\theta\right)$ as a single value instead of recognizing all $q$ distinct values.

Counterexample: $(-1)^{1/2} = (\cos \pi + i \sin \pi)^{1/2}$

Why it fails: Only considering $k=0$ yields $\cos(\pi/2) + i \sin(\pi/2) = i$, completely missing the second root $-i$.

🛡️ Exam Defense: For fractional powers $p/q$ in lowest terms, always generate all $q$ distinct roots by adding $2k\pi$ ($k=0, 1, \dots, q-1$) before dividing by $q$.

⚠️ COMMON ERROR #02

Expansion Sign Errors in Odd Powers of Sine

Common Pitfall: Forgetting the factor of $i$ when expressing $(x - 1/x)^n$ for odd powers of $\sin \theta$.

Counterexample: $(2i \sin \theta)^3 = -8i \sin^3 \theta$

Why it fails: Ignoring $i^3 = -i$ leads to incorrect sign matching in trigonometric expansions.

🛡️ Exam Defense: Always meticulously track powers of $i$ ($i^2 = -1, i^3 = -i, i^4 = 1$) during substitution.

Comparison

Concept / Theorem	Hypotheses / Assumptions	Key Formula / Outcome	Geometric Meaning	Exam Identification Clue
De Moivre's Theorem (Integer)	$n \in \mathbb{Z}$, $\theta \in \mathbb{R}$	$(\cos \theta + i \sin \theta)^n = \cos(n\theta) + i \sin(n\theta)$	Rotation and scaling of argument	Powers of complex binomials
De Moivre's Theorem (Rational)	$n = p/q in \mathbb{Q}$	$q$ distinct values via $2k\pi$ addition	Vertices of regular polygon inscribed in circle	Find all roots of $z^n = a + ib$
Roots of Unity	$z^n = 1$, $n \in \mathbb{N}$	$e^{i 2k\pi / n}, \, k=0,1,\dots,n-1$	Vertices of regular $n$-gon on unit circle	Sum/product of roots equal to zero/unity
C + iS Method	Trigonometric series in AP angles	GP sum formula with $e^{i(\alpha + k\beta)}$	Summation of vector rotations	Sum of $\cos \alpha + \cos(\alpha+\beta) + \dots$

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

If $x_r = \cos\left(\frac{\pi}{2^r}\right) + i \sin\left(\frac{\pi}{2^r}\right)$, what is the value of the infinite product $x_1 x_2 x_3 \dots \infty$?

(A) $-1$(B) $1$(C) $i$(D) $-i$

📚 Method A: Formal Textbook Derivation

Step 1: Write $x_r = e^{i \pi / 2^r}$. Step 2: The product $x_1 x_2 \dots x_n = e^{i \pi \sum_{r=1}^n 1/2^r}$. Step 3: Evaluate the geometric series sum $\sum_{r=1}^n \frac{1}{2^r} = 1 - \frac{1}{2^n}$. Step 4: As $n \to \infty$, the exponent approaches $i \pi$. Step 5: $e^{i \pi} = \cos \pi + i \sin \pi = -1$.

⚡ Method B: 25-Second Exam Shortcut

Recognize that $\sum_{r=1}^{\infty} \frac{1}{2^r} = 1$, so the product is $e^{i\pi} = -1$. Time taken: 20 seconds.

💡 Tip: Classic infinite product pattern frequently appearing in UP PGT.

CANONICAL PROBLEM 02 Dual-Method Breakdown

If $\alpha$ is an imaginary fifth root of unity, then the value of $\alpha^7 + \alpha^{-2}$ is:

(A) $1$(B) $0$(C) $\alpha$(D) $-\alpha$

📚 Method A: Formal Textbook Derivation

Step 1: Since $\alpha$ is a fifth root of unity, $\alpha^5 = 1$ and $1 + \alpha + \alpha^2 + \alpha^3 + \alpha^4 = 0$. Step 2: Simplify $\alpha^7 = \alpha^{5+2} = \alpha^2$. Step 3: Simplify $\alpha^{-2} = \alpha^{5-2} = \alpha^3$ (or use $\alpha^{-2} = \alpha^3$ since $\alpha^5=1$). Step 4: Expression becomes $\alpha^2 + \alpha^3$. Step 5: From $1 + \alpha + \alpha^2 + \alpha^3 + \alpha^4 = 0$, note symmetry, but check specific values or test $\alpha = e^{i 2\pi/5}$ to find $\alpha^2 + \alpha^{-2} = 2\cos(4\pi/5)$ or use root properties.

⚡ Method B: 25-Second Exam Shortcut

Use periodicity $\alpha^5 = 1$, so $\alpha^7 = \alpha^2$ and $\alpha^{-2} = \alpha^3$. Since $\alpha, \alpha^2, \alpha^3, \alpha^4$ are roots of $1 + x + x^2 + x^3 + x^4 = 0$, sum of roots is $-1$. Wait, $\alpha^2 + \alpha^3$ is a subset of roots. Actually, $\alpha^{-2} = \bar{\alpha}^2$. Since roots are $e^{i 2k\pi/5}$, $\alpha^2 + \alpha^{-2} = 2\cos(4\pi/5)$. Re-evaluating: if $\alpha^5 = 1$, $\alpha^7 + \alpha^{-2} = \alpha^2 + \alpha^3 = -1 - \alpha - \alpha^4$ — wait, sum of all 5 roots is 0, so $\alpha + \alpha^2 + \alpha^3 + \alpha^4 = -1$. If $\alpha = e^{i 2\pi/5}$, $\alpha^2 + \alpha^{-2} = 2\cos(4\pi/5) = 2\cos(2\u03c0/5)$. Let's verify standard PYQ: usually $\alpha^7 + \alpha^8$ or similar. Here $\alpha^7 = \alpha^2$, $\alpha^{-2} = \alpha^3$. $\alpha^2 + \alpha^3 = \alpha^2(1 + \alpha)$. Using $1+\alpha+\alpha^2+\alpha^3+\alpha^4=0$.

💡 Tip: Always reduce powers of $\alpha$ modulo $n$ immediately using $\alpha^n = 1$.

Practice questions

Choose an answer to check it and see the solution:

MCQ 1: If $x = \cos \theta + i \sin \theta$, then the value of $x^n + \frac{1}{x^n}$ is:

A $2 \cos(n\theta)$

B $2 i \sin(n\theta)$

C $2 \sin(n\theta)$

D $2 i \cos(n\theta)$

Derivation & Analysis:

By De Moivre's theorem, $x^n = \cos(n\theta) + i \sin(n\theta)$ and $x^{-n} = \cos(n\theta) - i \sin(n\theta)$. Adding them gives $2 \cos(n\theta)$.

MCQ 2: The sum of all the roots of the equation $z^4 - 1 = 0$ is:

A $1$

B $-1$

C $0$

D $i$

Derivation & Analysis:

The roots of $z^4 = 1$ are $1, -1, i, -i$. Their sum is $1 + (-1) + i + (-1) = 0$. Alternatively, by the theory of equations, the coefficient of $z^{n-1}$ in $z^4 - 1$ is $0$.

MCQ 3: If $\omega$ is an imaginary cube root of unity, then $(1 - \omega + \omega^2)(1 + \omega - \omega^2)$ equals:

A $2$

B $4$

C $8$

D $16$

Derivation & Analysis:

Since $1 + \omega + \omega^2 = 0$, we have $1 + \omega^2 = -\omega$ and $1 + \omega = --\omega^2$. Thus $(1 - \omega + \omega^2) = (-\omega - \omega) = -2\omega$, and $(1 + \omega - \omega^2) = (-\omega^2 - \omega^2) = -2\omega^2$. Their product is $(-2\omega)(-2\omega^2) = 4\omega^3 = 4$.

MCQ 4: The value of $(1 + i)^8 + (1 - i)^8$ is:

A $16$

B $-32$

C $32$

D $64$

Derivation & Analysis:

Convert $1 \pm i$ to polar form: $\sqrt{2}(\cos(\pi/4) \pm i \sin(\pi/4))$. Raising to power 8 gives $(\sqrt{2})^8(\cos(2\pi) \pm i \sin(2\pi)) = 16(1) = 16$ each. Thus $16 + 16 = 32$.

MCQ 5: If $n$ is a positive integer, then $(\frac{1 + \sin \theta + i \cos \theta}{1 + \sin \theta - i \cos \theta})^n$ is equal to:

A $\cos\left(n(\frac{\pi}{2} - \theta)\right) + i \sin\left(n(\frac{\pi}{2} - \theta)\right)$

B $\cos(n\theta) + i \sin(n\theta)$

C $1$

D $\cos\left(\frac{n\theta}{2}\right) + i \sin\left(\frac{n\theta}{2}\right)$

Derivation & Analysis:

Express $\sin \theta = \cos(\pi/2 - \theta)$ and $\cos \theta = \sin(\pi/2 - \theta)$. Simplify the fraction to $\frac{\cos \phi + i \sin \phi}{\cos \phi - i \sin \phi} = e^{i 2\phi}$ where $\phi = \pi/2 - \theta$. Raising to power $n$ yields $\cos(n( \pi/2 - \theta )) + i \sin(n( \pi/2 - \theta ))$.

MCQ 6: The number of distinct solutions of $z^5 = i$ is:

A $1$

B $3$

C $5$

D $10$

Derivation & Analysis:

By the fundamental theorem of algebra and De Moivre's theorem for rational indices, an equation of degree $n$ (here $z^5 - i = 0$) has exactly $n$ distinct roots in $\mathbb{C}$, which are $5$-th roots of $i$.

MCQ 7: If $z = \cos \theta + i \sin \theta$, then $z^n - \frac{1}{z^n}$ is equal to:

A $2 \cos(n\theta)$

B $2 i \sin(n\theta)$

C $2 \sin(n\theta)$

D $i \cos(n\theta)$

Derivation & Analysis:

By De Moivre's theorem, $z^n = \cos(n\theta) + i \sin(n\theta)$ and $z^{-n} = \cos(n\theta) - i \sin(n\theta)$. Subtracting gives $(\cos(n\theta) + i \sin(n\theta)) - (\cos(n\theta) - i \sin(n\theta)) = 2 i \sin(n\theta)$.

MCQ 8: Assertion (A): The product of all $n$-th roots of unity is $(-1)^{n-1}$. Reason (R): The roots of $z^n - 1 = 0$ form a geometric progression.

A Both (A) and (R) are true and (R) is the correct explanation of (A)

B Both (A) and (R) are true but (R) is not the correct explanation of (A)

C (A) is true but (R) is false

D (A) is false but (R) is true

Derivation & Analysis:

The roots of $z^n - 1 = 0$ are $1, \omega, \omega^2, \dots, \omega^{n-1}$ which form a GP with common ratio $\omega = e^{i 2\pi/n}$. The product of roots equals $(-1)^{n-1} \times (\text{constant term}) = (-1)^{n-1}(-1) = (-1)^n$ wait, product of roots of $z^n - 1 = 0$ is $(-1)^n(-1) = (-1)^{n-1}$ (since $z^n - 1$ has roots, product of roots = $(-1)^n (-1) = (-1)^{n-1}$? Monic polynomial $z^n - 1 = 0$ has constant term $-1$, so product of roots is $(-1)^n (-1) = (-1)^{n-1}$ is correct).

MCQ 9: If $\alpha, \beta, \gamma$ are the cube roots of a non-zero complex number $p$, then $\frac{\alpha}{\beta} + \frac{\beta}{\gamma} + \frac{\gamma}{\alpha}$ depends on:

A $p$

B $p^2$

C cube roots of unity only (independent of $p$)

D depends on the argument of $p$

Derivation & Analysis:

Let $p = r e^{i\theta}$. The cube roots are $R e^{i\theta/3}, R e^{i(\theta/3 + 2\pi/3)}, R e^{i(\theta/3 + 4\pi/3)}$. Notice that $\alpha = \sqrt[3]{p}, \beta = \omega \sqrt[3]{p}, \gamma = \omega^2 \sqrt[3]{p}$. Thus $\frac{\alpha}{\beta} = \frac{1}{\omega} = \omega^2$, $\frac{\beta}{\gamma} = \frac{1}{\omega} = \omega^2$, $\frac{\gamma}{\alpha} = \omega^2$. Their sum is $3\omega^2$, which depends only on the cube roots of unity and is completely independent of $p$.

Q10

MCQ 10: The value of $\sum_{k=1}^{10} \left( \sin\left(\frac{2k\pi}{11}\right) - i \cos\left(\frac{2k\pi}{11}\right) \right)$ is:

A $i$

B $-i$

C $1$

D $0$

Derivation & Analysis:

Rewrite as $-i \sum_{k=1}^{10} \left( \cos\left(\frac{2k\pi}{11}\right) + i \sin\left(\frac{2k\pi}{11}\right) - i \sin\dots \right)$ or factor out $-i$: $-i \sum_{k=1}^{10} \left( \cos\left(\frac{2k\pi}{11}\right) - i \sin\left(\frac{2k\pi}{11}\right) \right)$... Actually, notice that $\sum_{k=0}^{10} e^{i 2k\pi/11} = 0$. The sum for $k=1$ to $10$ of $e^{-i 2k\pi/11}$ is the sum of all non-zero 11-th roots of unity, which is $-1$. Multiplying by the pre-factor gives $i$.

Common questions

De Moivre's theorem in its simple form $(\cos \theta + i \sin \theta)^n = \cos(n\theta) + i \sin(n\theta)$ is strictly valid only for integer exponents $n$. For rational exponents $p/q$, the expression is multi-valued, yielding $q$ distinct values. Failing to add $2k\pi$ ($k = 0, 1, \dots, q-1$) before dividing the argument by $q$ misses all roots except the principal one.

Candidates frequently confuse the sum of all $n$-th roots of unity (which is always $0$ for $n \ge 2$) with the product of all $n$-th roots of unity (which is $(-1)^{n-1}$). Another frequent error is mishandling the simplification of higher powers of $\omega$ (cube roots of unity) without reducing modulo 3.

Master standard geometric progression formulas combined with Euler's identity $e^{i\theta} = \cos \theta + i \sin \theta$. Recognizing telescoping series and symmetrical root properties allows you to write down answers instantly without expanding full trigonometric series.

← Previous Topic

De Moivre's theorem

Next Topic →

Multiplication of complex numbers