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.

Pintakeskinen pakkaus

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.[1]

Lähteet

Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture Forum of Mathematics, Pi, 5; ISSN=2050-5086. 2017. Viitattu 31.7.2021. (englanniksi)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture Forum of Mathematics, Pi, 5; ISSN=2050-5086. 2017. Viitattu 31.7.2021. (englanniksi)