В треугольнике АВС все стороны различны. Прямая, содержащая высоту ВН треугольника АВС, вторично пересекает описанную около этого треугольника окружность в точке F. Отрезок BD - диаметр этой окружности.
а) Докажите, что AD = CF.
б) Найдите DF, если радиус описанной около треугольника АВС окружности равен 12, ∠ВАС = 35°, ∠АСВ = 65°.
Решение: