В этом доказательстве Евклид, возможно, использовал предложение 4 из первой книги (критерий равенства по двум сторонам и углу), которое устанавливает равенство треугольников BAI и DCJ. Для этого ему были необходимы некоторые свойства, вытекающие из постулата о параллельных (см., в частности, предложения 34 и 29 первой книги). После того как Евклид пришел к этому результату, он мог использовать метод танграма, при котором части не равны друг другу, но имеют одинаковую площадь. В этом и состоял принцип обобщенного танграма, который Евклид использовал с большим мастерством. Предложение 37 первой книги является простым выводом из предыдущих, поскольку сводится к доказательству того, что площадь треугольников равна половине площади параллелограмма (см. рисунок 6).
Евклид, как до него и другие древнегреческие математики, вывел геометрию на новый уровень и придал ей большую ясность, обобщив простые и очевидные результаты. В данном случае он установил, правда не объясняя это отдельно, а сразу используя в своих доказательствах, что площади можно высчитывать при помощи различных по форме фигур (параллелограммов и треугольников).
Еще одно геометрическое понятие, позволившее Евклиду использовать обобщенный метод танграма,— гномон. Геродот так говорит о нем во второй книге «Истории»:
Евклид дал определение гномону в книге II, хотя уже в книге I установил характеристики, благодаря которым он имеет такое большое значение.
Книга II,
определение 2. Во всякой образованной параллельными линиями площади каждый из расположенных на ее диаметре параллелограммов вместе с двумя дополнениями будем называть гномоном.Его интересная особенность:
Книга I,
предложение 43. Во всяком параллелограмме дополнения расположенных по диаметру параллелограммов равны между собой.Как видно на рисунке 7, гномоном, согласно определению 2 книги II, является серая фигура, состоящая из четырех частей: двух параллелограммов IH, GC и двух треугольников IGD и JDG, явно равных. Треугольники, на которые параллелограмм делится диагональю, то есть белые и темно-серые, равны по признаку равенства треугольников, то есть применяется общее понятие 3. Следовательно, фигуры разной формы (которые нельзя наложить одну на другую) равновеликие, в этом и заключается обобщенный метод танграма.
Игра в танграм позволила Евклиду дать очень изящное и в то же время очень оригинальное доказательство теоремы Пифагора.
Доказательство Евклида из предложения 47 книги I.
Теорема Пифагора.
В прямоугольном треугольнике ΔАВС квадрат на гипотенузе ВС равен сумме квадратов, построенных на катетах АВ и АС.