В треугольнике с двумя конгруэнтными сторонами углы, противолежащие этим сторонам равны. (apply 3.5. to ABC and CBA)
По-простому: в равнобедренном треугольнике углы при основании равны.
Говорят, что это первая сформулированная и доказанная теорема в истории Геометрии.
Def. Углы, имеющие общую вершину и общую сторону, пара других сторон которых образуют прямую, называются смежными. Угол, конгруэнтный своему смежному, называется прямым. Треугольник А1В1С1 называется конгруэнтным треугольнику А2В2С2, если одновременно конгруэнтны все их стороны и углы:
А1В1ºА2В2; В1С1ºВ2С2; А1С1ºА2С2 ;
Ð А1 ºÐ А2; Ð В1ºÐ В2; Ð С1º С2.
Приступим теперь к выводу классических «признаков равенства треугольников». Первый из них по двум сторонам и углу между ними. Упражнение 47.
Если А1В1ºА2В2; А1С1ºА2С2; Ð А1 ºÐ А2, то DА1В1С1ºDА2В2С2.
(Explain why it sufficient to prove only В1С1ºВ2С2; if it is not let В1С1ºВ3С2. Consider DА1В1С1 and DА2В3С2)
Второй «признак равенства треугольников» - по стороне и двум прилежащим к ней углам.