Postulat Keplera
Z Wikipedii
Postulat Keplera dotyczy nieograniczonych brył powstałych z kul i maksymalizacji upakowania nieskończenie wielu kul w przestrzeni (nie mylić z teorią ograniczonych brył powstałych z kul). Rozwiązanie tego teoretycznego problemu ma istotne znaczenie w wielu praktycznych zagadnieniach, m.in. w krystalografii.
Postulat Keplera głosi:
- Trójwymiarowe kule w trójwymiarowej przestrzeni najciaśniej da się umieścić, gdy ich środki tworzą na płaszczyznach przekroju szcześciokąty.
Obrazowo można porównać optymalny, postulowany układ kul, z porządkiem piramidy z piłek albo jabłek, który powielamy w nieskończoność.
Mimo, że postulat Keplera został powszechnie zaakceptowany i nie znaleziono żadnego przykładu, który by mu zaprzeczał, a sam postulat wydaje się trywialny, długo nie potrafiono go udowodnić. Podstawy teoretyczne matematycznego dowodu postulatu Keplera opublikował w 1953 r. László Fejes Tóth a pełen dowód, wymagający ze względu na swoją złożoność stosowania komputerowej analizy symbolicznej, przeprowadził Thomas Hales.
Zobacz też: przegląd zagadnień z zakresu matematyki.