Великая теорема Ферма - Саймон Сингх

Гранецентрированную кубическую решетку можно сравнить с другими вариантами упаковки, например, с простой кубической решеткой. В этом случае каждый слой состоит из шаров, расположенных в виде квадратной решетки, а каждый следующий слой расположен в точности поверх предыдущего, как показано на рис. 25. Простая кубическая решетка имеет коэффициент заполнения пространства 53 %.

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

Еще один вариант расположения шаров — гексагональная решетка — аналогичен гранецентрированной кубической решетке, поскольку каждый слой состоит из шаров, окруженных шестью другими шарами, но следующий слой не сдвинут относительно предыдущего, а расположен прямо поверх него так, что каждый шар опирается на самую верхнюю точку шара, расположенного под ним, как показано на рис. 26. У гексагональной решетки коэффициент заполнения пространства составляет всего лишь 60 %.

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

Кеплер исследовал множество различных конфигураций и пришел к заключению, что в сочинение «О шестиугольных снежинках» стоит включить только одну, а именно ту, которая в последствие получила название гранецентрированной кубической решетки, ибо у нее «упаковка оказывается плотнейшей из возможных». Утверждение Кеплера можно считать вполне разумным, так как коэффициент заполнения пространства для гранецентрированной кубической решетки наибольший из всех тех, которые были им обнаружены. Однако это не исключает возможность существования какого-то другого расположения шаров, с еще большим коэффициентом заполнения пространства, которое Кеплер попросту проглядел.

Проблема плотнейшей упаковки шаров требует от математиков доказательства того, что гранецентрированная кубическая решетка представляет собой наиболее эффективный вариант упаковки шаров. Эта проблема на полвека старше Великой теоремы Ферма и, как теперь оказалось, еще более неприступна.

Как и в случае Великой теоремы Ферма, решение проблемы Кеплера сводится к доказательству, охватывающему бесконечное множество возможных вариантов упаковки. Гипотеза Кеплера утверждает, что среди бесконечно многих вариантов расположения шаров нет ни одного такого, у которого коэффициент заполнения пространства был бы больше, чем у гранецентрированной кубической решетки. Математикам предстоит доказать, что это невозможно не только для регулярного, но и для случайного, хаотического, варианта расположения шаров.

За последние 380 лет никому не удалось доказать, что гранецентрированная кубическая решетка действительно служит оптимальной стратегией упаковки. Но никто пока не открыл более эффективного метода упаковки. Отсутствие контрпримера означает, что для всех практических целей утверждение Кеплера применимо, но в абсолютном мире математики абсолютно необходимо строгое доказательство. Британский специалист по упаковке шаров К. А. Роджерс говорит, что «большинство математиков в правильность гипотезы Кеплера верят, а все физики в ее правильности твердо убеждены, так как это знают».

Несмотря на отсутствие полного доказательства, за прошедшие со времен Кеплера столетия было пройдено несколько вех на пути к решению. В 1892 году скандинавский математик Аксель Туэ нашел доказательство для двумерного аналога проблемы Кеплера, т. е. обнаружил наиболее эффективное расположение шаров в одном-единственном слое, или, иначе говоря, укладки апельсинов не в ящике, а на подносе. Решением оказалось гексагональное расположение шаров. Впоследствие Тот, Сегрэ и Малер пришли к тому же заключению, но ни один из использованных в двумерном случае методов не применим к исходной трехмерной проблеме Кеплера.

В наше время некоторые математики попытались подойти к проблеме Кеплера с совершенно другой стороны, а именно — вычислить верхний предел коэффициента заполнения пространства. В 1958 году К. А. Роджерс вычислил его верхний предел, который оказался равным 77,97 %. Это означает, что невозможно расположить шары так, чтобы коэффициент заполнения пространства был выше 77,97 %. Такое значение коэффициента заполнения пространства не намного больше, чем его значение для гранецентрированной кубической решетки, равное 74,04 %. Следовательно, если у какого-нибудь расположения шаров коэффициент заполнения пространства и оказался бы выше, чем у гранецентрированной кубической решетки, то превышение составило бы всего лишь несколько процентов. Оставалось узкое окно в 3,93 %, в которое могло бы «втиснуться» какое-то дикое расположение шаров, которое стало бы контрпримером, опровергающим гипотезу Кеплера. После Роджерса другие математики попытались полностью закрыть образовавшееся окно, понизив верхний предел до 74,04 %. Если бы эти попытки оказались удачными, то для других расположений не осталось бы места, они не могли бы иметь более высокий коэффициент заполнения пространства, чем гранецентрированная кубическая решетка, и тем самым гипотеза Кеплера оказалась бы «оправданной ввиду неявки подозреваемой». К сожалению, снижение верхнего предела оказалось процессом медленным и трудным, и к 1988 году верхний предел удалось уменьшить лишь до 77,84 %, что лишь незначительно улучшает оценку Роджерса.

Несмотря на столь медленный прогресс, проблема плотнейшей упаковки шаров летом 1990 года неожиданно попала в заголовки на первых полосах газет. Ву-И Хзянь из Калифорнийского университета в Беркли опубликовал результат, который, по его утверждению, был доказательством гипотезы Кеплера. Первоначально реакция математического сообщества была оптимистической, но когда работа Ву-И Хзяня подверглась тщательному рецензированию, в ней был обнаружен ряд ошибок, и доказательство рухнуло.

Как и в случае с доказательством Уайлса, Хзянь через год представил пересмотренный вариант доказательства, в котором, как он утверждал, ему удалось обойти те проблемы, которые были обнаружены в первоначальном варианте рукописи. К сожалению для Хзяня, его критики продолжали считать, что в его логике остаются пробелы. В письме к Хзяню математик Томас Хейлис попытался объяснить свои сомнения: «Одно предположение, сделанное в Вашей второй статье, представляется мне более фундаментальным и не менее трудным для доказательства, чем остальные… Ваши рассуждения весьма основательно и по существу опираются на это предположение, однако нигде нет и намека на его доказательство».