diffgeom, Yesterday I learned:
Let (n \geq 2) be an integer. The regular (n)-gon inscribed in the complex unit circle and having (1) as a vertex, a.k.a., the convex hull of the (n)th roots of unity, is closed under complex multiplication.
To summarize the accepted answer,
- The set of (n)th roots of unity is closed under multiplication, and
- The product of two convex linear combinations of the vertices is itself a convex linear combination.
It's crucial to take the "standard" (n)-gon whose vertices are the (n)th roots of unity, i.e., not to take an arbitrary regular (n)-gon inscribed in the unit circle. The animations show the situation for (n = 7), with roots of unity ("standard") on the left, and the polygon rotated by one-tenth of a radian ("non-standard") on the right.
An animation loop showing "the standard regular heptagon" multiplied by a point along the edge from unity to the first non-trivial seventh root of unity. The light green "product" heptagon is contained in the light blue original.
An animation loop showing a "non-standard regular heptagon" multiplied by a point along the "first edge." The light green "product" heptagon is generally not contained in the light blue original.
Add comment