Circle packing in an equilateral triangle

From HandWiki
Short description: Two-dimensional packing problem
Unsolved problem in mathematics:
What is the smallest possible equilateral triangle which an amount n of unit circles can be packed into?
(more unsolved problems in mathematics)

Circle packing in an equilateral triangle is a packing problem in discrete mathematics where the objective is to pack n unit circles into the smallest possible equilateral triangle. Optimal solutions have been proved for n ≤ 15, and for any triangular number of circles, and conjectures are available for n ≤ 34.[1][2][3][4]

A conjecture of Paul Erdős and Norman Oler states that, if n is a triangular number, then the optimal packings of n − 1 and of n circles have the same side length: that is, according to the conjecture, an optimal packing for n − 1 circles can be found by removing any single circle from the optimal hexagonal packing of n circles.[5] This conjecture is now known to be true for n ≤ 15.[6] In a paper by Graham and Lubachevsky concerning solutions for 22 ≤ n ≤ 34 they also conjectured seven infinite families of optimal solutions in addition to the one by Erdős and Oler. These families give conjectured solutions for many more numbers, including n = 37, 40, 42, 43, 46, 49.[3]

Minimum solutions for the side length of the triangle:[1]

Number
of circles
Triangle
number
Length Area Figure
1 Yes 23 = 3.464... 5.196...
2 2+23 = 5.464... 12.928...
File:Circle packing in equilateral triangle for 2 circles.png
3 Yes 2+23 = 5.464... 12.928...
File:Circle packing in equilateral triangle for 3 circles.png
4 43 = 6.928... 20.784...
5 4+23 = 7.464... 24.124...
6 Yes 4+23 = 7.464... 24.124...
File:Circle packing in equilateral triangle for 6 circles.png
7 2+43 = 8.928... 34.516...
File:Circle packing in equilateral triangle for 7 circles.png
8 2+23+2333 = 9.293... 37.401...
9 6+23 = 9.464... 38.784...
10 Yes 6+23 = 9.464... 38.784...
File:Circle packing in equilateral triangle for 10 circles.png
11 4+23+436 = 10.730... 49.854...
File:Circle packing in equilateral triangle for 11 circles.png
12 4+43 = 10.928... 51.712...
File:Circle packing in equilateral triangle for 12 circles.png
13 4+1033+236 = 11.406... 56.338... 220x220px
14 8+23 = 11.464... 56.908... 220x220px
15 Yes 8+23 = 11.464... 56.908... 220x220px

A closely related problem is to cover the equilateral triangle with a fixed number of equal circles, having as small a radius as possible.[7]

See also

References

  1. 1.0 1.1 Melissen, Hans (1993), "Densest packings of congruent circles in an equilateral triangle", The American Mathematical Monthly 100 (10): 916–925, doi:10.2307/2324212 .
  2. Melissen, J. B. M.; Schuur, P. C. (1995), "Packing 16, 17 or 18 circles in an equilateral triangle", Discrete Mathematics 145 (1–3): 333–342, doi:10.1016/0012-365X(95)90139-C, https://research.utwente.nl/en/publications/packing-16-17-of-18-circles-in-an-equilateral-triangle(b2172f19-9654-4ff1-9af4-59da1b6bef3d).html .
  3. 3.0 3.1 "Dense packings of equal disks in an equilateral triangle: from 22 to 34 and beyond", Electronic Journal of Combinatorics 2: Article 1, approx. 39 pp. (electronic), 1995, http://www.combinatorics.org/Volume_2/Abstracts/v2i1a1.html .
  4. Tedeschi, Natalie "On Packing Thirteen Points in an Equilateral Triangle", Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, https://doi.org/10.33697/ajur.2021.042
  5. Oler, Norman (1961), "A finite packing problem", Canadian Mathematical Bulletin 4 (2): 153–155, doi:10.4153/CMB-1961-018-7 .
  6. Payan, Charles (1997), "Empilement de cercles égaux dans un triangle équilatéral. À propos d'une conjecture d'Erdős-Oler" (in French), Discrete Mathematics 165/166: 555–565, doi:10.1016/S0012-365X(96)00201-4 .
  7. Nurmela, Kari J. (2000), "Conjecturally optimal coverings of an equilateral triangle with up to 36 equal circles", Experimental Mathematics 9 (2): 241–250, doi:10.1080/10586458.2000.10504649, http://projecteuclid.org/getRecord?id=euclid.em/1045952348 .