Евклид. Геометрия

Теперь мы должны вписать в оставшиеся сегменты параболы треугольники Т₁ = ADC, Т₂ = ВЕС и сегменты ADA, DCD, СЕС, ВЕВ и так до бесконечности, поскольку величины делимы до бесконечности. Все это бесконечное множество треугольников покрывает площадь, равную трети треугольника Т=АСВ. Тем не менее прибегать к бесконечному необязательно, так как мы можем воспользоваться методом исчерпывания. Можно убедиться с помощью танграма, что треугольники Т₁ = ADC и Т₂ = ВЕС «покрывают соответственно больше половины сегментов параболы ADCA и ВЕСВ». Очевидно, что площадь треугольника T₁=ADC равна половине прямоугольника АН. При этом сегмент параболы ADCEBA меньше этого прямоугольника.

Следовательно, Т₁ = ADC покрывает больше половины сегмента ADCEBA. То же самое происходит с Т₁ = ADC, сегментом параболы СЕВС и прямоугольником CF. Такой метод рассуждений справедлив последовательно для каждого остающегося сегмента параболы. Важно обратить внимание на то, что хотя в данном случае мы применили его к параболе, он работает и для других кривых, включая окружности.

Однако полностью потенциал этого метода раскрыл Архимед, самый выдающийся математик античности.

Евклид дает следующее определение методу исчерпывания:

Книга X, предложение 1. Для двух заданных неравных величину если от большей отнимается больше половины и от остатка больше половины и это делается постоянно, то останется некоторая величина, которая будет меньше заданной меньшей величины.

Это предложение равнозначно определению 4 книги V: если верно одно, то верно и другое, и наоборот. Архимед обратил на это внимание и решил ввести предложение в ранг постулата, который сегодня известен как принцип (или аксиома, или свойство) Архимеда.

Принцип Архимеда. Если имеются две величины одного порядка А и B_f то всегда существует натуральное число п_у при котором п х А > В или п х В > А.

Доказав предложение 7 книги XII, Евклид решил задачу расчета объема пирамиды, унаследованную от египетских математиков. Вопрос о возможности ее решения с помощью метода танграма стоял на третьем месте в составленном Давидом Гильбертом в начале прошлого века списке из 23 задач, представляющих особый интерес для математики. Ответ, разумеется, был отрицательным. А предложение 2 дает ответ на один из важнейших вопросов классической геометрии, которому и посвящена следующая глава.

ГЛАВА 6 Квадратура круга

Одним из главных достижений пифагорейской школы было открытие возможности построить квадратуру любой многосторонней плоской фигуры. Но было ли это справедливо для круга и других фигур с одной или всеми изогнутыми сторонами? Этот вопрос занимал не только математиков, но и мыслителей, и со временем выражение «квадратура круга» стало синонимом неразрешимой задачи.

Метод танграма позволяет построить квадратуру любой многосторонней плоской фигуры. Вследствие любви к обобщению древнегреческие геометры задавались вопросом: можно ли свести к квадрату фигуры с округленными сторонами и, в частности, идеальную фигуру — круг? Первым к решению этой задачи приступил гениальный математик Гиппократ Хиосский. Он разработал серповидные фигуры (гиппократовы луночки): одну над окружностью, другую — над меньшей частью окружности и еще одну — над ее большей частью. Для доказательства, основанного на методе танграма, Гиппократу были необходимы два результата:

— теорема Пифагора;

— доказательство того, что соотношение площадей двух окружностей равно соотношению квадратов их диаметров.

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