Overview

Multiplication by eiθe^{i\theta} rotates points, and addition translates them. This gives a compact way to solve plane geometry problems.

Core Skills

Use Rotation Multiplication

If a rotation by θ\theta is present, multiply by eiθe^{i\theta} and compare ratios of complex differences.

Translate First

Shift the origin to simplify: replace zz with z−z0z-z_0 so rotations are about the origin.

Compare Distances

Use ∣z1−z2∣|z_1-z_2| to encode distance constraints in the plane.

Key Ideas

  • Rotation by θ\theta: z↦zeiθz \mapsto ze^{i\theta}.
  • Translation by ww: z↦z+wz \mapsto z + w.
  • Distance: ∣z1−z2∣|z_1 - z_2|.

Worked Example

How many nonzero zz make 0,z,z30, z, z^3 the vertices of an equilateral triangle?

Equilateral means (z−0)/(z3−0)=z−2(z-0)/(z^3-0) = z^{-2} is a cube root of unity ω\omega or ω2\omega^2. So z2z^2 equals ω\omega or ω2\omega^2, giving four solutions on the unit circle. The answer is 44.

More Examples

Example 1: Midpoint

If AA and BB correspond to z1z_1 and z2z_2, the midpoint is (z1+z2)/2(z_1+z_2)/2.

Example 2: Rotation About a Point

Rotate point zz about ww by θ\theta.

The image is w+(z−w)eiθw + (z-w)e^{i\theta}.

Example 3: Perpendicularity

If AB→\overrightarrow{AB} is perpendicular to CD→\overrightarrow{CD}, then (zB−zA)/(zD−zC)(z_B-z_A)/(z_D-z_C) is purely imaginary.

Strategy Checklist

  • Translate the figure so a rotation center is at 00.
  • Use ratios of differences to encode angles.
  • Apply modulus for distances.

Common Pitfalls

  • Forgetting to divide out the common vertex before applying rotation criteria.
  • Mixing up ω\omega with ω2\omega^2 in equilateral conditions.
  • Failing to translate before applying rotation formulas.

Practice Problems

StatusSourceProblem NameDifficultyTags
Berkeley Math CircleHard
Show TagsComplex numbers in geometry, Rotation
USA IMOHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Triangle trigonometry, Trigonometry
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers, Complex numbers in geometry, Vectors
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Counting two ways, Roots of unity
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Trigonometry
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers, Complex numbers in geometry, Roots of unity
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Optimization in geometry, Roots of unity
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Roots of unity, Vectors
Team Selection TestHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Rotation, Translation, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Triangle trigonometry, Trigonometry
USAMOHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Miquel point, Spiral similarity
USAMOHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Homothety, Inversion, Rotation, Spiral similarity, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Triangle trigonometry
12th Annual Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Roots of unity, Triangle trigonometry, Trigonometry
13th Annual Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Constructions and loci, Rotation, Translation, Trigonometry
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers, Complex numbers in geometry, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
15th Annual Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers in geometry, Inversion, Sums and products
Harvard-MIT Mathematics TournamentHard
Show TagsComplex numbers, Complex numbers in geometry, Trigonometry
USAMOHard
Show TagsAngle chasing, Complex numbers in geometry, Menelaus' theorem, Triangle trigonometry
HMMT 2013Hard
Show TagsComplex numbers in geometry, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
Berkeley Math CircleHard
Show TagsComplex numbers, Complex numbers in geometry
IMO Team Selection Team Selection TestHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Homothety, Rotation, Simson line, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
HMMT 2014Hard
Show TagsComplex numbers, Complex numbers in geometry, Constructions and loci
IMO Team Selection Team Selection TestHard
Show TagsComplex numbers in geometry, Polynomials, Polynomials mod p, Rotation
HMMT February 2016Hard
Show TagsComplex numbers in geometry, Triangle trigonometry
HMMT February 2016Hard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Radical axis theorem, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Triangle trigonometry, Trigonometry
HMMT November 2016Hard
Show TagsComplex numbers, Complex numbers in geometry, Polynomial operations, Triangle trigonometry, Trigonometry

Module Progress:

Join the Discord Community!

Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.