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

Математики Древней Индии, опираясь на работы греков, добились больших успехов в тригонометрии. Они обнаружили, что удобнее использовать не хорды, а тесно связанные функции синуса (sin) и косинуса (cos), которыми мы пользуемся и сегодня. Синусы впервые появились в «Сурья сиддханта» – серии индийских астрономических текстов, датируемых примерно 400 г.; Ариабхата около 500 г. развил эту идею в своем труде «Ариабхатия». Аналогичные идеи возникли независимо и в Китае. Индийскую традицию продолжили Варахамихира, Брахмагупта и Бхаскара Ачарья, в работах которых имеются полезные аппроксимации функции синуса и некоторые базовые формулы, такие как

sin 2θ + cos 2θ = 1

у Варахамихиры; по существу, это тригонометрическая интерпретация теоремы Пифагора.

До недавнего времени ученые считали, что после Бхаскара Ачарья в индийской математике наступил застой, во время которого ученые ограничивались лишь комментариями к классическим работам, и лишь после того, как Британия присоединила Индию к своей активно развивающейся империи, там появилась новая математика. Возможно, это было правдой в отношении значительной части Индии, но не в отношении Кералы. Джозеф отмечает, что «качество математики, доступной в текстах [Керальской школы] … настолько высокого уровня в сравнении с тем, что было достигнуто в классический период, что кажется невозможным, чтобы одно произошло от другого». Однако сколько-нибудь сравнимые идеи появились лишь несколькими столетиями позже в Европе, так что никакого правдоподобного «недостающего звена» разглядеть не удается. Достижения Керальской школы, судя по всему, были ее собственными.

Комментарий Естхадевы «Юктибхаса» так описывает ряд, приписываемый Мадхаве:

Первый член есть произведение заданного синуса и радиуса искомой дуги, деленного на косинус этой же дуги. Последующие члены получаются методом повторений, когда первый член последовательно умножается на квадрат синуса и делится на квадрат косинуса. Все члены затем делятся на нечетные числа 1, 3, 5, … Дуга получается прибавлением и вычитанием соответственно членов с нечетными номерами и членов с четными номерами.

В современной нотации и с учетом того, что тангенс угла θ равен синусу этого угла, деленному на его же косинус, получаем

Это (если записать в терминах арктангенса) и есть то, что мы на Западе называем рядом Грегори, его открыл в нашей цивилизации Джеймс Грегори в 1671 г. или, возможно, чуть раньше. Согласно трактату «Махаджьянаяна пракара» («Методы для больших синусов»), Мадхава использовал этот ряд для вычисления π. Особый случай (θ = π/4 = 45°) приведенного ряда дает бесконечный ряд для π – первый пример рядов такого типа.

Это не слишком практичный способ вычислить число π, поскольку члены ряда убывают очень медленно и нужно пройти громадное число слагаемых, чтобы получить хотя бы несколько очередных десятичных знаков. Приняв вместо этого θ = π/6 = 30°, Мадхава вывел вариант ряда, который сходится быстрее:

Он вычислил первый 21 член ряда и получил π с точностью до 11 знаков после запятой. Этот ряд стал первым новым методом вычисления π после Архимеда, использовавшего все более близкие по форме к окружности правильные многоугольники.

Один из приемов Мадхавы удивительно хитроумен. Мадхава оценил ошибку, возникающую при усечении ряда на некотором конечном этапе. Мало того, он привел три выражения для ошибки, которые можно прибавлять к общему значению в качестве корректирующего члена для повышения точности. Вот его выражения для ошибки после сложения n членов ряда:

Третье из этих выражений он использовал для получения улучшенного значения суммы при расчете π с точностью до 13 знаков после запятой. Ничего подобного не наблюдается нигде в математической литературе до нынешних времен.

В 1676 г. Ньютон написал письмо Генри Олденбургу – секретарю Королевского общества; в письме он информировал этого достойного человека о двух бесконечных рядах для синуса и косинуса:

которые он вывел кружным путем, с использованием дифференциального исчисления. Сегодня мы знаем, что эти выражения, долгое время приписывавшиеся Ньютону, были получены Мадхавой почти на 400 лет раньше. Подробности вывода этих рядов приведены в «Юктибхасе». Метод вывода сложен, но его можно рассматривать как ранний вариант метода интегрального исчисления – суммирование подобных рядов член за членом.

В самом деле, утверждается, что Мадхава выработал некоторые базовые понятия дифференциального и интегрального исчисления задолго до Ньютона. Речь идет о дифференцировании, интеграле как площади под кривой и почленном интегрировании. Он нашел методы разложения многочленов в алгебре, вывел числовой метод решения уравнений посредством итераций и работал над бесконечными цепными дробями.

Джозеф спрашивает, могли ли идеи Мадхавы просочиться в Европу. Он указывает, что европейские исследователи, такие как Васко да Гама, хорошо знали Кералу, потому что это удобный остановочный пункт для кораблей, пересекающих Аравийское море на пути в Китай и другие страны Востока. Роль этого региона как центра торговли восходит еще к вавилонским временам. Географическая изоляция, зажатость между Западными Гатами и Аравийским морем, защищала его от бурной политической жизни остальной части средневековой Индии, что было дополнительным бонусом для чужеземных путешественников. Действительно, создается впечатление, что кое-что из достижений керальской техники и местных изделий в то время добиралось до Европы, однако до сих пор не найдено никаких свидетельств прямого переноса математических идей. Так что до тех пор, пока на свет не появятся новые свидетельства (если появятся), нам остается предполагать, что Керала и Европа открыли множество важных математических идей независимо друг от друга.

Работа таких выдающихся индийских математиков, как Ариабхата и Брахмагупта, давно признана в Европе. С трудами Керальской школы европейское научное сообщество впервые познакомилось только в 1835 г., когда Чарльз Виш написал статью о четырех самых значительных индийских текстах: это «Тантрасамграха» Нилаканты, «Юктибхаса» Естхадевы, «Карана Паддхати» Путхуманы Сомайаджи и «Садратнамала» Санкары Вармана. Виш, можно сказать, запустил лису в курятник, когда заявил, что «Тантрасамграха» содержит основы работы с производными, как Ньютон называл дифференциальное исчисление (глава 7): что в ней «полно производных форм и рядов, которые невозможно найти ни в одном труде других стран». В дни, когда всю торговлю с Индией контролировала Ост-Индская компания, а сама страна рассматривалась как легкая добыча для завоевателя, это заявление не произвело совершенно никакого впечатления. Керальская математика была быстро и прочно забыта. Только столетие спустя, в 1940-х гг., ее высокий уровень был наконец вновь описан в серии статей Кадамбура Раджагопала и его соавторов; они проанализировали математику Керальской школы и продемонстрировали, что индийские математики открыли множество важных вещей намного раньше европейцев, которым эти достижения, как правило, приписывали.