Verified answer

Биссектриса треугольника делит сторону на отрезки, пропорциональные прилежащим сторонам: СВ1 / CB = AB1 / AB

СВ1 / 3 = АВ1 / 5

3*АВ1 = 5*СВ1

3*АВ1 = 5*(7-АВ1)

3*АВ1 = 35 - 5*АВ1

АВ1 = 35 / 8

В свою очередь, в треугольнике ABB1 отрезок АО -- тоже биссектриса)))

ВО / АВ = ОВ1 / АВ1

или ВО / ОВ1 = АВ / АВ1

ОВ1 / ОВ = АВ1 / АВ = (35 / 8) : 5 = 7 / 8