Two Structural Tools

For z=a+ibz = a + ib:

Key Point (Definitions): The modulus of z is the non-negative real number z=a2+b2|z| = \sqrt{a^2 + b^2}. The conjugate of z is the complex number zˉ=aib\bar{z} = a - ib (flip the sign of the imaginary part only).

Examples: 3+i=9+1=10|3 + i| = \sqrt{9 + 1} = \sqrt{10}; 25i=4+25=29|2 - 5i| = \sqrt{4 + 25} = \sqrt{29}; 3+i=3i\overline{3 + i} = 3 - i; 25i=2+5i\overline{2 - 5i} = 2 + 5i; 3i5=3i5\overline{-3i - 5} = 3i - 5.

The workhorse identity

zzˉ=(a+ib)(aib)=a2+b2=z2z\bar{z} = (a + ib)(a - ib) = a^2 + b^2 = |z|^2

A complex number times its own conjugate is a real number — the squared modulus. Immediate payoff: the multiplicative inverse in one line,

z1=1z=zˉzzˉ=zˉz2z^{-1} = \frac{1}{z} = \frac{\bar{z}}{z\bar{z}} = \frac{\bar{z}}{|z|^2}

Property tables for modulus and conjugate of complex numbers

[Board Important] Two instant tests worth quoting: z is REAL     z=zˉ\iff z = \bar{z}; z is PURELY IMAGINARY     z+zˉ=0\iff z + \bar{z} = 0 (with z \neq 0). Also z+zˉ=2Rezz + \bar{z} = 2\,\text{Re}\,z and zzˉ=2iImzz - \bar{z} = 2i\,\text{Im}\,z.

The Property Toolkit

For any complex numbers z1z_1, z2z_2 (with z20z_2 \neq 0 where it appears in a denominator):

Modulus rules:

  • z1z2=z1z2|z_1 z_2| = |z_1|\,|z_2| — moduli multiply
  • z1z2=z1z2\left|\dfrac{z_1}{z_2}\right| = \dfrac{|z_1|}{|z_2|} — and divide
  • z=zˉ=z|z| = |\bar{z}| = |-z|; and z=0    z=0|z| = 0 \iff z = 0

Conjugate rules:

  • z1z2=zˉ1zˉ2\overline{z_1 z_2} = \bar{z}_1\,\bar{z}_2 and (z1z2)=zˉ1zˉ2\overline{\left(\dfrac{z_1}{z_2}\right)} = \dfrac{\bar{z}_1}{\bar{z}_2}
  • z1±z2=zˉ1±zˉ2\overline{z_1 \pm z_2} = \bar{z}_1 \pm \bar{z}_2
  • zˉ=z\overline{\bar{z}} = z (conjugating twice restores z)

The practical meaning: conjugates and moduli pass through products and quotients term by term. To find (32i)(2+3i)(1+2i)(2i)\left|\frac{(3-2i)(2+3i)}{(1+2i)(2-i)}\right|, never expand — compute 131355=135\frac{\sqrt{13}\sqrt{13}}{\sqrt{5}\sqrt{5}} = \frac{13}{5} directly.

Four step flow of rationalising a quotient by the conjugate

[JEE Tip] Modulus questions about horrendous quotients are gifts: apply z1z2=z1z2|z_1z_2| = |z_1||z_2| factor-wise and skip all expansion. Conjugate questions distribute the bar the same way. Expansion is only for questions demanding the actual a + ib form.

Solved Examples

Example 1: Multiplicative inverse

Find the multiplicative inverse of 23i2 - 3i.

Solution:

Step 1 — Write the conjugate and the squared modulus. zˉ=2+3i\bar{z} = 2 + 3i and z2=22+(3)2=13|z|^2 = 2^2 + (-3)^2 = 13.

Step 2 — Apply the formula. z1=zˉz2=2+3i13=213+313iz^{-1} = \frac{\bar{z}}{|z|^2} = \frac{2 + 3i}{13} = \frac{2}{13} + \frac{3}{13}i.

Step 3 — Check by multiplying. (23i)(2+3i13)=4+913=1(2 - 3i)\left(\frac{2 + 3i}{13}\right) = \frac{4 + 9}{13} = 1 ✓.

Takeaway: Inverse = conjugate over modulus-squared, verified by one multiplication.

Example 2: A quotient to standard form

Express 5+2i12i\frac{5 + \sqrt{2}i}{1 - \sqrt{2}i} in the form a+iba + ib.

Solution:

Step 1 — Multiply top and bottom by the conjugate of the denominator. (5+2i)(1+2i)(12i)(1+2i)\frac{(5 + \sqrt{2}i)(1 + \sqrt{2}i)}{(1 - \sqrt{2}i)(1 + \sqrt{2}i)}.

Step 2 — The denominator turns real. 1(2i)2=1+2=31 - (\sqrt{2}i)^2 = 1 + 2 = 3.

Step 3 — Expand the numerator. 5+52i+2i+2i2=3+62i5 + 5\sqrt{2}i + \sqrt{2}i + 2i^2 = 3 + 6\sqrt{2}i.

Step 4 — Divide. 3+62i3=1+22i\frac{3 + 6\sqrt{2}i}{3} = 1 + 2\sqrt{2}i.

Takeaway: The denominator 1(2i)2=31 - (\sqrt{2}i)^2 = 3 is real by design — that is the conjugate trick working.

Example 3: Inverse of −i

Find the multiplicative inverse of i-i.

Solution:

Step 1 — Conjugate and modulus. i=i\overline{-i} = i and i2=02+(1)2=1|-i|^2 = 0^2 + (-1)^2 = 1.

Step 2 — Apply the formula. z1=i1=iz^{-1} = \frac{i}{1} = i.

Step 3 — Check. (i)(i)=i2=1(-i)(i) = -i^2 = 1 ✓.

Takeaway: Unit-modulus numbers have inverse = conjugate.

Example 4: Two inverses with surds

Find the multiplicative inverses of (i) 43i4 - 3i (ii) 5+3i\sqrt{5} + 3i.

Solution:

Step 1 — (i) Modulus squared. z2=16+9=25|z|^2 = 16 + 9 = 25.

Step 2 — Formula. z1=4+3i25=425+325iz^{-1} = \frac{4 + 3i}{25} = \frac{4}{25} + \frac{3}{25}i.

Step 3 — (ii) Modulus squared. z2=5+9=14|z|^2 = 5 + 9 = 14.

Step 4 — Formula. z1=53i14=514314iz^{-1} = \frac{\sqrt{5} - 3i}{14} = \frac{\sqrt{5}}{14} - \frac{3}{14}i.

Takeaway: The formula handles surds without complaint.

Example 5: Modulus of a quotient, no expansion

Find (32i)(2+3i)(1+2i)(2i)\left|\frac{(3 - 2i)(2 + 3i)}{(1 + 2i)(2 - i)}\right|.

Solution:

Step 1 — Take moduli factor-wise. 32i=13|3 - 2i| = \sqrt{13}, 2+3i=13|2 + 3i| = \sqrt{13}, 1+2i=5|1 + 2i| = \sqrt{5}, 2i=5|2 - i| = \sqrt{5}.

Step 2 — Multiply and divide. 131355=135\frac{\sqrt{13} \cdot \sqrt{13}}{\sqrt{5} \cdot \sqrt{5}} = \frac{13}{5}.

Takeaway: Four multiplications avoided entirely — z1z2=z1z2|z_1z_2| = |z_1||z_2| is the fastest tool in the chapter.

Example 6: Conjugate of a quotient

Find the conjugate of (32i)(2+3i)(1+2i)(2i)\frac{(3 - 2i)(2 + 3i)}{(1 + 2i)(2 - i)}.

Solution:

Step 1 — Expand top and bottom. Top: (32i)(2+3i)=6+9i4i6i2=12+5i(3 - 2i)(2 + 3i) = 6 + 9i - 4i - 6i^2 = 12 + 5i. Bottom: (1+2i)(2i)=2i+4i2i2=4+3i(1 + 2i)(2 - i) = 2 - i + 4i - 2i^2 = 4 + 3i.

Step 2 — Rationalise the quotient. 12+5i4+3i×43i43i=4836i+20i+1516+9=6316i25\frac{12 + 5i}{4 + 3i} \times \frac{4 - 3i}{4 - 3i} = \frac{48 - 36i + 20i + 15}{16 + 9} = \frac{63 - 16i}{25}.

Step 3 — Flip the imaginary sign. (6316i25)=6325+1625i\overline{\left(\frac{63 - 16i}{25}\right)} = \frac{63}{25} + \frac{16}{25}i.

Takeaway: Here the a + ib form IS needed, so expansion is unavoidable; the conjugate then just flips one sign.

Example 7: The x² + y² = 1 classic

If x+iy=a+ibaibx + iy = \frac{a + ib}{a - ib}, prove that x2+y2=1x^2 + y^2 = 1.

Solution:

Step 1 — Take moduli of both sides. x+iy=a+ibaib|x + iy| = \frac{|a + ib|}{|a - ib|}.

Step 2 — Conjugates share a modulus. Both are a2+b2\sqrt{a^2 + b^2}, so the quotient is 1: x+iy=1|x + iy| = 1.

Step 3 — Square. x2+y2=1x^2 + y^2 = 1. ∎

Takeaway: Two lines by moduli (the expansion route takes ten). z=1|z| = 1 statements are always modulus statements in disguise.

Example 8: The generalised version

If xiy=aibcidx - iy = \sqrt{\frac{a - ib}{c - id}}, prove that (x2+y2)2=a2+b2c2+d2(x^2 + y^2)^2 = \frac{a^2 + b^2}{c^2 + d^2}.

Solution:

Step 1 — Clear the square root. (xiy)2=aibcid(x - iy)^2 = \frac{a - ib}{c - id}.

Step 2 — Take moduli. xiy2=aibcid|x - iy|^2 = \frac{|a - ib|}{|c - id|}, i.e. x2+y2=a2+b2c2+d2x^2 + y^2 = \frac{\sqrt{a^2 + b^2}}{\sqrt{c^2 + d^2}}.

Step 3 — Square again. (x2+y2)2=a2+b2c2+d2(x^2 + y^2)^2 = \frac{a^2 + b^2}{c^2 + d^2}. ∎

Takeaway: The same modulus trick, applied after clearing the square root.

Example 9: Product of four factors

If (a+ib)(c+id)(e+if)(g+ih)=A+iB(a + ib)(c + id)(e + if)(g + ih) = A + iB, show that (a2+b2)(c2+d2)(e2+f2)(g2+h2)=A2+B2(a^2 + b^2)(c^2 + d^2)(e^2 + f^2)(g^2 + h^2) = A^2 + B^2.

Solution:

Step 1 — Take moduli of both sides. a+ibc+ide+ifg+ih=A+iB|a + ib|\,|c + id|\,|e + if|\,|g + ih| = |A + iB|, since moduli multiply across any number of factors.

Step 2 — Square both sides. Each 2|\cdot|^2 becomes its sum of squares: (a2+b2)(c2+d2)(e2+f2)(g2+h2)=A2+B2(a^2+b^2)(c^2+d^2)(e^2+f^2)(g^2+h^2) = A^2 + B^2. ∎

Takeaway: The identity z1z2=z1z2|z_1z_2| = |z_1||z_2| extends to any number of factors; squaring finishes it.

Example 10: Modulus of a difference of quotients

Find the modulus of 1+i1i1i1+i\frac{1 + i}{1 - i} - \frac{1 - i}{1 + i}.

Solution:

Step 1 — Recognise the standard quotients. 1+i1i=i\frac{1+i}{1-i} = i and 1i1+i=i\frac{1-i}{1+i} = -i.

Step 2 — Subtract. i(i)=2ii - (-i) = 2i.

Step 3 — Take the modulus. 2i=2|2i| = 2.

Takeaway: Recognising the two standard quotients turns this into mental arithmetic.

Example 11: Conjugate detective work

Find real numbers x and y if (xiy)(3+5i)(x - iy)(3 + 5i) is the conjugate of 624i-6 - 24i.

Solution:

Step 1 — Write down the target. 624i=6+24i\overline{-6 - 24i} = -6 + 24i.

Step 2 — Expand the left side. (xiy)(3+5i)=3x+5xi3yi5yi2=(3x+5y)+i(5x3y)(x - iy)(3 + 5i) = 3x + 5xi - 3yi - 5yi^2 = (3x + 5y) + i(5x - 3y).

Step 3 — Match real and imaginary parts. 3x+5y=63x + 5y = -6 and 5x3y=245x - 3y = 24.

Step 4 — Solve the system. Multiply the first by 3 and the second by 5: 9x+15y=189x + 15y = -18 and 25x15y=12025x - 15y = 120; adding, 34x=10234x = 102, so x=3x = 3, and then y=695=3y = \frac{-6 - 9}{5} = -3.

Step 5 — Check. (3+3i)(3+5i)=9+15i+9i15=6+24i(3 + 3i)(3 + 5i) = 9 + 15i + 9i - 15 = -6 + 24i ✓.

Takeaway: "Is the conjugate of" just fixes the right-hand side; then it is equality of complex numbers again.

Example 12: A real-quotient condition

Find real y such that 1+iy1iy\frac{1 + iy}{1 - iy} has modulus 1, and show this holds for every real y.

Solution:

Step 1 — Take moduli. 1+iy1iy=1+y21+y2=1\left|\frac{1 + iy}{1 - iy}\right| = \frac{\sqrt{1 + y^2}}{\sqrt{1 + y^2}} = 1 for ALL real y.

Step 2 — See why. Numerator and denominator are conjugates of each other, and conjugates share a modulus.

Takeaway: A quotient of conjugates always lies on the unit circle — a fact reused in the β−α problem below.

Example 13: The unit-modulus quotient

If α\alpha and β\beta are different complex numbers with β=1|\beta| = 1, find βα1αˉβ\left|\frac{\beta - \alpha}{1 - \bar{\alpha}\beta}\right|.

Solution:

Step 1 — Replace the 1 in the denominator. β=1|\beta| = 1 means ββˉ=1\beta\bar{\beta} = 1, so 1αˉβ=ββˉαˉβ1 - \bar{\alpha}\beta = \beta\bar{\beta} - \bar{\alpha}\beta.

Step 2 — Factor out β. =β(βˉαˉ)=β(βα)= \beta(\bar{\beta} - \bar{\alpha}) = \beta\,\overline{(\beta - \alpha)}.

Step 3 — Take moduli. βαβ(βα)=βαββα=βα1βα=1\left|\frac{\beta - \alpha}{\beta\overline{(\beta - \alpha)}}\right| = \frac{|\beta - \alpha|}{|\beta|\,|\overline{\beta - \alpha}|} = \frac{|\beta - \alpha|}{1 \cdot |\beta - \alpha|} = 1.

Final Answer: 1.

Takeaway: A JEE favourite — factor β out of the denominator using ββˉ=1\beta\bar{\beta} = 1, and the moduli cancel.

Example 14: Counting solutions

Find the number of non-zero integral solutions of 1ix=2x|1 - i|^x = 2^x.

Solution:

Step 1 — Compute the modulus. 1i=1+1=2=21/2|1 - i| = \sqrt{1 + 1} = \sqrt{2} = 2^{1/2}.

Step 2 — Rewrite with equal bases. 2x/2=2x2^{x/2} = 2^x.

Step 3 — Equate exponents. x2=x\frac{x}{2} = x gives x=0x = 0 — but the question demands NON-ZERO solutions.

Step 4 — Conclude. There are no non-zero integral solutions: the count is 0.

Takeaway: Reduce to equal bases, and read the question's fine print ("non-zero").