RESEARCH ARTICLE

A new proof of Honeycomb Conjecture by fractal geometry methods

  • Tong ZHANG , 1 ,
  • Kai DING 2
Expand
  • 1. Research Center for Solid Mechanics, Beihang University, Beijing 100191, China; School of Engineering, Brown University, Providence, RI 02912, USA
  • 2. School of Instrument Science and Optical Engineering, Beihang University, Beijing 100191, China

Received date: 19 Apr 2013

Accepted date: 05 Jun 2013

Published date: 05 Dec 2013

Copyright

2014 Higher Education Press and Springer-Verlag Berlin Heidelberg

Abstract

Based on fractal geometry, we put forward a concise and straightforward method to prove Honeycomb Conjecture—a classical mathematic problem. Hexagon wins the most efficient covering unit in the two- dimensional space, compared with the other two covering units—triangle and square. From this point of view, honeycomb is treated as a hierarchical fractal structure that fully fills the plane. Therefore, the total side length and area are easily calculated and from the results, the covering efficiency of each possible unit is provided quantitatively.

Cite this article

Tong ZHANG , Kai DING . A new proof of Honeycomb Conjecture by fractal geometry methods[J]. Frontiers of Mechanical Engineering, 2013 , 8(4) : 367 -370 . DOI: 10.1007/s11465-013-0273-7

Introduction

In 36 B.C., Marcus Terentius Varro observed the hexagonal form of the bee’s honeycomb and wrote in his book, ‘The geometricians prove that this hexagon inscribed in a circular figure encloses the greatest amount of space.” In the 4th century, Pappus of Alexandria formally proposed the Honeycomb Conjecture: a regular hexagonal grid or honeycomb is the best way to divide a surface into regions of equal area with the least total perimeter [1]. Pappus argues that there are only three polygons that could fully tile the plane — the triangle, the square, and the hexagon, and he states that if the same quantity of material is used for the constructions of these figures, it is the hexagon that will be able to hold more honey [1]. Thomas Hales, a mathematician at the University of Michigan, Ann Arbor, held negative viewpoints about Pappus’ work, for it is not based on a rigorous mathematical proof . In fact, Pappus’ intuitive is right and we have proved it [2].
In 1943, L. Fejes Tόth successfully proved Honeycomb Conjecture under the hypothesis that all the covering units should be convex. In 1999, Thomas Hales, finally released an integral proof without the assumption by bringing in the isoperimetric properties. But his proof is based largely on algebra. Now we prove this conjecture more concisely by the method of fractal geometry and algebra.
We regard honeycomb as a hierarchical fractal structure, which is a more briefer and clear way to portray it. Then, by generalizing the conjecture into several cases, we calculate the ratio of total length to area of different cases, and prove that hexagon wins the most efficient covering unit.

A proof of the conjecture

Thomas Hales has proved that when the perimeter of a region is fixed, the region bounded by circular arcs encompasses less area than one bounded by straight lines [1]. Thus, we need only talk about polygons.
L. Fejes Tόth has proved that when the perimeter is fixed, regular polygons occupies the largest area in 2-dimentional plane [3]. Therefore, it left us only problem to solve — what kind of regular polygon could fully tile the plane with the shortest total side length? And we give out the answer.

Requirement for fully covering the plane

Without loss of generality, we consider a vertex around which there are several uniform polygons. Let n be the number of polygons around the vertex, α(N) the degree of internal angle of N-gon,
n=360°α(N).
To maintain there is neither overlapping nor interstices, n must be a positive integer. Then, we begin with the simplest:
a. Regular triangle is a candidate, for
n=360°60°=6.
b. Square can be a candidate, for
n=360°90°=4.
c. Regular pentagon can’t be, for
n=360°108°=313N+.
d. Regular hexagon is a candidate, for
n=360°120°=3.
e. Regular heptagon,
α(7)N+
, so it can’t be.
f. Regular octagon,
n=360°135°=223N+.
From now on, as α(N) increase, and 120°<α(N)<180°, n will never be an integer again. Thus, only three candidates survive: the regular triangle, the square and the hexagon. Honeycomb Conjecture reduces to the problem of compare the tiling efficiency between these three, which Pappus claimed many years ago.
Here, based on constructing method of hierarchical fractal structure (related in the next section), respectively, we let the three covering units grow larger and larger and finally fully fill the plane. Thus their covering efficiency can be expressed quantitatively. We bring in a variable ki, let
ki=limnCnSn.
when Cn is the total side length of n-th order structure and Sn is the area.

Hierarchical fractal structure

Honeycomb can be regarded as a hierarchical fractal structure.
Construction process of this structure could be considered as the uniform hexagons paving step by step, as shown in Fig. 1.
Fig.1 Construction process of the hexagonal hierarchical fractal structure. (a)The 1st order structure is formed by placing six hexagons around the central one. All of them are congruent. (b) The 2nd order; around 1st order structure, six duplications are placed without margin or overlapping. (c) The 3rd order; around the 2nd order, six duplications are placed without margin and overlapping

Full size|PPT slide

Step 1: place a unit hexagon and take it as the center of the whole structure. As shown in Fig. 1 (a) by a green hexagon. We define it as the 0th order structure.
Step 2: place six congruent hexagons tightly around the center hexagon. As shown in Fig. 1 (a). These seven hexagons share the same side length. Then we get the 1st order.
Step 3: treat the group of hexagons in Fig. 1 (a) as a “unit,” and make six duplications of this group around the new “unit,” as shown in Fig. 1(b). The 2nd order comes into being.
Step 4: then repeat the same process. Take the group of hexagons in Fig. 1(b) as a new “unit,” make six duplications and tile them around the new “unit” tightly, as shown in Fig. 1(c). And the 3rd order is formed.
Step 5: take the former group in Fig. 1(c) as a new unit and place six duplications around it.
……
By repeating the same process, we will have any area covered by the same regular hexagons without overlapping or margin.
(I) Hexagon unit
Now, let the side length of a hexagon unit equal to a(a>0).
From Fig. 1, we generalize the recursive relationships of Cn and Sn as:
Sn=7Sn-1(n1),S0=332a2.
Cn+1=7Cn-3n×2×6a (n0),C0=6a.
To solve the equations, we have
Sn=7n×332a2.
Cn=3n×3a+7n×3a.
Thus,
k6=limnCnSn=limn3a×3n+3a×7n7n×332a2=23a1.15a.
(II) Regular triangle unit
Construct hierarchical fractal structure with the triangular unit in the same way, as shown in Fig. 2, let the unit’s side length be c. The central triangle with red boundary is a basic unit, defined as the 0th order. The larger triangle with black edge is the 1st order, containing four basic units. The 2nd order, with blue boundary line, is constructed by four 1st-order structures. And following the same rule, the whole plane will be finally covered by such basic triangular covering units.
Fig.2 Construct hierarchical fractal structure with the triangular unit

Full size|PPT slide

We generalize from it the recursive formula of Cn and Sn:
Sn=4Sn-1
Cn+1=4Cn-3c×2n
We solve from them:
Sn=4nS0=4n×32c2
Cn=32c×2n+32c×4n
Then we calculate k3:
k3=limnCnSn=limn32c×2n+32c×4n34c2×4n=23c
Then we need to compare k3 and k6,
We set the area of triangular unit equals to that of hexagonal unit. So we have equation:
c=6a
Express k3 with a,
k3=236a=2a1.41a>k6
(III) Square unit
Construct hierarchical fractal structure with square unit by the same method. Let the side length of a square unit equal to b(b>0), so the area of it is b2. The configuration of the first several orders is show in Table1.
Tab.1 Construct hierarchical fractal structure with square unit
The 0th orderThe 1st orderThe 2nd order
<InlineMediaObject OutputMedium="Online"><ImageObject FileRef="images\hcm0000624648.jpg" ScaleToFitWidth="40.92pt" ScaleToFit="1"/></InlineMediaObject><InlineMediaObject OutputMedium="All"><ImageObject FileRef="images\hcm0000624647.tif" Format="TIFF" ScaleToFitHeight="49.8675pt" ScaleToFitWidth="40.92pt" ScaleToFit="1"/></InlineMediaObject><InlineMediaObject OutputMedium="Online"><ImageObject FileRef="images\hcm0000624646.jpg" ScaleToFitWidth="143.676pt" ScaleToFit="1"/></InlineMediaObject><InlineMediaObject OutputMedium="All"><ImageObject FileRef="images\hcm0000624645.tif" Format="TIFF" ScaleToFitHeight="142.8pt" ScaleToFitWidth="143.676pt" ScaleToFit="1"/></InlineMediaObject><InlineMediaObject OutputMedium="Online"><ImageObject FileRef="images\hcm0000624644.jpg" ScaleToFitWidth="203.28pt" ScaleToFit="1"/></InlineMediaObject><InlineMediaObject OutputMedium="All"><ImageObject FileRef="images\hcm0000624643.tif" Format="TIFF" ScaleToFitHeight="246.708pt" ScaleToFitWidth="203.28pt" ScaleToFit="1"/></InlineMediaObject>
From Table 1 above, we generalize the recursive relationships of Cn and Sn as:
Sn=9Sn-1 (n1),S0=b2
Cn+1=4Cn-4×2n×b (n0),C0=4b
To solve the equations, we get:
Sn=9Sn-1=9nS0=9n×b2
Cn+1-3Cn=9n×12b
Thus,
k4=limnCnSn=limn3n×2b+9n×2b9n×b2=2b
To compare k4 and k6, we set the area of square unit is equal to that of hexagonal one. And we have such relationship:
b=332a
k4=2332a1.24a>k6
Finally, we have
k3>k4>k6
Thus, any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling.

Prospection

The method we bring forward might be effective in solving optimization problems of regular 3-dimensional fractal structure, such as Kepler Conjecture.

Acknowledgements

The authors thank National Natural Science Foundation of China (No. 10602028).
1
Hales T C. (<day>8</day><month>Jun</month>1999). “The Honeycomb Conjecture”. Discrete and Computational Geometry 25: 1-22 (2001). arXiv:math/9906042

2
Hales T C. Cannonballs and Honeycombs. Notices of the American Mathematical Society, 2000, 47: 440-449

3
Fejes Tóth L. What the bees know and what they do not know. Bulletin of the American Mathematical Society, 1964, 70(4): 468-481

DOI

Outlines

/