Рассмотрим треугольники АВД и АСД:
АВ = АС
ВД = ДС
АД - общая сторона
Следовательно, ΔАВД = ΔАСД по трем сторонам.
В равных треугольниках соответствующие углы равны, отсюда:
∠САД = ∠ВАД, следовательно, АД - биссектриса ∠САВ, что и требовалось доказать.