HOME/NOTES/CONCEPT

Complex Numbers for JEE: Notes, Modulus, Argument, Roots of Unity and PYQs

Ritesh Raj · 12 Nov 2026
Aa
43 min read45 sectionsConcept

The equation x2+1=0x^2+1=0 has no real root, because the square of a real number is never negative. Mathematicians added one new number ii with i2=−1i^2=-1 and found that every polynomial equation then has a root. The resulting numbers a+iba+ib add, multiply and divide like real numbers, carry a length and a direction, and turn rotation in the plane into a single multiplication. That is why complex numbers appear in quadratics, trigonometric sums, roots of unity and coordinate geometry.

This note covers the powers of ii, the algebra of a+iba+ib and equality, real and imaginary parts, the conjugate and its properties, the modulus with the triangle inequality and the parallelogram law, the argument and the principal argument, polar and Euler form, square roots, solving equations in zz, De Moivre's theorem, the cube roots of unity, the nnth roots of unity, and quadratic equations with complex roots or coefficients. Geometry in the Argand plane (rotation, lines, circles and loci) is summarised in one short section and developed fully in the Complex Numbers in Coordinate Geometry note. Each section ends with worked examples from JEE Main, JEE Advanced and IIT JEE papers, graded from easy to hard.

The number ii and its powers

The imaginary unit ii is defined by

i2=−1i^2=-1

so i=−1i=\sqrt{-1}. For a positive real aa, the square root of −a-a is

−a=ia\sqrt{-a}=i\sqrt a

A number of the form ibib with bb real and b≠0b\neq0 is called purely imaginary.

Powers of ii

Multiplying by ii again and again gives a cycle of length 44:

i1=i,i2=−1,i3=−i,i4=1i^1=i,\quad i^2=-1,\quad i^3=-i,\quad i^4=1

So for any integer nn, write n=4q+rn=4q+r with r∈{0,1,2,3}r\in\{0,1,2,3\}. Then

in=i4q+r=(i4)qir=iri^n=i^{4q+r}=\left(i^4\right)^q i^r=i^r

The same rule works for negative nn: i−1=1i=−ii^{-1}=\frac1i=-i because i⋅(−i)=1i\cdot(-i)=1.

The four powers of i on the unit circle, each a quarter turn from the previous one

Four consecutive powers always add to zero:

in+in+1+in+2+in+3i^n+i^{n+1}+i^{n+2}+i^{n+3} =in(1+i−1−i)=0=i^n(1+i-1-i)=0
n mod 4n \bmod 400112233
ini^n11ii−1-1−i-i
The rule $\sqrt a\sqrt b=\sqrt{ab}$ needs $a,b\ge0$

For two negative numbers it is false. −4⋅−9=(2i)(3i)=6i2=−6\sqrt{-4}\cdot\sqrt{-9}=(2i)(3i)=6i^2=-6, while (−4)(−9)=36=6\sqrt{(-4)(-9)}=\sqrt{36}=6. Always write −a=ia\sqrt{-a}=i\sqrt a first, then multiply.

Examples

Example 1. The value of i57+i70+i−3+i−102i^{57}+i^{70}+i^{-3}+i^{-102} is

Tap an option to check your answer
(A)−2+2i-2+2i
(B)2i2i
(C)−2-2
(D)00
▸ SHOW SOLUTION

Step 1. Reduce each power modulo 4

57=4⋅14+157=4\cdot14+1, so i57=ii^{57}=i. 70=4⋅17+270=4\cdot17+2, so i70=−1i^{70}=-1.

i−3=i−4⋅i=ii^{-3}=i^{-4}\cdot i=ii−102=i−104⋅i2=−1i^{-102}=i^{-104}\cdot i^{2}=-1

Step 2. Add

i−1+i−1=−2+2ii-1+i-1=-2+2i

Answer: option (A)

Example 2. Which of the following is correct?

Tap an option to check your answer
(A)−4 −9=6\sqrt{-4}\,\sqrt{-9}=6
(B)−4 −9=−6\sqrt{-4}\,\sqrt{-9}=-6
(C)(−4)(−9)=−6\sqrt{(-4)(-9)}=-6
(D)−4 −9=36\sqrt{-4}\,\sqrt{-9}=\sqrt{36}
▸ SHOW SOLUTION

Step 1. Write each root with ii

−4=2i,−9=3i\sqrt{-4}=2i,\qquad \sqrt{-9}=3i

Step 2. Multiply

−4 −9=6i2=−6\sqrt{-4}\,\sqrt{-9}=6i^2=-6

(−4)(−9)=36=6\sqrt{(-4)(-9)}=\sqrt{36}=6, the positive root. So (A), (C) and (D) are false.

Answer: option (B)

Example 3 (IITianForum). The value of ∑k=140i k!\displaystyle\sum_{k=1}^{40} i^{\,k!} is

Tap an option to check your answer
(A)35+i35+i
(B)36+i36+i
(C)3737
(D)35−i35-i
▸ SHOW SOLUTION

Step 1. The first three terms

1!=11!=1, 2!=22!=2, 3!=63!=6:

i1+i2+i6=i−1−1=i−2i^{1}+i^{2}+i^{6}=i-1-1=i-2

Step 2. The remaining terms

For k≥4k\ge4, k!k! contains the factor 44, so ik!=1i^{k!}=1. There are 40−3=3740-3=37 such terms.

Step 3. Add

(i−2)+37=35+i(i-2)+37=35+i

Answer: option (A)

Complex numbers: algebra and equality

A complex number is z=x+iyz=x+iy with x,yx,y real. The real number xx is the real part, Re(z)\mathrm{Re}(z), and the real number yy is the imaginary part, Im(z)\mathrm{Im}(z). Note that Im(z)\mathrm{Im}(z) is yy, not iyiy.

Formally, zz is the ordered pair (x,y)(x,y) of real numbers, and the set of all such pairs is C\mathbb C. The real numbers are the pairs (x,0)(x,0), and ii is the pair (0,1)(0,1).

Equality

Two complex numbers are equal exactly when both parts are equal:

a+ib=c+id  ⟺  a=c and b=da+ib=c+id\iff a=c\ \text{and}\ b=d

This is the most used fact of the chapter: one complex equation gives two real equations.

There is no order on $\mathbb C$

Statements like 3+2i>1+i3+2i>1+i or i>0i>0 have no meaning. Only real numbers can be compared. In a question, z1>z2z_1>z_2 means both are real. You may compare moduli, ∣z1∣>∣z2∣|z_1|>|z_2|, because those are real.

Operations

For z1=a+ibz_1=a+ib and z2=c+idz_2=c+id:

z1±z2=(a±c)+i(b±d)z_1\pm z_2=(a\pm c)+i(b\pm d) z1z2=(ac−bd)+i(ad+bc)z_1z_2=(ac-bd)+i(ad+bc)

The product follows from expanding and using i2=−1i^2=-1. To divide, multiply the numerator and the denominator by c−idc-id:

a+ibc+id=(a+ib)(c−id)c2+d2\frac{a+ib}{c+id}=\frac{(a+ib)(c-id)}{c^2+d^2}

The multiplicative inverse of z=a+ib≠0z=a+ib\neq0 is

1z=aa2+b2−i ba2+b2\frac1z=\frac{a}{a^2+b^2}-i\,\frac{b}{a^2+b^2}

Addition and multiplication are commutative and associative, multiplication distributes over addition, 00 and 11 are the identities, and every non-zero zz has an inverse.

Purely real and purely imaginary

zz is purely real when Im(z)=0\mathrm{Im}(z)=0 and purely imaginary when Re(z)=0\mathrm{Re}(z)=0, z≠0z\neq0. For a quotient, first put it in the form a+iba+ib and then set the required part to zero.

Examples

Example 4. If 3+2i1−i+(2−i)2=a+ib\dfrac{3+2i}{1-i}+(2-i)^2=a+ib with a,ba,b real, then 2(a−b)2(a-b) is equal to ______.

▸ SHOW SOLUTION

Step 1. The quotient

3+2i1−i=(3+2i)(1+i)2=1+5i2\frac{3+2i}{1-i}=\frac{(3+2i)(1+i)}{2}=\frac{1+5i}{2}

Step 2. The square

(2−i)2=4−4i+i2=3−4i(2-i)^2=4-4i+i^2=3-4i

Step 3. Add and read off aa, bb

a+ib=72−32 ia+ib=\frac72-\frac32\,i2(a−b)=2(72+32)=102(a-b)=2\left(\frac72+\frac32\right)=10

Answer: 1010

Example 5 (JEE Main 2026, 2 April Shift 1). Let xx and yy be real numbers such that 50(2x1+3i−y1−2i)=31+17i50\left(\dfrac{2x}{1+3i}-\dfrac{y}{1-2i}\right)=31+17i, i=−1i=\sqrt{-1}. Then the value of 10(x−3y)10(x-3y) is

Tap an option to check your answer
(1)2020
(2)3131
(3)3535
(4)7575
▸ SHOW SOLUTION

Step 1. Real denominators

(1+3i)(1−3i)=10(1+3i)(1-3i)=10 and (1−2i)(1+2i)=5(1-2i)(1+2i)=5:

2x1+3i=x(1−3i)5\frac{2x}{1+3i}=\frac{x(1-3i)}{5}y1−2i=y(1+2i)5\frac{y}{1-2i}=\frac{y(1+2i)}{5}

Step 2. The equation

10x(1−3i)−10y(1+2i)=31+17i10x(1-3i)-10y(1+2i)=31+17i

Step 3. Equate parts

10x−10y=31,−30x−20y=1710x-10y=31,\qquad -30x-20y=17

So x−y=3.1x-y=3.1. Putting x=3.1+yx=3.1+y in the second: −93−50y=17-93-50y=17, so y=−2.2y=-2.2 and x=0.9x=0.9.

10(x−3y)=10(0.9+6.6)=7510(x-3y)=10(0.9+6.6)=75

Answer: option (4)

Example 6 (JEE Main 2016). A value of θ\theta for which 2+3isin⁡θ1−2isin⁡θ\dfrac{2+3i\sin\theta}{1-2i\sin\theta} is purely imaginary, is

Tap an option to check your answer
(A)π6\frac{\pi}{6}
(B)sin⁡−1(34)\sin^{-1}\left(\frac{\sqrt3}{4}\right)
(C)sin⁡−1(13)\sin^{-1}\left(\frac{1}{\sqrt3}\right)
(D)π3\frac{\pi}{3}
▸ SHOW SOLUTION

Step 1. Real denominator

Multiply by 1+2isin⁡θ1+2i\sin\theta. Write s=sin⁡θs=\sin\theta.

(2+3is)(1+2is)1+4s2=(2−6s2)+7is1+4s2\frac{(2+3is)(1+2is)}{1+4s^2}=\frac{(2-6s^2)+7is}{1+4s^2}

Step 2. Real part zero

2−6s2=0⇒s2=132-6s^2=0\Rightarrow s^2=\frac13

The imaginary part 7s1+4s2\frac{7s}{1+4s^2} is then non-zero, so the number is purely imaginary. sin⁡θ=13\sin\theta=\frac1{\sqrt3} gives θ=sin⁡−113\theta=\sin^{-1}\frac1{\sqrt3}.

Answer: option (C)

Example 7 (JEE Main 2025, 4 April Shift 2). Let the product of ω1=(8+i)sin⁡θ+(7+4i)cos⁡θ\omega_1=(8+i)\sin\theta+(7+4i)\cos\theta and ω2=(1+8i)sin⁡θ+(4+7i)cos⁡θ\omega_2=(1+8i)\sin\theta+(4+7i)\cos\theta be α+iβ\alpha+i\beta, i=−1i=\sqrt{-1}. Let pp and qq be the maximum and minimum values of α+β\alpha+\beta respectively. Then p+qp+q is equal to

Tap an option to check your answer
(1)140140
(2)130130
(3)160160
(4)150150
▸ SHOW SOLUTION

Step 1. Separate real and imaginary parts

Let a=8sin⁡θ+7cos⁡θa=8\sin\theta+7\cos\theta and b=sin⁡θ+4cos⁡θb=\sin\theta+4\cos\theta. Then

ω1=a+ib,ω2=b+ia\omega_1=a+ib,\qquad \omega_2=b+ia

Step 2. The product

ω1ω2=ab+ia2+ib2+i2ab\omega_1\omega_2=ab+ia^2+ib^2+i^2ab=i(a2+b2)=i\left(a^2+b^2\right)

So α=0\alpha=0 and β=a2+b2\beta=a^2+b^2.

Step 3. Simplify a2+b2a^2+b^2

a2+b2=65sin⁡2θ+65cos⁡2θa^2+b^2=65\sin^2\theta+65\cos^2\theta+120sin⁡θcos⁡θ\quad+120\sin\theta\cos\thetaα+β=65+60sin⁡2θ\alpha+\beta=65+60\sin2\theta

Step 4. Extremes

p=65+60=125p=65+60=125 and q=65−60=5q=65-60=5, so p+q=130p+q=130.

Answer: option (2)

The conjugate

The conjugate of z=x+iyz=x+iy is

zˉ=x−iy\bar z=x-iy

In the Argand plane (next section) zˉ\bar z is the mirror image of zz in the real axis.

Point z with its conjugate, its negative and the negative of its conjugate in the four quadrants

Properties

Each follows by writing z=x+iyz=x+iy and expanding.

PropertyStatement
Double conjugatezˉ‾=z\overline{\bar z}=z
Sum and differencez+zˉ=2 Re(z)z+\bar z=2\,\mathrm{Re}(z), z−zˉ=2i Im(z)z-\bar z=2i\,\mathrm{Im}(z)
Real testzz real   ⟺  z=zˉ\iff z=\bar z
Imaginary testzz purely imaginary   ⟺  z=−zˉ\iff z=-\bar z, z≠0z\neq0
Product with conjugatezzˉ=x2+y2=∣z∣2z\bar z=x^2+y^2=\lvert z\rvert ^2
Conjugate of sumz1±z2‾=zˉ1±zˉ2\overline{z_1\pm z_2}=\bar z_1\pm\bar z_2
Conjugate of productz1z2‾=zˉ1 zˉ2\overline{z_1z_2}=\bar z_1\,\bar z_2
Conjugate of quotient(z1/z2)‾=zˉ1/zˉ2\overline{\left(z_1/z_2\right)}=\bar z_1/\bar z_2
Conjugate of powerzn‾=(zˉ)n\overline{z^n}=\left(\bar z\right)^n
Reciprocal1z=zˉ∣z∣2\frac1z=\frac{\bar z}{\lvert z\rvert ^2}

The product rule: if z1=a+ibz_1=a+ib and z2=c+idz_2=c+id, both sides equal (ac−bd)−i(ad+bc)(ac-bd)-i(ad+bc). The quotient rule follows from the product rule applied to z1=z1z2⋅z2z_1=\frac{z_1}{z_2}\cdot z_2.

So the conjugate of any expression built from zz's by +,−,×,÷+,-,\times,\div and real constants is the same expression in the zˉ\bar z's. For example, if p(x)p(x) has real coefficients then p(z)‾=p(zˉ)\overline{p(z)}=p(\bar z). This is why the non-real roots of a real polynomial come in conjugate pairs.

Conjugate method for 'real' and 'imaginary'

To show that ww is real, show w=wˉw=\bar w. To find when ww is purely imaginary, solve w+wˉ=0w+\bar w=0. This often avoids putting z=x+iyz=x+iy.

Examples

Example 8. Let zz be a non-real complex number such that z+1zz+\dfrac1z is real. Then

Tap an option to check your answer
(A)∣z∣=1|z|=1
(B)Re(z)=0\mathrm{Re}(z)=0
(C)∣z∣=2|z|=2
(D)arg⁡z=π4\arg z=\frac{\pi}{4}
▸ SHOW SOLUTION

Step 1. Real means equal to its conjugate

z+1z=zˉ+1zˉz+\frac1z=\bar z+\frac1{\bar z}

Step 2. Factor

(z−zˉ)−z−zˉzzˉ=0(z-\bar z)-\frac{z-\bar z}{z\bar z}=0(z−zˉ)(1−1∣z∣2)=0(z-\bar z)\left(1-\frac1{|z|^2}\right)=0

Step 3. Use the non-real condition

zz is non-real, so z−zˉ≠0z-\bar z\neq0. Hence ∣z∣2=1|z|^2=1.

Answer: option (A)

Example 9 (IITianForum). For non-zero complex numbers z1,z2z_1,z_2, the minimum value of z1zˉ2+zˉ1z2+z1z2+zˉ1zˉ2∣z1z2∣\dfrac{z_1\bar z_2+\bar z_1z_2+z_1z_2+\bar z_1\bar z_2}{|z_1z_2|} is ______.

▸ SHOW SOLUTION

Step 1. Factor the numerator

z1zˉ2+zˉ1z2+z1z2+zˉ1zˉ2z_1\bar z_2+\bar z_1z_2+z_1z_2+\bar z_1\bar z_2=(z1+zˉ1)(z2+zˉ2)=(z_1+\bar z_1)(z_2+\bar z_2)

Step 2. Use z+zˉ=2 Re(z)z+\bar z=2\,\mathrm{Re}(z)

With zk=rk(cos⁡θk+isin⁡θk)z_k=r_k(\cos\theta_k+i\sin\theta_k):

(z1+zˉ1)(z2+zˉ2)=4r1r2cos⁡θ1cos⁡θ2(z_1+\bar z_1)(z_2+\bar z_2)=4r_1r_2\cos\theta_1\cos\theta_2

Step 3. The ratio

4r1r2cos⁡θ1cos⁡θ2r1r2=4cos⁡θ1cos⁡θ2\frac{4r_1r_2\cos\theta_1\cos\theta_2}{r_1r_2}=4\cos\theta_1\cos\theta_2

This lies in [−4,4][-4,4] and equals −4-4 for θ1=0\theta_1=0, θ2=π\theta_2=\pi, for example z1=1z_1=1, z2=−1z_2=-1.

Answer: −4-4

Example 10 (JEE Main 2025, 7 April Shift 1). Among the statements

(S1): The set {z∈C−{−i}:∣z∣=1 and z−iz+i is purely real}\left\{z\in\mathbb C-\{-i\}:|z|=1\text{ and }\dfrac{z-i}{z+i}\text{ is purely real}\right\} contains exactly two elements, and

(S2): The set {z∈C−{−1}:∣z∣=1 and z−1z+1 is purely imaginary}\left\{z\in\mathbb C-\{-1\}:|z|=1\text{ and }\dfrac{z-1}{z+1}\text{ is purely imaginary}\right\} contains infinitely many elements,

Tap an option to check your answer
(1)both are incorrect
(2)only (S1) is correct
(3)only (S2) is correct
(4)both are correct
▸ SHOW SOLUTION

Step 1. Statement S1

Let w=z−iz+iw=\frac{z-i}{z+i} be real. Then w≠1w\neq1, and solving for zz:

z=i(1+w)1−wz=\frac{i(1+w)}{1-w}

which is purely imaginary or zero. On ∣z∣=1|z|=1 this leaves z=±iz=\pm i. z=−iz=-i is excluded, so only z=iz=i remains. S1 is false.

Step 2. Statement S2

For ∣z∣=1|z|=1, zˉ=1z\bar z=\frac1z. Let u=z−1z+1u=\frac{z-1}{z+1}:

uˉ=1z−11z+1=1−z1+z=−u\bar u=\frac{\frac1z-1}{\frac1z+1}=\frac{1-z}{1+z}=-u

So uu is purely imaginary (or 00 at z=1z=1) for every z≠−1z\neq-1 on the circle. There are infinitely many such zz. S2 is true.

Answer: option (3)

Example 11 (JEE Advanced 2016, Paper 2). Let a,b∈Ra,b\in\mathbb R and a2+b2≠0a^2+b^2\neq0. Suppose S={z∈C:z=1a+ibt, t∈R, t≠0}S=\left\{z\in\mathbb C:z=\dfrac{1}{a+ibt},\ t\in\mathbb R,\ t\neq0\right\}, where i=−1i=\sqrt{-1}. If z=x+iyz=x+iy and z∈Sz\in S, then (x,y)(x,y) lies on

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Real and imaginary parts

z=a−ibta2+b2t2z=\frac{a-ibt}{a^2+b^2t^2}x=aa2+b2t2,y=−bta2+b2t2x=\frac{a}{a^2+b^2t^2},\qquad y=\frac{-bt}{a^2+b^2t^2}

Step 2. Case a≠0a\neq0, b≠0b\neq0

x2+y2=1a2+b2t2=xax^2+y^2=\frac{1}{a^2+b^2t^2}=\frac xa

This is the circle with centre (12a,0)\left(\frac1{2a},0\right) and radius 12∣a∣\frac1{2|a|}. For a>0a>0 this is (A). For a<0a<0 the centre is (12a,0)\left(\frac1{2a},0\right), not (−12a,0)\left(-\frac1{2a},0\right), so (B) is false.

Step 3. The two special cases

b=0b=0: y=0y=0 and x=1ax=\frac1a, a point of the xx-axis, so (C) holds. a=0a=0: x=0x=0, so zz is on the yy-axis, and (D) holds.

Answer: (A), (C) and (D)

Example 12 (JEE Advanced 2026, Paper 2). Let R\mathbb R denote the set of all real numbers and let i=−1i=\sqrt{-1}. Consider the matrices S=[0−110]S=\begin{bmatrix}0&-1\\1&0\end{bmatrix} and T=[1101]T=\begin{bmatrix}1&1\\0&1\end{bmatrix}. Let a,b,c,da,b,c,d be real numbers such that ST=[abcd]ST=\begin{bmatrix}a&b\\c&d\end{bmatrix}. Let H={x+iy:x,y∈R and y>0}H=\{x+iy:x,y\in\mathbb R\text{ and }y>0\}. Then which of the following statements is (are) TRUE?

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. The matrix

ST=[0−111]ST=\begin{bmatrix}0&-1\\1&1\end{bmatrix}

So a=0a=0, b=−1b=-1, c=1c=1, d=1d=1.

Step 2. Statement (1)

b+iad+ic=−11+i=−1+i2≠i\frac{b+ia}{d+ic}=\frac{-1}{1+i}=\frac{-1+i}{2}\neq i

False.

Step 3. Statement (2)

ω+1=−ω2\omega+1=-\omega^2, so

aω+bcω+d=−1ω+1=1ω2=ω\frac{a\omega+b}{c\omega+d}=\frac{-1}{\omega+1}=\frac{1}{\omega^2}=\omega

True.

Step 4. Statement (3)

Let A=STA=ST. Then A2=[−1−110]A^2=\begin{bmatrix}-1&-1\\1&0\end{bmatrix} and A3=−IA^3=-I, so A6=IA^6=I. Am=A2A^m=A^2 holds exactly when m−2m-2 is a multiple of 66, for example m=14m=14, which is not a multiple of 88. False.

Step 5. Statement (4)

az+bcz+d=−1z+1\frac{az+b}{cz+d}=\frac{-1}{z+1}. Multiply by z+1‾\overline{z+1}:

−1z+1=−(zˉ+1)∣z+1∣2\frac{-1}{z+1}=\frac{-(\bar z+1)}{|z+1|^2}Im(−1z+1)=Im(z)∣z+1∣2>0\mathrm{Im}\left(\frac{-1}{z+1}\right)=\frac{\mathrm{Im}(z)}{|z+1|^2}>0

True.

Answer: (2) and (4)

Modulus

The Argand plane shows z=x+iyz=x+iy as the point (x,y)(x,y). The modulus of zz is its distance from the origin:

∣z∣=x2+y2|z|=\sqrt{x^2+y^2}

∣z1−z2∣|z_1-z_2| is the distance between the points z1z_1 and z2z_2.

The point z equals x plus iy at distance r from O, making angle theta with the real axis

Properties

PropertyStatement
Basic∣z∣≥0\lvert z\rvert \ge0; ∣z∣=0  ⟺  z=0\lvert z\rvert =0\iff z=0
Symmetry∣z∣=∣zˉ∣=∣−z∣\lvert z\rvert =\lvert \bar z\rvert =\lvert -z\rvert
Parts−∣z∣≤Re(z)≤∣z∣-\lvert z\rvert \le\mathrm{Re}(z)\le\lvert z\rvert , −∣z∣≤Im(z)≤∣z∣-\lvert z\rvert \le\mathrm{Im}(z)\le\lvert z\rvert
Conjugatezzˉ=∣z∣2z\bar z=\lvert z\rvert ^2
Product∣z1z2∣=∣z1∣ ∣z2∣\lvert z_1z_2\rvert =\lvert z_1\rvert \,\lvert z_2\rvert
Quotient∣z1z2∣=∣z1∣∣z2∣\left\lvert \frac{z_1}{z_2}\right\rvert =\frac{\lvert z_1\rvert }{\lvert z_2\rvert }
Power∣zn∣=∣z∣n\lvert z^n\rvert =\lvert z\rvert ^n
Sum squared∣z1±z2∣2=∣z1∣2+∣z2∣2±2 Re(z1zˉ2)\lvert z_1\pm z_2\rvert ^2=\lvert z_1\rvert ^2+\lvert z_2\rvert ^2\pm2\,\mathrm{Re}(z_1\bar z_2)
Parallelogram law∣z1+z2∣2+∣z1−z2∣2=2(∣z1∣2+∣z2∣2)\lvert z_1+z_2\rvert ^2+\lvert z_1-z_2\rvert ^2=2\left(\lvert z_1\rvert ^2+\lvert z_2\rvert ^2\right)
Two variable identity∣az1−bz2∣2+∣bz1+az2∣2=(a2+b2)(∣z1∣2+∣z2∣2)\lvert az_1-bz_2\rvert ^2+\lvert bz_1+az_2\rvert ^2=\left(a^2+b^2\right)\left(\lvert z_1\rvert ^2+\lvert z_2\rvert ^2\right), a,ba,b real

The product rule comes from ∣z1z2∣2=z1z2 zˉ1zˉ2=∣z1∣2∣z2∣2|z_1z_2|^2=z_1z_2\,\bar z_1\bar z_2=|z_1|^2|z_2|^2. The sum rule comes from

∣z1+z2∣2=(z1+z2)(zˉ1+zˉ2)|z_1+z_2|^2=(z_1+z_2)(\bar z_1+\bar z_2) =∣z1∣2+∣z2∣2+z1zˉ2+zˉ1z2=|z_1|^2+|z_2|^2+z_1\bar z_2+\bar z_1z_2

and z1zˉ2+zˉ1z2=2 Re(z1zˉ2)z_1\bar z_2+\bar z_1z_2=2\,\mathrm{Re}(z_1\bar z_2). Adding the ++ and −- forms gives the parallelogram law: the sum of the squares of the diagonals equals the sum of the squares of the four sides.

Parallelogram with sides z1 and z2 and diagonals z1 plus z2 and z1 minus z2

Triangle inequality

∣z1+z2∣≤∣z1∣+∣z2∣|z_1+z_2|\le|z_1|+|z_2| ∣∣z1∣−∣z2∣∣≤∣z1−z2∣\big||z_1|-|z_2|\big|\le|z_1-z_2|

Reason: Re(z1zˉ2)≤∣z1zˉ2∣=∣z1∣∣z2∣\mathrm{Re}(z_1\bar z_2)\le|z_1\bar z_2|=|z_1||z_2|, so

∣z1+z2∣2≤∣z1∣2+∣z2∣2+2∣z1∣∣z2∣|z_1+z_2|^2\le|z_1|^2+|z_2|^2+2|z_1||z_2|

In the figure, the sides of triangle O,z1,z1+z2O,z_1,z_1+z_2 have lengths ∣z1∣|z_1|, ∣z2∣|z_2|, ∣z1+z2∣|z_1+z_2|. The general form is ∣z1+z2+⋯+zn∣≤∣z1∣+∣z2∣+⋯+∣zn∣|z_1+z_2+\dots+z_n|\le|z_1|+|z_2|+\dots+|z_n|.

Equality cases. ∣z1+z2∣=∣z1∣+∣z2∣|z_1+z_2|=|z_1|+|z_2| holds exactly when z1z_1 and z2z_2 point the same way, that is z1zˉ2z_1\bar z_2 is real and non-negative (arg⁡z1=arg⁡z2\arg z_1=\arg z_2 for non-zero numbers). ∣z1−z2∣=∣∣z1∣−∣z2∣∣|z_1-z_2|=\big||z_1|-|z_2|\big| holds under the same condition. ∣z1+z2∣=∣z1−z2∣|z_1+z_2|=|z_1-z_2| holds exactly when Re(z1zˉ2)=0\mathrm{Re}(z_1\bar z_2)=0, that is arg⁡z1−arg⁡z2=±π2\arg z_1-\arg z_2=\pm\frac{\pi}{2}.

Bounds for $|z|$ from an equation

From ∣z−4z∣=2\left|z-\frac4z\right|=2 you get ∣z∣−4∣z∣≤2|z|-\frac4{|z|}\le2, an upper bound. The other direction, 4∣z∣−∣z∣≤2\frac4{|z|}-|z|\le2, gives the lower bound. Check that the bound is reached: equality needs zz and 4z\frac4z to point in opposite or same directions.

Examples

Example 13 (JEE Main 2026, 24 January Shift 2). Let z=(1+i)(1+2i)(1+3i)⋯(1+ni)z=(1+i)(1+2i)(1+3i)\cdots(1+ni), where i=−1i=\sqrt{-1}. If ∣z∣2=44200|z|^2=44200, then nn is equal to ______.

▸ SHOW SOLUTION

Step 1. Modulus of a product

∣z∣2=∏r=1n∣1+ri∣2=∏r=1n(1+r2)|z|^2=\prod_{r=1}^{n}|1+ri|^2=\prod_{r=1}^{n}\left(1+r^2\right)

Step 2. Multiply until 44200

The factors are 2,5,10,17,26,…2,5,10,17,26,\dots:

2⋅5⋅10⋅17⋅26=442002\cdot5\cdot10\cdot17\cdot26=44200

So n=5n=5.

Answer: 55

Example 14 (JEE Main 2019, 11 January Shift 2). Let zz be a complex number such that ∣z∣+z=3+i|z|+z=3+i, where i=−1i=\sqrt{-1}. Then ∣z∣|z| is equal to

Tap an option to check your answer
(A)343\frac{\sqrt{34}}{3}
(B)54\frac54
(C)53\frac53
(D)414\frac{\sqrt{41}}{4}
▸ SHOW SOLUTION

Step 1. Equate parts

Let z=x+iyz=x+iy. ∣z∣|z| is real, so the imaginary part gives y=1y=1, and the real part gives

x2+1+x=3\sqrt{x^2+1}+x=3

Step 2. Solve

x2+1=(3−x)2=9−6x+x2x^2+1=(3-x)^2=9-6x+x^2x=43x=\frac43∣z∣=3−x=53|z|=3-x=\frac53

Answer: option (C)

Example 15 (IITianForum). Complex numbers z1,z2z_1,z_2 satisfy ∣z1∣=∣z1+z2∣=2|z_1|=|z_1+z_2|=2 and ∣z1−z2∣=23|z_1-z_2|=2\sqrt3. Then

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Parallelogram law

∣z1+z2∣2+∣z1−z2∣2=2(∣z1∣2+∣z2∣2)|z_1+z_2|^2+|z_1-z_2|^2=2\left(|z_1|^2+|z_2|^2\right)4+12=2(4+∣z2∣2)⇒∣z2∣=24+12=2\left(4+|z_2|^2\right)\Rightarrow|z_2|=2

Step 2. The real part

∣z1+z2∣2=∣z1∣2+∣z2∣2+2 Re(z1zˉ2)|z_1+z_2|^2=|z_1|^2+|z_2|^2+2\,\mathrm{Re}(z_1\bar z_2)4=8+2 Re(z1zˉ2)⇒Re(z1zˉ2)=−24=8+2\,\mathrm{Re}(z_1\bar z_2)\Rightarrow\mathrm{Re}(z_1\bar z_2)=-2

Step 3. The angle

Re(z1zˉ2)=∣z1∣∣z2∣cos⁡ϕ\mathrm{Re}(z_1\bar z_2)=|z_1||z_2|\cos\phi, where ϕ\phi is the angle between them:

cos⁡ϕ=−24=−12\cos\phi=\frac{-2}{4}=-\frac12

So ϕ=2π3\phi=\frac{2\pi}{3} and arg⁡z2z1=±2π3\arg\frac{z_2}{z_1}=\pm\frac{2\pi}{3}.

Answer: (A), (C) and (D)

Example 16 (AIEEE 2009). If ∣z−4z∣=2\left|z-\dfrac4z\right|=2, then the maximum value of ∣z∣|z| is equal to

Tap an option to check your answer
(A)5+1\sqrt5+1
(B)22
(C)2+22+\sqrt2
(D)3+1\sqrt3+1
▸ SHOW SOLUTION

Step 1. Triangle inequality

∣z∣=∣(z−4z)+4z∣≤2+4∣z∣|z|=\left|\left(z-\frac4z\right)+\frac4z\right|\le2+\frac4{|z|}

Step 2. Solve for r=∣z∣r=|z|

r2−2r−4≤0⇒r≤1+5r^2-2r-4\le0\Rightarrow r\le1+\sqrt5

Step 3. The bound is reached

Equality needs z−4zz-\frac4z and 4z\frac4z in the same direction. Take z=i(1+5)z=i(1+\sqrt5): then 4z=−i(5−1)\frac4z=-i(\sqrt5-1) and z−4z=2iz-\frac4z=2i, which has modulus 22.

Answer: option (A)

Example 17 (IITianForum). If 7z8+6iz7+6iz−7=07z^8+6iz^7+6iz-7=0, then

Tap an option to check your answer
(A)∣z∣=1|z|=1
(B)∣z∣<1|z|<1
(C)∣z∣>1|z|>1
(D)∣z∣|z| cannot be decided
▸ SHOW SOLUTION

Step 1. Isolate z7z^7

z7(7z+6i)=7−6iz⇒z7=7−6iz7z+6iz^7(7z+6i)=7-6iz\Rightarrow z^7=\frac{7-6iz}{7z+6i}

Step 2. Compare the two moduli

Let z=x+iyz=x+iy. Expanding both:

∣7−6iz∣2=49+36∣z∣2+84y|7-6iz|^2=49+36|z|^2+84y∣7z+6i∣2=49∣z∣2+36+84y|7z+6i|^2=49|z|^2+36+84y

The difference is 13(1−∣z∣2)13\left(1-|z|^2\right).

Step 3. Rule out the other cases

If ∣z∣>1|z|>1: then ∣z7∣>1|z^7|>1, but the difference is negative, so the quotient has modulus less than 11. Contradiction. If ∣z∣<1|z|<1: then ∣z7∣<1|z^7|<1, but the difference is positive, so the quotient has modulus greater than 11. Contradiction again. So ∣z∣=1|z|=1.

Answer: option (A)

Example 18 (JEE Advanced 2013, Paper 1). Let complex numbers α\alpha and 1αˉ\dfrac1{\bar\alpha} lie on the circles (x−x0)2+(y−y0)2=r2(x-x_0)^2+(y-y_0)^2=r^2 and (x−x0)2+(y−y0)2=4r2(x-x_0)^2+(y-y_0)^2=4r^2 respectively. If z0=x0+iy0z_0=x_0+iy_0 satisfies the equation 2∣z0∣2=r2+22|z_0|^2=r^2+2, then ∣α∣=|\alpha|=

Tap an option to check your answer
(A)12\frac{1}{\sqrt2}
(B)12\frac12
(C)17\frac1{\sqrt7}
(D)13\frac13
▸ SHOW SOLUTION

Step 1. Write both conditions with zzˉz\bar z

Let a=∣α∣2a=|\alpha|^2, p=Re(αzˉ0)p=\mathrm{Re}(\alpha\bar z_0) and c=∣z0∣2c=|z_0|^2. Since 1αˉ=αa\frac1{\bar\alpha}=\frac{\alpha}{a}:

a−2p+c=r2a-2p+c=r^21a−2pa+c=4r2\frac1a-\frac{2p}{a}+c=4r^2

Step 2. Remove pp

From the first, 2p=a+c−r22p=a+c-r^2. Put it in the second (multiplied by aa):

1−a−c+r2=4ar2−ac1-a-c+r^2=4ar^2-ac

Step 3. Use c=r2+22c=\frac{r^2+2}{2}

r22−a=7ar22−a⇒a=17\frac{r^2}{2}-a=\frac{7ar^2}{2}-a\Rightarrow a=\frac17

So ∣α∣=17|\alpha|=\frac1{\sqrt7}.

Answer: option (C)

Argument and principal argument

For z≠0z\neq0, an argument of zz is an angle θ\theta that the line from OO to zz makes with the positive real axis. In the figure of the last section,

cos⁡θ=x∣z∣,sin⁡θ=y∣z∣\cos\theta=\frac{x}{|z|},\qquad \sin\theta=\frac{y}{|z|}

If θ\theta is an argument, so is θ+2kπ\theta+2k\pi for every integer kk. The one value in (−π,π](-\pi,\pi] is the principal argument, written arg⁡z\arg z or Arg z\mathrm{Arg}\,z. The argument of 00 is not defined.

Finding the principal argument

First find the acute angle α=tan⁡−1∣yx∣\alpha=\tan^{-1}\left|\frac yx\right|, then place it by quadrant.

Principal argument in the four quadrants built from the acute angle alpha
Position of z=x+iyz=x+iyarg⁡z\arg z
x>0, y≥0x>0,\ y\ge0 (first quadrant or positive real axis)α\alpha
x<0, y≥0x<0,\ y\ge0 (second quadrant or negative real axis)π−α\pi-\alpha
x<0, y<0x<0,\ y<0 (third quadrant)−(π−α)-(\pi-\alpha)
x>0, y<0x>0,\ y<0 (fourth quadrant)−α-\alpha
x=0, y>0x=0,\ y>0π2\frac{\pi}{2}
x=0, y<0x=0,\ y<0−π2-\frac{\pi}{2}

Some books use the interval [0,2π)[0,2\pi). Then the third and fourth quadrant values become π+α\pi+\alpha and 2π−α2\pi-\alpha. A JEE question always states its convention; the default is (−π,π](-\pi,\pi].

Rules for arguments

arg⁡(z1z2)=arg⁡z1+arg⁡z2+2kπ\arg(z_1z_2)=\arg z_1+\arg z_2+2k\pi arg⁡z1z2=arg⁡z1−arg⁡z2+2kπ\arg\frac{z_1}{z_2}=\arg z_1-\arg z_2+2k\pi arg⁡zˉ=−arg⁡z\arg\bar z=-\arg z arg⁡(−z)=arg⁡z±π\arg(-z)=\arg z\pm\pi arg⁡(zn)=narg⁡z+2kπ\arg\left(z^n\right)=n\arg z+2k\pi

The integer kk is chosen to bring the answer back into (−π,π](-\pi,\pi]. The first rule follows from polar form in the next section: moduli multiply and angles add. The rule for zˉ\bar z needs zz not on the negative real axis (there arg⁡zˉ=arg⁡z=π\arg\bar z=\arg z=\pi).

Principal arguments do not simply add

arg⁡(−1+i)=3π4\arg(-1+i)=\frac{3\pi}{4} and arg⁡(−1+i3)=2π3\arg(-1+i\sqrt3)=\frac{2\pi}{3}, but arg⁡\arg of the product is not 17π12\frac{17\pi}{12}, which lies outside (−π,π](-\pi,\pi]. It is 17π12−2π=−7π12\frac{17\pi}{12}-2\pi=-\frac{7\pi}{12}. Always reduce at the end.

Useful special cases

zz real positive: arg⁡z=0\arg z=0. Real negative: π\pi. arg⁡z=π2\arg z=\frac{\pi}{2} means zz is on the positive imaginary axis. ∣z1+z2∣=∣z1∣+∣z2∣|z_1+z_2|=|z_1|+|z_2| means arg⁡z1=arg⁡z2\arg z_1=\arg z_2.

Examples

Example 19. Let z1=−1+iz_1=-1+i and z2=−1+i3z_2=-1+i\sqrt3. Then the principal argument of z1z2z_1z_2 is

Tap an option to check your answer
(A)17π12\frac{17\pi}{12}
(B)−7π12-\frac{7\pi}{12}
(C)7π12\frac{7\pi}{12}
(D)−5π12-\frac{5\pi}{12}
▸ SHOW SOLUTION

Step 1. Each argument

z1z_1 is in the second quadrant with α=π4\alpha=\frac{\pi}{4}, so arg⁡z1=3π4\arg z_1=\frac{3\pi}{4}. z2z_2 is in the second quadrant with α=π3\alpha=\frac{\pi}{3}, so arg⁡z2=2π3\arg z_2=\frac{2\pi}{3}.

Step 2. Add and reduce

3π4+2π3=17π12>π\frac{3\pi}{4}+\frac{2\pi}{3}=\frac{17\pi}{12}>\piarg⁡(z1z2)=17π12−2π=−7π12\arg(z_1z_2)=\frac{17\pi}{12}-2\pi=-\frac{7\pi}{12}

Check: z1z2=(1−3)−i(1+3)z_1z_2=(1-\sqrt3)-i(1+\sqrt3) is in the third quadrant.

Answer: option (B)

Example 20 (JEE Main 2013). If zz is a complex number of unit modulus and argument θ\theta, then arg⁡(1+z1+zˉ)\arg\left(\dfrac{1+z}{1+\bar z}\right) equals

Tap an option to check your answer
(A)−θ-\theta
(B)π2−θ\frac{\pi}{2}-\theta
(C)θ\theta
(D)π−θ\pi-\theta
▸ SHOW SOLUTION

Step 1. Use ∣z∣=1|z|=1

zzˉ=1z\bar z=1, so zˉ=1z\bar z=\frac1z:

1+zˉ=1+1z=z+1z1+\bar z=1+\frac1z=\frac{z+1}{z}

Step 2. Simplify

1+z1+zˉ=(1+z)z1+z=z\frac{1+z}{1+\bar z}=\frac{(1+z)z}{1+z}=z

So the argument is θ\theta.

Answer: option (C)

Example 21 (JEE Advanced 2018, Paper 1). For a non-zero complex number zz, let arg⁡(z)\arg(z) denote the principal argument with −π<arg⁡(z)≤π-\pi<\arg(z)\le\pi. Then, which of the following statement(s) is (are) FALSE?

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Statement (A)

−1−i-1-i is in the third quadrant with α=π4\alpha=\frac{\pi}{4}, so arg⁡(−1−i)=−3π4\arg(-1-i)=-\frac{3\pi}{4}. (A) is false.

Step 2. Statement (B)

−1+it-1+it moves along the line x=−1x=-1. For t>0t>0 it is in the second quadrant and f(t)→πf(t)\to\pi as t→0+t\to0^+. For t<0t<0 it is in the third quadrant and f(t)→−πf(t)\to-\pi as t→0−t\to0^-. So ff jumps at t=0t=0. (B) is false.

Step 3. Statement (C)

arg⁡z1z2=arg⁡z1−arg⁡z2+2kπ\arg\frac{z_1}{z_2}=\arg z_1-\arg z_2+2k\pi, so the expression equals 2kπ2k\pi. (C) is true.

Step 4. Statement (D)

The argument π\pi means the expression is a negative real number. Then z−z1z−z3\frac{z-z_1}{z-z_3} and z2−z1z2−z3\frac{z_2-z_1}{z_2-z_3} have arguments differing by π\pi, so zz and z2z_2 see the segment z1z3z_1z_3 under supplementary angles from opposite sides. The locus is an arc of the circle through z1,z2,z3z_1,z_2,z_3, not a line. (D) is false.

Answer: (A), (B) and (D)

Polar and Euler form

With r=∣z∣r=|z| and θ\theta an argument, x=rcos⁡θx=r\cos\theta and y=rsin⁡θy=r\sin\theta, so

z=r(cos⁡θ+isin⁡θ)z=r(\cos\theta+i\sin\theta)

This is the polar form. Writing cos⁡θ+isin⁡θ=eiθ\cos\theta+i\sin\theta=e^{i\theta} (Euler's formula) gives the Euler form

z=reiθz=re^{i\theta}

From Euler's formula: eiπ=−1e^{i\pi}=-1, eiπ/2=ie^{i\pi/2}=i, ∣eiθ∣=1\left|e^{i\theta}\right|=1, and

cos⁡θ=eiθ+e−iθ2,sin⁡θ=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}

Products and quotients

For z1=r1eiθ1z_1=r_1e^{i\theta_1} and z2=r2eiθ2z_2=r_2e^{i\theta_2}:

z1z2=r1r2 ei(θ1+θ2)z_1z_2=r_1r_2\,e^{i(\theta_1+\theta_2)} z1z2=r1r2 ei(θ1−θ2)\frac{z_1}{z_2}=\frac{r_1}{r_2}\,e^{i(\theta_1-\theta_2)}

Reason: expand (cos⁡θ1+isin⁡θ1)(cos⁡θ2+isin⁡θ2)(\cos\theta_1+i\sin\theta_1)(\cos\theta_2+i\sin\theta_2) and use the addition formulas for cos⁡\cos and sin⁡\sin. So multiplying by z2z_2 scales by r2r_2 and rotates by θ2\theta_2. In particular, multiplying by i=eiπ/2i=e^{i\pi/2} is a quarter turn, and multiplying by eiαe^{i\alpha} is a rotation through α\alpha.

Rays to z1, z2 and z1 z2; the angle of the product is the sum of the two angles

For a unit complex number, ∣z∣=1|z|=1:

zˉ=1z=e−iθ,zzˉ=e2iθ\bar z=\frac1z=e^{-i\theta},\qquad \frac{z}{\bar z}=e^{2i\theta}
Check the form before reading off the argument

sin⁡θ+icos⁡θ\sin\theta+i\cos\theta is not in polar form. Write it as cos⁡(π2−θ)+isin⁡(π2−θ)\cos\left(\frac{\pi}{2}-\theta\right)+i\sin\left(\frac{\pi}{2}-\theta\right) first. Also, in r(cos⁡θ+isin⁡θ)r(\cos\theta+i\sin\theta) the number rr must be positive; −2(cos⁡θ+isin⁡θ)=2(cos⁡(θ+π)+isin⁡(θ+π))-2(\cos\theta+i\sin\theta)=2(\cos(\theta+\pi)+i\sin(\theta+\pi)).

Square roots of a complex number

Let z=a+ibz=a+ib with b≠0b\neq0. Its square roots are ±(x+iy)\pm(x+iy) where

x=∣z∣+a2,y=∣z∣−a2x=\sqrt{\frac{|z|+a}{2}},\qquad y=\sqrt{\frac{|z|-a}{2}}

with xx and yy of the same sign when b>0b>0 and of opposite signs when b<0b<0.

Reason: (x+iy)2=a+ib(x+iy)^2=a+ib gives x2−y2=ax^2-y^2=a and 2xy=b2xy=b. Also ∣x+iy∣2=∣z∣|x+iy|^2=|z|, so x2+y2=∣z∣x^2+y^2=|z|. Adding and subtracting give x2x^2 and y2y^2, and 2xy=b2xy=b fixes the signs. When b=0b=0: a\sqrt a for a>0a>0 is real, and for a<0a<0 the roots are ±i∣a∣\pm i\sqrt{|a|}.

In polar form the two roots of reiθre^{i\theta} are

±r eiθ/2\pm\sqrt r\,e^{i\theta/2} Complex number z and its two square roots w and minus w at half the angle

Examples

Example 22. For π<α<2π\pi<\alpha<2\pi, the principal argument of 1+cos⁡α+isin⁡α1+\cos\alpha+i\sin\alpha is

Tap an option to check your answer
(A)α2\frac{\alpha}{2}
(B)α2−π\frac{\alpha}{2}-\pi
(C)π−α2\pi-\frac{\alpha}{2}
(D)α−π\alpha-\pi
▸ SHOW SOLUTION

Step 1. Half-angle formulas

1+cos⁡α=2cos⁡2α21+\cos\alpha=2\cos^2\frac{\alpha}{2}sin⁡α=2sin⁡α2cos⁡α2\sin\alpha=2\sin\frac{\alpha}{2}\cos\frac{\alpha}{2}1+cos⁡α+isin⁡α1+\cos\alpha+i\sin\alpha=2cos⁡α2(cos⁡α2+isin⁡α2)=2\cos\frac{\alpha}{2}\left(\cos\frac{\alpha}{2}+i\sin\frac{\alpha}{2}\right)

Step 2. Make the modulus positive

α2∈(π2,π)\frac{\alpha}{2}\in\left(\frac{\pi}{2},\pi\right), so cos⁡α2<0\cos\frac{\alpha}{2}<0. Use −eiu=ei(u−π)-e^{iu}=e^{i(u-\pi)}:

=−2cos⁡α2 ei(α2−π)=-2\cos\frac{\alpha}{2}\,e^{i\left(\frac{\alpha}{2}-\pi\right)}

Now −2cos⁡α2>0-2\cos\frac{\alpha}{2}>0 and α2−π∈(−π2,0)\frac{\alpha}{2}-\pi\in\left(-\frac{\pi}{2},0\right), inside (−π,π](-\pi,\pi].

Answer: option (B)

Example 23. The square roots of −15−8i-15-8i are

Tap an option to check your answer
(A)±(1−4i)\pm(1-4i)
(B)±(1+4i)\pm(1+4i)
(C)±(4−i)\pm(4-i)
(D)±(4+i)\pm(4+i)
▸ SHOW SOLUTION

Step 1. Modulus

∣z∣=225+64=17|z|=\sqrt{225+64}=17

Step 2. The formula

x=17−152=1x=\sqrt{\frac{17-15}{2}}=1y=17+152=4y=\sqrt{\frac{17+15}{2}}=4

Step 3. Signs

b=−8<0b=-8<0, so xx and yy have opposite signs. The roots are ±(1−4i)\pm(1-4i).

Check: (1−4i)2=1−8i−16=−15−8i(1-4i)^2=1-8i-16=-15-8i.

Answer: option (A)

Example 24 (IITianForum). Let E=(3+1+i(3−1))nE=\left(\sqrt3+1+i\left(\sqrt3-1\right)\right)^n, n∈Nn\in\mathbb N. For the least nn for which EE is a positive real number, log⁡2E\log_2E is equal to ______.

▸ SHOW SOLUTION

Step 1. Modulus

(3+1)2+(3−1)2=8\left(\sqrt3+1\right)^2+\left(\sqrt3-1\right)^2=8r=22r=2\sqrt2

Step 2. Argument

The number is in the first quadrant with

tan⁡θ=3−13+1=2−3⇒θ=π12\tan\theta=\frac{\sqrt3-1}{\sqrt3+1}=2-\sqrt3\Rightarrow\theta=\frac{\pi}{12}

Step 3. Positive real power

E=(22)neinπ/12E=\left(2\sqrt2\right)^n e^{in\pi/12}

EE is a positive real exactly when nπ12\frac{n\pi}{12} is a multiple of 2π2\pi, that is 24∣n24\mid n. Least n=24n=24:

E=(23/2)24=236E=\left(2^{3/2}\right)^{24}=2^{36}

Answer: 3636

Example 25 (JEE Main 2025, 22 January Shift 1). Let z1,z2z_1,z_2 and z3z_3 be three complex numbers on the circle ∣z∣=1|z|=1 with arg⁡(z1)=−π4\arg(z_1)=-\dfrac{\pi}{4}, arg⁡(z2)=0\arg(z_2)=0 and arg⁡(z3)=π4\arg(z_3)=\dfrac{\pi}{4}. If ∣z1zˉ2+z2zˉ3+z3zˉ1∣2=α+β2\left|z_1\bar z_2+z_2\bar z_3+z_3\bar z_1\right|^2=\alpha+\beta\sqrt2, α,β∈Z\alpha,\beta\in\mathbb Z, then the value of α2+β2\alpha^2+\beta^2 is

Tap an option to check your answer
(1)2424
(2)4141
(3)3131
(4)2929
▸ SHOW SOLUTION

Step 1. Euler form

z1=e−iπ/4z_1=e^{-i\pi/4}, z2=1z_2=1, z3=eiπ/4z_3=e^{i\pi/4}, and zˉ=e−iθ\bar z=e^{-i\theta} on the unit circle.

z1zˉ2=e−iπ/4,z2zˉ3=e−iπ/4z_1\bar z_2=e^{-i\pi/4},\qquad z_2\bar z_3=e^{-i\pi/4}z3zˉ1=eiπ/2=iz_3\bar z_1=e^{i\pi/2}=i

Step 2. The sum

2e−iπ/4+i=2−i2+i2e^{-i\pi/4}+i=\sqrt2-i\sqrt2+i=2+i(1−2)=\sqrt2+i\left(1-\sqrt2\right)

Step 3. Modulus squared

2+(1−2)2=5−222+\left(1-\sqrt2\right)^2=5-2\sqrt2

So α=5\alpha=5, β=−2\beta=-2, and α2+β2=29\alpha^2+\beta^2=29.

Answer: option (4)

Example 26 (IITianForum). A complex number zz satisfies ∣z∣2+9∣z∣2−3(zzˉ+zˉz)−8=0|z|^2+\dfrac{9}{|z|^2}-3\left(\dfrac{z}{\bar z}+\dfrac{\bar z}{z}\right)-8=0. If the maximum value of ∣z∣|z| is a+b\sqrt a+\sqrt b, where a,b∈Na,b\in\mathbb N, then a+ba+b is equal to ______.

▸ SHOW SOLUTION

Step 1. Euler form

Let z=reiθz=re^{i\theta}. Then zzˉ=e2iθ\frac{z}{\bar z}=e^{2i\theta} and

zzˉ+zˉz=2cos⁡2θ\frac{z}{\bar z}+\frac{\bar z}{z}=2\cos2\theta

Step 2. The equation

r2+9r2=8+6cos⁡2θ≤14r^2+\frac{9}{r^2}=8+6\cos2\theta\le14

Step 3. Largest rr

r2+9r2r^2+\frac9{r^2} increases for r>3r>\sqrt3, so rr is largest when the right side is 1414:

r4−14r2+9=0⇒r2=7+210r^4-14r^2+9=0\Rightarrow r^2=7+2\sqrt{10}r=5+2r=\sqrt5+\sqrt2

because (5+2)2=7+210\left(\sqrt5+\sqrt2\right)^2=7+2\sqrt{10}. So a+b=7a+b=7.

Answer: 77

Solving equations in zz

Three standard methods:

  1. Put z=x+iyz=x+iy and equate real and imaginary parts. This gives two real equations.
  2. Take the modulus of both sides first. For example, 4z2=−zˉ4z^2=-\bar z gives 4∣z∣2=∣z∣4|z|^2=|z|.
  3. Take the conjugate of the equation and solve the pair as two linear equations in zz and zˉ\bar z.

For method 3, the equation sz+tzˉ+r=0sz+t\bar z+r=0 with its conjugate tˉz+sˉzˉ+rˉ=0\bar t z+\bar s\bar z+\bar r=0 gives, after removing zˉ\bar z,

z(∣s∣2−∣t∣2)=trˉ−sˉrz\left(|s|^2-|t|^2\right)=t\bar r-\bar s r

So if ∣s∣≠∣t∣|s|\neq|t| there is exactly one solution. If ∣s∣=∣t∣|s|=|t| there is either no solution or a whole line of solutions.

Real parameter, complex unknown

When a real number kk is unknown, the complex equation still gives two real equations. Eliminate xx and yy geometrically if possible: one equation is often a line and the other a circle, and "at least one solution" means the line meets the circle.

Examples

Example 27 (JEE Main 2026, 22 January Shift 2). Let S={z∈C:4z2+zˉ=0}S=\{z\in\mathbb C:4z^2+\bar z=0\}. Then ∑z∈S∣z∣2\displaystyle\sum_{z\in S}|z|^2 is equal to

Tap an option to check your answer
(1)316\frac{3}{16}
(2)764\frac{7}{64}
(3)116\frac{1}{16}
(4)564\frac{5}{64}
▸ SHOW SOLUTION

Step 1. Take the modulus

4∣z∣2=∣z∣⇒∣z∣=0 or ∣z∣=144|z|^2=|z|\Rightarrow|z|=0\ \text{or}\ |z|=\frac14

Step 2. The non-zero solutions

Let z=14eiθz=\frac14e^{i\theta}. Then 4z2=14e2iθ4z^2=\frac14e^{2i\theta} and zˉ=14e−iθ\bar z=\frac14e^{-i\theta}:

e2iθ=−e−iθ⇒e3iθ=−1e^{2i\theta}=-e^{-i\theta}\Rightarrow e^{3i\theta}=-1

So θ=π3,π,5π3\theta=\frac{\pi}{3},\pi,\frac{5\pi}{3}, three solutions, each with ∣z∣2=116|z|^2=\frac1{16}.

The solution 0 and three solutions on the circle of radius one quarter

Step 3. Add

0+3⋅116=3160+3\cdot\frac{1}{16}=\frac{3}{16}

Answer: option (1)

Example 28 (IIT JEE 2009, Paper 1). Let z=x+iyz=x+iy be a complex number where xx and yy are integers. Then the area of the rectangle whose vertices are the roots of the equation zzˉ3+zˉz3=350z\bar z^3+\bar z z^3=350 is

Tap an option to check your answer
(A)4848
(B)3232
(C)4040
(D)8080
▸ SHOW SOLUTION

Step 1. Factor with zzˉz\bar z

zzˉ(zˉ2+z2)=350z\bar z\left(\bar z^2+z^2\right)=350

zzˉ=x2+y2z\bar z=x^2+y^2 and z2+zˉ2=2(x2−y2)z^2+\bar z^2=2\left(x^2-y^2\right):

(x2+y2)(x2−y2)=175\left(x^2+y^2\right)\left(x^2-y^2\right)=175

Step 2. Integer factor pairs

x2+y2>x2−y2>0x^2+y^2>x^2-y^2>0 and both have the same parity. From 175=175⋅1=35⋅5=25⋅7175=175\cdot1=35\cdot5=25\cdot7, only 2525 and 77 give squares:

x2=16,y2=9x^2=16,\qquad y^2=9

Step 3. The rectangle

The roots are ±4±3i\pm4\pm3i, a rectangle with sides 88 and 66. Area =48=48.

Answer: option (A)

Example 29 (JEE Main 2026, 6 April Shift 1). Let the set of all values of k∈Rk\in\mathbb R such that the equation z(zˉ+2+i)+k(2+3i)=0z(\bar z+2+i)+k(2+3i)=0, z∈Cz\in\mathbb C, has at least one solution, be the interval [α,β][\alpha,\beta]. Then 9(α+β)9(\alpha+\beta) is equal to

Tap an option to check your answer
(1)−10-10
(2)−8-8
(3)101310\sqrt{13}
(4)8138\sqrt{13}
▸ SHOW SOLUTION

Step 1. Put z=x+iyz=x+iy

zzˉ+z(2+i)z\bar z+z(2+i)=(x2+y2+2x−y)+i(x+2y)=(x^2+y^2+2x-y)+i(x+2y)

Step 2. Equate parts

x2+y2+2x−y+2k=0x^2+y^2+2x-y+2k=0x+2y+3k=0x+2y+3k=0

A circle and a line.

Step 3. Line must meet the circle

Centre (−1,12)\left(-1,\frac12\right), radius squared 54−2k\frac54-2k. Distance from the centre to the line:

∣−1+1+3k∣5=3∣k∣5\frac{|-1+1+3k|}{\sqrt5}=\frac{3|k|}{\sqrt5}9k25≤54−2k⇒36k2+40k−25≤0\frac{9k^2}{5}\le\frac54-2k\Rightarrow36k^2+40k-25\le0

Step 4. Sum of the end points

α,β\alpha,\beta are the roots of 36k2+40k−25=036k^2+40k-25=0, so α+β=−109\alpha+\beta=-\frac{10}{9} and 9(α+β)=−109(\alpha+\beta)=-10.

Answer: option (1)

Example 30 (JEE Main 2025, 3 April Shift 1). Let z∈Cz\in\mathbb C be such that z2+3iz−2+i=2+3i\dfrac{z^2+3i}{z-2+i}=2+3i. Then the sum of all possible values of z2z^2 is

Tap an option to check your answer
(1)19−2i19-2i
(2)−19−2i-19-2i
(3)19+2i19+2i
(4)−19+2i-19+2i
▸ SHOW SOLUTION

Step 1. Clear the denominator

z2+3i=(2+3i)(z−2+i)z^2+3i=(2+3i)(z-2+i)

(2+3i)(−2+i)=−7−4i(2+3i)(-2+i)=-7-4i, so

z2−(2+3i)z+7+7i=0z^2-(2+3i)z+7+7i=0

z=2−iz=2-i is not a root, so both roots are allowed.

Step 2. Sum of squares of roots

z1+z2=2+3iz_1+z_2=2+3i and z1z2=7+7iz_1z_2=7+7i:

z12+z22=(2+3i)2−2(7+7i)z_1^2+z_2^2=(2+3i)^2-2(7+7i)=−5+12i−14−14i=−19−2i=-5+12i-14-14i=-19-2i

Answer: option (2)

Example 31 (IITianForum). Let (x,y)(x,y) be a pair of real numbers satisfying 5x−12y=xx2+y25x-12y=\dfrac{x}{x^2+y^2} and 12x+5y=−yx2+y212x+5y=-\dfrac{y}{x^2+y^2}. Then 13(∣x∣+∣y∣)13\left(|x|+|y|\right) is equal to ______.

▸ SHOW SOLUTION

Step 1. Combine into one complex equation

Let z=x+iyz=x+iy. Take the first equation plus ii times the second:

(5x−12y)+i(12x+5y)(5x-12y)+i(12x+5y)=(5+12i)(x+iy)=(5+12i)(x+iy)x−iyx2+y2=zˉ∣z∣2=1z\frac{x-iy}{x^2+y^2}=\frac{\bar z}{|z|^2}=\frac1z

Step 2. Solve

(5+12i)z=1z(5+12i)z=\frac1zz2=15+12i=1(3+2i)2z^2=\frac{1}{5+12i}=\frac{1}{(3+2i)^2}z=±13+2i=±3−2i13z=\pm\frac{1}{3+2i}=\pm\frac{3-2i}{13}

Step 3. Read off

∣x∣+∣y∣=513|x|+|y|=\frac{5}{13}, so 13(∣x∣+∣y∣)=513\left(|x|+|y|\right)=5.

Answer: 55

Example 32 (JEE Advanced 2017, Paper 1). Let a,b,xa,b,x and yy be real numbers such that a−b=1a-b=1 and y≠0y\neq0. If the complex number z=x+iyz=x+iy satisfies Im(az+bz+1)=y\mathrm{Im}\left(\dfrac{az+b}{z+1}\right)=y, then which of the following is(are) possible value(s) of xx?

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Imaginary part of the quotient

Multiply by z+1‾=(x+1)−iy\overline{z+1}=(x+1)-iy:

Im((az+b)(zˉ+1))\mathrm{Im}\big((az+b)(\bar z+1)\big)=ay(x+1)−y(ax+b)=(a−b)y=y=ay(x+1)-y(ax+b)=(a-b)y=yIm(az+bz+1)=y(x+1)2+y2\mathrm{Im}\left(\frac{az+b}{z+1}\right)=\frac{y}{(x+1)^2+y^2}

Step 2. The condition

y≠0y\neq0, so

(x+1)2+y2=1⇒x=−1±1−y2(x+1)^2+y^2=1\Rightarrow x=-1\pm\sqrt{1-y^2}

Answer: (B) and (D)

Example 33 (JEE Advanced 2018, Paper 2). Let s,t,rs,t,r be non-zero complex numbers and LL be the set of solutions z=x+iyz=x+iy (x,y∈Rx,y\in\mathbb R, i=−1i=\sqrt{-1}) of the equation sz+tzˉ+r=0sz+t\bar z+r=0, where zˉ=x−iy\bar z=x-iy. Then, which of the following statement(s) is (are) TRUE?

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Conjugate equation

sz+tzˉ+r=0,tˉz+sˉzˉ+rˉ=0sz+t\bar z+r=0,\qquad \bar tz+\bar s\bar z+\bar r=0

Multiply the first by sˉ\bar s, the second by tt, and subtract:

z(∣s∣2−∣t∣2)=trˉ−sˉrz\left(|s|^2-|t|^2\right)=t\bar r-\bar sr

Step 2. The two cases

If ∣s∣≠∣t∣|s|\neq|t|, exactly one solution. If ∣s∣=∣t∣|s|=|t|, then with z=x+iyz=x+iy the equation is one real linear equation (a line) or has no solution. For example, s=t=1s=t=1, r=ir=i gives 2x+i=02x+i=0, no solution.

Step 3. Check each statement

(A)True: one element forces ∣s∣≠∣t∣|s|\neq|t|.
(B)False, by the example.
(C)True: LL is a point, a line or empty, and a line meets a circle in at most 22 points.
(D)True: more than one element means the line case.

Answer: (A), (C) and (D)

De Moivre's theorem

For every integer nn,

(cos⁡θ+isin⁡θ)n=cos⁡nθ+isin⁡nθ(\cos\theta+i\sin\theta)^n=\cos n\theta+i\sin n\theta

In Euler form this is (eiθ)n=einθ\left(e^{i\theta}\right)^n=e^{in\theta}. Reason: for n≥1n\ge1 apply the product rule nn times, adding the angle θ\theta each time; for negative nn use 1eiθ=e−iθ\frac1{e^{i\theta}}=e^{-i\theta}. So

(reiθ)n=rneinθ\left(re^{i\theta}\right)^n=r^ne^{in\theta}

Uses

Powers. To find (a+ib)n(a+ib)^n, write a+iba+ib in polar form first. Common values:

1+i=2 eiπ/4,1+i3=2eiπ/31+i=\sqrt2\,e^{i\pi/4},\qquad 1+i\sqrt3=2e^{i\pi/3} 3+i=2eiπ/6\sqrt3+i=2e^{i\pi/6}

Multiple angles. Expanding (cos⁡θ+isin⁡θ)n(\cos\theta+i\sin\theta)^n by the binomial theorem and comparing parts gives cos⁡nθ\cos n\theta and sin⁡nθ\sin n\theta as polynomials. For n=3n=3:

cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos3\theta=4\cos^3\theta-3\cos\theta sin⁡3θ=3sin⁡θ−4sin⁡3θ\sin3\theta=3\sin\theta-4\sin^3\theta

Trigonometric sums. ∑cos⁡kθ\sum\cos k\theta and ∑sin⁡kθ\sum\sin k\theta are the real and imaginary parts of the geometric series ∑eikθ\sum e^{ik\theta}.

Binomial sums. Sums like ∑nCk 3k/2\sum{}^nC_k\,3^{k/2} with alternating signs are the real or imaginary part of (1+i3)n\left(1+i\sqrt3\right)^n.

De Moivre for fractional powers

For a fraction pq\frac pq, (cos⁡θ+isin⁡θ)p/q(\cos\theta+i\sin\theta)^{p/q} has qq different values, cos⁡p(θ+2kπ)q+isin⁡p(θ+2kπ)q\cos\frac{p(\theta+2k\pi)}{q}+i\sin\frac{p(\theta+2k\pi)}{q} for k=0,1,…,q−1k=0,1,\dots,q-1. The single formula with pqθ\frac{p}{q}\theta gives only one of them. Roots of unity below are this case.

Examples

Example 34 (JEE Main 2026, 23 January Shift 2). If z=32+i2z=\dfrac{\sqrt3}{2}+\dfrac i2, i=−1i=\sqrt{-1}, then (z201−i)8\left(z^{201}-i\right)^8 is equal to

Tap an option to check your answer
(1)−1-1
(2)00
(3)11
(4)256256
▸ SHOW SOLUTION

Step 1. Polar form

z=cos⁡π6+isin⁡π6=eiπ/6z=\cos\frac{\pi}{6}+i\sin\frac{\pi}{6}=e^{i\pi/6}

Step 2. The power

201π6=32π+3π2\frac{201\pi}{6}=32\pi+\frac{3\pi}{2}z201=ei3π/2=−iz^{201}=e^{i3\pi/2}=-i

Step 3. Finish

(−i−i)8=(−2i)8=28 i8=256\left(-i-i\right)^8=(-2i)^8=2^8\,i^8=256

Answer: option (4)

Example 35 (IIT JEE 2009, Paper 1). Let z=cos⁡θ+isin⁡θz=\cos\theta+i\sin\theta. Then the value of ∑m=115Im(z2m−1)\displaystyle\sum_{m=1}^{15}\mathrm{Im}\left(z^{2m-1}\right) at θ=2∘\theta=2^\circ is

Tap an option to check your answer
(A)1sin⁡2∘\frac{1}{\sin2^\circ}
(B)13sin⁡2∘\frac{1}{3\sin2^\circ}
(C)12sin⁡2∘\frac{1}{2\sin2^\circ}
(D)14sin⁡2∘\frac{1}{4\sin2^\circ}
▸ SHOW SOLUTION

Step 1. Imaginary parts

By De Moivre, Im(z2m−1)=sin⁡(2m−1)θ\mathrm{Im}\left(z^{2m-1}\right)=\sin(2m-1)\theta:

S=sin⁡θ+sin⁡3θ+⋯+sin⁡29θS=\sin\theta+\sin3\theta+\dots+\sin29\theta

Step 2. Telescope

2sin⁡θsin⁡(2m−1)θ=cos⁡(2m−2)θ−cos⁡2mθ2\sin\theta\sin(2m-1)\theta=\cos(2m-2)\theta-\cos2m\theta. Adding for m=1m=1 to 1515:

2sin⁡θ⋅S=1−cos⁡30θ2\sin\theta\cdot S=1-\cos30\theta

Step 3. Put θ=2∘\theta=2^\circ

S=1−cos⁡60∘2sin⁡2∘=14sin⁡2∘S=\frac{1-\cos60^\circ}{2\sin2^\circ}=\frac{1}{4\sin2^\circ}

Answer: option (D)

Example 36 (JEE Main 2025, 28 January Shift 1). If α=1+∑r=16(−3)r−1 12C2r−1\alpha=1+\displaystyle\sum_{r=1}^{6}(-3)^{r-1}\,{}^{12}C_{2r-1}, then the distance of the point (12,3)\left(12,\sqrt3\right) from the line αx−3 y+1=0\alpha x-\sqrt3\,y+1=0 is ______.

▸ SHOW SOLUTION

Step 1. Recognise the sum

In (1+i3)12=∑12Ck(i3)k\left(1+i\sqrt3\right)^{12}=\sum{}^{12}C_k\left(i\sqrt3\right)^k, the odd terms k=2r−1k=2r-1 give

(i3)2r−1=i3 (−3)r−1\left(i\sqrt3\right)^{2r-1}=i\sqrt3\,(-3)^{r-1}Im(1+i3)12\mathrm{Im}\left(1+i\sqrt3\right)^{12}=3∑r=16(−3)r−1 12C2r−1=\sqrt3\sum_{r=1}^{6}(-3)^{r-1}\,{}^{12}C_{2r-1}

Step 2. De Moivre

(1+i3)12=212ei4π=4096\left(1+i\sqrt3\right)^{12}=2^{12}e^{i4\pi}=4096

The imaginary part is 00, so the sum is 00 and α=1\alpha=1.

Step 3. Distance

∣12−3+1∣1+3=5\frac{\left|12-3+1\right|}{\sqrt{1+3}}=5

Answer: 55

Example 37 (IITianForum). If zz is a non-real complex number, then the least value of Im(z5)(Im z)5\dfrac{\mathrm{Im}\left(z^5\right)}{\left(\mathrm{Im}\,z\right)^5} is ______.

▸ SHOW SOLUTION

Step 1. Polar form

Let z=r(cos⁡θ+isin⁡θ)z=r(\cos\theta+i\sin\theta) with sin⁡θ≠0\sin\theta\neq0. By De Moivre:

Im(z5)(Im z)5=r5sin⁡5θr5sin⁡5θ=sin⁡5θsin⁡5θ\frac{\mathrm{Im}\left(z^5\right)}{\left(\mathrm{Im}\,z\right)^5}=\frac{r^5\sin5\theta}{r^5\sin^5\theta}=\frac{\sin5\theta}{\sin^5\theta}

Step 2. Expand sin⁡5θ\sin5\theta

The imaginary part of (c+is)5(c+is)^5 is 5c4s−10c2s3+s55c^4s-10c^2s^3+s^5. With c2=1−s2c^2=1-s^2:

sin⁡5θ=16s5−20s3+5s\sin5\theta=16s^5-20s^3+5s

Step 3. Minimise

With t=1s2≥1t=\frac{1}{s^2}\ge1:

sin⁡5θsin⁡5θ=5t2−20t+16=5(t−2)2−4\frac{\sin5\theta}{\sin^5\theta}=5t^2-20t+16=5(t-2)^2-4

Least value −4-4 at t=2t=2, that is θ=π4\theta=\frac{\pi}{4}.

Answer: −4-4

Example 38 (JEE Advanced 2013, Paper 2). Let w=3+i2w=\dfrac{\sqrt3+i}{2} and P={wn:n=1,2,3,… }P=\{w^n:n=1,2,3,\dots\}. Further H1={z∈C:Re z>12}H_1=\left\{z\in\mathbb C:\mathrm{Re}\,z>\dfrac12\right\} and H2={z∈C:Re z<−12}H_2=\left\{z\in\mathbb C:\mathrm{Re}\,z<-\dfrac12\right\}, where C\mathbb C is the set of all complex numbers. If z1∈P∩H1z_1\in P\cap H_1, z2∈P∩H2z_2\in P\cap H_2 and OO represents the origin, then ∠z1Oz2=\angle z_1Oz_2=

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. The set PP

w=eiπ/6w=e^{i\pi/6}, so PP is the 1212 points eikπ/6e^{ik\pi/6}, k=0,1,…,11k=0,1,\dots,11, on the unit circle.

Step 2. Points in each half-plane

Re=cos⁡kπ6\mathrm{Re}=\cos\frac{k\pi}{6}. cos⁡>12\cos>\frac12 only for angles 0,±π60,\pm\frac{\pi}{6}. cos⁡<−12\cos<-\frac12 only for π,±5π6\pi,\pm\frac{5\pi}{6}. The points at ±π3\pm\frac{\pi}{3} and ±2π3\pm\frac{2\pi}{3} lie on the boundary lines and are not included.

Twelve powers of w on the unit circle with the half-planes Re z greater than one half and less than minus one half

Step 3. Possible angles

The angle between a point at a∈{0,±π6}a\in\left\{0,\pm\frac{\pi}{6}\right\} and a point at b∈{π,±5π6}b\in\left\{\pi,\pm\frac{5\pi}{6}\right\} takes the values 2π3\frac{2\pi}{3}, 5π6\frac{5\pi}{6} and π\pi. Among the options, 2π3\frac{2\pi}{3} and 5π6\frac{5\pi}{6} occur.

Answer: (C) and (D)

Cube roots of unity

The equation z3=1z^3=1 factors as (z−1)(z2+z+1)=0(z-1)\left(z^2+z+1\right)=0. Its roots are

1,ω=−1+i321,\qquad \omega=\frac{-1+i\sqrt3}{2} ω2=−1−i32\omega^2=\frac{-1-i\sqrt3}{2}

In Euler form ω=e2πi/3\omega=e^{2\pi i/3} and ω2=e4πi/3=e−2πi/3\omega^2=e^{4\pi i/3}=e^{-2\pi i/3}. They form an equilateral triangle on the unit circle.

The cube roots of unity 1, omega and omega squared at the vertices of an equilateral triangle on the unit circle

Properties

PropertyStatement
Cubeω3=1\omega^3=1
Sum1+ω+ω2=01+\omega+\omega^2=0
Conjugateωˉ=ω2=1ω\bar\omega=\omega^2=\frac1\omega
Modulus∣ω∣=1\lvert \omega\rvert =1
Powersω3k=1\omega^{3k}=1, ω3k+1=ω\omega^{3k+1}=\omega, ω3k+2=ω2\omega^{3k+2}=\omega^2
Power sum1+ωn+ω2n=31+\omega^n+\omega^{2n}=3 if 3∣n3\mid n, else 00
Quadraticω,ω2\omega,\omega^2 are the roots of x2+x+1=0x^2+x+1=0
Negatives−ω,−ω2-\omega,-\omega^2 are the roots of x2−x+1=0x^2-x+1=0

The sum property: ω\omega is a root of z2+z+1=0z^2+z+1=0. The power sum: if 3∤n3\nmid n, then ωn\omega^n is ω\omega or ω2\omega^2 and the sum is again 1+ω+ω21+\omega+\omega^2.

Factorisations

x2+x+1=(x−ω)(x−ω2)x^2+x+1=(x-\omega)\left(x-\omega^2\right) x2+xy+y2=(x−yω)(x−yω2)x^2+xy+y^2=(x-y\omega)\left(x-y\omega^2\right) x3+y3=(x+y)(x+yω)(x+yω2)x^3+y^3=(x+y)(x+y\omega)\left(x+y\omega^2\right) a3+b3+c3−3abca^3+b^3+c^3-3abc =(a+b+c)(a+bω+cω2)=(a+b+c)\left(a+b\omega+c\omega^2\right) ×(a+bω2+cω)\quad\times\left(a+b\omega^2+c\omega\right)
Principal argument of $\omega^2$

arg⁡ω=2π3\arg\omega=\frac{2\pi}{3}, but arg⁡ω2=−2π3\arg\omega^2=-\frac{2\pi}{3} in the principal range (−π,π](-\pi,\pi]. The value 4π3\frac{4\pi}{3} is correct only in the [0,2π)[0,2\pi) convention.

Spot $\omega$ in disguise

Numbers like −1±i32\frac{-1\pm i\sqrt3}{2}, roots of x2+x+1=0x^2+x+1=0, and 1+ω=−ω21+\omega=-\omega^2, 1+ω2=−ω1+\omega^2=-\omega appear in many questions without the letter ω\omega. Rewrite them first. For roots of x2−x+1=0x^2-x+1=0 use −ω-\omega and −ω2-\omega^2, which satisfy z3=−1z^3=-1 and z6=1z^6=1.

Examples

Example 39 (JEE Main 2026, 21 January Shift 1). If x2+x+1=0x^2+x+1=0, then the value of (x+1x)4+(x2+1x2)4+(x3+1x3)4+⋯+(x25+1x25)4\left(x+\dfrac1x\right)^4+\left(x^2+\dfrac1{x^2}\right)^4+\left(x^3+\dfrac1{x^3}\right)^4+\cdots+\left(x^{25}+\dfrac1{x^{25}}\right)^4 is

Tap an option to check your answer
(1)128128
(2)162162
(3)175175
(4)145145
▸ SHOW SOLUTION

Step 1. Each bracket

x=ωx=\omega (or ω2\omega^2; the answer is the same) and 1xn=ω2n\frac1{x^n}=\omega^{2n}:

xn+1xn=ωn+ω2n={2,3∣n−1,3∤nx^n+\frac1{x^n}=\omega^n+\omega^{2n}=\begin{cases}2,&3\mid n\\-1,&3\nmid n\end{cases}

Step 2. Count

From 11 to 2525 there are 88 multiples of 33 and 1717 other numbers.

8⋅24+17⋅(−1)4=128+17=1458\cdot2^4+17\cdot(-1)^4=128+17=145

Answer: option (4)

Example 40 (JEE Main 2026, 22 January Shift 1). Let α=−1+i32\alpha=\dfrac{-1+i\sqrt3}{2} and β=−1−i32\beta=\dfrac{-1-i\sqrt3}{2}. If (7−7α+9β)20+(9+7α−7β)20+(−7+9α+7β)20+(14+7α+7β)20=m10(7-7\alpha+9\beta)^{20}+(9+7\alpha-7\beta)^{20}+(-7+9\alpha+7\beta)^{20}+(14+7\alpha+7\beta)^{20}=m^{10}, then mm is ______.

▸ SHOW SOLUTION

Step 1. Rename

α=ω\alpha=\omega, β=ω2\beta=\omega^2. Let B=9+7ω−7ω2B=9+7\omega-7\omega^2.

Step 2. First and third brackets are multiples of BB

ω2B=9ω2+7−7ω=7−7ω+9ω2\omega^2B=9\omega^2+7-7\omega=7-7\omega+9\omega^2ωB=9ω+7ω2−7=−7+9ω+7ω2\omega B=9\omega+7\omega^2-7=-7+9\omega+7\omega^2

Step 3. Last bracket

14+7(ω+ω2)=14−7=714+7\left(\omega+\omega^2\right)=14-7=7

Step 4. Add

B20(ω40+1+ω20)+720B^{20}\left(\omega^{40}+1+\omega^{20}\right)+7^{20}=B20(ω+1+ω2)+720=720=B^{20}\left(\omega+1+\omega^2\right)+7^{20}=7^{20}

720=49107^{20}=49^{10}, so m=49m=49.

Answer: 4949

Example 41 (IITianForum). Let ω\omega be a non-real cube root of unity, p=2+3ω+5ω2p=2+3\omega+5\omega^2, q=3+5ω+2ω2q=3+5\omega+2\omega^2 and r=5+2ω+3ω2r=5+2\omega+3\omega^2. Then

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Relate qq and rr to pp

ω2p=2ω2+3ω3+5ω4\omega^2p=2\omega^2+3\omega^3+5\omega^4=3+5ω+2ω2=q=3+5\omega+2\omega^2=qωp=2ω+3ω2+5ω3\omega p=2\omega+3\omega^2+5\omega^3=5+2ω+3ω2=r=5+2\omega+3\omega^2=r

So q=ω2pq=\omega^2p, not ωp\omega p; (D) is false.

Step 2. The sums

p+q+r=p(1+ω2+ω)=0p+q+r=p\left(1+\omega^2+\omega\right)=0p2+q2+r2=p2(1+ω4+ω2)=0p^2+q^2+r^2=p^2\left(1+\omega^4+\omega^2\right)=0

(A) is false and (C) is true.

Step 3. The product

pqr=p⋅ω2p⋅ωp=ω3p3=p3pqr=p\cdot\omega^2p\cdot\omega p=\omega^3p^3=p^3

(B) is true.

Answer: (B) and (C)

Example 42 (IIT JEE 2010, Paper 1). Let ω\omega be the complex number cos⁡2π3+isin⁡2π3\cos\dfrac{2\pi}{3}+i\sin\dfrac{2\pi}{3}. Then the number of distinct complex numbers zz satisfying ∣z+1ωω2ωz+ω21ω21z+ω∣=0\begin{vmatrix}z+1&\omega&\omega^2\\\omega&z+\omega^2&1\\\omega^2&1&z+\omega\end{vmatrix}=0 is equal to ______.

▸ SHOW SOLUTION

Step 1. Add all rows to the first

Each column adds to z+1+ω+ω2=zz+1+\omega+\omega^2=z:

Δ=z∣111ωz+ω21ω21z+ω∣\Delta=z\begin{vmatrix}1&1&1\\\omega&z+\omega^2&1\\\omega^2&1&z+\omega\end{vmatrix}

Step 2. Subtract columns

Use C2→C2−C1C_2\to C_2-C_1 and C3→C3−C1C_3\to C_3-C_1:

Δ=z∣z+ω2−ω1−ω1−ω2z+ω−ω2∣\Delta=z\begin{vmatrix}z+\omega^2-\omega&1-\omega\\1-\omega^2&z+\omega-\omega^2\end{vmatrix}

Step 3. Expand

Δ=z(z2−(ω2−ω)2\Delta=z\Big(z^2-\left(\omega^2-\omega\right)^2−(1−ω)(1−ω2))\quad-(1-\omega)\left(1-\omega^2\right)\Big)

(ω2−ω)2=ω4−2ω3+ω2=−3\left(\omega^2-\omega\right)^2=\omega^4-2\omega^3+\omega^2=-3 and (1−ω)(1−ω2)=3(1-\omega)\left(1-\omega^2\right)=3, so

Δ=z3\Delta=z^3

Δ=0\Delta=0 only for z=0z=0: one value.

Answer: 11

Example 43 (JEE Advanced 2016, Paper 1). Let z=−1+3 i2z=\dfrac{-1+\sqrt3\,i}{2}, where i=−1i=\sqrt{-1}, and r,s∈{1,2,3}r,s\in\{1,2,3\}. Let P=[(−z)rz2sz2szr]P=\begin{bmatrix}(-z)^r&z^{2s}\\z^{2s}&z^r\end{bmatrix} and II be the identity matrix of order 22. Then the total number of ordered pairs (r,s)(r,s) for which P2=−IP^2=-I is ______.

▸ SHOW SOLUTION

Step 1. Square the matrix

z=ωz=\omega. The off-diagonal entries of P2P^2 are

z2s((−z)r+zr)=ω2sωr((−1)r+1)z^{2s}\left((-z)^r+z^r\right)=\omega^{2s}\omega^r\left((-1)^r+1\right)

These are 00 only when rr is odd: r=1r=1 or 33.

Step 2. Diagonal entries

z2r+z4s=ω2r+ω4s=−1z^{2r}+z^{4s}=\omega^{2r}+\omega^{4s}=-1

r=1r=1: ω2+ωs=−1\omega^2+\omega^{s}=-1 needs ωs=ω\omega^s=\omega, so s=1s=1. r=3r=3: 1+ωs=−11+\omega^s=-1 is impossible because ∣ωs∣=1|\omega^s|=1.

So only (r,s)=(1,1)(r,s)=(1,1).

Answer: 11

Example 44 (IITianForum). The sum of the squares of the moduli of the non-real roots of z5−2z4+z3−2z2+z−2=0z^5-2z^4+z^3-2z^2+z-2=0 is ______.

▸ SHOW SOLUTION

Step 1. Group in pairs

z4(z−2)+z2(z−2)+(z−2)z^4(z-2)+z^2(z-2)+(z-2)=(z−2)(z4+z2+1)=(z-2)\left(z^4+z^2+1\right)

Step 2. Factor the quartic

z4+z2+1=(z2+1)2−z2z^4+z^2+1=\left(z^2+1\right)^2-z^2=(z2+z+1)(z2−z+1)=\left(z^2+z+1\right)\left(z^2-z+1\right)

The non-real roots are ω,ω2,−ω,−ω2\omega,\omega^2,-\omega,-\omega^2.

Step 3. Add

Each has modulus 11, so the sum is 44.

Answer: 44

Example 45 (JEE Advanced 2026, Paper 1). Match each entry in List-I to the correct entry in List-II.

List-IList-II
(P) If α,β\alpha,\beta are distinct roots of x2+x+1=0x^2+x+1=0, then the quadratic with roots 1(α+1)2026,1(β+1)2026\frac{1}{(\alpha+1)^{2026}},\frac{1}{(\beta+1)^{2026}} is(1) x2+x+1=0x^2+x+1=0
(Q) If α,β\alpha,\beta are distinct roots of x2+x+1=0x^2+x+1=0, then the quadratic with roots 1(α+1)2027,1(β+1)2027\frac{1}{(\alpha+1)^{2027}},\frac{1}{(\beta+1)^{2027}} is(2) x2−x+1=0x^2-x+1=0
(R) If γ,δ\gamma,\delta are distinct roots of x2−x+1=0x^2-x+1=0, then 1(γ−1)2026+1(δ−1)2026\frac{1}{(\gamma-1)^{2026}}+\frac{1}{(\delta-1)^{2026}} is(3) x2+x−1=0x^2+x-1=0
(S) If p,rp,r are distinct roots of x2+x−1=0x^2+x-1=0, then 1(p+1)3+1(r+1)3\frac{1}{(p+1)^3}+\frac{1}{(r+1)^3} is(4) −1-1
(5) −4-4

The correct option is

Tap an option to check your answer
(1)(P)→(1), (Q)→(2), (R)→(5), (S)→(4)
(2)(P)→(3), (Q)→(1), (R)→(4), (S)→(5)
(3)(P)→(1), (Q)→(2), (R)→(4), (S)→(5)
(4)(P)→(2), (Q)→(3), (R)→(5), (S)→(4)
▸ SHOW SOLUTION

Step 1. Item P

α=ω\alpha=\omega, β=ω2\beta=\omega^2, so α+1=−ω2\alpha+1=-\omega^2 and β+1=−ω\beta+1=-\omega. Even power: the signs go.

1ω4052=1ω2=ω,1ω2026=1ω=ω2\frac{1}{\omega^{4052}}=\frac1{\omega^2}=\omega,\qquad \frac{1}{\omega^{2026}}=\frac1\omega=\omega^2

Roots ω,ω2\omega,\omega^2: x2+x+1=0x^2+x+1=0. P→(1).

Step 2. Item Q

Odd power: each term changes sign, giving −ω2-\omega^2 and −ω-\omega. Sum 11, product 11: x2−x+1=0x^2-x+1=0. Q→(2).

Step 3. Item R

γ=−ω\gamma=-\omega, δ=−ω2\delta=-\omega^2. Then γ−1=−(1+ω)=ω2\gamma-1=-(1+\omega)=\omega^2 and δ−1=ω\delta-1=\omega:

1ω4052+1ω2026=ω+ω2=−1\frac{1}{\omega^{4052}}+\frac{1}{\omega^{2026}}=\omega+\omega^2=-1

R→(4).

Step 4. Item S

p2+p=1p^2+p=1 gives 1p+1=p\frac1{p+1}=p. So the sum is p3+r3p^3+r^3 with p+r=−1p+r=-1, pr=−1pr=-1:

p3+r3=(p+r)3−3pr(p+r)p^3+r^3=(p+r)^3-3pr(p+r)=−1−3=−4=-1-3=-4

S→(5).

Answer: option (3)

Example 46 (JEE Advanced 2025, Paper 2). For a non-zero complex number zz, let arg⁡(z)\arg(z) denote the principal argument of zz, with −π<arg⁡(z)≤π-\pi<\arg(z)\le\pi. Let ω\omega be the cube root of unity for which 0<arg⁡(ω)<π0<\arg(\omega)<\pi. Let α=arg⁡(∑n=12025(−ω)n)\alpha=\arg\left(\displaystyle\sum_{n=1}^{2025}(-\omega)^n\right). Then the value of 3απ\dfrac{3\alpha}{\pi} is ______.

▸ SHOW SOLUTION

Step 1. The base

−ω=12−32i=e−iπ/3-\omega=\frac12-\frac{\sqrt3}{2}i=e^{-i\pi/3}

Its powers repeat with period 66, and any six consecutive powers add to 00.

Step 2. Reduce the sum

2025=6⋅337+32025=6\cdot337+3, so only the last three terms remain:

e−iπ/3+e−2iπ/3+e−iπe^{-i\pi/3}+e^{-2i\pi/3}+e^{-i\pi}=(12−32i)+(−12−32i)−1=\left(\frac12-\frac{\sqrt3}{2}i\right)+\left(-\frac12-\frac{\sqrt3}{2}i\right)-1=−1−i3=-1-i\sqrt3

Step 3. Argument

−1−i3-1-i\sqrt3 is in the third quadrant with α=−(π−π3)=−2π3\alpha=-\left(\pi-\frac{\pi}{3}\right)=-\frac{2\pi}{3}. So 3απ=−2\frac{3\alpha}{\pi}=-2.

Answer: −2-2

nnth roots of unity

The equation zn=1z^n=1 has exactly nn roots. Writing 1=e2kπi1=e^{2k\pi i}:

zk=e2kπi/n,k=0,1,…,n−1z_k=e^{2k\pi i/n},\qquad k=0,1,\dots,n-1

With α=e2πi/n\alpha=e^{2\pi i/n} they are 1,α,α2,…,αn−11,\alpha,\alpha^2,\dots,\alpha^{n-1}, a geometric progression. They are the vertices of a regular nn-gon inscribed in the unit circle, one vertex at 11, adjacent vertices 2πn\frac{2\pi}{n} apart.

The seventh roots of unity at the vertices of a regular heptagon on the unit circle

Properties

For n≥2n\ge2:

PropertyStatement
Sum1+α+α2+⋯+αn−1=01+\alpha+\alpha^2+\dots+\alpha^{n-1}=0
Power sum∑k=0n−1αkp=n\sum_{k=0}^{n-1}\alpha^{kp}=n if n∣pn\mid p, else 00
Product1⋅α⋯αn−1=(−1)n−11\cdot\alpha\cdots\alpha^{n-1}=(-1)^{n-1}
Factorisationzn−1=(z−1)(z−α)⋯(z−αn−1)z^n-1=(z-1)(z-\alpha)\cdots\left(z-\alpha^{n-1}\right)
Product of differences(1−α)(1−α2)⋯(1−αn−1)=n(1-\alpha)\left(1-\alpha^2\right)\cdots\left(1-\alpha^{n-1}\right)=n
Conjugate pairsαk‾=αn−k\overline{\alpha^k}=\alpha^{n-k}
Common rootszm=1z^m=1 and zn=1z^n=1 share exactly gcd⁡(m,n)\gcd(m,n) roots

Reasons. The sum is a GP: 1−αn1−α=0\frac{1-\alpha^n}{1-\alpha}=0. The product is (−1)n−1(-1)^{n-1} times the constant term of zn−1z^n-1, by Vieta. Dividing the factorisation by z−1z-1:

1+z+⋯+zn−11+z+\dots+z^{n-1} =(z−α)⋯(z−αn−1)=(z-\alpha)\cdots\left(z-\alpha^{n-1}\right)

and putting z=1z=1 gives the product of differences.

nnth roots of any complex number

The nn roots of zn=reiθz^n=re^{i\theta} are

rn ei(θ+2kπ)/n,k=0,1,…,n−1\sqrt[n]{r}\,e^{i(\theta+2k\pi)/n},\qquad k=0,1,\dots,n-1

They also form a regular nn-gon, of radius rn\sqrt[n]r. Equivalently: one root times each nnth root of unity.

Sum of roots needs $n\ge2$

For n=1n=1 the only root is 11 and the sum is 11. Also, the power sum is 00 only when nn does not divide pp; for p=np=n every term is 11.

Examples

Example 47. Let α=e2πi/7\alpha=e^{2\pi i/7}. Then ∏k=16(2−αk)\displaystyle\prod_{k=1}^{6}\left(2-\alpha^k\right) is equal to ______.

▸ SHOW SOLUTION

Step 1. Factorisation

z7−1=(z−1)∏k=16(z−αk)z^7-1=(z-1)\prod_{k=1}^{6}\left(z-\alpha^k\right)∏k=16(z−αk)=1+z+z2+⋯+z6\prod_{k=1}^{6}\left(z-\alpha^k\right)=1+z+z^2+\dots+z^6

Step 2. Put z=2z=2

1+2+4+⋯+64=27−1=1271+2+4+\dots+64=2^7-1=127

Answer: 127127

Example 48 (JEE Advanced 2014, Paper 2). Let zk=cos⁡2kπ10+isin⁡2kπ10z_k=\cos\dfrac{2k\pi}{10}+i\sin\dfrac{2k\pi}{10}, k=1,2,…,9k=1,2,\dots,9. Match the lists.

List IList II
P. For each zkz_k there exists a zjz_j such that zk⋅zj=1z_k\cdot z_j=11. True
Q. There exists a k∈{1,2,…,9}k\in\{1,2,\dots,9\} such that z1⋅z=zkz_1\cdot z=z_k has no solution zz in the set of complex numbers2. False
R. ∣1−z1∣∣1−z2∣⋯∣1−z9∣10\frac{\lvert 1-z_1\rvert \lvert 1-z_2\rvert \cdots\lvert 1-z_9\rvert }{10} equals3. 11
S. 1−∑k=19cos⁡2kπ101-\sum_{k=1}^{9}\cos\frac{2k\pi}{10} equals4. 22
Tap an option to check your answer
(A)P→1, Q→2, R→4, S→3
(B)P→2, Q→1, R→3, S→4
(C)P→1, Q→2, R→3, S→4
(D)P→2, Q→1, R→4, S→3
▸ SHOW SOLUTION

Step 1. P

zkz_k are the 1010th roots of unity other than 11. zkz10−k=1z_kz_{10-k}=1 and z10−kz_{10-k} is also in the list. P is true.

Step 2. Q

z1≠0z_1\neq0, so z=zkz1z=\frac{z_k}{z_1} always exists. Q is false.

Step 3. R

(1−z1)(1−z2)⋯(1−z9)=10(1-z_1)(1-z_2)\cdots(1-z_9)=10, so the expression is 11.

Step 4. S

The real parts of all ten roots add to 00, so ∑k=19cos⁡2kπ10=−1\sum_{k=1}^{9}\cos\frac{2k\pi}{10}=-1 and S =2=2.

Answer: option (C)

Example 49 (JEE Advanced 2015, Paper 2). For any integer kk, let αk=cos⁡(kπ7)+isin⁡(kπ7)\alpha_k=\cos\left(\dfrac{k\pi}{7}\right)+i\sin\left(\dfrac{k\pi}{7}\right), where i=−1i=\sqrt{-1}. The value of the expression ∑k=112∣αk+1−αk∣∑k=13∣α4k−1−α4k−2∣\dfrac{\displaystyle\sum_{k=1}^{12}\left|\alpha_{k+1}-\alpha_k\right|}{\displaystyle\sum_{k=1}^{3}\left|\alpha_{4k-1}-\alpha_{4k-2}\right|} is ______.

▸ SHOW SOLUTION

Step 1. Every term is the same

αk=eikπ/7\alpha_k=e^{ik\pi/7}, so

∣αk+1−αk∣=∣αk∣∣eiπ/7−1∣\left|\alpha_{k+1}-\alpha_k\right|=\left|\alpha_k\right|\left|e^{i\pi/7}-1\right|=∣eiπ/7−1∣=\left|e^{i\pi/7}-1\right|

These are the equal sides of a regular 1414-gon. Call the common length dd.

Step 2. Count

The numerator has 1212 terms and the denominator 33, all equal to dd:

12d3d=4\frac{12d}{3d}=4

Answer: 44

Example 50 (IITianForum). Let α1,α2,…,α12\alpha_1,\alpha_2,\dots,\alpha_{12} be all the 1212th roots of unity, and S=∑1≤i<j≤12(αiαj)PS=\displaystyle\sum_{1\le i<j\le12}\left(\alpha_i\alpha_j\right)^P. Then

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Write SS with power sums

Let Tm=∑i=112αimT_m=\sum_{i=1}^{12}\alpha_i^m. Then

S=TP2−T2P2S=\frac{T_P^2-T_{2P}}{2}

Tm=12T_m=12 if 12∣m12\mid m and 00 otherwise.

Step 2. Each value of PP

P=1P=1: T1=T2=0T_1=T_2=0, S=0S=0. P=4P=4: T4=T8=0T_4=T_8=0, S=0S=0, so (B) is false. P=6P=6: T6=0T_6=0, T12=12T_{12}=12, S=−6S=-6. P=12P=12: T12=T24=12T_{12}=T_{24}=12:

S=144−122=66S=\frac{144-12}{2}=66

Answer: (A), (C) and (D)

Example 51 (IITianForum). The number of complex numbers zz that satisfy both z60=1z^{60}=1 and z84=1z^{84}=1 is ______.

▸ SHOW SOLUTION

Step 1. A common root has order dividing both

z60=1z^{60}=1 and z84=1z^{84}=1. Since gcd⁡(60,84)=12\gcd(60,84)=12, there are integers a,ba,b with 60a+84b=1260a+84b=12, so

z12=(z60)a(z84)b=1z^{12}=\left(z^{60}\right)^a\left(z^{84}\right)^b=1

Step 2. Conversely

Every 1212th root of unity satisfies both, because 12∣6012\mid60 and 12∣8412\mid84. So there are 1212 such zz.

Answer: 1212

Example 52 (IITianForum). Let P=cos⁡2π7+isin⁡2π7P=\cos\dfrac{2\pi}{7}+i\sin\dfrac{2\pi}{7}, a=P+P2+P4a=P+P^2+P^4 and b=P3+P5+P6b=P^3+P^5+P^6. Then ∣a−b∣2|a-b|^2 is equal to ______.

▸ SHOW SOLUTION

Step 1. Sum

a+b=P+P2+⋯+P6=−1a+b=P+P^2+\dots+P^6=-1.

Step 2. Product

ab=P4+P6+P7+P5+P7ab=P^4+P^6+P^7+P^5+P^7+P8+P7+P9+P10\quad+P^8+P^7+P^9+P^{10}

P7=1P^7=1, P8=PP^8=P, P9=P2P^9=P^2, P10=P3P^{10}=P^3:

ab=3+(P+P2+⋯+P6)ab=3+\left(P+P^2+\dots+P^6\right)=3−1=2=3-1=2

Step 3. Difference

(a−b)2=(a+b)2−4ab=1−8=−7(a-b)^2=(a+b)^2-4ab=1-8=-7

So a−b=±i7a-b=\pm i\sqrt7 and ∣a−b∣2=7|a-b|^2=7.

Answer: 77

Quadratic equations with complex roots

For az2+bz+c=0az^2+bz+c=0 with a≠0a\neq0, the roots are

z=−b±b2−4ac2az=\frac{-b\pm\sqrt{b^2-4ac}}{2a}

This formula holds for complex a,b,ca,b,c too, with b2−4ac\sqrt{b^2-4ac} meaning either square root (found by the method of the polar form section). Vieta's relations also hold:

z1+z2=−ba,z1z2=caz_1+z_2=-\frac ba,\qquad z_1z_2=\frac ca

Real coefficients

If a,b,ca,b,c are real and D=b2−4ac<0D=b^2-4ac<0, the roots are the conjugate pair

−b±i−D2a\frac{-b\pm i\sqrt{-D}}{2a}

More generally, a polynomial with real coefficients has its non-real roots in conjugate pairs, because p(zˉ)=p(z)‾=0p(\bar z)=\overline{p(z)}=0. Then

z1+z2=2 Re(z1),z1z2=∣z1∣2z_1+z_2=2\,\mathrm{Re}(z_1),\qquad z_1z_2=|z_1|^2

Complex coefficients

When the coefficients are not all real, conjugate pairing fails. Use the formula with the square root of a complex number, or Vieta's relations. The sign test D<0D<0 has no meaning, because DD is complex.

Real root of an equation with complex coefficients

To find when z2−(3+i)z+(m+2i)=0z^2-(3+i)z+(m+2i)=0 has a real root xx, put z=xz=x and equate real and imaginary parts: x2−3x+m=0x^2-3x+m=0 and −x+2=0-x+2=0. Do not use the discriminant.

Sums of powers of roots

For z1n+z2nz_1^n+z_2^n, either write the roots in polar form and use De Moivre, or use sn=−basn−1−casn−2s_n=-\frac ba s_{n-1}-\frac ca s_{n-2} with s0=2s_0=2.

Examples

Example 53 (JEE Main 2026, 4 April Shift 2). Let S={z∈C:z2+4z+16=0}S=\{z\in\mathbb C:z^2+4z+16=0\}. Then ∑z∈S∣z+3 i∣2\displaystyle\sum_{z\in S}\left|z+\sqrt3\,i\right|^2 is equal to

Tap an option to check your answer
(1)4242
(2)2323
(3)2727
(4)3838
▸ SHOW SOLUTION

Step 1. Roots

(z+2)2=−12⇒z=−2±23 i(z+2)^2=-12\Rightarrow z=-2\pm2\sqrt3\,i

Step 2. Shift by 3 i\sqrt3\,i

z+3 i=−2+33 ior−2−3 iz+\sqrt3\,i=-2+3\sqrt3\,i\quad\text{or}\quad-2-\sqrt3\,i

Step 3. Moduli

(4+27)+(4+3)=38(4+27)+(4+3)=38

Answer: option (4)

Example 54 (JEE Main 2026, 5 April Shift 2). Let z1,z2∈Cz_1,z_2\in\mathbb C be the distinct solutions of z2+4z−(1+12i)=0z^2+4z-(1+12i)=0. Then ∣z1∣2+∣z2∣2|z_1|^2+|z_2|^2 is equal to

Tap an option to check your answer
(1)1818
(2)2222
(3)2929
(4)3434
▸ SHOW SOLUTION

Step 1. Discriminant

b2−4ac=16+4(1+12i)=20+48ib^2-4ac=16+4(1+12i)=20+48i

Step 2. Its square root

∣20+48i∣=52|20+48i|=52. Then x=52+202=6x=\sqrt{\frac{52+20}{2}}=6 and y=52−202=4y=\sqrt{\frac{52-20}{2}}=4, same sign:

20+48i=±(6+4i)\sqrt{20+48i}=\pm(6+4i)

Step 3. Roots

z=−4±(6+4i)2=1+2i or −5−2iz=\frac{-4\pm(6+4i)}{2}=1+2i\ \text{or}\ -5-2i

Step 4. Moduli

∣z1∣2+∣z2∣2=5+29=34|z_1|^2+|z_2|^2=5+29=34

Answer: option (4)

Example 55 (JEE Main 2026, 5 April Shift 1). Let a,b∈Ca,b\in\mathbb C. Let α,β\alpha,\beta be the roots of x2+ax+b=0x^2+ax+b=0. If β−α=11\beta-\alpha=\sqrt{11} and β2−α2=3i11\beta^2-\alpha^2=3i\sqrt{11}, then (β3−α3)2\left(\beta^3-\alpha^3\right)^2 is equal to

Tap an option to check your answer
(1)160160
(2)176176
(3)194194
(4)187187
▸ SHOW SOLUTION

Step 1. Sum of the roots

(β+α)(β−α)=3i11⇒β+α=3i(\beta+\alpha)(\beta-\alpha)=3i\sqrt{11}\Rightarrow\beta+\alpha=3i

Step 2. Product of the roots

4αβ=(α+β)2−(β−α)24\alpha\beta=(\alpha+\beta)^2-(\beta-\alpha)^2=−9−11=−20=-9-11=-20

So αβ=−5\alpha\beta=-5.

Step 3. Difference of cubes

β3−α3=(β−α)((α+β)2−αβ)\beta^3-\alpha^3=(\beta-\alpha)\left((\alpha+\beta)^2-\alpha\beta\right)=11 (−9+5)=−411=\sqrt{11}\,(-9+5)=-4\sqrt{11}(β3−α3)2=16⋅11=176\left(\beta^3-\alpha^3\right)^2=16\cdot11=176

Answer: option (2)

Example 56 (JEE Main 2026, 4 April Shift 2). If α=1\alpha=1 and β=1+i2\beta=1+i\sqrt2, where i=−1i=\sqrt{-1}, are two roots of the equation x3+ax2+bx+c=0x^3+ax^2+bx+c=0, a,b,c∈Ra,b,c\in\mathbb R, then ∫−11(x3+ax2+bx+c)dx\displaystyle\int_{-1}^{1}\left(x^3+ax^2+bx+c\right)dx is equal to

Tap an option to check your answer
(1)−2-2
(2)−4-4
(3)−8-8
(4)−10-10
▸ SHOW SOLUTION

Step 1. Third root

Real coefficients, so 1−i21-i\sqrt2 is also a root.

(x−1−i2)(x−1+i2)\left(x-1-i\sqrt2\right)\left(x-1+i\sqrt2\right)=x2−2x+3=x^2-2x+3

Step 2. The cubic

(x−1)(x2−2x+3)(x-1)\left(x^2-2x+3\right)=x3−3x2+5x−3=x^3-3x^2+5x-3

Step 3. Integrate

Odd powers give 00 on [−1,1][-1,1]:

∫−11(−3x2−3)dx=−2−6=−8\int_{-1}^{1}\left(-3x^2-3\right)dx=-2-6=-8

Answer: option (3)

Example 57 (JEE Main 2026, 6 April Shift 2). Let S={z∈C:z2+6 iz−3=0}S=\left\{z\in\mathbb C:z^2+\sqrt6\,iz-3=0\right\}. Then ∑z∈Sz8\displaystyle\sum_{z\in S}z^8 is equal to

Tap an option to check your answer
(1)162162
(2)184184
(3)262262
(4)324324
▸ SHOW SOLUTION

Step 1. Roots

z=−6 i±−6+122=62(±1−i)z=\frac{-\sqrt6\,i\pm\sqrt{-6+12}}{2}=\frac{\sqrt6}{2}(\pm1-i)

Step 2. Eighth powers

(1−i)2=−2i(1-i)^2=-2i and (−1−i)2=2i(-1-i)^2=2i, so both eighth powers are 1616:

(1−i)8=(−2i)4=16(1-i)^8=(-2i)^4=16(−1−i)8=(2i)4=16(-1-i)^8=(2i)^4=16

Step 3. Add

(62)8=6428=8116\left(\frac{\sqrt6}{2}\right)^8=\frac{6^4}{2^8}=\frac{81}{16}∑z8=8116(16+16)=162\sum z^8=\frac{81}{16}(16+16)=162

Answer: option (1)

Example 58 (AIEEE 2011). Let α,β\alpha,\beta be real and zz be a complex number. If z2+αz+β=0z^2+\alpha z+\beta=0 has two distinct roots on the line Re z=1\mathrm{Re}\,z=1, then it is necessary that

Tap an option to check your answer
(A)β∈(0,1)\beta\in(0,1)
(B)β∈(−1,0)\beta\in(-1,0)
(C)∣β∣=1|\beta|=1
(D)β∈(1,∞)\beta\in(1,\infty)
▸ SHOW SOLUTION

Step 1. The roots are a conjugate pair

Two distinct roots with real part 11 cannot both be real (they would both equal 11). Real coefficients, so the roots are 1±iy1\pm iy with y≠0y\neq0.

Step 2. Product

β=(1+iy)(1−iy)=1+y2>1\beta=(1+iy)(1-iy)=1+y^2>1

Answer: option (D)

Complex numbers in geometry: a short summary

Every result of this section is developed with figures and many more examples in the Complex Numbers in Coordinate Geometry note. The list below is for quick recall.

IdeaResult
Distance∣z1−z2∣\lvert z_1-z_2\rvert
Section point in ratio m:nm:nmz2+nz1m+n\frac{mz_2+nz_1}{m+n}
Centroidz1+z2+z33\frac{z_1+z_2+z_3}{3}
Rotation about z0z_0 through θ\thetaz−z0=(z1−z0)eiθz-z_0=(z_1-z_0)e^{i\theta}
Angle at z0z_0 from z1z_1 to z2z_2arg⁡z2−z0z1−z0\arg\frac{z_2-z_0}{z_1-z_0}
Collinear z1,z2,z3z_1,z_2,z_3z3−z1z2−z1\frac{z_3-z_1}{z_2-z_1} real
Line through z1,z2z_1,z_2∣zzˉ1z1zˉ11z2zˉ21∣=0\begin{vmatrix}z&\bar z&1\\z_1&\bar z_1&1\\z_2&\bar z_2&1\end{vmatrix}=0
General lineaˉz+azˉ+b=0\bar az+a\bar z+b=0, bb real
Complex slope of that line−aaˉ-\frac{a}{\bar a}
Distance of z0z_0 from that line∣aˉz0+azˉ0+b∣2∣a∣\frac{\lvert \bar az_0+a\bar z_0+b\rvert }{2\lvert a\rvert }
Circle∣z−z0∣=r\lvert z-z_0\rvert =r, or zzˉ+aˉz+azˉ+b=0z\bar z+\bar az+a\bar z+b=0 with centre −a-a
Apollonius circle∣z−z1z−z2∣=k\left\lvert \frac{z-z_1}{z-z_2}\right\rvert =k, k≠1k\neq1
Perpendicular bisector∣z−z1∣=∣z−z2∣\lvert z-z_1\rvert =\lvert z-z_2\rvert
Ellipse∣z−z1∣+∣z−z2∣=2a>∣z1−z2∣\lvert z-z_1\rvert +\lvert z-z_2\rvert =2a>\lvert z_1-z_2\rvert
Hyperbola branch∣z−z1∣−∣z−z2∣=2a<∣z1−z2∣\lvert z-z_1\rvert -\lvert z-z_2\rvert =2a<\lvert z_1-z_2\rvert
Arc of a circlearg⁡z−z1z−z2=θ\arg\frac{z-z_1}{z-z_2}=\theta
Equilateral trianglez12+z22+z32=z1z2+z2z3+z3z1z_1^2+z_2^2+z_3^2=z_1z_2+z_2z_3+z_3z_1

For ∣z∣|z| over a region: the least and greatest distance from a point PP to a circle with centre CC and radius rr are ∣PC−r∣|PC-r| and PC+rPC+r.

Examples

Example 59 (JEE Main 2026, 21 January Shift 2). Let zz be the complex number satisfying ∣z−5∣≤3|z-5|\le3 and having maximum positive principal argument. Then 34∣5z−125iz+16∣234\left|\dfrac{5z-12}{5iz+16}\right|^2 is equal to

Tap an option to check your answer
(1)1616
(2)1212
(3)2626
(4)2020
▸ SHOW SOLUTION

Step 1. The extreme point

The disc has centre 55 and radius 33. The argument is greatest at the upper tangent point zz from OO.

Disc of radius 3 centred at 5 with the tangent from the origin touching it at z

Step 2. Locate it

∣z∣=25−9=4|z|=\sqrt{25-9}=4 and sin⁡(arg⁡z)=35\sin(\arg z)=\frac35, so cos⁡(arg⁡z)=45\cos(\arg z)=\frac45:

z=4(45+35i)=16+12i5z=4\left(\frac45+\frac35i\right)=\frac{16+12i}{5}

Step 3. Evaluate

5z−12=4+12i5z-12=4+12i and 5iz+16=4+16i5iz+16=4+16i:

34⋅16+14416+256=34⋅160272=2034\cdot\frac{16+144}{16+256}=34\cdot\frac{160}{272}=20

Answer: option (4)

Example 60 (JEE Advanced 2025, Paper 1). Let R\mathbb R denote the set of all real numbers. Let z1=1+2iz_1=1+2i and z2=3iz_2=3i be two complex numbers, where i=−1i=\sqrt{-1}. Let S={(x,y)∈R×R:∣x+iy−z1∣=2∣x+iy−z2∣}S=\{(x,y)\in\mathbb R\times\mathbb R:|x+iy-z_1|=2|x+iy-z_2|\}. Then which of the following statements is (are) TRUE?

More than one option is correct. Pick all of them, then Check
▸ SHOW SOLUTION

Step 1. Square both sides

(x−1)2+(y−2)2=4(x2+(y−3)2)(x-1)^2+(y-2)^2=4\left(x^2+(y-3)^2\right)3x2+3y2+2x−20y+31=03x^2+3y^2+2x-20y+31=0

Step 2. Centre and radius

Divide by 33: centre (−13,103)\left(-\frac13,\frac{10}{3}\right) and

r2=19+1009−313=89⇒r=223r^2=\frac19+\frac{100}{9}-\frac{31}{3}=\frac89\Rightarrow r=\frac{2\sqrt2}{3}Apollonius circle for the points z1 and z2 with ratio 2, and its centre C

Answer: (A) and (D)

Which method to use

GivenMethod
Large power of iiReduce the index modulo 44
Equation with real unknowns x,yx,yEquate real and imaginary parts
"Purely real" or "purely imaginary"Make the denominator real, or use w=±wˉw=\pm\bar w
Equation in zz and zˉ\bar zTake the modulus first, or put z=x+iyz=x+iy, or pair with the conjugate equation
∣z∣=1\lvert z\rvert =1Replace zˉ\bar z by 1z\frac1z; write z=eiθz=e^{i\theta}
Bound on ∣z∣\lvert z\rvert Triangle inequality, then check equality
∣z1±z2∣\lvert z_1\pm z_2\rvert givenParallelogram law and Re(z1zˉ2)\mathrm{Re}(z_1\bar z_2)
High power of a+iba+ibPolar form and De Moivre
Trigonometric or binomial sumReal or imaginary part of a power or a GP of eiθe^{i\theta}
−1±i32\frac{-1\pm i\sqrt3}{2} or x2±x+1=0x^2\pm x+1=0Write as ω,ω2\omega,\omega^2 or −ω,−ω2-\omega,-\omega^2
Sum or product over roots of zn=1z^n=1GP sum, power sums, zn−1z^n-1 factorisation
Quadratic with complex coefficientsFormula with the square root of a complex number, or Vieta
Max or min of ∣z−a∣\lvert z-a\rvert or arg⁡z\arg z over a regionGeometry: distance to the centre, tangent from the origin

What JEE asks

Across the JEE Main papers from 2009 to 2026 and the JEE Advanced and IIT JEE papers, the chapter appears in these forms.

  1. Algebra, equality and real or imaginary parts (Examples 4 to 7, 10, 12 and 32).
  2. Modulus, conjugate and inequalities (Examples 8, 9, 11 and 13 to 18).
  3. Argument and polar form (Examples 19 to 22, 24 to 26 and 46).
  4. Equations in zz and zˉ\bar z (Examples 27 to 31 and 33).
  5. De Moivre, trigonometric and binomial sums (Examples 34 to 38).
  6. Cube roots of unity (Examples 39 to 46). This is the most common form in JEE Advanced, often inside a matrix or a determinant.
  7. nnth roots of unity (Examples 47 to 52).
  8. Quadratic equations with complex roots or coefficients (Examples 53 to 58). Five of the thirteen 2026 JEE Main questions in this note are of this type.
  9. Geometry in the Argand plane (Examples 59 and 60, and the coordinate geometry note).

JEE Advanced 2026 asked for ω\omega inside a list match of quadratics (Example 45) and for the map z↦az+bcz+dz\mapsto\frac{az+b}{cz+d} on the upper half-plane (Example 12). JEE Advanced 2025 asked for the argument of a sum of powers of −ω-\omega (Example 46) and an Apollonius circle (Example 60).

Quick recall

ResultStatement
Powers of iii4q+r=iri^{4q+r}=i^r
Inverse1z=zˉ∣z∣2\frac1z=\frac{\bar z}{\lvert z\rvert ^2}
Conjugatezzˉ=∣z∣2z\bar z=\lvert z\rvert ^2; z1z2‾=zˉ1zˉ2\overline{z_1z_2}=\bar z_1\bar z_2
Real, imaginary testsz=zˉz=\bar z; z=−zˉz=-\bar z
Modulus of product∣z1z2∣=∣z1∣∣z2∣\lvert z_1z_2\rvert =\lvert z_1\rvert \lvert z_2\rvert
Sum squared∣z1+z2∣2=∣z1∣2+∣z2∣2+2 Re(z1zˉ2)\lvert z_1+z_2\rvert ^2=\lvert z_1\rvert ^2+\lvert z_2\rvert ^2+2\,\mathrm{Re}(z_1\bar z_2)
Parallelogram law∣z1+z2∣2+∣z1−z2∣2=2(∣z1∣2+∣z2∣2)\lvert z_1+z_2\rvert ^2+\lvert z_1-z_2\rvert ^2=2\left(\lvert z_1\rvert ^2+\lvert z_2\rvert ^2\right)
Triangle inequality∣∣z1∣−∣z2∣∣≤∣z1±z2∣≤∣z1∣+∣z2∣\big\lvert \lvert z_1\rvert -\lvert z_2\rvert \big\rvert \le\lvert z_1\pm z_2\rvert \le\lvert z_1\rvert +\lvert z_2\rvert
Principal argument(−π,π](-\pi,\pi]; α\alpha, π−α\pi-\alpha, −(π−α)-(\pi-\alpha), −α-\alpha
Argument of productarg⁡z1+arg⁡z2+2kπ\arg z_1+\arg z_2+2k\pi
Euler formz=reiθz=re^{i\theta}
Square root of a+iba+ib±(∣z∣+a2±i∣z∣−a2)\pm\left(\sqrt{\frac{\lvert z\rvert +a}{2}}\pm i\sqrt{\frac{\lvert z\rvert -a}{2}}\right), sign of bb
De Moivre(eiθ)n=einθ\left(e^{i\theta}\right)^n=e^{in\theta}
Cube roots of unity1+ω+ω2=01+\omega+\omega^2=0, ω3=1\omega^3=1, ωˉ=ω2\bar\omega=\omega^2
nnth roots of unitye2kπi/ne^{2k\pi i/n}; sum 00; product (−1)n−1(-1)^{n-1}
Product of differences∏k=1n−1(1−αk)=n\prod_{k=1}^{n-1}\left(1-\alpha^k\right)=n
Real polynomialnon-real roots in conjugate pairs
Before you leave this chapter

Without a pen, answer these four: the value of i2026i^{2026}; the principal argument of −1−i3-1-i\sqrt3; the value of (1+i)8(1+i)^8; and the sum of the 55th powers of the 77th roots of unity. If −1-1, −2π3-\frac{2\pi}{3}, 1616 and 00 came quickly, the chapter is in place.

Practise these methods on real exam questions in the doMath Complex Numbers chapter. Rotation, lines, circles and loci in the Argand plane are developed in the Complex Numbers in Coordinate Geometry note, and quadratic equations with real coefficients in the Quadratic Equations note.

[ SHARE ] WhatsApp
[ practice these chapters ]
Reinforce this post with live problems on doMath.
Basics & LogarithmsTheory of EquationsComplex Numbers
← Back to all notes