Из точки О построим перпендикуляры ОК, ОН, ОК к прямым АВ, ВС и АС.
Треугольники ОВК и ОВН прямоугольные и равны, так как гипотенуза ОВ у них общая, а угол ОВН = ОВК, так как ВО биссектриса, тогда ОК = ОН.
Аналогично треугольник ОСН = ОСМ, а тогда ОМ = ОН.
Следовательно ОК = ОН = ОК, а значит через точки К, Н, С можно провести окружность с центром в точке О.
Треугольники АКО и АМО прямоугольные, у которых ОК = ОМ как радиусы окружности, АО общая гипотенуза, тогда треугольники равна по катету и гипотенузе. Следовательно, угол КАО = МАО, а АО биссектриса угла ВКМ и ВАС, что и требовалось доказать.
(x - a)² + (y - b)² = r², где (a; b) - координаты центра, r - радиус окружности. Тогда данное уравнение окружности будет иметь вид (х - 5)² + (у - 5)² = 16.