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