Нильс открыл ее словами «Математики в целом занимались задачей нахождения общего метода для решения алгебраических уравнений, и некоторые из них предпринимали попытки доказать, невозможность такого решения. Поэтому я смею надеяться, что математики благосклонно встретят эту статью, которая ставит своей целью заполнить пробел, существующий в теории уравнений». Надежда оказалась бесплодной. Хотя ему удалось посетить некоторых математиков в Париже и заручиться их согласием взглянуть на его статью, аргументация в ней была настолько сжатой, что большинство, вероятно, нашли ее непригодной для понимания. Гаусс не выбросил свой экземпляр, но так и не прочел его — когда статью нашли после его смерти, страницы в ней оставались неразрезанными.
Позднее, быть может осознав свою ошибку, Абель опубликовал два развернутых варианта своего доказательства, приведя в них больше подробностей. Узнав к этому времени о работах Руффини, он писал: «Первая попытка доказательства невозможности алгебраического решения общего уравнения была предложена математиком Руффини; но его мемуар настолько труден для понимания, что судить о верности его аргументами нелегко. Мне представляется, что его рассуждения не всегда удовлетворительны». Но, как и все остальные, он не указал, почему именно.
Руффини и Абель излагали ход своей мысли на формальном математическом языке своего времени, который не очень хорошо подходил для требовавшегося им стиля мышления. Математика имела тогда дело главным образом с конкретными, частными идеями, тогда как ключ к теории уравнений состоит в переводе рассуждений в более общие термины — те, которые относятся к структурам и процессам, а не к отдельным вещам. Таким образом, их идеи были сложны для современников по той причине, что выходили за рамки математического языка. Но даже для современных математиков использование терминологии того периода затруднило бы понимание.
К счастью, основные моменты их анализа можно ухватить, используя архитектурную метафору. Один из способов представить себе почти-доказательство Руффини, как и полное доказательство Абеля, состоит в том, чтобы представить себе строительство башни.
В этой башне по одной комнате на этаже, причем лестница связывает ее с комнатой этажом выше. В каждой комнате имеется большой мешок. Если открыть мешок, оттуда разлетаются миллионы алгебраических формул, заполняя весь этаж. На первый взгляд у этих формул нет никакой специальной структуры, и кажется, что их случайным образом понадергали из разных алгебраических текстов. Некоторые формулы короткие, некоторые длинные; некоторые простые, некоторые исключительно сложные. При более тщательном рассмотрении, однако, у них обнаруживаются родственные черты. Формулы в каждом мешке имеют массу общих свойств. У формул из мешка этажом выше другие общие свойства. Чем выше по башне мы поднимаемся, тем более сложными становятся формулы в мешках.
Мешок на первом этаже содержит все формулы, которые можно построить, взяв коэффициенты уравнения и складывая их друг с другом, вычитая, умножая, деля — снова и снова, сколько угодно раз. В мире алгебраических формул, коль скоро вы задались коэффициентами, все эти «безобидные» комбинации прилагаются, можно сказать, практически бесплатно.
Чтобы забраться по лестнице на этаж выше, надо взять какую-нибудь формулу из мешка и использовать ее для построения радикала. Это может быть квадратный корень, кубический корень, корень пятой степени — какой угодно. Но формулу, корень которой берется, необходимо вынимать из того мешка. Всегда оказывается возможным взять корень p-й степени, где p — простое число, потому что более сложные корни можно построить из простых, и это простое наблюдение оказывается на удивление полезным.
Итак, вы выбрали какой-то корень; теперь, поднявшись на второй этаж, вы находите второй мешок, содержимое которого исходно совпадает с содержимым мешка на первом этаже. |