Hilbert's eighteenth problem
Hilbert's eighteenth problem is one of the 23
Hilbert problems set out in a celebrated list compiled in 1900 by mathematician David Hilbert. It asks three separate questions about lattices and sphere packing in Euclidean space.[1]
Symmetry groups in n dimensions
The first part of the problem asks whether there are only finitely many essentially different space groups in -dimensional Euclidean space. This was answered affirmatively by Bieberbach.
Anisohedral tiling in 3 dimensions
The second part of the problem asks whether there exists a
transitive) tiling. Such tiles are now known as anisohedral
. In asking the problem in three dimensions, Hilbert was probably assuming that no such tile exists in two dimensions; this assumption later turned out to be incorrect.
The first such tile in three dimensions was found by
infinite cyclic group
of symmetries.
Sphere packing
The third part of the problem asks for the densest sphere packing or packing of other specified shapes. Although it expressly includes shapes other than spheres, it is generally taken as equivalent to the Kepler conjecture.
In 1998, American mathematician
computer-aided proof of the Kepler conjecture. It shows that the most space-efficient way to pack spheres is in a pyramid shape.[3]
Notes
References
- Edwards, Steve (2003), Heesch's Tiling, archived from the original on July 18, 2011
- Hales, Thomas C. (2005), "A proof of the Kepler conjecture" (PDF), Annals of Mathematics, 162 (3): 1065–1185,
- Milnor, J. (1976), "Hilbert's problem 18", in Browder, Felix E. (ed.), Mathematical developments arising from Hilbert problems, Proceedings of symposia in pure mathematics, vol. 28, ISBN 0-8218-1428-1