TOPICS
Search

Graham's Biggest Little Hexagon


GrahamsBiggestLittleHexagon

Graham's biggest little hexagon is the largest possible (not necessarily regular) convex hexagon with polygon diameter 1 (i.e., for which no two of the vertices are more than unit distance apart). It is therefore the biggest little polygon for the case n=6. The solution is given by the above figure (which is shown with incorrect proportions in Conway and Guy 1996, p. 207), in which the red lines are all diagonals of unit length.

GrahamsBiggestLittleHexagonArea

To find the hexagon, set up coordinates as illustrated above, then the polygon area formula gives

 A=1/2b+x(1+d-b).
(1)

Plugging in together with

1=b^2+x^2
(2)
1=(x+1/2)^2+d^2
(3)

and eliminating b and d then gives the formula for A as

 A(x)=1/2[sqrt(1-x^2)+x(2-2sqrt(1-x^2)+sqrt(3-4x(1+x)))].
(4)

This function is plotted above.

Maximizing gives the area of the hexagon as the second-largest real root of

 4096A^(10)+8192A^9-3008A^8-30848A^7+21056A^6+146496A^5 
 -221360A^4+1232A^3+144464A^2-78488A+11993=0,
(5)

approximately given by A=0.674981... (OEIS A111969). Note that the sign of the A^9 is positive, not negative as erroneously given in Conway and Guy (1996). Also compare this with the area of the regular hexagon of diameter 1 (and therefore having circumradius 1/2), which is given by

 A^'=3/8sqrt(3)=0.649519...,
(6)

so the optimal solution is 3.9% larger.

The values of x and b corresponding to the maximal solution are given by

x=(8192x^(10)+16384x^9-19968x^8-44032x^7+18176x^6+38528x^5-8192x^4-12672x^3+2520x^2+1440x-351)_5
(7)
=0.343771453...
(8)
b=(8192b^(10)-4096b^9-3584b^8+2048b^7-14080b^6+1920b^5+13568b^4+128b^3-3160b^2-720b-135)_5
(9)
=0.939053346...
(10)

(OEIS A111970 and A111971).


See also

Biggest Little Polygon, Calabi's Triangle, Hexagon

Explore with Wolfram|Alpha

References

Audet, C.; Hansen, P.; Messine, F.; and Xiong, J. "The Largest Small Octagon." J. Combin. Th. Ser. A 98, 46-59, 2002.Audet, C.; Hansen, P.; Messine, F.; and Perron, S. "The Minimum Diameter Octagon with Unit-Length Sides: Vincze's Wife's Octagon is Suboptimal." J. Combin. Th. Ser. A 108, 63-75, 2004.Conway, J. H. and Guy, R. K. "Graham's Biggest Little Hexagon." In The Book of Numbers. New York: Springer-Verlag, pp. 206-207, 1996.Graham, R. L. "The Largest Small Hexagon." J. Combin. Th. Ser. A 18, 165-170, 1975.Klein, A. and Wessler, M. "The Largest Small Polytopes." 19 Dec 2002. http://arxiv.org/abs/math.CO/0212262.Sloane, N. J. A. Sequences A111969, A111970, and A111971 in "The On-Line Encyclopedia of Integer Sequences."Trott, M. The Mathematica GuideBook for Symbolics. New York: Springer-Verlag, pp. 46-47, 2006. http://www.mathematicaguidebooks.org/.

Cite this as:

Weisstein, Eric W. "Graham's Biggest Little Hexagon." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/GrahamsBiggestLittleHexagon.html

Subject classifications