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