Рассмотрим треугольники ABD и A₁B₁D₁.
В них:
Следовательно, треугольники ABD и A₁B₁D₁ равны по катету и прилежащему острому углу.
Из равенства треугольников следует, что AB = A₁B₁.
Теперь рассмотрим треугольники ABC и A₁B₁C₁.
В них:
Следовательно, треугольники ABC и A₁B₁C₁ равны по стороне и двум прилежащим углам.
Ответ: Доказано