Olympiad MethodsDifficulty 65-1008 tagged problems

Complex Numbers in Geometry

Complex Numbers in Geometry is the habit of encoding geometric points as complex numbers to handle circles, angles, and rotations algebraically. In contest math, that habit turns a crowded setup into a relation the student can test, bound, count, or compute. MathGrit teaches it as a recognizable signal, a deliberate move, and a final translation back to the original question.

Practice this technique Match my level

The Key Result

$$\text{Rotation by angle } \theta \text{ about center } z_0:\quad z \mapsto z_0 + e^{i\theta}\,(z - z_0).$$

Identifying each point of the plane with a complex number turns rotations into multiplication by $e^{i\theta}$, distances into $|z-w|$, and the unit circle into $|z|=1$ — so geometry becomes algebra.

Why It Works

1
A complex number $z = x + iy$ encodes the point $(x,y)$; the modulus $|z-w|$ is the distance between the points, and $\arg(z-w)$ is the direction of the segment.
2
Multiplying by $e^{i\theta} = \cos\theta + i\sin\theta$ rotates a vector by $\theta$ about the origin without changing its length, since $|e^{i\theta}|=1$.
3
To rotate $z$ about an arbitrary center $a$, translate so $a$ is at the origin ($z-a$), rotate ($\,(z-a)e^{i\theta}$), then translate back: $z' = a + (z-a)e^{i\theta}$.
4
Placing key points on the unit circle ($|z|=1$, so $\bar z = 1/z$) makes conjugates and reflections cheap — e.g. the conjugate of a unit-circle point is its reciprocal — which is why olympiad solvers put the circumcircle at $|z|=1$.

Worked Examples

Example 1

Square $ABCD$ has $A = 1$ and $B = 3 + i$ as complex numbers (vertices in counterclockwise order). Find $C$.

1
Going $A \to B \to C$ around the square turns left by $90^\circ$ at $B$, so $C$ is obtained by rotating $A$ about $B$ by $+90^\circ$, i.e. $e^{i\pi/2}=i$.
2
Apply the rotation formula: $C = B + (A - B)\,i$.
3
Compute $A - B = 1 - (3+i) = -2 - i$, so $(A-B)\,i = (-2-i)\,i = -2i - i^2 = 1 - 2i$.
4
Then $C = (3 + i) + (1 - 2i) = 4 - i$.

Answer:

$C = 4 - i$.

Contest level

Points $A = 0$ and $B = 2$ are two vertices of an equilateral triangle $ABC$ with $C$ above the real axis. Find $C$.

1
To build the equilateral triangle counterclockwise, rotate $B$ about $A$ by $+60^\circ$: $C = A + (B - A)e^{i\pi/3}$.
2
Here $A = 0$, $B - A = 2$, and $e^{i\pi/3} = \cos 60^\circ + i\sin 60^\circ = \tfrac12 + i\tfrac{\sqrt3}{2}$.
3
So $C = 2\left(\tfrac12 + i\tfrac{\sqrt3}{2}\right) = 1 + i\sqrt3$, which lies above the real axis as required.
4
Check: $|C - A| = |1 + i\sqrt3| = \sqrt{1+3} = 2$ and $|C - B| = |{-1} + i\sqrt3| = 2$, matching $|AB| = 2$. ✓

Answer:

$C = 1 + i\sqrt3$.

Olympiad / Challenge

Let $a, b, c$ be complex numbers of modulus $1$ (points on the unit circle). Prove that $a, b, c$ form an equilateral triangle if and only if $a + b + c = 0$.

1
($\Leftarrow$) Suppose $a+b+c = 0$. Rotating the whole picture (multiply by $\bar a$) we may take $a = 1$; then $b + c = -1$ with $|b| = |c| = 1$, so $\bar b = 1/b$ and $\bar c = 1/c$.
2
Conjugating $b + c = -1$ gives $\tfrac1b + \tfrac1c = -1$, i.e. $\tfrac{b+c}{bc} = -1$, so $bc = -(b+c) = 1$. Thus $b, c$ are roots of $z^2 + z + 1 = 0$, namely the primitive cube roots $\omega, \omega^2$.
3
Then $\{a,b,c\} = \{1, \omega, \omega^2\}$, the cube roots of unity, which are equally spaced by $120^\circ$ — an equilateral triangle.
4
($\Rightarrow$) An equilateral triangle inscribed in the unit circle has its centroid at the circumcenter (the origin), so $\tfrac{a+b+c}{3} = 0$, giving $a+b+c = 0$.

Answer:

Equilateral $\iff a + b + c = 0$ (for unit-modulus $a,b,c$).

Going Deeper

The rotation identity $z' = a + (z-a)e^{i\theta}$ composes: a product of two rotations is a rotation (by the summed angle) unless the angles cancel, in which case it is a translation — the algebraic shadow of plane isometries.
Complex bashing wins olympiad geometry when a circle is central: place the circumcircle at $|z| = 1$ so $\bar z = 1/z$, and reflections, tangents, and the foot-of-perpendicular formulas all become short rational expressions in the vertices.
Pitfall: $z' = a + (z-a)e^{i\theta}$ rotates counterclockwise by $\theta$. For a clockwise turn use $e^{-i\theta}$, and for the equilateral-triangle test the orientation matters — $c - a = (b-a)e^{\pm i\pi/3}$ picks the two different third vertices.

Spot the Signal

Look for problems where the key step is encoding geometric points as complex numbers to handle circles, angles, and rotations algebraically.
You can describe the hard part as encoding geometric points as complex numbers to handle circles, angles, and rotations algebraically, but a direct attack starts producing clutter.
The problem rewards preserving structure instead of expanding, listing, or guessing too early.

Learn the Move

Start by identify the olympiad structure that calls for complex numbers in geometry, then rewrite the givens around it.
Name the relation that makes Complex Numbers in Geometry legal before doing computation.
Use the new relation to replace the messiest part of the problem with a cleaner one.
Translate the result back to the quantity the problem actually asks for.

Avoid These Traps

Do not use Complex Numbers in Geometry just because the surface looks familiar; verify the required condition first.
Applying Complex Numbers in Geometry because it sounds relevant, without checking the trigger first.
Stopping after spotting the technique instead of finishing the calculation or proof.

MathGrit Coach Note

Let complex numbers in geometry reveal the structural theorem; then compute only what remains.

Try it on:

Practice a contest problem where the key step is encoding geometric points as complex numbers to handle circles, angles, and rotations algebraically.