Из точки О построим перпендикуляры ОК, ОН, ОК к прямым АВ, ВС и АС.
Треугольники ОВК и ОВН прямоугольные и равны, так как гипотенуза ОВ у них общая, а угол ОВН = ОВК, так как ВО биссектриса, тогда ОК = ОН.
Аналогично треугольник ОСН = ОСМ, а тогда ОМ = ОН.
Следовательно ОК = ОН = ОК, а значит через точки К, Н, С можно провести окружность с центром в точке О.
Треугольники АКО и АМО прямоугольные, у которых ОК = ОМ как радиусы окружности, АО общая гипотенуза, тогда треугольники равна по катету и гипотенузе. Следовательно, угол КАО = МАО, а АО биссектриса угла ВКМ и ВАС, что и требовалось доказать.
Можно и с рисунком. Касательные к окружности, проведённые из одной точки, равны. Обозначим равные отрезки как показано на рисунке через x, y и z. AB=x+z, AC=x+y. По теореме биссектрис АС/АВ=СД/ВД, (x+y)/(x+z)=y/z, xz+yz=xy+yz, xz=xy, z=y. СД/ВД=у/z=1, значит АС/АВ=1, значит АВ=АС. Треугольник АВС - равнобедренный, в нём АД - высота и биссектриса, центр вписанной окружности лежит на биссектрисе, вписанная окружность касается стороны ВС в точке Д, но это не значит, что АВ=ВС. Это равенство может быть только если тр-ник АВС правильный, но это лишь частный случай. Не доказано.
Из точки О построим перпендикуляры ОК, ОН, ОК к прямым АВ, ВС и АС.
Треугольники ОВК и ОВН прямоугольные и равны, так как гипотенуза ОВ у них общая, а угол ОВН = ОВК, так как ВО биссектриса, тогда ОК = ОН.
Аналогично треугольник ОСН = ОСМ, а тогда ОМ = ОН.
Следовательно ОК = ОН = ОК, а значит через точки К, Н, С можно провести окружность с центром в точке О.
Треугольники АКО и АМО прямоугольные, у которых ОК = ОМ как радиусы окружности, АО общая гипотенуза, тогда треугольники равна по катету и гипотенузе. Следовательно, угол КАО = МАО, а АО биссектриса угла ВКМ и ВАС, что и требовалось доказать.