Лента TH Новости Новости без рубрики


Математики доказали гипотезу Кеплера

∴ 247

Команда во главе с математиком Томасом Хейлсом представила официальное доказательство гипотезы Кеплера. Это окончательное решение задачи, над которой ученые бьются уже более 300 лет.

mathematics, things

Доказательство не только решает многовековую математическую проблему, но также является важным шагом в компьютерной проверке сложных математических доказательств.

Гипотеза Кеплера была известной проблемой в дискретной геометрии. Задача была поставлена так: разместить максимально большое количество сфер в заданном пространстве. Хейлз и Фергюсон изначально объявили о доказательстве в 1998 году, но решение было настолько длинным и сложным, что команда из дюжины рефери потратила годы на проверку, прежде чем сдаться.

Вердикт судей состоял в том, что доказательство, казалось, сработало, но у них просто не было времени или сил, чтобы проверить его объективно. Доказательство было опубликовано в 2005 году, поскольку его недостатки не были обнаружены.

Команда Томаса Хейлса разработала компьютерную программу, для проверки доказательства. Тем самым, ученым удалось сократить объем вычислений и упростить формулы. Их работа ставит точку, доказав гипотезу Кеплера. ознакомиться с работой можно по ссылке.

Результаты данного доказательства можно использовать для распределения грузов в космических аппаратах, размещения запасов в ограниченном пространстве и других областях, в которых упорядочивание играет важную роль.

Филипп Дончев