Hipoteza Keplera: układanie pomarańczy i dowody wspierane komputerowo

Opowiem o czterystuletniej historii hipotezy Keplera, która mówi, jakie jest optymalne (najgęstsze) upakowanie jednakowych kul w przestrzeni trójwymiarowej. Początek tej historii sięga epoki wielkich odkryć geograficznych i wypraw sir Williama Rayleigha, którego asystent - Thomas Harriot, matematyk, astronom i etnograf – układał tabele, podające liczby kul armatnich w stosach o kwadratowej podstawie. W samej końcówce XX wieku, po wcześniejszych nieudanych próbach wielu różnych osób, hipotezę Keplera udowodnił Thomas Hales, matematyk z Uniwersytetu w Pittsburghu. Jego dowód wymaga wprawdzie użycia komputera do obliczeń (jakich - o tym powiem kilka słów), niemniej, został opublikowany w Annals of Mathematics i jest ogólnie akceptowany przez matematyków.