Для доказательства того, что треугольник равнобедренный, если в нем два угла равны, мы можем использовать две теоремы о треугольниках.
Предположим, что в треугольнике ABC, углы A и B равны между собой, то есть ∠A = ∠B. Мы хотим показать, что сторона AC равна стороне BC, то есть |AC| = |BC|.
Рассмотрим треугольник ABC с углом A = ∠B. Сумма углов в треугольнике равна 180 градусам, поэтому ∠C = 180 - (∠A + ∠B) = 180 - (2∠A).
Допустим, что сторона AC ≠ BC. Если стороны не равны, то есть |AC| ≠ |BC|, то углы, противостоящие этим сторонам, должны быть различными. По теореме о треугольнике, углы противолежащие равным сторонам равны. Значит ∠A ≠ ∠B.
Но мы начали с предположения, что ∠A = ∠B. Значит наше предположение, что сторона AC ≠ BC, неверно.
Итак, мы показали, что при условии ∠A = ∠B, треугольник ABC является равнобедренным, то есть |AC| = |BC|.
