Let △ABC be an acute-angled triangle, and let D be the foot of the altitude from C. The angle bisector of ∠ABC intersects CD at E and meets the circumcircle ω of triangle △ADE again at F.
If ∠ADF=45∘, show that CF is tangent to ω.
geometryEGMOTriangletangentEGMO 2015