Страница 19 из 32
Уже Диофант в эллинскую эпоху иногда пользовался символами для обозначения числовых величин, но именно Виет создал новый язык, который, как и индо-арабская запись, позволял выражать до тех пор невыразимые вещи. Виет был первым, кто систематично использовал буквы, чтобы обозначать константы и неизвестные.
Символическая алгебра позволяет представить неизвестное нам число: оно уже не "вещь", а х. Действительно, как в случае с Великой теоремой можно выразить числа, "которых, возможно, даже не существует", — х, у и z из уравнения Ферма. Символическая алгебра позволяет рассуждать о целых классах задач и делать утверждения о бесконечном количестве похожих проблем, зная только их алгебраическую структуру, связь между переменными посредством уравнения. То есть можно говорить об уравнениях в общем виде. Например, можно быстро и просто сказать, что a2 - b2 = (a + b) (a - b) и что это выполняется при любых a и b. Символическая алгебра освобождает наш ум от тяжелых словесных описаний и позволяет рассуждать на другом уровне, точно так же, как арабские цифры помогают нам считать. Революция в данной области стала возможной благодаря Виету, а затем и Декарту.
Теперь необходимо остановиться на некоторых понятиях. Древнегреческие математики стремились к строгим безукоризненным доказательствам: они назывались "синтетическими" и шли от гипотезы теоремы до ее заключения, с использованием логических правил, шаг за шагом. Но редко ученый следует по такому прямому пути, когда делает свои открытия. Математик пользуется (и греки не были исключением) эвристическими, неформальными методами для проверки своей правоты, прежде чем попытаться составить доказательство. В Древней Греции пробные пути, по которым пытались исследовать доказательство, можно сравнить со строительными лесами, убранными из окончательной редакции доказательства. Они назывались анализом (следует заметить, что это слово имеет абсолютно другое значение в современной математике), в то время как доказательство было синтезом. Анализ ведется от заключения к гипотезе, в то время как обычное, строгое и синтетическое доказательство всегда следует в противоположном направлении. К разочарованию своих читателей XVI и XVII веков, греки не оставили следов используемого ими аналитического метода, полностью стирая их и демонстрируя только строгость и красоту синтетического доказательства. Папп, несколько веков спустя писавший о вершинах эллинской математики, был одним из немногих авторов, который оставил какие-то свидетельства анализа.
На первый взгляд использование такого приема кажется странным. Обратные теоремы необязательно верны (см., например, малую теорему Ферма). Следовательно, перевод анализа (движения в обратном направлении) в синтетическое доказательство (скажем так, в правильном направлении, от гипотезы к заключению) не является автоматическим. Но греки прибегали к искусным методам, позволяющим инвертировать анализ и превращать его в доказательство по правилам. В частности, они заметили, что в геометрии во многих случаях шаги действительно можно инвертировать. В других случаях они с той же целью использовали вспомогательные гипотезы.
Анализ в том виде, в каком им занимались греки, также прижился у арабских алгебраистов и ренетов. В алгебре уравнения в основном инвертируются. Если согласно неким правилам преобразовать уравнение, то всегда можно осуществить и обратную процедуру. Например, мы можем перейти от записи a2 - b2 к записи (a + b)(a - b), равно как и совершить обратный переход. Так происходит потому, что два равных между собой выражения свободно взаимозаменяемы. Виет осознал это и открыл, что если основывать анализ на алгебре, пользуясь только действиями с уравнениями и тождествами, то доказательства автоматически будут истинными. Вышесказанное привело его к революционному утверждению о том, что анализ и алгебра — это одно и то же; он назвал это аналитическим искусствам.
Теперь имелись общие методы работы с уравнениями, и задачи можно было решать в два этапа: постановка, то есть перевод задачи в область символической алгебры в виде уравнения, и алгебраические действия для нахождения решения. Этим занимаются на уроках математики в школе. Таким образом, вместо того чтобы делать акцент на решении частного уравнения, как поступали реисты, Виет сосредоточился на правилах действий, совершаемых над уравнением: сложении членов в обеих частях, вычитании членов, возведении в степень, извлечении корней, умножении или делении. Кроме того, он искал общие виды операций, которые зависели бы только от структуры уравнения. Значительная часть трактата Виета посвящена классификации тождеств, помогающих осуществлять такие действия.
Если мы видим выражение 3 + 2, то наша естественная реакция состоит в том, чтобы, как делали реисты, осуществить сложение и поставить 5. Но при этом мы теряем структуру исходного выражения, сам факт того, что это сложение. Следовательно, мы не можем рассуждать в общем виде о сложении. Символическая алгебра позволяет нам рассуждать о структурах. Можно сказать, что символическая алгебра сосредотачивается на синтаксисе уравнения, забывая о его содержании и значении до получения конечного решения. В то же время алгебра Виета предполагала, что объекты, с которыми мы работаем (константы и неизвестные), необязательно должны быть числами. Они могут быть чем угодно — углами в тригонометрии, геометрическими элементами, — всем, к чему применимы сложение, умножение, возведение в степень и так далее. Алгебра, которая ранее была только ответвлением арифметики, где акцент делался на решении числовых задач, теперь превращается в универсальный язык математики.
Математика — это наука о порядке и мере, о красивых и простых цепочках рассуждений.
Рене Декарт
В данном месте нашего повествования должно стать очевидным, какое значение имела для нашего героя работа Виета, с которой Ферма познакомился в Бордо. Действительно, мы уже наблюдали у Ферма тенденцию идти от частного к общему, анализировать структуру уравнений, решающих целый класс задач, — преимущество, которое он отдавал общему методу перед конкретным решением локальной задачи. Виет не только предлагал методы и решения, он создал математическую программу, доведенную Ферма до последних выводов. Но он был не один. Другой великий мыслитель, Рене Декарт, пришел к таким же заключениям. Они втроем — Виет, Декарт и Ферма — создали методы современной математики, навсегда разорвав их связь с элегантными построениями Евклида и древнегреческих геометров. Туда, где раньше царствовали чертежи, построенные с помощью линейки и циркуля, теперь пришли алгебраические действия, совершаемые каждый раз над все более необычными объектами. Алгебра действительно превратилась в их руках в преимущественный способ математических рассуждений.
Очевидно, что Ферма многим обязан в математике Виету, однако остается спорным, до какой степени последний повлиял на Декарта. Некоторые историки, например Богран, предполагают знакомство Декарта с работами Виета, другие считают, что Декарт, по его же собственным словам, пришел к своим результатам независимо. Но так как он систематизировал лучше Виета, его запись оказалась намного более ясной (вспомним, что понятная запись в математике может озарить, в то время как неясная способна сбить с мысли). Также его теория уравнений была настолько выше теории Виета, что через одно поколение она полностью победила, оставив последнего в забвении. Там, где Виет пользовался изнурительными казуистиками, очень соответствующими образу мысли адвоката, Декарт рассуждал как философ.
Несмотря на свои революционные догадки, Виет в каких- то аспектах оставался привязанным к прошлому. Для него неизвестная, возведенная в квадрат, имела очень специфическое значение: это настоящий, геометрический квадрат, площадь. То же самое для неизвестной, возведенной в куб: это куб, объем. И, несмотря на то что он был способен представить себе большие степени (четвертые, пятые), не имеющие очевидного геометрического значения, ему не удалось сделать основополагающего шага: подумать о том, что многочлен может быть неоднородным, то есть его члены могут иметь различные степени: ax3 + bx2 + cx = d. Для него подобное было как сложение груш с яблоками, линии с кубом, квадрата с точкой. Это не имеет геометрического смысла. Таким образом он сформулировал закон однородности: многочлены должны быть суммами одночленов одной и той же степени (квадраты с квадратами, кубы с кубами).