Смотрим треугольники АДС и АДВ. Они равны, т.к. Углы при А равны, АД - биссектриса. Углы при Д равны по построению. АД - общая. Треугольники равны по второму признаку. А в равных треугольниках против равных углов лежат равные стороны. Против угла ВДА лежит сторона АВ, а против равного ему угла АДС лежит сторона АС, Значит сторона АС равна стороне АВ.
