EBA = 1/2 * AOB
ABC = 1/2 * AOC
Треугольники DOB и DOC - прямоугольные, DO - общая сторона,
OB = OC как радиусы => треугольники DOB и DOC равны => AOB = AOC, получаем, что EBA = ABC => BA - биссектриса.