MathDB
circumcenter of OIH lies on line DE if OI// BC, incenter, orthocenter

Source: 2021 Ukraine NMO 10.4 11.3

April 2, 2021
geometryCircumcenter

Problem Statement

Let O,I,HO, I, H be the circumcenter, the incenter, and the orthocenter of ABC\triangle ABC. The lines AIAI and AHAH intersect the circumcircle of ABC\triangle ABC for the second time at DD and EE, respectively. Prove that if OIBCOI \parallel BC, then the circumcenter of OIH\triangle OIH lies on DEDE.
(Fedir Yudin)