Лейбниц. Анализ бесконечно малых

"Хотя открытия обеспечили ему имя и славу, не человеческую, а божественную, он не захотел оставить ни одного трактата о них, а считал инженерное дело и любое утилитарное ремесло неблагородным и грубым и претендовал только на области, красота и утонченность которых не связаны с потребностями и не могут сравниться с другими областями; он открыл диспут о материи и доказательстве, где первое предоставляет силу и красоту, а второе — точность и высочайшую силу, потому что невозможно найти в геометрии более сложные и важные пропозиции, изложенные в рамках более чистых и четких понятий".

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

НЕ ГЕОМЕТРИЕЙ ЕДИНОЙ

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

В греческой математике не было создано общих методов для решения различных задач. Кроме того, после подчинения геометрии математической строгости доказательства стали каждый раз все более сложными. Это мешало двигаться дальше в развитии вычислений.

МЕТОД ИСЧЕРПЫВАНИЯ

Этот метод обязан своим существованием греческому математику Евдоксу Книдскому (ок. 390-337 до н.э.). Он состоит в приближении неизвестной площади, которую нужно вычислить, к большей или меньшей площади. Метод основывается на принципе, который упоминается в "Началах" Евклида:

^{"Если при данных двух неравных величинах из наибольшей величины вычесть величину, большую ее половины, а из остатка — другую величину, большую ее половины, и последовательно повторять процесс, в итоге останется величина, меньшая наименьшей из заданных величин".}

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

РИС. 1

На рисунках видно, что каждый раз происходит вписывание в круг многоугольников с большим числом сторон, площадь которых каждый раз все больше приближается к искомой площади круга. Такие же рассуждения можно применить к описанному квадрату (рисунок 2).

РИС. 2

Изначально развитие греческой арифметики было обусловлено потребностями геометрии, поскольку математики сводили ее к вычислению геометрических или тригонометрических величин. Позже арифметика и алгебра разделились и начали развиваться как независимые дисциплины. Математики христианской эпохи, такие как Герои Александрийский (I в.), Никомах Герасский (II в.) и Диофант Александрийский (III в.), развивали арифметику и алгебру без оглядки на потребности геометрии. Никомах, следовавший пифагорейской традиции и написавший "Введение в арифметику", считал, что его труд имел такое же значение для арифметики, как "Начала" Евклида — для геометрии.