В треугольнике со сторонами 12, 15 и 18 построена окружность, центр которой лежит на большей стороне, и она касается двух других сторон треугольника. Найдите длины отрезков, на которые центр окружности делит большую сторону. В ответе укажите длину наибольшего отрезка.Помогите пожалуйста:)))

"Теперь из Прямоугольного треугольника AKO. получаем AO=\frac{\frac{5\sqrt{7}}{2}}{\frac{5\sqrt{7}}{16}}=8\\
" по какой это формуле?

Теорема минусов

Синусов