В ▲АВС угол АВС = 90° - угол САВ(1), в ▲АВD угол АВD = 90° - угол ВАD(2), но по заданию АВ биссектриса угла САD, т.е. углы САВ и ВАD равны. В равенствах (1) и  (2) от 90° отнимаем одно и то же значение угла→ получаем,что ∟САВ= ∟ВАD, 

т. е. ВА - биссектриса угла СВD.