Трехмерный мир. Евклид. Геометрия - [21]
Точка обозначает конец линии или ее начало?
Кто знает. Никто.
Мо-цзы (479-400 до н. э.)
Начнем с первого вопроса. Евклид анализирует все фигуры (то есть пользуется методом китайского танграма) и применяет общие понятия 2 и 3. Треугольники BAI и DCJ состоят из белой фигуры и серой, которая является общей для них обоих. Если мы отнимем у них этот общий кусок («от равных отнимем равное»), то получится, что площади четырехугольников BAMD и IMCJ равны, хотя они и имеют разную форму.
Теперь добавим к этим четырехугольникам треугольник АМС (темно-серый), который станет их общей частью. Поскольку мы прибавили «к равным равное», получается, что площади параллелограммов ВС и AJ с общим основанием АС равны. В чем разница между случаем, который мы только что доказали, и общим утверждением предложений 35 и 36 первой книги? Она состоит в том, что, как мы уже видели, в этом случае речь идет не просто о равных основаниях, а об одном и том же основании (в паре ВС и AJ — отрезок АС, в паре AJ и IH — отрезок IJ).
В этом доказательстве Евклид, возможно, использовал предложение 4 из первой книги (критерий равенства по двум сторонам и углу), которое устанавливает равенство треугольников BAI и DCJ. Для этого ему были необходимы некоторые свойства, вытекающие из постулата о параллельных (см., в частности, предложения 34 и 29 первой книги). После того как Евклид пришел к этому результату, он мог использовать метод танграма, при котором части не равны друг другу, но имеют одинаковую площадь. В этом и состоял принцип обобщенного танграма, который Евклид использовал с большим мастерством. Предложение 37 первой книги является простым выводом из предыдущих, поскольку сводится к доказательству того, что площадь треугольников равна половине площади параллелограмма (см. рисунок 6).
Разум не сосуд, который надо наполнить, а факел, который надо зажечь.
Плутарх
Евклид, как до него и другие древнегреческие математики, вывел геометрию на новый уровень и придал ей большую ясность, обобщив простые и очевидные результаты. В данном случае он установил, правда не объясняя это отдельно, а сразу используя в своих доказательствах, что площади можно высчитывать при помощи различных по форме фигур (параллелограммов и треугольников).
РИС. 6
Еще одно геометрическое понятие, позволившее Евклиду использовать обобщенный метод танграма,— гномон. Геродот так говорит о нем во второй книге «Истории»:
«Сесострис разделил землю между всеми жителями и дал каждому по квадратному участку равной величины. От этого царь стал получать доходы, повелев взимать ежегодно поземельную подать.
Если река отрывала у кого-нибудь часть его участка, то владелец мог прийти и объявить царю о случившемся. А царь посылал людей удостовериться в этом и измерить, насколько уменьшился участок, для того чтобы владелец уплачивал подать соразмерно величине оставшегося надела. Мне думается, что при этом-то и было изобретено землемерное искусство и затем перенесено в Элладу.
Ведь «полос» и «гномон», так же как и деление дня на 12 частей, эллины заимствовали от вавилонян».
РИС. 7
Евклид дал определение гномону в книге II, хотя уже в книге I установил характеристики, благодаря которым он имеет такое большое значение.
Книга II, определение 2. Во всякой образованной параллельными линиями площади каждый из расположенных на ее диаметре параллелограммов вместе с двумя дополнениями будем называть гномоном.
Его интересная особенность:
Книга I, предложение 43. Во всяком параллелограмме дополнения расположенных по диаметру параллелограммов равны между собой.
Как видно на рисунке 7, гномоном, согласно определению 2 книги II, является серая фигура, состоящая из четырех частей: двух параллелограммов IH, GC и двух треугольников IGD и JDG, явно равных. Треугольники, на которые параллелограмм делится диагональю, то есть белые и темно-серые, равны по признаку равенства треугольников, то есть применяется общее понятие 3. Следовательно, фигуры разной формы (которые нельзя наложить одну на другую) равновеликие, в этом и заключается обобщенный метод танграма.
Игра в танграм позволила Евклиду дать очень изящное и в то же время очень оригинальное доказательство теоремы Пифагора.
Доказательство Евклида из предложения 47 книги I.
Теорема Пифагора. В прямоугольном треугольнике ΔАВС квадрат на гипотенузе ВС равен сумме квадратов, построенных на катетах АВ и АС.
Как видно на рисунке 8, из вершины А проводится прямая, перпендикулярная гипотенузе ВС, до пересечения со стороной Н1 квадрата В1. Мы получаем прямоугольники CJ и В]. Необходимо доказать, что прямоугольник С] равен квадрату AD и что прямоугольник BJ равен квадрату AG. Евклид строит треугольники AACI и ADCB. Они равны, как можно легко убедиться, поскольку имеют равные стороны и угол между ними (общее понятие 2). Итак, у треугольника AACI и прямоугольника CJ общая сторона СI, а его вершина А находится на той же параллельной прямой, AJ, на которой у прямоугольника CJ расположена сторона KJ, противоположная стороне CI. Следовательно, площадь прямоугольника CJ в два раза больше площади треугольника ΔACI. Таким же образом, площадь квадрата AD в два раза больше площади треугольника ADCB. Следовательно, площадь квадрата AD равна площади прямоугольника IK (первое равенство, которое мы должны были доказать). Аналогично, площадь квадрата AG равна площади прямоугольника BJ (второе равенство, которое мы хотели доказать). Следовательно, согласно общему понятию 2, теорема доказана.
