Форма реальности

]

Да, мы посреди доказательства, но у нас новая точка и новый отрезок AD, так что лучше обновить чертеж! Кстати, вспомните, что, по нашему предположению, треугольник равнобедренный, поэтому длина AB и AC одинакова; сейчас мы это используем.

QED[64 - Сокращение латинских слов Quod Erat Demonstrandum, означающих «что и требовалось доказать».].

Это доказательство посерьезнее, чем то, что мы видели, поскольку тут вам действительно приходится что-то делать: вы проводите новую линию L и придумываете название D для точки, где L пересекает BC.

Это позволяет вам воспринять точки B и C как углы двух новых треугольников ABD и ABC, которые, как мы продемонстрируем далее, равны.

Однако существует и более хитрый способ, изложенный примерно через шестьсот лет после Евклида Паппом Александрийским, еще одним геометром из Северной Африки, в трактате ???????? («Математическое собрание»). (Слово «синагога» означает «собрание», и в античном мире оно могло обозначать собрание математических предложений, а вовсе не собрание евреев на молитву.

)

Погодите, что произошло? Казалось бы, мы ничего не делали, а нужное заключение появилось просто из ниоткуда, как кролик, выпрыгивающий при отсутствии шляпы. Это создает определенное беспокойство. Это не то, что понравилось бы Евклиду. Но так или иначе, на мой взгляд, это верное доказательство.

Ключ к идее Паппа – предпоследняя строка: треугольники BAC и CAB конгруэнтны.

Кажется, что это просто утверждение о равенстве треугольника самому себе, которое выглядит тривиальным. Но присмотритесь более внимательно.

Что на самом деле мы имеем в виду, говоря, что два разных треугольника PQR и DEF конгруэнтны?

А вот что! Мы утверждаем сразу шесть вещей: длина PQ равна длине DE, длина PR равна длине DF, длина QR равна длине EF, угол P равен углу D, угол Q равен углу E, угол R равен углу F.

Конгруэнтен ли треугольник PQR треугольнику DFE? Нет, потому что на рисунке длина стороны PQ не равна длине соответствующей стороны DF.

Если мы серьезно воспринимаем определение конгруэнтности (а для нас, геометров, принимать определения всерьез – в некотором роде фирменная фишка), то треугольники DEF и DFE не конгруэнтны, несмотря на то что это один и тот же треугольник. Потому что DE и DF имеют разную длину.