Евклид располагал базовым инструментом — параллелизмом, с помощью которого смог доказать следующие результаты.
Книга I, предложение 29. Накрест лежащие углы равны между собой.
Книга I, предложение 32. Сумма трех внутренних углов треугольника равна сумме двух прямых углов.
Книга I, предложение 34. Противоположные стороны и углы параллелограммов равны между собой.
РИС.З
РИС. 4
Предложения 29 и 34 позволяют применить обобщенный метод танграма, то есть использовать тантрам, не ограничиваясь изначально заданными фигурами, на которые он разделен. Для этого нужны теоремы, устанавливающие равенство их площадей.
Книга I, предложения 35 и 36. Параллелограммы, находящиеся на одном и том же основании и между одними и теми же параллельными прямыми, равны между собой.
Книга I, предложение 37. Треугольники, находящиеся на одном и том же основании и между одними и теми же прямыми, равны между собой.
РИС. 5
Рисунок 5 иллюстрирует предложения 35 и 26 первой книги.
Евклид говорит, что параллелограммы ВС и IH обладают одинаковой площадью. Сегодня это утверждение кажется нам очевидным. У фигур одинаковое основание и одинаковая высота, а площадь получается путем умножения этих двух величин (хотя это тоже требует доказательства). Однако древнегреческая геометрия оперирует размерами, у которых вследствие несоизмеримости нет длины. Из-за этого один или оба отрезка не могут быть измерены (этот вопрос мы рассмотрим подробнее в главе 5). Следовательно, необходимо найти способ доказать равенство этих двух площадей. Евклид использовал общее понятие 1. Если бы ему удалось доказать, что площади параллелограммов ВС и AJ с общим основанием равны и что площадь второго равна площади параллелограмма IH с которым у него одинаковое основание, то и параллелограммы ВС и IH были бы равны.
Точка обозначает конец линии или ее начало?
Кто знает. Никто.
Мо-цзы (479-400 до н. э.)
Начнем с первого вопроса. Евклид анализирует все фигуры (то есть пользуется методом китайского танграма) и применяет общие понятия 2 и 3. Треугольники BAI и DCJ состоят из белой фигуры и серой, которая является общей для них обоих. Если мы отнимем у них этот общий кусок («от равных отнимем равное»), то получится, что площади четырехугольников BAMD и IMCJ равны, хотя они и имеют разную форму.
Теперь добавим к этим четырехугольникам треугольник АМС (темно-серый), который станет их общей частью. Поскольку мы прибавили «к равным равное», получается, что площади параллелограммов ВС и AJ с общим основанием АС равны. В чем разница между случаем, который мы только что доказали, и общим утверждением предложений 35 и 36 первой книги? Она состоит в том, что, как мы уже видели, в этом случае речь идет не просто о равных основаниях, а об одном и том же основании (в паре ВС и AJ — отрезок АС, в паре AJ и IH — отрезок IJ).