Heptadecagon

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

Regular heptadecagon

A regular heptadecagon is represented by the Schläfli symbol {17}.

Construction

thumb|Publication by C. F. Gauss in Intelligenzblatt der allgemeinen Literatur-Zeitung

As 17 is a Fermat prime, the regular heptadecagon is a constructible polygon (that is, one that can be constructed using a compass and unmarked straightedge): this was shown by Carl Friedrich Gauss in 1796. This proof represented the first progress in regular polygon construction in over 2000 years. gives this (in modern notation) as

<math display=block>

\begin{align}\cos\frac{2\pi}{17} = & \frac{1}{16}\left(\sqrt{17}-1+\sqrt{34-2\sqrt{17\right)\\

& + \frac{1}{8}\left(\sqrt{17+3\sqrt{17}-

\sqrt{34-2\sqrt{17-2\sqrt{34+2\sqrt{17} \right).\\

\end{align}</math>

center|thumb|990x990px|Gaussian construction of the regular heptadecagon.

Constructions for the regular triangle, pentagon, pentadecagon, and polygons with 2^h times as many sides 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 F_n for n = 0, 1, 2, 3, 4. They are 3, 5, 17, 257, and 65537.)

The explicit construction of a heptadecagon was given by Herbert William Richmond in 1893. The following method of construction uses Carlyle circles, as shown below. Based on the construction of the regular 17-gon, one can readily construct n-gons with n being the product of 17 with 3 or 5 (or both) and any power of 2: a regular 51-gon, 85-gon or 255-gon and any regular n-gon with 2^h times as many sides.

512px|left

thumb|600px|left|Construction according to Duane W. DeTemple with Carlyle circles, animation 1 min 57 s

Another construction of the regular heptadecagon using straightedge and compass is the following:

509px|left

T. P. Stowell of Rochester, N. Y., responded to Query, by W.E. Heal, Wheeling, Indiana in The Analyst in the year 1877:

"To construct a regular polygon of seventeen sides in a circle.

Draw the radius CO at right-angles to the diameter AB: On OC and OB, take OQ equal to the half, and OD equal to the eighth part of the radius: Make DE and DF each equal to DQ and EG and FH respectively equal to EQ and FQ; take OK a mean proportional between OH and OQ, and through K, draw KM parallel to AB, meeting the semicircle described on OG in M; draw MN parallel to OC, cutting the given circle in N – the arc AN is the seventeenth part of the whole circumference."

[[File:01 Siebzehneck-1806.svg|400px|thumb|left|Construction according to<br />

"sent by T. P. Stowell, credited to Leybourn's Math. Repository, 1818".<br />

Added: "take OK a mean proportional between OH and OQ"]]

[[File:01 Siebzehneck-1818-Animation.gif|535px|thumb|center|Construction according to<br />

"sent by T. P. Stowell, credited to Leybourn's Math. Repository, 1818".<br />

Added: "take OK a mean proportional between OH and OQ", animation]]

The following simple design comes from Herbert William Richmond from the year 1893:

::"LET OA, OB (fig. 6) be two perpendicular radii of a circle. Make OI one-fourth of OB, and the angle OIE one-fourth of OIA; also find in OA produced a point F such that EIF is 45°. Let the circle on AF as diameter cut OB in K, and let the circle whose centre is E and radius EK cut OA in N₃ and N₅; then if ordinates N₃P₃, N₅P₅ are drawn to the circle, the arcs AP₃, AP₅ will be 3/17 and 5/17 of the circumference."

• The point N₃ is very close to the center point of Thales' theorem over AF.

400px|thumb|left|Construction according to H. W. Richmond400px|thumb|center|Construction according to H. W. Richmond as animation

The following construction is a variation of H. W. Richmond's construction.

The differences to the original:

• The circle k₂ determines the point H instead of the bisector w₃.
• The circle k₄ around the point G' (reflection of the point G at m) yields the point N, which is no longer so close to M, for the construction of the tangent.
• Some names have been changed.

400px|thumb|left|Heptadecagon in principle according to H.W. Richmond, a variation of the design regarding to point N

Another more recent construction is given by Callagy. Full symmetry of the regular form is r34 and no symmetry is labeled a1. The dihedral symmetries are divided depending on whether they pass through vertices (d for diagonal) or edges (p for perpendiculars), and i when reflection lines path through both edges and vertices. Cyclic symmetries in the middle column are labeled as g for their central gyration orders.

Each subgroup symmetry allows one or more degrees of freedom for irregular forms. Only the g17 subgroup has no degrees of freedom but can be seen as directed edges.

Related polygons

Heptadecagrams

A heptadecagram is a 17-sided star polygon. There are seven regular forms given by Schläfli symbols: {17/2}, {17/3}, {17/4}, {17/5}, {17/6}, {17/7}, and {17/8}. Since 17 is a prime number, all of these are regular stars and not compound figures.

{| class=wikitable

|- align=center

! Picture

|120px<BR>{17/2}

|120px<BR>{17/3}

|120px<BR>{17/4}

|120px<BR>{17/5}

|120px<BR>{17/6}

|120px<BR>{17/7}

|120px<BR>{17/8}

|- align=center

! Interior angle

| ≈137.647°

| ≈116.471°

| ≈95.2941°

| ≈74.1176°

| ≈52.9412°

| ≈31.7647°

| ≈10.5882°

|}

Petrie polygons

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

{| class=wikitable

|- align=center

|150px<br>16-simplex (16D)

|}

References

Further reading

• Klein, Felix et al. Famous Problems and Other Monographs. – Describes the algebraic aspect, by Gauss.

External links

• Contains a description of the construction.
• Heptadecagon trigonometric functions
• BBC video of New R&D center for SolarUK
• Archived at Ghostarchive and the Wayback Machine: