MathDB
PAMO Problem 4: Perpendicular lines

Source: 2019 Pan-African Mathematics Olympiad, Problem 4

April 9, 2019
geometryPAMOcircumcircle

Problem Statement

The tangents to the circumcircle of ABC\triangle ABC at BB and CC meet at DD. The circumcircle of BCD\triangle BCD meets sides ACAC and ABAB again at EE and FF respectively. Let OO be the circumcentre of ABC\triangle ABC. Show that AOAO is perpendicular to EFEF.