Великие нерешенные проблемыСтраница 4
В наше время некоторые математики попытались подойти к проблеме Кеплера с совершенно другой стороны, а именно — вычислить верхний предел коэффициента заполнения пространства. В 1958 году К. А. Роджерс вычислил его верхний предел, который оказался равным 77,97 %. Это означает, что невозможно расположить шары так, чтобы коэффициент заполнения пространства был выше 77,97 %. Такое значение коэффициента заполнения пространства не намного больше, чем его значение для гранецентрированной кубической решетки, равное 74,04 %. Следовательно, если у какого-нибудь расположения шаров коэффициент заполнения пространства и оказался бы выше, чем у гранецентрированной кубической решетки, то превышение составило бы всего лишь несколько процентов. Оставалось узкое окно в 3,93 %, в которое могло бы «втиснуться» какое-то дикое расположение шаров, которое стало бы контрпримером, опровергающим гипотезу Кеплера. После Роджерса другие математики попытались полностью закрыть образовавшееся окно, понизив верхний предел до 74,04 %. Если бы эти попытки оказались удачными, то для других расположений не осталось бы места, они не могли бы иметь более высокий коэффициент заполнения пространства, чем гранецентрированная кубическая решетка, и тем самым гипотеза Кеплера оказалась бы «оправданной ввиду неявки подозреваемой». К сожалению, снижение верхнего предела оказалось процессом медленным и трудным, и к 1988 году верхний предел удалось уменьшить лишь до 77,84 %, что лишь незначительно улучшает оценку Роджерса.
Несмотря на столь медленный прогресс, проблема плотнейшей упаковки шаров летом 1990 года неожиданно попала в заголовки на первых полосах газет. Ву-И Хзянь из Калифорнийского университета в Беркли опубликовал результат, который, по его утверждению, был доказательством гипотезы Кеплера. Первоначально реакция математического сообщества была оптимистической, но когда работа Ву-И Хзяня подверглась тщательному рецензированию, в ней был обнаружен ряд ошибок, и доказательство рухнуло.
Как и в случае с доказательством Уайлса, Хзянь через год представил пересмотренный вариант доказательства, в котором, как он утверждал, ему удалось обойти те проблемы, которые были обнаружены в первоначальном варианте рукописи. К сожалению для Хзяня, его критики продолжали считать, что в его логике остаются пробелы. В письме к Хзяню математик Томас Хейлис попытался объяснить свои сомнения: «Одно предположение, сделанное в Вашей второй статье, представляется мне более фундаментальным и не менее трудным для доказательства, чем остальные… Ваши рассуждения весьма основательно и по существу опираются на это предположение, однако нигде нет и намека на его доказательство».
С тех пор, как Хзянь представил усовершенствованный вариант доказательства, между ним и его критиками шла непрекращающаяся борьба. Правильность предъявленного Хзянем усовершенствованного доказательства остается под вопросом. Во всяком случае, для того, кто хочет доказать гипотезу Кеплера, дверь остается открытой. В 1996 году Дуг Мудер изложил свое ви́дение ситуации вокруг доказательства Хзяня, обнаружив некую интригу:
«Недавно я вернулся с Совместной летней научно-исследовательской конференции по дискретной и вычислительной геометрии, состоявшейся в Маунт Холиоке под эгидой Американского математического общества, Института управленческих наук и Общества промышленной и прикладной математики. Такие конференции проводятся раз в десять лет, поэтому акцент делался на прогрессе, достигнутом за последние десять лет. Хзянь заявил о том, что ему удалось доказать гипотезу Кеплера шесть лет назад. Я обнаружил, что сообщество пришло к согласию по этому поводу: его доказательство "никто не покупает".
На пленарных лекциях и во время неформальных дискуссий неоднократно обсуждались следующие вопросы.
1. В статье Хзяня (опубликованной в "International Journal of Mathematics" в 1993 году) не содержится доказательства гипотезы Кеплера. В лучшем случае это набросок доказательства (на 100 страниц!), его общий ход. Таким доказательство могло бы быть.
2. Эта статья не может считаться даже наброском, так как к некоторым ее утверждениям обнаружены контрпримеры.
3. Столь же необосновано утверждение Хзяня о якобы найденном им доказательстве гипотезы о додекаэдре (и различных других ранее недоказуемых проблем упаковки шаров).
Другое по теме
Аннотация
На протяжении всей книги профессор Гордон, как заядлый
детектив, занимается поисками преступника, разрушающего все, встречающееся на
его пути - дома, мосты, корабли, плотины…
Книга посвящена проблемам конструирования и физиче ...