∠ABD = ∠CBD так как BD биссектриса,
∠ВАD = ∠BCD = 90° по условию,
BD - общая сторона для треугольников ВАD и BCD, ⇒
ΔВАD = ΔBCD по гипотенузе и острому углу.
Из равенства треугольников следует, что
∠ADB = ∠CDB, значит BD - биссектриса угла ADC.
