PrevNext

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 zz0z-z_0 so rotations are about the origin.

Compare Distances

Use z1z2|z_1-z_2| to encode distance constraints in the plane.

Key Ideas

  • Rotation by θ\theta: zzeiθz \mapsto ze^{i\theta}.
  • Translation by ww: zz+wz \mapsto z + w.
  • Distance: z1z2|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 (z0)/(z30)=z2(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+(zw)eiθw + (z-w)e^{i\theta}.

Example 3: Perpendicularity

If AB\overrightarrow{AB} is perpendicular to CD\overrightarrow{CD}, then (zBzA)/(zDzC)(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

Module Progress:

Join the AoPS Community!

Stuck on a problem, or don't understand a module? Join the AoPS community and get help from other math contest students.

PrevNext