Можно и с рисунком. Касательные к окружности, проведённые из одной точки, равны. Обозначим равные отрезки как показано на рисунке через 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, значит АВ=АС. Треугольник АВС - равнобедренный, в нём АД - высота и биссектриса, центр вписанной окружности лежит на биссектрисе, вписанная окружность касается стороны ВС в точке Д, но это не значит, что АВ=ВС. Это равенство может быть только если тр-ник АВС правильный, но это лишь частный случай. Не доказано.
