Gọi giao điểm của `AJ` với `BC` là `F`
Để c/m `3` điểm `A,I,J` thì cần c/m `F \equiv I`
Xét `\triangle AFB` có: `MJ //// BF=>[MJ]/[BF]=[AJ]/[AF]`
Xét `\triangle AFC` có: `NJ //// CF=>[NJ]/[CF]=[AJ]/[AF]`
`=>[MJ]/[BF]=[NJ]/[CF]`
`=>[MJ]/[NJ]=[BF]/[CF]`
Mà `[MJ]/[NJ]=[BI]/[CI]`
`=>[BF]/[CF]=[BI]/[CI]`
`=>F \equiv I` mà `A,J,F` thẳng hàng
`=>A,J,I` thảng hàng.
