Гипотеза Кеплера — доказанная математическая гипотеза о плотнейшей упаковке шаров в трёхмерном пространстве.
Среди всех упаковок шаров равного размера в трёхмерном пространстве наибольшую среднюю плотность имеет гранецентрированная кубическая упаковка и упаковки, равные ей по плотности.
Плотность гранецентрированной кубической упаковки: , где — суммарный объём шаров, — объём пространства, занимаемого шарами. Отношение берётся в пределе бесконечного числа шаров[1].
Доказать гипотезу не удавалось на протяжении 400 лет.
Сообщение о компьютерном доказательстве гипотезы Кеплера появилось в 1998 году в работе математика Томаса Хейлса[2]. В 2003 г. жюри из 12 экспертов, набранное журналом Annals of Mathematics, пришло к заключению, что доказательство Хейлса, скорее всего, верно[2]. В 2005 году, в подтверждение этого, журнал опубликовал сокращённое доказательство, а в 2009 году другой журнал — полное доказательство[3]. В 2014 году доказательство гипотезы было проверено при помощи компьютерной системы проверки доказательств[4][5][6]. Таким образом, в настоящий момент утверждение гипотезы имеет статус доказанной математической теоремы[3].
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .