Problem

Source: ELMO Shortlist 2023 G6

Tags: Elmo, geometry



Let \(ABCDEF\) be a convex cyclic hexagon such that quadrilateral \(ABDF\) is a square, and the incenter of \(\triangle ACE\) lines on \(\overline{BF}\). Diagonal \(CE\) intersects diagonals \(BD\) and \(DF\) at points \(P\) and \(Q\), respectively. Prove that the circumcircle of \(\triangle DPQ\) is tangent to \(\overline{BF}\). Proposed by Elliott Liu