Брахмагупта основал ставшую широко известной школу в Удджайне. Его «Брахма-спхута-сиддханта» — самый полный трактат по астрономии того времени. В некоторых разделах этого труда производится анализ неопределенностей, взятых из календарных вычислений и астрономии. Арьябхата решал линейные неопределенные уравнения, используя алгоритм Евклида, описанный в «Началах», — сокращение коэффициентов до тех пор, пока уравнения не будет удобно решать методом проб и ошибок. Брахмагупта приводит алгоритм для решения в целых числах уравнений вида ах2 ± с = у2, которые геометрически представляют собой гиперболы. В Европе эта формула получила известность под названием «уравнение Пелля»[6].
Позднее знаменитый индийский математик Бхаскара (Бхаскарачарья) (1114 — ок. 1185) улучшил эти методы, создав «циклический» метод, известный как «чакравала» (метод нахождения наименьшего нетривиального решения). Он привел решение известной задачи — уравнения 61х2 + 1 =у2. Это та самая задача, над которой Пьер Ферма бился в семнадцатом столетии и решение которой было найдено Жозефом Луи Лагранжем лишь сто лет спустя. Но даже и в восемнадцатом веке алгоритм «чакравала» был намного более эффективен. Наименьшие решения: х = 226 153 980, у = 1 766 319 049.
Ни в «Ариабхатии», ни в «Брахма-спхута-сиддханте» не доказываются представленные там результаты. Но это не означает, что их авторы не знали доказательств или не понимали, насколько важно продемонстрировать обоснованность приведенных правил. То, что индийские математики осознавали необходимость доказательств, видно хотя бы из того, что Бхаскара отклонил джайнистское приближенное значение π, представленное как √10: хотя и численно близкое, оно не сопровождалось никакими внятными объяснениями. В любом случае индийские математики не ограничивались только лишь представлением методов расчета и результатов, эти результаты проверялись и перепроверялись много раз, что, в свою очередь, способствовало возникновению еще более строгих методик.
Бхаскара из Удджайны был выдающимся математиком. Ему приписывается открытие некоторых понятий из области вычислений, которые стали широко известны намного позже. Трактаты Бхаскары издавались даже в девятнадцатом столетии. Одним из аспектов индийской астрономии было исследование мгновенных движений планет, особенно Луны. Были сделаны удивительно верные расчеты времени затмений, поэтому будущие затмения могли быть предсказаны с невероятной точностью. И Ариабхата, и Брахмагупта использовали для этого одну и ту же формулу, а Бхаскара усовершенствовал метод расчета, выведя то, что можно считать дифференциалом синуса. В его трактате «Сиддханта-широмани» («Венец учения») используется «бесконечно малая» единица измерения — «трути», равная 1/33,750 секунды. По сути, в определенном смысле трактат Бхаскары можно рассматривать как предварение математического анализа, но, похоже, этот «пред-анализ» не рассматривался как самостоятельная тема и не распространялся на другие ветви математики.
Впоследствии Ньютон в своем математическом анализе будет активно использовать бесконечные ряды. Особенно полезным достижением индийской математики была аппроксимация синусов и косинусов полиномами с бесконечным числом членов — работы именно в этом направлении мы можем увидеть у математиков Кералы. После Бхаскары успехи индийской математики были невелики — страну охватил политический хаос. Но юго-западная Индия оставалась в значительной степени защищенной от этих потрясений, так что там математика могла развиваться вплоть до четырнадцатого — семнадцатого веков. Керала была центром морской торговли, туда стекались люди из самых разных стран. Конечно, необходимо более точно изучить историческую роль Кералы в продвижении математических идей, но некоторые результаты указывают на то, что математика там процветала.
Мадхава из Сангамаграма (ок. 1340–1425), известный более поздним астрономам как Голавид, или «Повелитель сфер», был одним из величайших средневековых математиков. Его работы по исследованию бесконечных рядов были утеряны, но постоянно цитировались более поздними авторами вплоть до шестнадцатого века. Многие результаты, которые были названы в честь европейских математиков, возможно, должны были носить имя Мадхавы. Сюда входят разложение синусов и косинусов в бесконечный многочлен, считающееся заслугой Ньютона, а также формулы малоуглового приближения, представляющие собой часть рядов Тейлора. Эти формулы позволяли составлять тригонометрические таблицы с любой желательной точностью; таблицы Мадхавы были составлены с точностью до восьми десятичных знаков. Мы также находим у него бесконечный ряд, выражающий значение числа π. Один пример, приведенный в стихотворной форме, иллюстрирует, как определенные объекты традиционно использовались для того, чтобы обозначить числа и способствовать их последующему вспоминанию:
Боги [33], глаза [2], слоны [8], змеи [8], огни [3], тройка [3], качества [3], веды [4], наксатры [27], слоны [8] и руки [2] — мудрые говорят, что это длина окружности, когда диаметр круга — 900 000 000 000.
Прочтение чисел справа налево и деление получившегося числа на указанный диаметр приводят к значению π с точностью до одиннадцати десятичных знаков. Такое вычисление с использованием бесконечного ряда сразу напоминает о гениальном индийском математике-самоучке из Кералы — Сринивазе Рамануджане (1887–1920), невероятные способности которого позволили ему поступить в Кембриджский университет.
7. Дом Мудрости
В седьмом веке нашей эры на Аравийском полуострове возникла новая монотеистическая религия, которая должна была втиснуться между христианским и персидским мирами. В 622 году пророк Мухаммад бежал из Мекки и нашел прибежище в Медине. Восемь лет спустя он возвратился во главе армии и триумфально вошел в Мекку. Вдохновленные прозрениями Мухаммада, его последователи распространили слово Корана и создали Арабский халифат, который в пору своего расцвета раскинулся от Кордовы до Самарканда. С 661 года империей, со столицей в Дамаске, правила династия Омейядов, но в 750 году они были свергнуты Аббасидами, которые перенесли столицу в Багдад (с 762 года). Омейяды бежали в испанские земли, где создали Кордовский халифат.
Халифы династии Аббасидов стремились построить в Багдаде новую Александрию и основали там астрономическую обсерваторию, библиотеку и исследовательский центр под названием «Байт аль-Хикма» («Дом Мудрости»). Был задуман и осуществлен гигантский проект, согласно которому на арабский язык были переведены все лучшие научные труды того времени, какие только можно было найти. В арабской математике мы можем увидеть влияние вавилонских, индийских и греческих идей. Их синтез и развитие привели к созданию фундаментальных трудов, особенно по алгебре и тригонометрии. Хотя алгебраическая символика, какой мы ее знаем сегодня, — это намного более поздняя европейская разработка, создание алгебраических рассуждений с большой долей вероятности можно приписать арабским математикам. Более ранняя математика нередко могла алгебраически интерпретироваться, но явное признание того факта, что геометрические проблемы могут быть выражены алгебраически, что геометрические процедуры могут быть преобразованы в алгебраические алгоритмы и что алгебраические процедуры могут выйти за рамки своих геометрических корней, — это вклад арабов в математику.
Очень важной работой в истории алгебры был труд Диофанта Александрийского (ок. 200 — ок. 284) «Арифметика». При том, что даты жизни Диофанта, казалось бы, известны, тем не менее до сих пор нет окончательной ясности, к какому столетию следует его отнести, хотя решение математической загадки, которая, по слухам, была начертана на его могиле, указывает на его возраст в момент смерти. «Арифметика» считается новой ветвью греческой математики, она посвящена решению определенных и неопределенных уравнений в числовой форме, независимо от геометрических обоснований. Ограничение на целочисленные решения ныне сформировалось в отдельную ветвь математики, известную как диофантовы уравнения. Примером таких уравнений может служить поиск пифагоровых троек. Диофант также использовал то, что называют синкопированной алгебраической записью, то есть промежуточной стадией между риторической и полностью символической алгеброй. Эта работа была переведена на арабский язык и тщательно изучалась арабскими математиками.
6
В общем виде эту задачу сформулировал великий французский математик Пьер Ферма (1601–1665), и во Франции оно носит «правильное» название — уравнение Ферма. Название «уравнение Пелля» родилось в результате того, что не менее великий швейцарский, немецкий и российский математик Леонард Эйлер (1707–1783) ошибочно приписал один из способов его решения английскому математику Джону Пеллю (1620–1685).