Вероятно, подразумевается, что а лежит вне окружности. если так, то проведем радиусы от центра окружности о до точек касания в и с. и соедини центр окружности с точкой а. рассмотрим получившиеся треугольники аво и асо, в них: угол аво = угол асо = 90 гр. (св-во касательных) , следовательно, треугольники аво и асо прямоугольные. а чтобы доказать равенство двух прямоуг. треуг-ов достаточно найти 2 равных элемента: - катет ов = катет ос (радиусы окружности) - оа - общ. гипотенуза из этого следует, что треугольники равны, следовательно все элементы этих треуг-ов равны. а следовательно равны и катеты ас и ав ч. т. д.
Доказательство:
Так как треугольник остроугольный и BD - биссектриса, то ∠B<90°⇒∠CBD<45°=∠DFC, следовательно F∈BC.
Проведем из точки D перпендикуляр до отрезка BC с основанием M, M будет принадлежать стороне BC поскольку треугольник остроугольный.
Тогда прямоугольные треугольники BDE и BDM равны по общей гипотенузе BD и острым углам ∠DBE, ∠DBM. Из этого следует что,
.
Также из-за того что, ∠DBC<∠DFC=45°<∠DMC=90°⇒F∈BM, теперь можно пользоваться тем что
.
Заметим что, DFM - прямоугольный треугольник с углом 45°, то есть
.
Учитывая доказанные равенства получаем,
Что требовалось доказать.