△ABC ~ △A'AC => AA' =

△ABA' - равнобедренный => BA' = AA' =

В равнобедренном △ABA' биссектрисы равных углов равны:
AA'' = BO
△A''PB = △OPA и они подобны ABC =>

(1)
т.к. P - точка пересечения биссектрис △ABA', то

приравнивая с (1):

=

+ 1

(половина среднего гармонического, ЧТД)
