Xét tam giác IBM và tam giác MNI ta có
MI=MI canh chung
BI= MN (gt)
góc MIB = góc IMN ( 2 góc so letrong và AB//MN)
-> tam giac IBM = tam giac MNI (c-g-c)
-> góc BMI = góc MIN
mà 2 góc o vi tri sole trong
nên IM //AC
MN // AB nên ∠NMC=∠ABC∠NMC=∠ABC (đồng vị)
ΔIBM=ΔNMCΔIBM=ΔNMC(c. g. c) nên ∠IMB=∠ACB.∠IMB=∠ACB.Mà hai góc này ở vị trí đồng vị nên IM // AC.