Шаг 1: Рассмотрим треугольники ABD и A₁B₁D₁.
В этих треугольниках:
Шаг 2: Докажем равенство треугольников ABD и A₁B₁D₁.
Треугольники ABD и A₁B₁D₁ равны по гипотенузе и острому углу (BD = B₁D₁ и ∠ABD = ∠A₁B₁D₁).
Из равенства треугольников следует, что AB = A₁B₁.
Шаг 3: Рассмотрим треугольники ABC и A₁B₁C₁.
В этих треугольниках:
Шаг 4: Докажем равенство треугольников ABC и A₁B₁C₁.
Треугольники ABC и A₁B₁C₁ равны по катету и прилежащему острому углу (AB = A₁B₁ и ∠B = ∠B₁).
Что и требовалось доказать.