Рассмотрим треугольники АОВ и АОС: в них углы ВАО и САО равны по определению биссектрисы, углы АОВ и АОС равны по условию, сторона АО - общая. Значит треугольники равны по стороне и прилежащим к ней углам. Таким образом єти стороны равны, ВО=ОС, и т.д.