MathLabs

Problem 1

Let HH be the orthocenter of triangle ABCABC. Let MM and NN be the midpoints of sides ABAB and ACAC, respectively. Assume that HH lies inside quadrilateral BMNCBMNC and that the circumcircles of triangles BMHBMH and CNHCNH are tangent to each other. The line through HH parallel to BCBC intersects the circumcircles of triangles BMHBMH and CNHCNH at points KK and LL, respectively. Let FF be the intersection point of MKMK and NLNL, and let JJ be the incenter of triangle MHNMHN. Prove that FJ=FAFJ = FA.
Step 2 of 7: Locate F inside triangle AMN
F∈int⁡(△AMN)F \in \operatorname{int}(\triangle AMN)
Detailed analysis

Because part of the circumcircle of BMHBMH lies outside triangle ABCABC, the points KK and NN lie on opposite sides of line AMAM; likewise LL and MM lie on opposite sides of line ANAN. Also KK and LL lie on the same side of MNMN as HH, opposite to AA. These position facts place the intersection point FF of MKMK and NLNL inside triangle AMNAMN.