n が奇数のとき、正 n 角形の頂点を A1,…,An とラベル付けする。任意の i=j に対して、gcd(2,n)=1 であることから 2k≡i+j(modn) を満たす k∈{1,…,n} がただ一つ存在し、このとき k−i≡j−k(modn) により Ak は AiAj の垂直二等分線上にある、すなわち AiAk=AjAk となる。よって正 n 角形はバランスが取れている。さらに中心を持たない:もしある P が三つの異なる頂点 A,B,C に対して PA=PB=PC を満たすなら、P は多角形の外心でなければならないが、それは頂点 A1,…,An のいずれでもない。