Sphere Packings, III. Extremal Cases

  • Thomas C. Hales


This paper is the third in a series of six papers devoted to the proof of the Kepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. In the previous paper in this series, a continuous function f on a compact space was defined, certain points in the domain were conjectured to give the global maxima, and the relation between this conjecture and the Kepler conjecture was established. This paper shows that those points are indeed local maxima. Various approximations to f are developed, that will be used in subsequent papers to bound the value of the function f. The function f can be expressed as a sum of terms, indexed by regions on a unit sphere. Detailed estimates of the terms corresponding to triangular and quadrilateral regions are developed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ha1.
    T. C. Hales, The sphere packing problem, J. Comput. Appl. Math. 44 (1992), 41–76.MathSciNetCrossRefGoogle Scholar
  2. Ha6.
    T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51.MathSciNetCrossRefGoogle Scholar
  3. Ha7.
    T. C. Hales, Sphere packings, II, Discrete Comput. Geom. 18 (1997), 135–149.MathSciNetCrossRefGoogle Scholar
  4. Ha14.
    T. C. Hales, Some algorithms arising in the proof of theKepler conjecture, Discrete and Computational Geometry, Algorithms and Combinatorics, vol. 25, Springer-Verlag, Berlin, 2003, pp. 489–507.zbMATHGoogle Scholar
  5. Ha16.
    T. C. Hales, Computer Resources for the Kepler Conjecture, (The source code, inequalities, and other computer data relating to the solution are also found at 9811078v1.)

Copyright information

© T.C. Hales 2011

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of PittsburghPittsburghUSA

Personalised recommendations