Простое объяснение гипотезы Кеплера! 〜Как плотнее всего упаковать арбузы〜
Всем привет, это kenji!
Сегодня я хотел бы максимально просто рассказать о математической проблеме со сложным названием — «гипотеза Кеплера».
На первый взгляд это может показаться очень специфической темой, но на самом деле это довольно практичная задача: «как плотнее всего упаковать арбузы в коробку?». Она также имеет отношение к холодильникам в магазинах и к тому, как складывать грузы.
А в мире математики это супер-романтичная история о том, что никто не мог доказать это на протяжении более 400 лет .
Ну что, поехали!
Кто такой Кеплер?
Для начала, кто такой «Кеплер» из «гипотезы Кеплера»?
Это имя немецкого астронома и математика Иоганна Кеплера (Johannes Kepler) .
Этот человек был невероятно выдающимся. Например, именно он открыл, что орбиты планет имеют форму эллипса. Сегодня это общеизвестный факт, но в то время (около 1600 года) даже гелиоцентрическая система не пользовалась особым доверием.
- Галилей = гений наблюдений
- Кеплер = гений, описавший Вселенную формулами
- Ньютон = супергений, объединивший эти теории в законы физики
В таком контексте Кеплер был пионером в том, чтобы «описывать Вселенную с помощью математики».
И вот однажды он заявил следующее.
Что такое гипотеза Кеплера?
Проще говоря, «гипотеза Кеплера» — это вот о чем.
Если мы упаковываем шары одинакового размера (например, арбузы или апельсины) в коробку, какой способ укладки позволит упаковать их плотнее всего?
Вот такая задача.
И Кеплер в 1600-х годах предположил следующее:
Разве не эффективнее всего складывать их треугольником, как это делают с апельсинами на рынке?
Говоря математическим языком, это называется «задача о плотнейшей упаковке» — поиск способа максимально плотно заполнить пространство шарами.
Кеплер предположил, что наиболее эффективным способом является «гранецентрированная кубическая решетка (ГЦК)» (примерно так же, как складывают арбузы треугольником).
И хотя все думали: «Да, это звучит правдоподобно», математически доказать, что «это абсолютно лучший вариант!», оказалось невероятно сложно.
400 лет до доказательства!?!
Итак, когда же это было окончательно доказано?
Удивительно, но это произошло примерно в 1998–2005 годах . То есть около 400 лет никто не мог этого доказать . Просто невероятно.
Более того, доказал её американский математик Томас Хейлс (Thomas Hales) .
Поняв, что вручную это вычислить невозможно, он использовал компьютер для доказательства . Однако доказательство оказалось настолько сложным, что люди не смогли его нормально проверить! Это вызвало проблему.
В математическом мире разгорелись бурные дебаты: «Можно ли доверять доказательству, выполненному на компьютере?».
В итоге в 2014 году было завершено «строгое доказательство, проверенное с учетом компьютера» (официально называемое «формальным доказательством»).
Это означает, что понадобилось более 400 лет , чтобы доказать правоту интуиции Кеплера. Настоящая романтика.
Это очень часто используется в реальной жизни
Можно подумать, что вопрос о том, «как складывать шары», волнует только математиков-гиков, но на самом деле это суперпрактично.
- Эффективная расстановка напитков в холодильниках супермаркетов
- Укладка консервных банок на транспортные поддоны
- Применение в телекоммуникациях (например, для сжатия цифровых сигналов)
- Использование при проектировании для 3D-принтеров и кристаллических структур
И многое другое — на самом деле эта теория активно применяется за кулисами нашей повседневной жизни.
Заключение: человеческая интуиция удивительна
Итак, подведем итоги.
- Гипотеза Кеплера = задача о том, как наиболее плотно упаковать шары
- Кеплер = математик и астроном, открывший орбиты планет
- Гипотеза была выдвинута в 1600-х годах! А доказана только в 2000-х!
- Она имеет множество применений в реальной жизни!
И самое интересное здесь то, что «способ укладки, который продавцы на рынке использовали интуитивно, оказался математически лучшим» .
Иными словами, человеческая интуиция поразительна . А тот факт, что на её доказательство может уйти 400 лет , делает эту историю по-настоящему романтичной.
Если вам это интересно, обязательно поищите информацию по запросам «Томас Хейлс», «формальное доказательство» и «Sphere Packing». Если копнуть глубже, это безумно интересно.
До встречи!
[PR]
