Рассмотрим треугольники ABD и A₁B₁D₁:
Значит, треугольники ABD и A₁B₁D₁ равны по гипотенузе и острому углу, следовательно, AB = A₁B₁.
Рассмотрим треугольники ABC и A₁B₁C₁:
∠A = ∠A₁ = 90° (по условию)
Значит, треугольники ABC и A₁B₁C₁ равны по катету и прилежащему острому углу.
Ответ: доказано.