In geometry, a Reinhardt polygon is an equilateral polygon inscribed in a Reuleaux polygon. As in the regular polygons, each vertex of a Reinhardt polygon participates in at least one defining pair of the diameter of the polygon. Reinhardt polygons with sides exist, often with multiple forms, whenever is not a power of two. Among all polygons with sides, the Reinhardt polygons have the largest possible perimeter for their diameter, the largest possible width for their diameter, and the largest possible width for their perimeter. They are named after Karl Reinhardt, who studied them in 1922.[1][2]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d0/Reinhardt_15-gons.svg/300px-Reinhardt_15-gons.svg.png)
Definition and construction
editA Reuleaux polygon is a convex shape with circular-arc sides, each centered on a vertex of the shape and all having the same radius; an example is the Reuleaux triangle. These shapes are curves of constant width. Some Reuleaux polygons have side lengths that are irrational multiples of each other, but if a Reuleaux polygon has sides that can be partitioned into a system of arcs of equal length, then the polygon formed as the convex hull of the endpoints of these arcs is defined as a Reinhardt polygon. Necessarily, the vertices of the underlying Reuleaux polygon are also endpoints of arcs and vertices of the Reinhardt polygon, but the Reinhardt polygon may also have additional vertices, interior to the sides of the Reuleaux polygon.[3]
If is a power of two, then it is not possible to form a Reinhardt polygon with sides. If is an odd number, then the regular polygon with sides is a Reinhardt polygon. Any other natural number must have an odd divisor , and a Reinhardt polygon with sides may be formed by subdividing each arc of a regular -sided Reuleaux polygon into smaller arcs. Therefore, the possible numbers of sides of Reinhardt polygons are the polite numbers, numbers that are not powers of two. When is an odd prime number, or two times a prime number, there is only one shape of -sided Reinhardt polygon, but all other values of have Reinhardt polygons with multiple shapes.[1]
Dimensions and optimality
editThe diameter pairs of a Reinhardt polygon form many isosceles triangles with the sides of the triangle, with apex angle , from which the dimensions of the polygon may be calculated. If the side length of a Reinhardt polygon is 1, then its perimeter is just . The diameter of the polygon (the longest distance between any two of its points) equals the side length of these isosceles triangles, . The curves of constant width of the polygon (the shortest distance between any two parallel supporting lines) equals the height of this triangle, . These polygons are optimal in three ways:
- They have the largest possible perimeter among all -sided polygons with their diameter, and the smallest possible diameter among all -sided polygons with their perimeter.[1]
- They have the largest possible width among all -sided polygons with their diameter, and the smallest possible diameter among all -sided polygons with their width.[1]
- They have the largest possible width among all -sided polygons with their perimeter, and the smallest possible perimeter among all -sided polygons with their width.[1]
The relation between perimeter and diameter for these polygons was proven by Reinhardt,[4] and rediscovered independently multiple times.[5][6] The relation between diameter and width was proven by Bezdek and Fodor in 2000; their work also investigates the optimal polygons for this problem when the number of sides is a power of two (for which Reinhardt polygons do not exist).[7]
Symmetry and enumeration
editThe -sided Reinhardt polygons formed from -sided regular Reuleaux polygons are symmetric: they can be rotated by an angle of to obtain the same polygon. The Reinhardt polygons that have this sort of rotational symmetry are called periodic, and Reinhardt polygons without rotational symmetry are called sporadic. If is a semiprime, or the product of a power of two with an odd prime power, then all -sided Reinhardt polygons are periodic. In the remaining cases, when has two distinct odd prime factors and is not the product of these two factors, sporadic Reinhardt polygons also exist.[2]
For each , there are only finitely many distinct -sided Reinhardt polygons.[3] If is the smallest prime factor of , then the number of distinct -sided periodic Reinhardt polygons is where the term uses little O notation. However, the number of sporadic Reinhardt polygons is less well-understood, and for most values of the total number of Reinhardt polygons is dominated by the sporadic ones.[2]
The numbers of these polygons for small values of (counting two polygons as the same when they can be rotated or flipped to form each other) are:[1]
: | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 |
#: | 1 | 0 | 1 | 1 | 1 | 0 | 2 | 1 | 1 | 2 | 1 | 1 | 5 | 0 | 1 | 5 | 1 | 2 | 10 | 1 | 1 | 12 |
See also
edit- Biggest little polygon, the polygons maximizing area for their diameter
References
edit- ^ a b c d e f Mossinghoff, Michael J. (2011), "Enumerating isodiametric and isoperimetric polygons", Journal of Combinatorial Theory, Series A, 118 (6): 1801–1815, doi:10.1016/j.jcta.2011.03.004, MR 2793611
- ^ a b c Hare, Kevin G.; Mossinghoff, Michael J. (2019), "Most Reinhardt polygons are sporadic", Geometriae Dedicata, 198: 1–18, arXiv:1405.5233, doi:10.1007/s10711-018-0326-5, MR 3933447, S2CID 119629098
- ^ a b Datta, Basudeb (1997), "A discrete isoperimetric problem", Geometriae Dedicata, 64 (1): 55–68, doi:10.1023/A:1004997002327, MR 1432534, S2CID 118797507
- ^ Reinhardt, Karl (1922), "Extremale Polygone gegebenen Durchmessers", Jahresbericht der Deutschen Mathematiker-Vereinigung, 31: 251–270
- ^ Vincze, Stephen (1950), "On a geometrical extremum problem", Acta Universitatis Szegediensis, 12: 136–142, MR 0038087
- ^ Larman, D. G.; Tamvakis, N. K. (1984), "The decomposition of the -sphere and the boundaries of plane convex domains", Convexity and graph theory (Jerusalem, 1981), North-Holland Math. Stud., vol. 87, Amsterdam: North-Holland, pp. 209–214, doi:10.1016/S0304-0208(08)72828-7, MR 0791034
- ^ Bezdek, A.; Fodor, F. (2000), "On convex polygons of maximal width", Archiv der Mathematik, 74 (1): 75–80, doi:10.1007/PL00000413, MR 1728365, S2CID 123299791