Отрезки касательных к окружности, проведенные из одной точки, равны и составляют равные углы с прямой, проходящей через эту точку и центр окружности.(теорема) dа и dс - отрезки касательных, проведенных к большей окружности из точки d. => da=dc. dв и dс - отрезки касательных, проведенных к меньшей окружности из точки d.=> db=dc. два отрезка, равные третьему, равны между собой. => аd=bd ad: bd=1: 1 из чего следует аd: ab=1/2 и т.d середина ав.
Точки A-F-C лежат на прямой Симсона точки B относительно треугольника EGD.
Объяснение:
Основания перпендикуляров, опущенных из произвольной точки описанной окружности на стороны треугольника (или их продолжения), лежат на прямой Симсона.
Точка B лежит на описанной окружности треугольника EGD (прямые углы EBG и EDG опираются на диаметр EG).
A и С - основания перпендикуляров из точки B на стороны треугольника EGD.
Тогда AC - прямая Симсона точки B относительно треугольника EGD.
(Прямая Симсона пересекает сторону EG в точке F, следовательно BF⊥EG)