Keplerin konjektuuri

Keplerin otaksuma, on Johannes Keplerin mukaan nimetty otaksuma, joka koskee pallojen pakkaamista kolmiulotteisessa euklidisessa avaruudessa. Sen mukaan samansäteisiä palloja ei voida pakata suuremmalla keskitiheydellä kuin pintakeskisellä kuutiollisella ja heksagonaalisella tiivispakkauksilla. Näiden pakkausten keskimääräinen tiheys on hieman yli 74 %. Vuonna 1998 Thomas Hales todisti lauseen tietokoneen avulla.

Vuonna 2015 Thomas Hales julkaisi yhdessä 21 työtoverinsa kanssa artikkelin A formal proof of the Kepler conjecture ennakkojulkaisujen arXiv -palvelimella. Vuonna 2017 konjektuurin todistus julkaistiin open access artikkelina Forum of Mathematics, Pi -julkaisusarjassa.

Lähteet

Konjektuurit
Diskreetti matematiikka