MathDB
IMO Shortlist 2009 - Problem G4

Source:

July 5, 2010
geometryIMO Shortlistgeometry solvedcyclic quadrilateralprojective geometrytangentpower of a point

Problem Statement

Given a cyclic quadrilateral ABCDABCD, let the diagonals ACAC and BDBD meet at EE and the lines ADAD and BCBC meet at FF. The midpoints of ABAB and CDCD are GG and HH, respectively. Show that EFEF is tangent at EE to the circle through the points EE, GG and HH.
Proposed by David Monk, United Kingdom