Миллион за теорему

Математику заслуженно считают царицей наук за строгость и неопровержимость ее постулатов. Поэтому на получение окончательного доказательства, казалось бы, очевидных вещей тут иногда уходят десятилетия. В начале прошлого столетия был составлен список из семи «проблем века», а два года назад за решение каждой из них Институт математики Клэя в Бостоне пообещал по миллиону долларов. Претендент на один из этих миллионов нашелся только теперь: 64-летний профессор математики из университета Саутгемптона Мартин Данвуди доказал «гипотезу Пуанкаре». Строго научное описание этой гипотезы звучит страшно сложно, но «для посторонних» ее принято описывать при помощи такой иллюстрации: на гладкий камушек любой формы можно одеть три аптечные резинки, и ни одна из них не будет соскальзывать. Правда, Пуанкаре настаивал на том, что тут возможно еще большее обобщение, в соответствии с которым его гипотеза будет верна в пространстве не только с тремя измерениями, а с любым их числом. Первое доказательство для двухмерного пространства было предложено еще в 20-е годы российскими математиками Львом Шнирельманом и Лазарем Люстерником, но позднее в нем была обнаружена неточность. Как ни странно, чем больше размерность пространства, тем проще оказывалось доказательство. Так, для воображаемых пространств, в которых измерений насчитывается больше семи, решение было найдено в 1961 году, год спустя - для 6- и 5-мерного, для четырехмерного В 1982-м. Но самым сложным оказался случай трехмерного пространства - того самого, в котором мы живем. И вот 10 апреля Данвуди вывесил в Интернете свое пятистраничное сочинение, доказывающее гипотезу Пуанкаре. Если решение будет признано корректным, он станет миллионером, а для желающих заработать деньги головой останется еще шесть нерешенных задач.