MathDB
So few points, so many tangencies

Source: European Mathematical Cup 2022, Senior Division, Problem 4

December 20, 2022
geometrytangentcircletrapezoid

Problem Statement

Five points AA, BB, CC, DD and EE lie on a circle τ\tau clockwise in that order such that ABCEAB \parallel CE and ABC>90\angle ABC > 90^{\circ}. Let kk be a circle tangent to ADAD, CECE and τ\tau such that kk and τ\tau touch on the arc DE^\widehat{DE} not containing AA, BB and CC. Let FAF \neq A be the intersection of τ\tau and the tangent line to kk passing through AA different from ADAD.
Prove that there exists a circle tangent to BDBD, BFBF, CECE and τ\tau.