Xét tứ giác BIDK có
BI//DK
BI=DK
Do đó: BIDK là hình bình hành
=>BD cắt IK tại trung điểm của mỗi đường(1)
Xét tứ giác AICK có
AI//CK
AI=CK
Do đó: AICK là hình bình hành
=>AC cắt IK tại trung điểm của mỗi đường(2)
=>AK//CI
=>EK//FI
Xét tứ giác EIFK có
EI//FK
IF//EK
Do đó: EIFK là hình bình hành
=>EF cắt IK tại trung điểm của mỗi đường(3)
Từ (2), (3) suy ra AC,IK,FE đồng quy