Кто только и о чем не фантазировал на рубеже XVI – XVII веков! Неутомимый вычислитель Кеплер пытался угадать связь между расстояниями от Солнца до планет. Пифагору это не удалось. Кеплер добился успеха после того, как научился интегрировать многочлены и другие несложные функции. Напротив, фантазер Декарт не любил длинных расчетов, но именно он первый представил все точки плоскости или пространства, как наборы чисел. Эта дерзкая модель сводит любую геометрическую задачу о фигурах к некой алгебраической задаче об уравнениях – и наоборот. Например, целые решения уравнения Пифагора соответствуют целым точкам на поверхности конуса. Поверхность, соответствующая кубическому уравнению X³ + Y³ = Z³ , выглядит сложнее; ее геометрические свойства ничего не подсказали Пьеру Ферма, и тому пришлось прокладывать новые пути сквозь дебри целых чисел.
В 1636 году в руки молодого юриста из Тулузы попала книга Диофанта, только что переведенная на латынь с греческого оригинала, случайно уцелевшего в каком- то византийском архиве и привезенного в Италию кем-то из беглецов-ромеев в пору турецкого разорения. Читая изящное рассуждение об уравнении Пифагора, Ферма задумался: можно ли найти такое его решение, которое состоит из трех чисел- квадратов? Малых чисел такого сорта нет: это легко проверить перебором. А как насчет больших решений? Не имея компьютера, Ферма не мог поставить численный эксперимент. Но он заметил, что по каждому «большому» решению уравнения X4 + Y4 =Z4 можно построить меньшее его решение. Значит, сумма четвертых степеней двух целых чисел никогда не равна той же степени третьего числа! А как насчет суммы двух кубов?
Вдохновленный успехом для степени 4, Ферма попытался модифицировать «метод спуска» для степени 3 – и это ему удалось. Оказалось, что невозможно составить два малых куба из тех единичных кубиков, на которые рассыпался большой куб с целой длиной ребра. Торжествующий Ферма сделал краткую запись на полях книги Диофанта и послал в Париж письмо с подробным сообщением о своем открытии. Но ответа он не получил – хотя обычно столичные математики быстро реагировапи на очередной успех их одинокого коллеги-соперника в Тулузе. В чем тут дело?
Очень просто: к середине XVII века арифметика вышла из моды. Большие успехи итальянских алгебраистов XVI века (когда были решены уравнения-многочлены степеней 3 и 4) не стали началом общенаучной революции, ибо они не позволили решить новые яркие задачи в сопредельных областях науки. Вот если бы Кеплеру удалось угадать орбиты планет с помощью чистой арифметики… Но увы – для этого потребовался математический анализ. Значит, его и надо развивать – вплоть до полного торжества математических методов в естествознании! Но анализ вырастает из геометрии; арифметика же остается полем забав для досужих юристов и прочих любителей вечной науки о числах и фигурах.
Итак, арифметические успехи Ферма оказались несвоевременны и остались неоцененными. Он не был этим огорчен: для славы математика довольно впервые открывшихся ему фактов дифференциального исчисления, аналитической геометрии и теории вероятностей. Все эти открытия Ферма сразу вошли в золотой фонд новой европейской науки, меж тем как теория чисел отошла на задний план еще на сто лет – пока ее не возродил Эйлер.
Этот «король математиков» XVIII века был чемпионом во всех применениях анализа, но не пренебрегал и арифметикой, поскольку новые методы анализа приводили к неожиданным фактам о числах. Кто бы мог подумать, что бесконечная сумма обратных квадратов (1 + 1/4 + 1/9 + 1/16+…) равна π²/6? Кто из эллинов мог предвидеть, что похожие ряды позволят доказать иррациональность числа я?
Такие успехи заставили Эйлера внимательно перечитать сохранившиеся рукописи Ферма (благо, сын великого француза успел их издать). Правда, доказательство «большой теоремы» для степени 3 не сохранилось; но Эйлер легко восстановил его по одному лишь указанию на «метод спуска», и сразу постарался перенести этот метод на следующую простую степень – 5.
Не тут-то было! В рассуждениях Эйлера появились комплексные числа, которые Ферма ухитрился не заметить (таков обычный удел первооткрывателей). Но разложение целых комплексных чисел на множители – дело тонкое. Даже Эйлер не разобрался в нем до конца и отложил «проблему Ферма» в сторону, торопясь завершить свой главный труд – учебник «Основы анализа», который должен был помочь каждому талантливому юноше встать вровень с Лейбницем и Эйлером. Издание учебника завершилось в Петербурге в 1770 году. Но к теореме Ферма Эйлер уже не возвращался, будучи уверен: все, чего коснулись его руки и разум, не будет забыто новой ученой молодежью.
Так и вышло: преемником Эйлера в теории чисел стал француз Адриен Лежандр. В конце XVIII века он завершил доказательство теоремы Ферма для степени 5 – и хотя потерпел неудачу для больших простых степеней, но составил очередной учебник теории чисел. Пусть его юные читатели превзойдут автора так же, как читатели «Математических принципов натурфилософии» превзошли великого Ньютона! Лежандр был не чета Ньютону или Эйлеру, но среди его читателей оказались два гения: Карл Гаусс и Эварист Галуа.
Столь высокой кучности гениев способствовала Французская революция, провозгласившая государственный культ Разума. После этого каждый талантливый ученый ощутил себя Колумбом или Александром Македонским, способным открыть или покорить новый мир. Многим это удавалось; оттого в XIX веке научно- технический прогресс сделался главным движителем эволюции человечества, и все разумные правители (начиная с Наполеона) сознавали это.
Гaycc по характеру был близок к Колумбу. Но он (как и Ньютон) не умел пленять воображение правителей или студентов красивыми речами, и потому ограничил свои амбиции сферой научных понятий. Здесь он мог все, чего хотел. Например, древняя задача о трисекции угла почему-то не решается с помощью циркуля и линейки. С помощью комплексных чисел, изображающих точки плоскости, laycc переводит эту задачу на язык алгебры – и получает общую теорию выполнимости тех или иных геометрических построений. Так одновременно появились строгое доказательство невозможности построения циркулем и линейкой правильного 7- или 9- угольника и такой способ построения правильного 17-угольника, о котором не мечтали самые мудрые геометры Эллады.
Конечно, такой успех не дается даром: приходится изобретать новые понятия, отражающие суть дела. Ньютон ввел три таких понятия: флюксию (производную), флюенту (интеграл) и степенной ряд. Их хватило для создания математического анализа и первой научной модели физического мира, включающей механику и астрономию. laycc тоже ввел три новых понятия: векторное пространство, поле и кольцо. Из них выросла новая алгебра, подчинившая себе греческую арифметику и созданную Ньютоном теорию числовых функций. Оставалось еще подчинить алгебре логику, созданную Аристотелем: тогда можно будет с помощью расчетов доказывать выводимость или невыводимость любых научных утверждении из данного набора аксиом! Например, выводится ли теорема Ферма из аксиом арифметики, или постулат Евклида о параллельных прямых-из прочих аксиом планиметрии?
Эту дерзкую мечту Гаусс не успел осуществить – хотя продвинулся он далеко и угадал возможность существования экзотических (некоммутативных) алгебр. Построить первую неевклидову геометрию сумел только дерзкий россиянин Николай Лобачевский, а первую некоммутативную алгебру (Теорию Групп) – француз Эварист Галуа. И лишь много позже смерти Гаусса – в 1872 году – юный немец Феликс Кляйн догадался, что разнообразие возможных геометрий можно привести во взаимно-однозначное соответствие с разнообразием возможных алгебр. Попросту говоря, всякая геометрия определяется своей группой симметрий – тогда как общая алгебра изучает все возможные группы и их свойства.
Но такое понимание геометрии и алгебры пришло гораздо позже, а штурм теоремы Ферма возобновился еще при жизни Iaycca. Сам он пренебрег теоремой Ферма из принципа: не царское это дело – решать отдельные задачи, которые не вписываются в яркую научную теорию! Но ученики Гаусса, вооруженные его новой алгеброй и классическим анализом Ньютона и Эйлера, рассуждали иначе. Сначала Петер Дирихле доказал теорему Ферма для степени 7, используя кольцо целых комплексных чисел, порожденных корнями этой степени из единицы. Потом Эрнст Куммер распространил метод Дирихле на ВСЕ простые степени (!) – так ему сгоряча показалось, и он восторжествовал. Но вскоре пришло отрезвление: доказательство проходит безупречно, только если всякий элемент кольца однозначно разлагается на простые множители! Для обычных целых чисел этот факт был известен еше Евклиду, но только Гаусс дал его строгое доказательство- А как обстоит делос целыми комплексными числами?
