MathDB
H not needed

Source: USEMO 2019/1

May 23, 2020
geometrycyclic quadrilateralUSEMOAngle Chasing

Problem Statement

Let ABCDABCD be a cyclic quadrilateral. A circle centered at OO passes through BB and DD and meets lines BABA and BCBC again at points EE and FF (distinct from A,B,CA,B,C). Let HH denote the orthocenter of triangle DEF.DEF. Prove that if lines AC,AC, DO,DO, EFEF are concurrent, then triangle ABCABC and EHFEHF are similar.
Robin Son