Ta có `AH⊥BC(gt)` mà $HM$ là phân giác `hat{MHN}`
`*)HB` là phân giác ngoài `hat{H}` của $ΔHMN$
`*)MB` là phân giác ngoài `hat{M}` của $ΔHMN$
`*)NB` là phân giác ngoài `hat{N}` của $ΔHMN$
`->BN⊥AC`
`->BN\\\\FH` (cùng $⊥AC$)
Ta chứng minh tương tự $CM//EH$