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 5 of 7: F is the circumcenter of AMN
∠MHN+∠MFN=180∘⟹M,F,N,H concyclic;FA=FM=FN\angle MHN+\angle MFN=180^\circ \Longrightarrow M,F,N,H\ \text{concyclic}; \qquad FA=FM=FN
Detailed analysis

By steps 3–4, ∠MHN=180∘−2∠BAC\angle MHN=180^\circ-2\angle BAC and ∠MFN=2∠BAC\angle MFN=2\angle BAC sum to 180∘180^\circ, so M,F,N,HM,F,N,H lie on one circle. Since FM=FNFM=FN (equal base angles in step 4), ∠MFN=2∠BAC\angle MFN=2\angle BAC, and FF lies on the same side of MNMN as AA, the point FF is exactly the circumcenter of triangle AMNAMN; hence FA=FM=FNFA=FM=FN.