
"A design studio creates geometric tile patterns. Every pattern is built from a regular polygon whose vertices are equally spaced around a circle centred at the origin of the complex plane. Each vertex is a complex number. Your job today: find those numbers, understand why they always come out the way they do, and reverse-engineer a pattern you're given."
HL 1.12–1.13 · Polar form · Discovering \(z^4=1\) via De Moivre's theorem
"The studio's first tile is a square. Its four vertices sit equally spaced on a circle of radius 1, centred at the origin. One vertex is at \((1,\,0)\). Find all four vertices and draw the square on your whiteboard."
Equally spaced on the unit circle ⟹ angular spacing \(\dfrac{2\pi}{4}=\dfrac{\pi}{2}\). Starting at argument 0:
Applying De Moivre's with \(r=1,\;n=4\):
The four vertices are the four 4th roots of unity. This is the core equation students will generalise across all four phases.
HL 1.13–1.14 · Building the general spacing formula · \(z^3=w\)
"The studio's next tile is an equilateral triangle. Same unit circle, but this time one vertex is at argument \(\pi/3\) — not at \((1,0)\). Find all three vertices, write a formula for them, and find the equation \(z^3=w\)."
Angular spacing for an equilateral triangle: \(\dfrac{2\pi}{3}\). Starting at \(\alpha=\dfrac{\pi}{3}\):
Each vertex has \(r=1\):
Pattern — start at \(\alpha=\tfrac{\pi}{3}\), add \(\tfrac{2\pi}{3}\) each step:
Apply De Moivre's with \(r=1,\;n=3\) to \(z_k=\mathrm{cis}\!\left(\tfrac{\pi}{3}+\tfrac{2\pi k}{3}\right)\):
The \(2\pi k\) term vanishes due to periodicity. This is why there are exactly 3 distinct roots: \(k=3\) returns to \(k=0\).
HL 1.14 · Extending the geometric formula to \(r\neq 1\)
"The studio scales up. The next tile is a regular pentagon, but its vertices lie on a circle of radius 2. One vertex is at \(2\!\left(\cos\dfrac{\pi}{5}+i\sin\dfrac{\pi}{5}\right)\). Find all five vertices. Draw the pentagon. Find the equation \(z^5=w\)."
Angular spacing: \(\dfrac{2\pi}{5}\). Starting at \(\alpha=\dfrac{\pi}{5}\), all vertices have \(r=2\):
Apply De Moivre's with \(r=2,\;n=5\) to \(z_1=2\,\mathrm{cis}\!\left(\tfrac{\pi}{5}\right)\):
The modulus of \(w\) is \(32=2^5=r^n\). The radius of the circle is \(|w|^{1/n}=32^{1/5}=2\). ✓
When \(r\neq 1\), the modulus of \(w\) is \(r^n\). This is the step most groups find surprising — the formula still works, just with the modulus scaled.
HL 1.14 · Synthesis · Running De Moivre's backwards from a given vertex
"The studio found an old tile: a regular hexagon. One vertex is labelled \(-\sqrt{3}+i\). Using only this information, reconstruct the full hexagon and find the equation \(z^6=w\)."
It's a hexagon, so \(n=6\). Convert \(-\sqrt{3}+i\) to polar:
Angular spacing \(\dfrac{2\pi}{6}=\dfrac{\pi}{3}\). Arguments: \(\dfrac{5\pi}{6}+\dfrac{\pi k}{3}\) for \(k=0,1,2,3,4,5\). All have \(r=2\).
Raise \(z_0=-\sqrt{3}+i=2\,\mathrm{cis}\!\left(\tfrac{5\pi}{6}\right)\) to the power 6:
Verification: \(|w|=64=2^6=r^n\) ✓ \(\arg(w)=5\pi\equiv\pi\pmod{2\pi}\) ✓ (odd multiple of \(\pi\) gives \(-1\) direction).
Geometric meaning of each part: