MathDB
Prove that if they're concur, then it must be orthocenter

Source: 8th European Mathematical Cup Senior Category Problem 03.

December 26, 2019
geometryconcurrencyincentercircumcirclemixtilinear incircle

Problem Statement

In an acute triangle ABCABC with ABAC|AB| \not= |AC|, let II be the incenter and OO the circumcenter. The incircle is tangent to BC,CA\overline{BC}, \overline{CA} and AB\overline{AB} in D,ED,E and FF respectively. Prove that if the line parallel to EFEF passing through II, the line parallel to AOAO passing through DD and the altitude from AA are concurrent, then the point of concurrence is the orthocenter of the triangle ABCABC.
Proposed by Petar Nizié-Nikolac