Complex number operations

x2+1=0x^2+1=0 has no real solution — no real number squares to −1-1. Mathematicians resolved this by inventing a new symbol, i=−1i=\sqrt{-1}, and building a whole number system, the complex numbers, out of it. Every complex number is written z=a+ibz=a+ib, a real part paired with an imaginary part, and once that pairing is fixed, addition, subtraction, multiplication and division all follow ordinary algebra with one extra rule: i2=−1i^2=-1. This article works through the four operations, the conjugate and modulus that make division possible, and the Argand plane that lets you see a complex number as a point rather than just a formula. It closes with the trick for finding the square root of a complex number — a natural next step once you can multiply and divide confidently. Every one of these operations reduces to algebra you already know, plus a single new fact to keep track of, which is exactly why complex numbers feel strange at first and then, quickly, entirely routine.

The core insight

A complex number z=a+ibz=a+ib is manipulated with ordinary algebra plus the single rule i2=−1i^2=-1, and division always works by multiplying numerator and denominator by the conjugate of the denominator.

The core idea

A complex number in algebraic (Cartesian) form is

z=a+ib,a,b∈R,i=−1, i2=−1,z=a+ib,\qquad a,b\in\mathbb{R},\qquad i=\sqrt{-1},\ i^2=-1,

where: a=Re⁡(z)a=\operatorname{Re}(z) is the real part and b=Im⁡(z)b=\operatorname{Im}(z) is the imaginary part.

Addition and subtraction combine real parts with real parts and imaginary parts with imaginary parts:

z1+z2=(a+c)+i(b+d),z1−z2=(a−c)+i(b−d).z_1+z_2=(a+c)+i(b+d),\qquad z_1-z_2=(a-c)+i(b-d).

Multiplication expands like any binomial product, then replaces i2i^2 with −1-1:

z1z2=(ac−bd)+i(ad+bc).z_1z_2=(ac-bd)+i(ad+bc).

Conjugate and modulus are the tools that make division possible. The conjugate of z=a+ibz=a+ib is zˉ=a−ib\bar z=a-ib, and multiplying a complex number by its own conjugate always clears the imaginary part: zzˉ=a2+b2z\bar z=a^2+b^2, a non-negative real number. The modulus is

∣z∣=a2+b2.|z|=\sqrt{a^2+b^2}.

The multiplicative inverse for z≠0z\neq0 is z−1=zˉ/∣z∣2z^{-1}=\bar z/|z|^2, and the additive inverse is simply −z=−a−ib-z=-a-ib.

Equality of complex numbers. Two complex numbers a+iba+ib and c+idc+id are equal only when a=ca=c and b=db=d — the real parts match and the imaginary parts match independently, as two separate conditions rather than one. This is why "equate real and imaginary parts" is a legitimate algebraic move: it is not a shortcut, it is the definition of equality for complex numbers, and it is used whenever an unknown complex number is compared against a known target.

Powers of ii. Because i2=−1i^2=-1, every higher power of ii cycles through just four values:

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

and then the pattern repeats: i5=ii^5=i, i6=−1i^6=-1, and so on. To simplify ini^n for a large exponent nn, divide nn by 44 and keep only the remainder, since in=i n  4i^n=i^{\,n\bmod 4} (a remainder of 00 gives i0=1i^0=1). Memorising this four-value cycle is faster than recomputing powers of ii from scratch every time one appears in an expansion. The svg below shows z=a+ibz=a+ib as a point on the Argand plane, with modulus r=∣z∣r=|z| the distance from the origin and argument θ\theta the angle from the positive real axis, giving the polar form z=r(cos⁡θ+isin⁡θ)z=r(\cos\theta+i\sin\theta).

Figure
Argand plane showing a point z equal to a plus ib with modulus r as the distance from the origin and argument theta as the angle from the positive real axis
The Argand plane Re Im z = a + ib a b theta r = |z|

Converting to polar form means finding r=∣z∣r=|z| and θ\theta from aa and bb. Take z=−1+i3z=-1+i\sqrt3: here a=−1a=-1, b=3b=\sqrt3, so r=(−1)2+(3)2=1+3=2r=\sqrt{(-1)^2+(\sqrt3)^2}=\sqrt{1+3}=2. Then cos⁡θ=a/r=−1/2\cos\theta=a/r=-1/2 and sin⁡θ=b/r=3/2\sin\theta=b/r=\sqrt3/2; since cos⁡θ<0\cos\theta<0 and sin⁡θ>0\sin\theta>0, θ\theta lies in the second quadrant, so θ=120∘=2π/3\theta=120^\circ=2\pi/3. Both signs must be checked together — reading off a reference angle from sin⁡θ\sin\theta alone, ignoring the sign of cos⁡θ\cos\theta, is the single commonest slip in this step. Putting the pieces together, z=2(cos⁡2π3+isin⁡2π3)z=2\left(\cos\tfrac{2\pi}{3}+i\sin\tfrac{2\pi}{3}\right), which can be checked by expanding back: 2cos⁡120∘=2(−1/2)=−12\cos120^\circ=2(-1/2)=-1 and 2sin⁡120∘=2(3/2)=32\sin120^\circ=2(\sqrt3/2)=\sqrt3, matching aa and bb exactly.

Derivation AThe quotient of two complex numbers

Dividing complex numbers is not defined by cross-multiplying like ordinary fractions — it is defined by turning the denominator into a real number first, using the fact that a complex number multiplied by its own conjugate is always real and non-negative, and the goal here is to derive the general standard-form result once so it never has to be re-derived from scratch.

Step 1. State the problem. For z1=a+ibz_1=a+ib and z2=c+idz_2=c+id with z2≠0z_2\neq0, the quotient z1/z2z_1/z_2 must again be written in the standard form x+iyx+iy before it can be used in further algebra, so the goal is to eliminate ii from the denominator entirely while keeping the value of the fraction unchanged. Simply writing a+ibc+id\dfrac{a+ib}{c+id} and stopping there is not an acceptable final answer in this topic, because it still has ii sitting in the denominator.

Step 2. Multiply numerator and denominator by the conjugate of the denominator, c−idc-id. This is legal because (c−id)/(c−id)=1(c-id)/(c-id)=1, so the value of the fraction is untouched:

z1z2=a+ibc+id×c−idc−id=(a+ib)(c−id)(c+id)(c−id).\frac{z_1}{z_2}=\frac{a+ib}{c+id}\times\frac{c-id}{c-id}=\frac{(a+ib)(c-id)}{(c+id)(c-id)}.

Step 3. Expand the denominator using z2zˉ2=c2+d2z_2\bar z_2=c^2+d^2, which is real by construction, and expand the numerator as an ordinary product before simplifying i2=−1i^2=-1:

(a+ib)(c−id)=ac−iad+ibc−i2bd=(ac+bd)+i(bc−ad).(a+ib)(c-id)=ac-iad+ibc-i^2bd=(ac+bd)+i(bc-ad).

Step 4. Combine both results into the standard form:

z1z2=(ac+bd)+i(bc−ad)c2+d2,z2≠0.\frac{z_1}{z_2}=\frac{(ac+bd)+i(bc-ad)}{c^2+d^2},\qquad z_2\neq0.

Every division of complex numbers reduces to this one manoeuvre — multiply by the conjugate of the denominator — so it is worth remembering as a single reflex rather than re-deriving it each time.

Worked example

Let z1=3+4iz_1=3+4i and z2=1−2iz_2=1-2i. Find z1+z2z_1+z_2, z1z2z_1z_2, and z1/z2z_1/z_2.

Step 1. Sum: real parts and imaginary parts combine separately, z1+z2=(3+1)+i(4−2)=4+2iz_1+z_2=(3+1)+i(4-2)=4+2i.

Step 2. Product: expand as a binomial product and replace i2i^2 with −1-1,

z1z2=(3+4i)(1−2i)=3−6i+4i−8i2=3−6i+4i+8=11−2i.z_1z_2=(3+4i)(1-2i)=3-6i+4i-8i^2=3-6i+4i+8=11-2i.

Step 3. Quotient: multiply by the conjugate of the denominator, 1+2i1+2i,

3+4i1−2i×1+2i1+2i=(3+4i)(1+2i)12+22=3+6i+4i+8i25=−5+10i5=−1+2i.\frac{3+4i}{1-2i}\times\frac{1+2i}{1+2i}=\frac{(3+4i)(1+2i)}{1^2+2^2}=\frac{3+6i+4i+8i^2}{5}=\frac{-5+10i}{5}=-1+2i.

So z1+z2=4+2iz_1+z_2=4+2i, z1z2=11−2iz_1z_2=11-2i, and z1/z2=−1+2iz_1/z_2=-1+2i.

Competitive stretch

Find ∣z1∣|z_1|, the polar form of z1=3+4iz_1=3+4i, and 3+4i\sqrt{3+4i}.

Step 1. Modulus: ∣z1∣=32+42=9+16=25=5|z_1|=\sqrt{3^2+4^2}=\sqrt{9+16}=\sqrt{25}=5.

Step 2. Square root: let 3+4i=x+iy\sqrt{3+4i}=x+iy. Squaring both sides and equating real and imaginary parts gives x2−y2=3x^2-y^2=3 and 2xy=42xy=4, so xy=2xy=2. Also x2+y2=∣3+4i∣=5x^2+y^2=|3+4i|=5 (a shortcut that avoids solving a quartic directly).

Step 3. Add and subtract the two equations x2+y2=5x^2+y^2=5 and x2−y2=3x^2-y^2=3: adding gives 2x2=8⇒x2=4⇒x=±22x^2=8\Rightarrow x^2=4\Rightarrow x=\pm2; subtracting gives 2y2=2⇒y2=1⇒y=±12y^2=2\Rightarrow y^2=1\Rightarrow y=\pm1. Since xy=2>0xy=2>0, xx and yy must share a sign, so (x,y)=(2,1)(x,y)=(2,1) or (−2,−1)(-2,-1), giving 3+4i=±(2+i)\sqrt{3+4i}=\pm(2+i).

Step 4. Check by squaring: (2+i)2=4+4i+i2=4+4i−1=3+4i(2+i)^2=4+4i+i^2=4+4i-1=3+4i — confirmed. The modulus is ∣z1∣=5|z_1|=5, and 3+4i=±(2+i)\sqrt{3+4i}=\pm(2+i). The square root of a complex number always comes as a ±\pm pair, exactly like real square roots, because if w2=zw^2=z then (−w)2=z(-w)^2=z too.

Common traps

  • Dividing by multiplying by the conjugate of the numerator instead of the denominator — it must always be the denominator's conjugate.
  • Forgetting i2=−1i^2=-1 carries through every expansion, not just the first occurrence of i2i^2.
  • Writing −a×−b=ab\sqrt{-a}\times\sqrt{-b}=\sqrt{ab} for positive a,ba,b — convert to ii-form first (−a=ia\sqrt{-a}=i\sqrt a) before multiplying negative radicands.
  • Confusing modulus (a non-negative real number ∣z∣|z|) with argument (an angle θ\theta) — they answer different questions.
  • Reading off the argument's quadrant from cos⁡θ\cos\theta or sin⁡θ\sin\theta alone — always check the signs of both the real and imaginary parts together before deciding which quadrant θ\theta lies in.

These five traps account for most of the marks lost on this topic in practice — each one is a small, avoidable slip rather than a gap in understanding, so a quick self-check against this list before submitting an answer is worth the ten seconds it takes.

Ask the tutor: if any step of rationalising a quotient or expanding a product with ii feels shaky, ask the AI tutor to redo it with fresh numbers or check your working line by line.

Why does multiplying by the conjugate always remove i from the denominator?

Because (c+id)(c−id)=c2−(id)2=c2−i2d2=c2+d2(c+id)(c-id)=c^2-(id)^2=c^2-i^2d^2=c^2+d^2 — the cross terms +icd+icd and −icd-icd cancel exactly, leaving only real squares. That cancellation is guaranteed by the algebra of conjugate pairs, not a coincidence for particular numbers, so the trick works for every complex denominator except zero.

Is z1 divided by z2 the same as z1 times the inverse of z2?

Yes. Since z2−1=zˉ2/∣z2∣2z_2^{-1}=\bar z_2/|z_2|^2, multiplying z1z_1 by z2−1z_2^{-1} gives z1zˉ2/∣z2∣2z_1\bar z_2/|z_2|^2, which is exactly the numerator and denominator you get from rationalising z1/z2z_1/z_2 directly. Both routes land on the same standard-form answer, so use whichever is faster for the numbers in front of you — for a single division, rationalising directly is usually quicker than first computing the inverse and then multiplying.

Do I always need to convert to polar form to multiply or divide complex numbers?

No. Algebraic-form multiplication and division (expand, use i2=−1i^2=-1, rationalise by the conjugate) work for every problem in this topic and are usually faster for two or three numbers. Polar form becomes worth the extra step mainly for repeated multiplication or powers, where angles simply add instead of expanding brackets repeatedly, which is why it appears alongside the plotting and modulus work rather than replacing algebraic-form arithmetic entirely.

Before this

Where this leads