MathDB
orthocenter wanted, circumcenters and BF = CE = BC given

Source: Balkan MO BMO Shortlist 2016 G3

July 5, 2019
geometrycircumcircleorthocenter

Problem Statement

Given that ABCABC is a triangle where AB<ACAB < AC. On the half-lines BABA and CACA we take points FF and EE respectively such that BF=CE=BCBF = CE = BC. Let M,NM,N and HH be the mid-points of the segments BF,CEBF,CE and BCBC respectively and KK and OO be the circumcenters of the triangles ABCABC and MNHMNH respectively. We assume that OKOK cuts BEBE and HNHN at the points A1A_1 and B1B_1 respectively and that C1C_1 is the point of intersection of HNHN and FEFE. If the parallel line from A1A_1 to OC1OC_1 cuts the line FEFE at DD and the perpendicular from A1A_1 to the line DB1DB_1 cuts FEFE at the point M1M_1, prove that EE is the orthocenter of the triangle A1OM1A_1OM_1.