PYQ Vault

MHT-CET Maths · Complex Numbers

Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

Everything algebraic about z = x + iy: reduce powers of i modulo 4, multiply by the conjugate to clear a denominator, equate real and imaginary parts, and reduce powers of ω modulo 3.

Why this matters

30 PYQs at 30% HARD — the chapter's largest and hardest page, though the difficulty is bookkeeping rather than ideas. The recurring stems are a polynomial evaluated at a complex x (answered by its minimal quadratic, never by substitution), a cube of a binomial, an equation solved for z by equating parts, and a determinant or power built on the cube roots of unity. Two of them carry stems the bank had garbled — a cube read as a division, an argument's denominator misprinted — both now repaired against the papers.

Concept 1 of 6: Powers of i and the Standard Form x + iy

i2=−1i^2 = -1, so i3=−ii^3 = -i and i4=1i^4 = 1: the powers of ii cycle with period 44. Any ini^n is one of 1,i,−1,−i1, i, -1, -i, decided by n mod 4n \bmod 4.

Definition

  • i4k=1i^{4k} = 1, i4k+1=ii^{4k+1} = i, i4k+2=−1i^{4k+2} = -1, i4k+3=−ii^{4k+3} = -i. So i40=1i^{40} = 1, i35=i32⋅i3=−ii^{35} = i^{32}\cdot i^3 = -i, i17=ii^{17} = i.
  • Collect real and imaginary parts separately: 4i40−5i35+6i17+2=4+5i+6i+2=6+11i4i^{40} - 5i^{35} + 6i^{17} + 2 = 4 + 5i + 6i + 2 = 6 + 11i.
  • Addition is componentwise; multiplication is FOIL with i2=−1i^2 = -1: (a+ib)(c+id)=(ac−bd)+i(ad+bc)(a + ib)(c + id) = (ac - bd) + i(ad + bc).
  • −3=i3\sqrt{-3} = i\sqrt3; a stem written with −1\sqrt{-1} means ii.
  • Two complex numbers are equal iff both real parts and both imaginary parts agree — the tool behind every 'find xx and yy' stem.

Cycle of powers of i

i2=−1,i3=−i,i4=1,in=i n mod 4i^2 = -1,\quad i^3 = -i,\quad i^4 = 1,\qquad i^n = i^{\,n \bmod 4}

Worked example

Simplify 3i22+2i15−i9+73i^{22} + 2i^{15} - i^{9} + 7.
Practise this conceptself-check · 4 quick reps

The same idea in a real exam question:

MHT-CET · 2024 · 9th May Shift 1 · Q110Moderate

Example 1 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

If Z1=4i40−5i35+6i17+2Z_1=4i^{40}-5i^{35}+6i^{17}+2, Z2=−1+iZ_2=-1+i, where i=−1i=\sqrt{-1}, then ∣Z1+Z2∣=|Z_1+Z_2|=

i³ = i, and other lapses in the cycle

i3=i2⋅i=−ii^3 = i^2\cdot i = -i. Reading i35i^{35} as ii instead of −i-i flips a sign in the imaginary part and lands on the wrong modulus, which is always offered.

Concept 2 of 6: The Conjugate: Rationalising a Denominator and Equating Conjugates

zzˉ=∣z∣2z\bar z = |z|^2 is a real number, so multiplying top and bottom of a fraction by the conjugate of the denominator makes the denominator real — the single move that clears almost every fraction in the chapter.

Definition

  • zˉ=x−iy\bar z = x - iy; zzˉ=x2+y2=∣z∣2z\bar z = x^2 + y^2 = |z|^2; z1/z2‾=zˉ1/zˉ2\overline{z_1/z_2} = \bar z_1/\bar z_2.
  • 2−i3+4i=(2−i)(3−4i)25=2−11i25\dfrac{2 - i}{3 + 4i} = \dfrac{(2 - i)(3 - 4i)}{25} = \dfrac{2 - 11i}{25}: then read off a=225a = \frac{2}{25}, b=−1125b = -\frac{11}{25} and compute the asked combination.
  • Conjugates of each other: z1=zˉ2z_1 = \bar z_2 means real parts equal and imaginary parts negatives. For (3x+2)−(5y−3)i(3x + 2) - (5y - 3)i and (6x+3)+(2y−4)i(6x + 3) + (2y - 4)i: 3x+2=6x+33x + 2 = 6x + 3 and 5y−3=2y−45y - 3 = 2y - 4.
  • Trigonometric pairs: sin⁡x+icos⁡2x\sin x + i\cos 2x and cos⁡x−isin⁡2x\cos x - i\sin 2x are conjugates iff sin⁡x=cos⁡x\sin x = \cos x AND cos⁡2x=sin⁡2x\cos 2x = \sin 2x — two conditions that may have no common solution.

Conjugate identities

zzˉ=∣z∣2z1z2=z1zˉ2∣z2∣2z1=zˉ2  ⟺  Re⁡z1=Re⁡z2, Im⁡z1=−Im⁡z2z\bar z = |z|^2 \qquad \frac{z_1}{z_2} = \frac{z_1\bar z_2}{|z_2|^2} \qquad z_1 = \bar z_2 \iff \operatorname{Re}z_1 = \operatorname{Re}z_2,\ \operatorname{Im}z_1 = -\operatorname{Im}z_2

Worked example

Write 3+2i1−i\dfrac{3 + 2i}{1 - i} in the form a+iba + ib.
Practise this conceptself-check · 4 quick reps

The same idea in a real exam question:

MHT-CET · 2024 · 9th May Shift 2 · Q132Moderate

Example 2 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

If Z1=2+iZ_1 = 2+i and Z2=3−4iZ_2 = 3-4i and Z1‾Z2‾=a+bi\dfrac{\overline{Z_1}}{\overline{Z_2}} = a+bi, then the value of −7a+b-7a + b is (where i=−1i = \sqrt{-1} and a,b∈Ra,b \in \mathbb{R})

Conjugating only the numerator

Z1‾/Z2‾\overline{Z_1}/\overline{Z_2} needs BOTH conjugates before the division; and the division itself still needs a second conjugate multiplication to clear the denominator. Two conjugations, not one.

Concept 3 of 6: Purely Real or Purely Imaginary: Set the Other Part to Zero

After rationalising, a complex expression has a real part and an imaginary part in the variable. 'Purely imaginary' means the real part is 00; 'purely real' means the imaginary part is 00. That equation is the whole question.

Definition

  • Rationalise first, then separate: 3+2isin⁡θ1−2isin⁡θ=(3−4sin⁡2θ)+8isin⁡θ1+4sin⁡2θ\dfrac{3 + 2i\sin\theta}{1 - 2i\sin\theta} = \dfrac{(3 - 4\sin^2\theta) + 8i\sin\theta}{1 + 4\sin^2\theta}.
  • Purely imaginary ⇒3−4sin⁡2θ=0⇒sin⁡2θ=34⇒θ=nπ±π3\Rightarrow 3 - 4\sin^2\theta = 0 \Rightarrow \sin^2\theta = \dfrac34 \Rightarrow \theta = n\pi \pm \dfrac{\pi}{3}.
  • Purely real would instead need 8sin⁡θ=08\sin\theta = 0, i.e. θ=nπ\theta = n\pi.
  • Write the general solution in the form the options use: sin⁡2θ=sin⁡2α⇒θ=nπ±α\sin^2\theta = \sin^2\alpha \Rightarrow \theta = n\pi \pm \alpha.

Real and imaginary conditions

z purely imaginary  ⟺  Re⁡z=0z purely real  ⟺  Im⁡z=0sin⁡2θ=sin⁡2α⇒θ=nπ±αz \text{ purely imaginary} \iff \operatorname{Re}z = 0 \qquad z \text{ purely real} \iff \operatorname{Im}z = 0 \qquad \sin^2\theta = \sin^2\alpha \Rightarrow \theta = n\pi \pm \alpha

Worked example

For what real aa is a+2i1+i\dfrac{a + 2i}{1 + i} purely imaginary?
Practise this conceptself-check · 4 quick reps

The same idea in a real exam question:

MHT-CET · 2025 · 22 April Shift II · Q115Moderate

Example 3 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

z=3+2isinθ1−2isinθ,(i=−1)z =\frac{3 + 2isin\theta}{1 - 2isin\theta},(i =\sqrt{- 1}) will be purely imaginary if θ=\theta =

Setting the imaginary part to zero for 'purely imaginary'

Purely imaginary means NO real part. The condition is Re⁡=0\operatorname{Re} = 0; solving Im⁡=0\operatorname{Im} = 0 gives θ=nπ\theta = n\pi, which is offered as option (D).

Concept 4 of 6: Solving for z: Put z = x + iy and Equate Parts

An equation in zz is two real equations in disguise — one from the real parts, one from the imaginary parts. With z=x+iyz = x + iy (and any given value of xx or yy substituted early), the two equations fix the unknowns.

Definition

  • 2z−n2z+n=2i−1\dfrac{2z - n}{2z + n} = 2i - 1: cross-multiply, 2z−n=(2i−1)(2z+n)2z - n = (2i - 1)(2z + n), collect zz: 4z(1−i)=2in4z(1 - i) = 2in, so z=in2(1−i)=in(1+i)4=−n4+n4iz = \dfrac{in}{2(1 - i)} = \dfrac{in(1 + i)}{4} = -\dfrac{n}{4} + \dfrac{n}{4}i.
  • Given Im⁡z=10\operatorname{Im}z = 10: n4=10⇒n=40\dfrac{n}{4} = 10 \Rightarrow n = 40, and then Re⁡z=−10\operatorname{Re}z = -10.
  • Alternatively substitute z=x+10iz = x + 10i at the start and equate parts of (2x−n)+20i=(2i−1)(2x+n+20i)(2x - n) + 20i = (2i - 1)(2x + n + 20i).
  • Either way the answer is a pair (n,Re⁡z)(n, \operatorname{Re}z); check both against the option.

Equating parts

a+ib=c+id  ⟺  a=c and b=d11−i=1+i2a + ib = c + id \iff a = c \text{ and } b = d \qquad \frac{1}{1 - i} = \frac{1 + i}{2}

Worked example

Solve z−2z+2=i\dfrac{z - 2}{z + 2} = i for zz.
Practise this conceptself-check

The same idea in a real exam question:

MHT-CET · 2025 · 25 April Shift I · Q129Hard

Example 4 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

Let z be the complex number with Im(z)=10Im(z) = 10 and satisfying 2z−n2z+n=2i−1\frac{2z-n}{2z+n}= 2i- 1, where i=−1i=\sqrt{- 1}, for some natural number ' nn ' then

Dividing by 1 − i without rationalising

in2(1−i)\dfrac{in}{2(1 - i)} is not yet in standard form; multiply by 1+i1+i\dfrac{1 + i}{1 + i} first. Reading the real part off the un-rationalised form gives Re⁡z=0\operatorname{Re}z = 0 and a wrong sign on nn.

Concept 5 of 6: A Polynomial at a Complex x: Use Its Minimal Quadratic, and Cube Expansions

x=1+2ix = 1 + 2i satisfies x2−2x+5=0x^2 - 2x + 5 = 0. Divide the given polynomial by that quadratic; the remainder is the value, and substituting 1+2i1 + 2i directly into a quartic is never necessary.

Definition

  • From x=a+ibx = a + ib: (x−a)2=−b2(x - a)^2 = -b^2, i.e. x2−2ax+(a2+b2)=0x^2 - 2ax + (a^2 + b^2) = 0 — the minimal quadratic. For x=1+2ix = 1 + 2i: x2−2x+5=0x^2 - 2x + 5 = 0; for x=−2+3ix = -2 + \sqrt3 i: x2+4x+7=0x^2 + 4x + 7 = 0.
  • Divide the polynomial by the quadratic (long division); p(x)=q(x)⋅(quadratic)+r(x)p(x) = q(x)\cdot(\text{quadratic}) + r(x), and p(x)=r(x)p(x) = r(x) at the root. 2x4+5x3+7x2−x+38=(x2+4x+7)(2x2−3x+5)+32x^4 + 5x^3 + 7x^2 - x + 38 = (x^2 + 4x + 7)(2x^2 - 3x + 5) + 3, so the value is 33.
  • Cubes: (−2−13i)3=(−6−i)327\left(-2 - \frac13 i\right)^3 = \dfrac{(-6 - i)^3}{27} and (−6−i)3=−216−108i+18+i=−198−107i(-6 - i)^3 = -216 - 108i + 18 + i = -198 - 107i by the binomial expansion with i2=−1i^2 = -1, i3=−ii^3 = -i.
  • Cube root written as p+iqp + iq: z=(p+iq)3=(p3−3pq2)+i(3p2q−q3)z = (p + iq)^3 = (p^3 - 3pq^2) + i(3p^2q - q^3), so xp+yq=(p2−3q2)+(3p2−q2)=4(p2−q2)\dfrac{x}{p} + \dfrac{y}{q} = (p^2 - 3q^2) + (3p^2 - q^2) = 4(p^2 - q^2).

Minimal quadratic and the cube

x=a+ib⇒x2−2ax+(a2+b2)=0(p+iq)3=(p3−3pq2)+i(3p2q−q3)x = a + ib \Rightarrow x^2 - 2ax + (a^2 + b^2) = 0 \qquad (p + iq)^3 = (p^3 - 3pq^2) + i(3p^2q - q^3)

Worked example

If x=2+ix = 2 + i, find the value of x3−3x2+4x+1x^3 - 3x^2 + 4x + 1.
Practise this conceptself-check · 4 quick reps

The same idea in a real exam question:

MHT-CET · 2025 · 23 April Shift I · Q146Moderate

Example 5 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

If x=−2+−3x= - 2 +\sqrt{- 3}, then the value of 2x4+5x3+7x2−x+382x^{4}+ 5x^{3}+ 7x^{2}-x+ 38 is equal to

Substituting the complex number directly

Raising 1+2i1 + 2i to the fourth power by hand invites a sign error at every step. The minimal quadratic reduces the polynomial to its remainder in two lines of long division.

Concept 6 of 6: Cube Roots of Unity: ω³ = 1 and 1 + ω + ω² = 0

z3=1z^3 = 1 has three roots: 11, ω\omega and ω2\omega^2, spaced 120∘120^\circ apart on the unit circle. Two facts — ω3=1\omega^3 = 1 and 1+ω+ω2=01 + \omega + \omega^2 = 0 — reduce any expression in ω\omega to a number times ω\omega or ω2\omega^2.

Definition

  • ω=−1+i32\omega = \dfrac{-1 + i\sqrt3}{2}, ω2=−1−i32=ωˉ\omega^2 = \dfrac{-1 - i\sqrt3}{2} = \bar\omega; either may be called ω\omega in a stem.
  • ω3=1\omega^3 = 1: reduce every exponent modulo 33 — ω4=ω\omega^4 = \omega, ω100=ω\omega^{100} = \omega. 1+ω+ω2=01 + \omega + \omega^2 = 0: so 1+ω=−ω21 + \omega = -\omega^2, ω+ω2=−1\omega + \omega^2 = -1, 1ω=ω2\dfrac1\omega = \omega^2.
  • 3+ω+3ω2=3(1+ω2)+ω=−3ω+ω=−2ω3 + \omega + 3\omega^2 = 3(1 + \omega^2) + \omega = -3\omega + \omega = -2\omega, so (3+ω+3ω2)4=16ω4=16ω(3 + \omega + 3\omega^2)^4 = 16\omega^4 = 16\omega.
  • z2+z+1=0z^2 + z + 1 = 0 means z=ωz = \omega: then z3+z−3=2z^3 + z^{-3} = 2 and z4+z−4=ω+ω2=−1z^4 + z^{-4} = \omega + \omega^2 = -1.
  • Determinants in ω\omega: a row or column summing to 1+ω+ω2=01 + \omega + \omega^2 = 0 makes the determinant 00 (add all columns into one); otherwise expand and reduce — ∣1111ωω21ω2ω∣=3ω(ω−1)\begin{vmatrix} 1 & 1 & 1 \\ 1 & \omega & \omega^2 \\ 1 & \omega^2 & \omega \end{vmatrix} = 3\omega(\omega - 1) after replacing −1−ω2-1 - \omega^2 by ω\omega and ω4\omega^4 by ω\omega.

The two facts

ω3=1,1+ω+ω2=0,ωn=ω n mod 3,ωˉ=ω2=1ω\omega^3 = 1, \qquad 1 + \omega + \omega^2 = 0, \qquad \omega^n = \omega^{\,n \bmod 3}, \qquad \bar\omega = \omega^2 = \frac{1}{\omega}
1ωω²120°1 + ω + ω² = 0

Worked example

Evaluate (1+ω−ω2)3(1 + \omega - \omega^2)^{3}.
Practise this conceptself-check · 4 quick reps

The same idea in a real exam question:

MHT-CET · 2023 · 10th May Shift 1 · Q134Moderate

Example 6 · Complex Numbers · Algebra of Complex Numbers — Conjugates, Powers of i and Cube Roots of Unity

If w=−1+i32w=\frac{-1+i\sqrt{3}}{2}, where i=−1i=\sqrt{-1}, then the value of (3+w+3w2)4(3+w+3w^2)^4 is

Stopping at ω⁴

16ω416\omega^4 is not an option; 16ω16\omega is. Reduce every exponent modulo 33 before matching, and remember ω2\omega^2 is a different option from ω\omega.

Summary — formulas & gotchas at a glance

A revision cheat-sheet for the formulas and gotchas above. Click any concept name to jump back to its full explanation.

Formulas (6)

  • Powers of i and the Standard Form x + iy

    Cycle of powers of i

    i2=−1,i3=−i,i4=1,in=i n mod 4i^2 = -1,\quad i^3 = -i,\quad i^4 = 1,\qquad i^n = i^{\,n \bmod 4}
  • The Conjugate: Rationalising a Denominator and Equating Conjugates

    Conjugate identities

    zzˉ=∣z∣2z1z2=z1zˉ2∣z2∣2z1=zˉ2  ⟺  Re⁡z1=Re⁡z2, Im⁡z1=−Im⁡z2z\bar z = |z|^2 \qquad \frac{z_1}{z_2} = \frac{z_1\bar z_2}{|z_2|^2} \qquad z_1 = \bar z_2 \iff \operatorname{Re}z_1 = \operatorname{Re}z_2,\ \operatorname{Im}z_1 = -\operatorname{Im}z_2
  • Purely Real or Purely Imaginary: Set the Other Part to Zero

    Real and imaginary conditions

    z purely imaginary  ⟺  Re⁡z=0z purely real  ⟺  Im⁡z=0sin⁡2θ=sin⁡2α⇒θ=nπ±αz \text{ purely imaginary} \iff \operatorname{Re}z = 0 \qquad z \text{ purely real} \iff \operatorname{Im}z = 0 \qquad \sin^2\theta = \sin^2\alpha \Rightarrow \theta = n\pi \pm \alpha
  • Solving for z: Put z = x + iy and Equate Parts

    Equating parts

    a+ib=c+id  ⟺  a=c and b=d11−i=1+i2a + ib = c + id \iff a = c \text{ and } b = d \qquad \frac{1}{1 - i} = \frac{1 + i}{2}
  • A Polynomial at a Complex x: Use Its Minimal Quadratic, and Cube Expansions

    Minimal quadratic and the cube

    x=a+ib⇒x2−2ax+(a2+b2)=0(p+iq)3=(p3−3pq2)+i(3p2q−q3)x = a + ib \Rightarrow x^2 - 2ax + (a^2 + b^2) = 0 \qquad (p + iq)^3 = (p^3 - 3pq^2) + i(3p^2q - q^3)
  • Cube Roots of Unity: ω³ = 1 and 1 + ω + ω² = 0

    The two facts

    ω3=1,1+ω+ω2=0,ωn=ω n mod 3,ωˉ=ω2=1ω\omega^3 = 1, \qquad 1 + \omega + \omega^2 = 0, \qquad \omega^n = \omega^{\,n \bmod 3}, \qquad \bar\omega = \omega^2 = \frac{1}{\omega}

Watch out for (6)

Test yourself on Complex Numbers

15 past MHT-CET questions from this chapter, timed at 27 minutes and marked the way the exam marks it. You see your score and every answer the moment you finish. Free to start.

Related notes