Xét hthang ABCD có:
E là trung điểm AD
F là trung điểm BC
=> EF là đường trung bình
=> EF//AB(1)
Xét tam giác ADB có:
E là trung điểm AB
I là trung điểm DB
=> EI là đường trung bình
=> EI//AB(2)
Xét tam giác ABC có:
F là trung điểm BC
K là trung điểm AC
=> KF//AB(3)
Từ (1),(2),(3)
=> EF,EI và KF cùng song song AB
Theo tiên đề O-Clít
=> E,F,I,K thẳng hàng


