MathDB
Another orthocenter problem <3

Source: Mexico National Olympiad 2019 P6

November 12, 2019
geometrycircumcircle

Problem Statement

Let ABCABC be a triangle such that BAC=45\angle BAC = 45^{\circ}. Let H,OH,O be the orthocenter and circumcenter of ABCABC, respectively. Let ω\omega be the circumcircle of ABCABC and PP the point on ω\omega such that the circumcircle of PBHPBH is tangent to BCBC. Let XX and YY be the circumcenters of PHBPHB and PHCPHC respectively. Let O1,O2O_1,O_2 be the circumcenters of PXOPXO and PYOPYO respectively. Prove that O1O_1 and O2O_2 lie on ABAB and ACAC, respectively.