Heptadecagon

Regular heptadecagon

A regular heptadecagon
Edges and vertices 17
Schläfli symbol {17}
Coxeter–Dynkin diagrams
Symmetry group Dihedral (D17)
Internal angle (degrees) \approx 158.82°
Properties convex, cyclic, equilateral, isogonal, isotoxal

In geometry, a heptadecagon (or 17-gon) is a seventeen-sided polygon.

Contents

Heptadecagon construction

The regular heptadecagon is a constructible polygon, as was shown by Carl Friedrich Gauss in 1796 at the age of 19.

Constructibility implies that trigonometric functions of 17 can be expressed with basic arithmetic and square roots alone. Gauss' book Disquisitiones Arithmeticae contains the following equation, given here in modern notation:


 \begin{align} 16\,\operatorname{cos}{2\pi\over17} = & -1%2B\sqrt{17}%2B\sqrt{34-2\sqrt{17}}%2B \\
                                                     & 2\sqrt{17%2B3\sqrt{17}-
                                                        \sqrt{34-2\sqrt{17}}-
                                                       2\sqrt{34%2B2\sqrt{17}}}.
 \end{align}

The first actual method of construction was devised by Johannes Erchinger, a few years after Gauss' work.

Thanks to the construction above it is easy to obtain multiples of 17 by 3 and 5 and any power of 2, for example a 34-gon, 51-gon, 85-gon or 255-gon.

Carl Friedrich Gauss proved – as a 19-year-old student at Göttingen University – that the regular heptadecagon (a 17-sided polygon) is constructible with a pair of compasses and a straightedge. His proof relies on the property of irreducible polynomial equations that roots composed of a finite number of square root extractions only exist when the order of the equation is a product of the forms \scriptstyle (F_{k})\times(2^{h}). There are distinct primes of the form: \scriptstyle F_{n} = 2^{2^{ \overset{n} {}}} %2B 1, known as Fermat primes. Constructions for the regular triangle, square, pentagon, hexagon et al. had been given by Euclid, but constructions based on the Fermat primes other than 3 and 5 were unknown to the ancients. (The only known Fermat primes are Fn for n = 0, 1, 2, 3, 4. They are 3, 5, 17, 257, 65537.) The first explicit construction of a heptadecagon was given by Erchinger (see above).

Another method of construction uses Carlyle circles, as shown below:

Petrie polygons

The regular heptadecagon is the Petrie polygon for one higher-dimensional polytope, projected in a skew orthogonal projection:


16-simplex (16D)

See also

Further reading

External links