Discrete & Computational Geometry

, Volume 36, Issue 1, pp 71–110 | Cite as

Sphere Packing, 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.


Continuous Function Computational Mathematic Extremal Case Local Maximum Unit Sphere 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.Department of Mathematics, University of Pittsburgh, Pittsburgh, PA 15217USA

Personalised recommendations