Рассмотрим треугольники ADC и ABC.
По третьему признаку равенства треугольников (по трём сторонам), треугольник ADB равен треугольнику ACB (∆ADB = ∆ACB).
Из равенства треугольников следует, что равны их соответствующие углы:
Так как AB является стороной обоих углов ∠DAB и ∠CAB, и эти углы равны, то AB делит угол DAC пополам.
Следовательно, AB является биссектрисой угла DAC.
Что и требовалось доказать.