MathDB
Oops, I lost my compass...

Source: USEMO 2019 Problem 6, by Ankan Bhattacharya

May 24, 2020
geometryUSEMOHi

Problem Statement

Let ABCABC be an acute scalene triangle with circumcenter OO and altitudes AD\overline{AD}, BE\overline{BE}, CF\overline{CF}. Let XX, YY, ZZ be the midpoints of AD\overline{AD}, BE\overline{BE}, CF\overline{CF}. Lines ADAD and YZYZ intersect at PP, lines BEBE and ZXZX intersect at QQ, and lines CFCF and XYXY intersect at RR.
Suppose that lines YZYZ and BCBC intersect at AA', and lines QRQR and EFEF intersect at DD'. Prove that the perpendiculars from AA, BB, CC, OO, to the lines QRQR, RPRP, PQPQ, ADA'D', respectively, are concurrent.
Ankan Bhattacharya