Ричард Манкевич - История математики. От счетных палочек до бессчетных вселенных

Ключ к решению заключается в том, что корни любого неприводимого алгебраического уравнения не независимы, они могут быть выражены один через другой. Эти соотношения были формализованы в группу всех возможных перестановок, так называемую группу симметрии корней — для квинтика эта группа содержит 5! = 5 х 4 х 3 х 2 х 1 = 120 элементов. Математические алгоритмы теории Галуа очень сложны, и, скорее всего, отчасти именно вследствие этого их поначалу понимали с большим трудом. Но после того как уровень абстракции позволил перейти от алгебраических решений уравнений к алгебраической структуре связанных с ними групп, Галуа смог предсказать разрешимость уравнения на основании свойств таких групп. Более того, его теория также обеспечила метод, которым можно было найти сами эти корни. Что касается квинтиков, то математик Жозеф Лиувилль (1809–1882), который в 1846 году издал большую часть работ Галуа в своем «Журнале чистой и прикладной математики», отметил, что молодой ученый доказал «красивую теорему», и для того, «чтобы неприводимое уравнение исходной степени было разрешимо в терминах радикалов, необходимо и достаточно, чтобы все его корни были рациональными функциями любых двух из них». Поскольку для квинтика это невозможно, он не может быть решен с помощью радикалов.

За три года математический мир потерял две самые яркие новые звезды. Последовали взаимные обвинения и переоценка ценностей, и Абель и Галуа добились заслуженного признания, но лишь посмертно. В 1829 году Карл Якоби через Лежандра узнал о «потерянной» рукописи Абеля, и в 1830 году разразился дипломатический скандал, когда норвежский консул в Париже потребовал отыскать статью своего соотечественника. В конце концов Коши нашел статью, но лишь затем, чтобы ее снова потеряли в редакции академии! В том же году Абелю был присужден Гран-при по математике (совместно с Якоби) — но он был уже мертв. В 1841 году была издана его биография. В 1846 году Лиувилль отредактировал некоторые из рукописей Галуа для публикации и во введении выразил сожаление, что первоначально академия отвергла работу Галуа из-за ее сложности, — «действительно, необходима ясность изложения, когда автор уводит читателя с избитого пути на неизведанные дикие территории». Он продолжает: «Галуа больше нет! Не будем впадать в бесполезный критицизм. Давайте отбросим недостатки и посмотрим на достоинства!» Плоды краткой жизни Галуа умещаются всего на шестидесяти страницах. Редактор математического журнала для кандидатов в Эколь Нормаль и Политехническую школу прокомментировал дело Галуа следующим образом: «Соискатель с высоким интеллектом был отсеян экзаменатором с более низким уровнем мышления. Barbarus hic ego sum, quia non intelligor illis[19]».

Прежде всего, вторая страница этой работы не обременена именами, фамилиями, описаниями положения в обществе, титулами и элегиями в честь некоего скупого принца, кошелек которого будет открыт с помощью этих фимиамов — с угрозой закрыть его, когда восхваления закончатся. Вы не увидите здесь почтительных восхвалений, написанных буквами втрое большими, чем сам текст, обращенных к тем, кто обладает высоким положением в науке, некоему мудрому покровителю — нечто обязательное (я бы сказал, неизбежное) для кого-то в возрасте двадцати лет, кто хочет что-то написать. Я не говорю здесь никому, что я обязан их совету и поддержке всем хорошим, что есть в моей работе. Я не говорю этого потому, что это было бы ложью. Если бы мне пришлось упомянуть кого-либо из великих в обществе или в науке (в настоящее время различие между этими двумя классами людей практически незаметно), клянусь, это не было бы знаком благодарности. Я обязан им тем, что я издал первые из этих двух статей столь поздно, и тем, что написал все это в тюрьме — в месте, которое вряд ли можно считать подходящим для научных размышлений, и я часто поражаюсь своей сдержанности и способности держать рот на замке по отношению к тупым и злобным зоилам. Мне кажется, я могу использовать слово «зоилы» без опасения быть обвиненным в неблагопристойности, поскольку именно так я именую моих оппонентов. Я не собираюсь писать здесь о том, как и почему я был отправлен в тюрьму, но я должен сказать, что мои рукописи чаще всего просто терялись в папках господ членов академии, хотя, по правде говоря, я не могу представить себе подобной неосмотрительности со стороны людей, на совести которых смерть Абеля. На мой взгляд, любой хотел бы, чтобы его сравнивали с этим блестящим математиком. Достаточно сказать, что моя статья по теории уравнений была направлена в Академию наук в феврале 1830 года, что извлечения из нее были посланы в феврале 1829 года, и при этом ничего из этого не было напечатано, и даже рукопись оказалось невозможно возвратить.

С тех пор как в третьем столетии до нашей эры появились «Начала», евклидова геометрия (см. Главу 4) считалась самой совершенной из всех математических систем. Основанная на самых общих допущениях, она выстраивает удивительно стройное здание математических теорем. Евклидова геометрия — типичная аксиоматическая дедуктивная система. Однако на этом храме геометрии имелось маленькое пятнышко, прыщик, который математики не переставали почесывать. Евклид сформулировал ныне печально известный пятый постулат, согласно которому «если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то, продолженные неограниченно, эти прямые встретятся с той стороны, где углы меньше двух прямых». Этот постулат также известен как постулат о параллельных прямых. В нем говорится: если две прямые линии не параллельны, они в конечном счете пересекутся в некоторой точке. Все согласились, что постулат верен, но было слишком сложно гарантировать истинность этой, по сути, аксиомы, ставшей отправной точкой «Начал». Сперва усилия были направлены на доказывание того, что на самом деле это не постулат, а теорема, которая может быть доказана с помощью других аксиом. Многие обманывались, считая, что им удалось доказать ее, но более тщательное изучение их доказательств непременно показывало, что в них обязательно присутствуют новые предположения, которые, по существу, оказывались перепевкой пятого постулата. Найти ему более очевидную замену оказалось очень трудно.

Не пытайся одолеть теорию параллельных линий ни тем способом, который ты сообщаешь мне, ни каким-либо другим. Я изучил все пути до конца; я не встретил ни одной идеи, которой бы я не разрабатывал. Я прошел весь беспросветный мрак этой ночи, и всякий светоч, всякую радость жизни я в ней похоронил. Ради Бога, молю тебя, оставь эту материю, страшись ее не меньше, нежели чувственных увлечений, потому что и она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни. Этот беспросветный мрак может потопить тысячи ньютоновских башен. Он никогда не прояснится на земле, и никогда несчастный род человеческий не будет владеть чем-либо совершенным даже в геометрии.

Математики продолжали изучать пятый постулат. Особенно много сил отдали этому ал-Хорезми и персидский математик и астроном Насир ад-Дин ат-Туси (1201–1274). Работа последнего, переведенная на латынь, вдохновила иезуита и математика Джироламо Саккери (1667–1733). В последний год своей жизни Саккери издал труд под названием «Евклид, очищенный от всех пятен», в котором он попытался доказать постулат о параллельности, опровергая как абсурд все другие постулаты. Он построил то, что теперь известно как «четырехугольник Саккери», с двумя парами «параллельных» сторон. Он выдвинул три различные гипотезы о сумме внутренних углов четырехугольника — что сумма меньше, равна или больше суммы четырех прямых углов или 360°. Если бы он смог показать, что первая и третья гипотезы приводят к логической несогласованности, то доказал бы, что средняя гипотеза, эквивалентная постулату о параллельности прямых, и есть единственно верная.

Я еще не сделал открытие, но путь, которым я иду, почти наверняка приведет меня к цели, поскольку показывает, что она достижима. Я еще не дошел до конца, но то, что мне удалось обнаружить, оказалось настолько великолепным, что я был просто поражен. Было бы невероятно жаль, если бы это оказалось отброшенным как Вы, мой дорогой отец, сочли необходимым допустить, когда увидели это. Все, что я могу сказать сейчас, — то, что я создал из ничего новый и совершенно иной мир. Все, что я отправил Вам к настоящему времени похоже на карточный домик рядом с каменной башней.

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