Математическая планета. Путешествие вокруг света | страница 21

Далее Датта заключает, что площадь нового пустого угла, квадратика со стороной х, пренебрежимо мала, и выполняется соотношение:

Возможно, именно так рассуждал индийский автор Шульба-Сутр, однако приведенные алгебраические методы и пренебрежение малыми величинами кажутся не слишком уместными при поиске все более точных значений. Чтобы поставить себя на место индийского автора и понять ход его рассуждений, нужно найти геометрическое обоснование этого необычного знаменателя, то есть числа 34. Разделим квадратный пустой угол со стороной 1/12 на столько частей, сколько раз этот квадрат укладывается на верхней и правой сторонах фигуры, то есть на 16 + 16 = 32 части. Отсечем от каждого из 16 квадратиков, расположенных вдоль стороны фигуры, полосу шириной 1/(12·32) и получим новый многоугольник, вписанный в квадрат. Длина стороны этого многоугольника будет равна:

Площадь этого квадрата намного ближе к искомому значению:

Число 34 по-прежнему не появляется. Поступим иначе: вместо того чтобы уменьшить стороны изображенного выше неправильного многоугольника, рассечем квадрат со стороной 1 + 1/3 + 1/12 вдоль верхней и правой стороны. На каждой из них маленький квадратик в углу укладывается ровно 17 раз.

Разрежем этот маленький квадратик на 34 полосы, а затем отсечем 17 полос из верхней и столько же — из правой стороны большого квадрата. Мы исключили излишек в форме маленького квадрата, длина стороны которого равна: 1/(12·34)

Полученная фигура вновь будет неправильным многоугольником, вписанным в квадрат. Длина стороны этой фигуры в точности равна приближенному значению, приведенному в Шульба-Сутрах.

По всей видимости, если мы отбросим 34 квадратика, это будет слишком много, если отбросим 33 — слишком мало, чем и объясняется чередование чисел 33 и 34 в последующих приближенных значениях, полученных по индийскому методу:

В продолжение рассуждений, параллельных индийскому методу, заметим: если разделить исходный квадрат не на три, а на пять частей, то первое приближение будет более точным.

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