Можно и с рисунком. Касательные к окружности, проведённые из одной точки, равны. Обозначим равные отрезки как показано на рисунке через 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, значит АВ=АС. Треугольник АВС - равнобедренный, в нём АД - высота и биссектриса, центр вписанной окружности лежит на биссектрисе, вписанная окружность касается стороны ВС в точке Д, но это не значит, что АВ=ВС. Это равенство может быть только если тр-ник АВС правильный, но это лишь частный случай. Не доказано.
В равнобедренном треугольнике биссектриса и высота, проведённые к основанию, совпадают. Пусть в равнобедренном треугольнике ABC с основанием AC проведены биссектрисы AA1,BB1,CC1. Точка O является точкой пересечения биссектрис AA1 и CC1. Так как биссектрисы треугольника пересекаются в одной точке, BB1 проходит через точку O. Так как биссектриса и высота, проведённые к основанию, совпадают, BB1 - высота. Тогда BB1 перпендикулярна AC. Так как точка O лежит на отрезке BB1, прямая BO и прямая BB1 совпадают (это одна и та же прямая, которую можно назвать по-разному). Значит, прямая BO перпендикулярна AC, что и требовалось доказать.
