Дано:
∠A=∠A1=90∘
BD,B1D1−биссектрисы
∠B=∠B1,BD=B1D1
Доказательство:
1)△ABD=△A1B1D1 по гипотенузе (BD=B1D1)
и острому углу (∠ABD=∠A1B1D1−половины равных углов)
2)⇒AB=A1B1
3)△ABC=△A1B1C1 по катету (AB=A1B1)
и прилежащему острому углу (∠B=∠B1)
Что и требовалось доказать: △ABC=△A1B1C1.