Ta có: AB // DF hay AE // DF

=> góc AEI = góc IFD (slt)

Ta có: AE // DE => góc EAI = góc IDF (slt)

Tổng ba góc trong tam giác = 1800

=> 1800 - AEI - EAI = 1800 - IFD - IDF

hay góc AIE = góc DIF (*)

Ta có: góc AEI = góc IFD (cmt) (**)

EI = FI (I là trung điểm EF) (***)

Từ (*),(**),(***) => tam giác AEI = tam giác DFI

=> AI = DI (2 cạnh tương ứng) (1)

Ta có: góc AIE = góc DIF (chứng minh trên)

Mà góc AIE + góc AIF = 1800 (kề bù)

=> góc DIF + góc AIF = 1800

hay AID = 1800

hay A,I,D thẳng hàng với nhau (2)

Từ (1),(2) => I là trung điểm của AD

-> Ta có đpcm.