MathLabs

Problem 1

Let Γ\Gamma be the circumcircle of triangle ABCABC. Let DD be a point on side BCBC. The tangent to Γ\Gamma at AA intersects the line through DD parallel to BABA at point EE. The segment CECE intersects Γ\Gamma again at FF. Suppose BB, DD, FF, EE are concyclic. Prove that ACAC, BFBF, DEDE are concurrent.
Step 2 of 4: Parallel line gives the same corresponding angle
∠EDC=∠ABC  ⟹  ∠EAC=∠EDC\angle EDC=\angle ABC \implies \angle EAC=\angle EDC
Detailed analysis

Line BCBC is a transversal cutting the parallel lines ABAB and DEDE at BB and DD, so the corresponding angles are equal: ∠EDC=∠ABC\angle EDC=\angle ABC. Combined with the previous step, ∠EAC=∠EDC\angle EAC=\angle EDC, so AA and DD subtend equal angles on segment ECEC and lie on the same side of it; hence AA, DD, CC, EE are concyclic.