Трехмерный мир. Евклид. Геометрия - [22]
Термин «геометрическая алгебра» в свое время вызывал споры, но в любом случае он очень удобен из-за своей лаконичности. Дисциплина заключается в том, чтобы выразить площади прямоугольников и квадратов в числовой форме. Ее пионерами были Диофант Александрийский и арабские математики. Например, знаменитое дистрибутивное свойство умножения, представленное в алгебраическом виде как а (b + с + d +...) = (a x b) + (a x c) + + (а х d) + ..., в геометрии Евклида будет записано так:
Книга II, предложение 1.
Если имеются две прямые и одна из них рассечена на сколько угодно отрезков, то прямоугольнику заключающийся между этими двумя прямыми у равен вместе взятым прямоугольникам, заключенным между нерассеченной прямой и каждым из отрезков (см. рисунок 9).
РИС. 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>² - s>². Следовательно, прямоугольник AD равновелик квадрату ЕС, что мы и хотели доказать. Евклид провел это доказательство при помощи метода танграма; мы же использовали алгебраические формулировки, чтобы упростить объяснение, не искажая его.
РИС. 13
Золотым сечением называется такое соотношение двух отрезков a и b, при котором соотношение сумм их длин а + b к большей длине а равно соотношению а к b (см. рисунок 14). Предположительно своим названием соотношение обязано частым использованием в произведениях архитектуры и искусства, которым оно придает, как пишут некоторые авторы, особую гармонию. Его также называют золотым отрезком (когда подразумевается некий наибольший отрезок), золотым числом, божественной пропорцией, или, в терминологии Евклида, делением в крайнем и среднем отношении. Оно обозначается греческой буквой фи (Ф) и соответствует значению:
РИС. 14
РИС. 15
Ф = (1+ √5)/2 = 1,618033988749894848204586834365638117720309...
Это иррациональное число, то есть число, которое не может быть представлено в виде дроби целых чисел. С геометрической точки зрения для построения золотого отрезка надо разделить данный отрезок АВ в точке Е так, чтобы квадрат с большей стороной АЕ совпал с прямоугольником с меньшей стороной ЕВ и первоначальным отрезком (книга II, предложение 11), как видно на рисунке 15.
Евклид использовал золотое сечение для промежуточного этапа построения правильного пятиугольника, в частности чтобы получить равнобедренный треугольник, у которого углы в основании были бы в два раза больше угла у вершины. Это удивительное построение можно объяснить, только предположив, что у Евклида уже был пример такого пятиугольника, причем идеального, и что анализируя эту фигуру, он пришел к выводу о необходимости вышеуказанного треугольника. Это еще один пример анализа и синтеза, о которых мы говорили в главе 2. Действительно, при рассмотрении пятиугольника видно, что две диагонали и одна его сторона образуют равнобедренный треугольник, углы в его основании вдвое больше угла у вершины. Диагонали ЕВ и AD пересекаются в точке F, которая делит их в крайнем и среднем соотношении. По всей вероятности, правильный пятиугольник имел особое значение для пифагорейской школы, символом которой, как говорят, была пятиугольная звезда, получаемая путем проведения диагоналей внутри фигуры (непрерывные линии).
