Биссектриса делит угол на два равных, т. е ∠ ABD = ∠ DBC
∠ ADB=∠BDC. , так как смежные с ними углы равны.
Рассмотрим треугольники ABD и DBC.
BD- общая сторона, равенство прилежащих к ней углов доказано. Отсюда следует, что треугольники равны по второму признаку равенства треугольников — по стороне и двум прилежащим к ней углам.
В равных треугольниках соответствующие элементы равны, т. е АВ =СВ