Доказательство 1). Пусть AB>AC; докажем ∠C>∠B. Отложим на AB отрезок AD=AC; D лежит между A и B, поэтому ∠C>∠1.
∠2 — внешний угол △BDC, значит, ∠2>∠B. ∠1=∠2 — углы при основании равнобедренного △ADC. Итак, ∠C>∠1=∠2>∠B.
В треугольнике: 1) против большей стороны лежит больший угол; 2) обратно, против большего угла лежит большая сторона.