Let H be the orthocentre of triangle ABC, let N be the midpoint of the segment AH and let D the foot of the perpendicular from B to AC. We first prove that ∠BNF=90∘. Let F′ be the intersection of line AC and the perpendicular at N to BN. The points B,N,D, and F′ lie on the circle on diameter BF, so
∠NBF′=∠ADN=∠DAN=90∘−∠BCA=∠ABO,
where the second equality holds on account of DN being median in the right triangle ADH. Since ∠NBF′=∠ABO, lines BN and BO are isogonal with respect to angle ∠ABF. Similarly, lines AO and AN are isogonal with respect to angle ∠BAC,
∠AF′O=∠BF′N=∠BDN=∠NHD=∠ACB.
Hence OF′∥BC, so F≡F′, showing that ∠BNF=90∘.
Next, we prove that N,F and M are collinear. Since F≡F′, points O and N are isogonal conjugates in triangle ABF, so
∠NFB=∠AFO=∠ACB.
This implies NF is tangent to circle BFC and hence N,F,M are collinear, as desired.
Let AB and A′M cross at E. Note that E is the reflection of A across B. Since AK=4AB, point E is the midpoint of the segment AK. In triangle AEH, line BN is a midline, so BN∥EH. As BN and NM are perpendicular, so are EH and NM. Moreover, NH⊥EM, hence H is the orthocentre of the triangle ENM, implying MH⊥EN. Finally, in triangle AKH, line EN is a midline, so EN∥KH and hence MH⊥KH; that is, H lies on the circle on diameter KM, as required.
Alternative solution for ∠BNF=90∘. We use the same notations as in the previous solution. Consider the foot P of the perpendicular from F to BC. Then
2AN=2NH=AH=2dist(O,BC)=2dist(F,BC)=2FP,
so the segments NH and FP are parallel and have equal lengths, implying that NFPH is a parallelogram. Similarly, ANPF is also a parallelogram. Therefore, HB⊥NP, and since NH⊥BC, we deduce that H is the orthocentre of the triangle BNP. Consequently, HP⊥BN, and since HP∥NF, it follows that ∠BNF=90∘.