У нас есть 2 прямоугольных треугольника — ΔABD & ΔACD.
Они имеют общую гипотенузу AD, как дано и нарисовано в картинке.
<D — делится на пополам, так как через неё проходит биссектриса AD, тоесть — <BDA == <CDA.
Третий признак равенства прямоугольных треугольников таков: если гипотенуза и острый угол одного прямоугольного треугольника равны гипотенузе и острому углу другого прямоугольного треугольника, то такие треугольники равны.
И так как <BDA == <CDA; AD — общий, то ΔABD == ΔACD.
И так как треугольники равны, то каждый из катетов попарно равен другому, тоесть: AB == AC.
