В итоге метод Виета забыли, и победил Декарт, что немаловажно: абсолютная верность Ферма своему, условно говоря, учителю Виету затмила собственный вклад тулузца, часто казавшийся тусклым его современникам и последователям, которые переняли запись и идеи Декарта. Это еще одна из причин, по которым Ферма оказался непонятым современниками.
Существует и еще одна грань работы Виета, которая повлияла на деятельность Ферма. Уже было сказано, что Виет верил (в основном оправданно) в свое аналитическое искусство, и эта вера шла рука об руку с некоторым презрением к синтетической форме доказательств, используемой греками. В работе "Введение в аналитическое искусство" (1571) Виет утверждал: поскольку в его анализе предполагалось, что все этапы доказательства обратимы, синтез в его греческой форме уже не нужен.
Ферма сделал данный принцип Виета одной из основ своего математического исследования. Наряду с его обычным нежеланием писать полные трактаты этот подход проясняет, почему он столкнулся с таким непониманием со стороны современников. Действительно, при нескольких аналитических этапах, которые позволяли ему (как он думал) разглядеть доказательство, для Ферма (как и для Виета) строить доказательство как у греков уже не имело смысла. Это было излишне. Проблема, конечно же, в том, что его современники не находились под таким влиянием аналитического метода Виета, как он. Ферма не смог увидеть данного несоответствия, что привело ко многим размолвкам и разочарованиям. Наконец, любопытно заметить, как уже было показано на некоторых примерах, что Ферма использовал символическую алгебру для своих изысканий, но почти всегда представлял результат в словесном виде. Таким образом, Ферма находился на рубеже двух традиций: между одним, древним, умирающим миром математики и другим, который только зарождался.
Настало время немного задержаться на хронологии. В этой книге в хронологическом порядке уже было рассказано почти о всей математической жизни Ферма. Но "другая жизнь" ученого, о которой сейчас пойдет речь, протекала параллельно и в некоторых случаях даже предваряла описанную нами, поэтому стоит вернуться назад во времени, в Бордо.
Ферма жил в Бордо во второй половине 1620-х годов. К тому времени он уже усовершенствовал свой метод максимумов и минимумов и начал восстанавливать работу Аполлония Пергского о плоских геометрических местах, прямой линии и круге. Это сочинение было утеряно, но тот факт, что Папп оставил описания многих античных работ, позволил математикам XV и XVI веков, которые превратились в настоящих археологов знания, попробовать восстановить утраченное. Деятельность Виета включала в себя, во-первых, такое восстановление, а во-вторых, перевод результатов классиков на новый язык аналитического искусства.
Ферма удалось в значительной степени восстановить работу Аполлония согласно тому, как ее резюмировал Папп, который обобщил 147 теорем и 8 лемм, но одна теорема мешала ему двигаться дальше. Частичное доказательство, которое он привел, его не удовлетворяло. По возвращении в Тулузу в 1631 году Ферма начал анализировать данную проблему в свете новых методов. Уже в 1635 году появляются явные признаки того, что он использовал эти методы для решения классических проблем. В конце концов он изложил свою теорию в маленьком трактате под названием "Введение к теории плоских и пространственных мест" (на латыни Ad locos pianos et solidos isagoge, далее — Isagoge), который послал в Париж Мерсенну и Робервалю в конце 1636-го — начале 1637 года. Именно тогда Ферма начал свою переписку с Мерсенном, наводняя Париж удивительными результатами, не только по теории чисел, но и по геометрии и тому, что с течением времени было названо анализом. Его работы привлекли внимание французского математика Жиля де Роберваля (1602-1675), который работал с похожими проблемами и стал преданным поклонником судьи из Тулузы.
Isagoge было первым этапом великой революции. Виет уже предлагал решения геометрических задач алгебраическими методами, но его задачи сводились к нахождению неких точек (выполнявших бы некое условие) или пересечений между простыми геометрическими фигурами, такими как прямая и круг, в которых решением неизменно была точка. Ферма пошел еще дальше, ему удалось достичь революционного результата: ни больше ни меньше — свести всю геометрию (царицу наук, согласно Платону) к скромной алгебре, служившей еще поколение назад только для решения числовых задач, не имеющих видимого математического значения. Тулузский математик изобрел аналитическую геометрию. Поспешим заметить, что другой великий мыслитель сделал то же самое почти одновременно и независимо. Это Рене Декарт, которому обычно приписывают первенство до такой степени, что координаты, которыми мы пользуемся, получили название "декартовых". Однако, хотя нет сомнений в том, что идеи у Декарта созрели раньше, чем у Ферма, именно тулузский ученый был первым, кто их опубликовал.
В главе 2 этой книги говорится о том, как математики ищут мосты между областями, которые на первый взгляд различны и не имеют никакой связи. Один из первых примеров подобной деятельности по построению мостов — это аналитическая геометрия, которая так называется, поскольку в ней используется аналитическое искусство (алгебра) для описания всей геометрии. Внезапно оказывается, что все геометрические проблемы могут быть решены с помощью алгебры на основе определения кривых как геометрических мест точек.
График кривой в двумерном пространстве, общее уравнение которой у = ax2 + bx2 +cx + d.
Геометрическое место точек — это множество точек, обычно бесконечное: то, что мы называем кривой, несмотря на то что не все эти множества — кривые в обыденном понимании. Данное множество должно обладать неким свойством. Например, все точки, равноудаленные от одной неподвижной, определяют геометрическое место точек под названием 4окружность", а все точки, расстояние от которых до заданной точки равно расстоянию до заданной прямой, определяют геометрическое место точек под названием "парабола".
Таким образом, каждый раз можно определять все более сложные кривые.
Во время изучения геометрических мест точек, определенных Аполлонием, у Ферма, так же как и у Декарта, случилось озарение: эти множества, находясь на плоскости, могут быть полностью определены уравнением с двумя неизвестными.
Оказалось, что размерность не зависит, как считалось до того времени, от степени уравнения — от того, квадратное оно или кубическое. Она зависит от чист неизвестных. Так, если у нас есть две неизвестные, то получатся две кривые на плоскости (два измерения). Если переменная только одна, получаются точки на линии (одно измерение), которые анализировал Виет. Если их три, получаются поверхности в трех пространственных измерениях.
Не важно, что уравнение — это многочлен третьей степени; оно определяет не трехмерную поверхность, а, если в нем две неизвестные, всего лишь двумерную кривую (см. рисунок).
Теперь ничто не мешало анализировать многочлены большей степени. Это изменение понятия размерности стало шагом на пути к аналитической геометрии. К тому же эти переменные были связаны друг с другом посредством неопределенного уравнения, то есть уравнения с бесконечным числом точек — геометрического места точек.
До аналитической геометрии геометрические места точек описывались в соответствии с их свойствами, например в случае с коническими сечениями — пересечениями объема и плоскости. Аналитическая геометрия полностью изменила парадигму, позволив, чтобы ограниченное число кривых, которые изучали греки и которые должны были строиться по одной, умножилось до бесконечности. Это не преувеличение. Действительно, число уравнений с двумя неизвестными бесконечно, и так как каждому из них соответствует кривая, количество возможных кривых также бесконечно.