MathDB
Isosceles trapezoid, parralel lines and a tangency

Source: St Petersburg 2021 9.5

December 23, 2021
geometry

Problem Statement

Given is an isosceles trapezoid ABCDABCD, such that ADAD and BCBC are bases and AD=2ABAD=2AB, and it is inscribed in a circle cc. Points EE and FF are selected on a circle cc so that ACAC || DEDE and BDBD || AFAF. The line BEBE intersects lines ACAC and AFAF at points XX and YY, respectively. Prove that the circumcircles of triangles BCXBCX and EFYEFY are tangent to each other.