Иэн Стюарт - Значимые фигуры. Жизнь и открытия великих математиков

Извлечем квадратный корень из обеих частей уравнения и получим

так что x = 3. Сегодня мы взяли бы еще отрицательный квадратный корень, и получили второе решение, x = –4. Отрицательные числа уже начинали появляться в трудах ученых периода аль-Хорезми, но сам он их не упоминает.

Такой подход был бы понятен и вавилонянам, и грекам, поскольку они и сами в свое время занимались примерно тем же. На самом деле существуют сомнения относительно того, был ли аль-Хорезми знаком с «Началами» Евклида. По идее, должен был быть знаком, поскольку аль-Хаджжадж – другой ученый из «Дома мудрости» – перевел Евклида на арабский, когда аль-Хорезми был молодым человеком. Но с другой стороны, основной задачей «Дома мудрости» был именно перевод , и его работники не были обязаны читать труды, переведенные их коллегами. Некоторые историки утверждают, что геометрия аль-Хорезми по стилю не соответствует Евклидовой, и это свидетельствует о том, что ученый не был знаком с оригиналом. Но, я повторяю, «Алгебра» – популярная книга о математике, так что она и не должна была бы следовать аксиоматическому стилю Евклида, даже если бы сам аль-Хорезми знал Евклида назубок. Во всяком случае идея достраивания квадрата восходит еще к вавилонянам и позаимствовать ее можно было из множества разных источников.

Почему же тогда многие историки считают именно аль-Хорезми отцом алгебры? Особенно с учетом того, что он не использует никаких символов? И у него имеется сильный конкурент, грек Диофант. В его «Арифметике» – серии книг о решении уравнений в натуральных или рациональных числах, написанной около 250 г., – символы используются. Один из ответов состоит в том, что главной областью интересов Диофанта была теория чисел да и символы его были, по существу, простыми сокращениями. Однако более глубокий ответ, который мне кажется и более убедительным, заключается в том, что аль-Хорезми часто, хотя и не всегда, приводит универсальные методы решения, тогда как его предшественники, как правило, брали пример с конкретными числами и решали его. Читателю оставалось самому выводить общее правило. Так что результат приведенного выше геометрического решения мог бы выглядеть примерно так: «Возьмите 1, поделите на 2, получится возведите ее в квадрат, получится затем добавьте по к каждой стороне», – и читатель должен будет сам догадаться, что общее правило состоит в том, чтобы заменить первоначальную 1 половинкой коэффициента при x , возвести результат в квадрат, прибавить результат к обеим сторонам уравнения и т. д. Конечно, при обучении преподаватель разъяснил бы решение на таком уровне обобщения и закрепил результат, заставив ученика прорешать множество других примеров.

Иногда аль-Хорезми, кажется, делает ровно то же самое, но, как правило, он подробнее описывает применяемые правила. Так что более глубокая причина того, что именно ему приписывают изобретение алгебры, состоит в том, что он сосредоточился на общих правилах манипулирования алгебраическими выражениями, нежели на конкретных числах, которые они представляют. К примеру, он дает правила раскрытия скобок при их перемножении

( a + bx ) ( c + dx )

в терминах квадрата x 2, корня x и чисел. Мы бы записали это правило символически как

ac + ( ad + bc ) x + ( bd ) x 2,

и именно это он говорит, словесно, без использования конкретных чисел для a, b, c или d . Он рассказывает читателям, как нужно манипулировать общими выражениями в числах, корнях и квадратах. Эти выражения рассматриваются не как зашифрованные версии какого-то неизвестного числа, но как новый тип математического объекта, выражения с которым можно просчитывать, даже если реальные числа вам неизвестны. Именно этот шаг к абстракции – если мы примем его как таковой – лежит в основе утверждения о том, что аль-Хорезми изобрел алгебру. В «Арифметике» ничего подобного нет.

Другие темы в его книге более прозаичны: там можно найти правила вычисления площадей и объемов таких фигур, как прямоугольник, круг, цилиндр, конус и шар. Здесь аль-Хорезми следует тем же путем, каким двигались математики в индийских и еврейских текстах, и ничего похожего на Архимеда или Евклида вы там не найдете. Заканчивается книга более приземленными вещами: подробным разбором исламских правил наследования имущества, требующих разделения его в разных пропорциях; ничего более сложного с математической точки зрения, чем решение линейных уравнений и арифметика, в этом разделе не встречается.