Артур Бенджамин - Магия математики - Как найти x и зачем это нужно

Образовавшиеся при этом углы d и e вместе с углом b образуют линию, поэтому d + b + e = 180°. Обратите внимание, что углы a и d и углы c и e при этом являются внутренними накрест лежащими, следовательно, d = a , а e = c , что приводит нас к a + b + c = 180°, что и требовалось доказать.

Теорема о сумме углов треугольника, равной 180°, крайне важна для понимания сути планиметрии. В других же геометрических системах она не работает совершенно: для примера можно спроецировать тот же треугольник на сферу-«глобус», причем так, чтобы он начинался на «северном полюсе», спускался к «экватору» вдоль любой из «линий долготы», там заворачивал направо в первый раз, а после прохождения четверти «планеты» – и во второй, возвращаясь к «северному полюсу». Получившийся таким образом треугольник будет иметь три прямых угла, дающих вместе не 180, а целых 270°. В сферической геометрии сумма углов треугольника есть величина непостоянная: она все больше отдаляется от значения в 180° при малейшем увеличении его площади и находится к ней в прямой пропорциональной зависимости.

На занятиях по геометрии в школе или университете очень много внимания уделяется доказательству конгруэнтности объектов: это значит, что, перемещая, вращая или отображая зеркально одну фигуру, мы можем получить совпадающую с ней другую. Например, изображенные на рисунке треугольники ABC и DEF являются конгруэнтными, поскольку при смещении влево треугольник DEF полностью совпадет с треугольником ABC . На рисунке это показано с помощью специальных меток: если соответствующие стороны или углы двух фигур маркированы одинаковым количеством черточек, они равны.

Для этого даже есть специальный математический символ – ≅; наша запись, таким образом, будет выглядеть как ABC ≅ DEF , что значит, что стороны обоих треугольников и их углы идеально друг с другом совпадают: стороны AB, BC и CA равны сторонам DE, EF и FD (соответственно), а углы по вершинам A, B и C равны углам по вершинам D, E и F (также соответственно). Именно это мы и имеем в виду, когда отмечаем одинаковым количеством черточек совпадающие стороны и углы этих двух по сути разных (хоть и равных) треугольников.

Остальное – дело техники. Если вы, например, имеете дело с двумя равносторонними треугольниками и знаете, что углы двух из трех пар равны (допустим, ∠ A = ∠ D и ∠ B = ∠ E ), вы можете смело утверждать, что равными будут углы и третьей пары – а значит, треугольники являются конгруэнтными. Информации тут даже больше, чем нужно: нам вполне достаточно знать, что равными будут боковые стороны треугольников ( AB = DE и AC = DF ) и углы между ними (∠ A = ∠ D ). А дальше все просто: BC = EF , ∠ B = ∠ E , а ∠ C = ∠ F . Из этого вытекает аксиома конгруэнтности треугольников по двум сторонам и лежащему между ними углу .

Это именно аксиома, а не теорема, поскольку доказать ее с помощью уже существующих аксиом невозможно. Зато, принятая на веру, она ложится в основу других не менее полезных теорем конгруэнтности а) по трем сторонам; б) по одной стороне и двум прилежащим к ней углам; и в) по двум углам и прилежащей к одному из них стороне. (Не существует только теоремы конгруэнтности по двум сторонам и прилежащему к одной из них углу: для стопроцентной уверенности угол все же должен находиться между сторонами.) Самой интересной из них мне кажется теорема а), ведь изначально в ней вообще никак не упоминаются углы, равенство которых доказывается через равенство сторон.

Но вернемся к аксиоме по двум сторонам и углу между ними и докажем с ее помощью одну замечательную теорему, касающуюся равнобедренных треугольников. Равнобедренным называется такой треугольник, две из трех сторон которого имеют одинаковую длину. (И кстати, уж коли об этом зашла речь – есть и другие виды треугольников: равносторонние – в которых все три стороны равны; прямоугольные – в которых один угол равен 90°; остроугольные – в которых все три угла меньше 90°; и, наконец, тупоугольные – в которых один угол больше 90°.)