Ta có hình vẽ:
Xét tam giác ADI và tam giác BCI có:
AI = IB (GT)
góc AID = góc BIC (đđ)
CI = ID (GT)
=> tam giác ADI = tam giác BCI
=> AD = BC
Ta có: tam giác ADI = tam giác BCI
=> góc DAI = góc IBC
Mà hai góc này ở vị trí slt
=> AD // BC
=> đpcm.