Из условия задачи известно, что угол АВС и угол АВD прямые, а также что угол ВАС и угол ВАD прямые, так как ВА - биссектриса угла СВD.

Теперь рассмотрим треугольник ABC и треугольник ABD. У них общий катет AB и общий угол при вершине A. Таким образом, эти треугольники подобны по двум углам.

Из подобия треугольников ABC и ABD следует, что угол CAB равен углу DAB. То есть, ВА - биссектриса угла CAD.

Таким образом, было доказано, что АВ - биссектриса угла CAD.