"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 as complex numbers, and draw the square on an Argand diagram."
All vertices lie on the unit circle (\(|z|=1\)), equally spaced by \(\dfrac{2\pi}{4}=\dfrac{\pi}{2}\). Starting from argument \(0\):
Each vertex has \(r=1\). Multiplying the argument by 4:
The vertices of a regular \(n\)-gon inscribed in the unit circle with one vertex at \((1,0)\) are exactly the solutions of \(z^n=1\). De Moivre's theorem connects the geometry (equal spacing) to the algebra (a single equation). This is the foundation for every phase that follows.
HL 1.14 · Building the geometric formula · Discovering \(z^3=-1\)
"A second tile is an equilateral triangle, also on the unit circle. One vertex sits at argument \(\dfrac{\pi}{3}\). Find all three vertices. Draw the triangle."
Three equally spaced vertices means the angular gap is \(\dfrac{2\pi}{3}\). Starting from \(\alpha=\dfrac{\pi}{3}\), add \(\dfrac{2\pi}{3}\) each time:
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)\):
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."
Five equally spaced vertices, angular gap \(=\dfrac{2\pi}{5}\). Starting at \(\alpha=\dfrac{\pi}{5}\), modulus \(r=2\):
Same holds for any \(z_k\) since \(\cos(\pi+2\pi k)=-1\) for all integers \(k\).
HL 1.14 · Running De Moivre's backwards · Synthesis
"The studio found an old tile: a regular hexagon. Six vertices equally spaced on a circle. One vertex is labelled \(-\sqrt{3}+i\). Nobody recorded the equation. Figure out what equation \(z^n=w\) generated these vertices. Find \(n\) and \(w\), and verify."
Count vertices: \(n=6\). Modulus: \(|-\sqrt{3}+i|=\sqrt{3+1}=2\). Argument (second quadrant):
From Task 4a: \(\alpha=\dfrac{5\pi}{6}\), spacing \(=\dfrac{2\pi}{6}=\dfrac{\pi}{3}\), modulus \(=2\). Apply \(z_k=2\!\left(\cos\!\left(\dfrac{5\pi}{6}+\dfrac{\pi k}{3}\right)+i\sin\!\left(\dfrac{5\pi}{6}+\dfrac{\pi k}{3}\right)\right)\), converting to exact rectangular form using \(\cos\tfrac{\pi}{6}=\tfrac{\sqrt{3}}{2}\), \(\sin\tfrac{\pi}{6}=\tfrac{1}{2}\):
Reduce: \(5\pi\equiv\pi\pmod{2\pi}\):
Note on labelling: the standard formula \(2\cdot\mathrm{cis}\!\left(\dfrac{\pi+2\pi k}{6}\right)\) starts at \(k=0\Rightarrow\arg=\dfrac{\pi}{6}\) (vertex \(\sqrt{3}+i\)), while the geometric formula started at \(\arg=\dfrac{5\pi}{6}\). Both produce the same six points — only the \(k\)-labelling differs.
The roots form a set, not an ordered sequence. Any root can be \(k=0\). Standard and geometric formulas describe the same set with different starting labels.
Write \(w=|w|(\cos\theta+i\sin\theta)\) where \(\theta=\arg(w)\). The \(n\) roots:
Equivalently, separating starting angle from spacing: