Проведём
радиусы ОА и ОД окружности описанной
около треугольника АDF(смотри
рисунок).
Угол
АОД окружности (на рисунке не показана)-центральный, а АFД –вписаный. Но они оба опираются на одну дугу АД.
То есть угол АОД в два раза больше угла АFД(условно
обозначен 1).
Треугольник
АОД- равнобедренный(АО и ОД радиусы), высота ОЕ делит угол АОД пополам. Отсюда
угол ОАЕ=90-угол1.
Далее-
угол СВД равен углу АFВ как накрест лежащие поскольку АF параллельна ВС. Но угол СВД равен углу
САД поскольку они оба опираются на дугу СД.
Тогда
угол ОАС =угол САД+ угол ОАД=угол1+угол90-угол1=90градусов. То есть радиус ОА
окружности описанной около АДF перпендикулярен
АС. А это значит , что окружность касается этой прямой.