Евклид. Геометрия (Carrera) - страница 42
РИС. 8
РИС. 9
Аналогичным образом можно выразить и другие алгебраические равенства, например (а ± b)>² = а>² + b>² ± 2ab>y (а + b) х (а - b) = а>² - b>². Рассмотрим только (а + b) х (а - b) = а>² - b>². Будем исходить из альтернативной формулировки предложения 5 книги 2. Возьмем фигуру, как на рисунке 10. Разобьем прямоугольник HJ. В первую очередь установим равновеликость прямоугольников FN и NB, используя свойства гномона. Прямоугольник NB равновелик прямоугольнику BI по построению, так как DB = DF = а, BJ = FH = b, DJ = а + b, JI = DH = а - b. Получается, что прямоугольник HJ состоит из квадрата KD (а>²), поскольку прямоугольники GJ и FN равны, но остается квадрат MG (b>²).
РИС. 10
РИС. 11
Второе применение танграма позволяет доказать, что многосторонние фигуры могут трансформироваться в равновеликий квадрат. Для доказательства мы будем постепенно уменьшать количество сторон многосторонней фигуры, сведя ее к треугольнику. Возьмем многостороннюю фигуру ABCDEFG (см. рисунок 11). Соединим две ее любые вершины, между которыми есть хотя бы одна другая вершина, например D и F. Проведем параллельную прямую через вершину Е. Продлим сторону CD, пока она не пересечет эту параллельную в точке I. Соединим точки I и F. Треугольники IFD и EFD равновеликие (книга I, предложение 35). Таким образом, фигуры ABCDEFG и ABCIFG также равновеликие, но у первой на одну сторону больше, чем у второй. Повторив эту процедуру, мы получим прямоугольник, равновеликий заданному многоугольнику. Следовательно, всякую многоугольную фигуру можно свести к треугольнику.
РИС. 12
Затем мы можем доказать, что любой треугольник можно преобразовать в прямоугольник, что наглядно показано на рисунке 12.
Остается разобрать последний вариант: доказать, что всякий прямоугольник можно свести к квадрату (книга II, предложение 14). Возьмем прямоугольник AD и попробуем преобразовать его в квадрат. Рассмотрим рисунок 13. Отложим отрезок, равный CD, на продолжении стороны АС. Разделим отрезок АВ пополам точкой G. Проведем полуокружность с центром G и радиусом GB и полухорду FC, перпендикулярную АВ и пересекающую ее в точке С. Отрезок FC будет стороной квадрата, равновеликого данному прямоугольнику.
Все эти построения можно сделать исключительно при помощи линейки и циркуля. Необходимо доказать, что FC соответствует нужным требованиям. Рассмотрим отрезки r [=GF=AG=GB] и s [=СС]. Получается, что прямоугольник равновелик (r + s) (r - s), то есть r>² - s>². FC — катет прямоугольного треугольника FCG. По теореме Пифагора его квадрат равен r