Gọi AK \(\cap\) BC \(\equiv\) {O}
Do ABCD là hbh => AB//CD; AD//BC => AE//CK; AI//FC
Xét ΔOCK có AE//CK (cmt), theo đ/lí Ta-lét có: \(\frac{OA}{OK}=\frac{OE}{OC}\)
=> OA.OC = OE.OK (1)
Xét ΔOCF có AI//FC (cmt), theo đ/lí Ta-lét có: \(\frac{OA}{OF}=\frac{OI}{OC}\)
=> OA.OC = OI.OF (2)
Từ (1) và (2) => OE.OK = OI.OF =>\(\frac{OE}{OI}=\frac{OF}{OK}\)
Xét ΔOIK có \(\frac{OE}{OI}=\frac{OF}{OK}\) (cmt) => EF//IK (đ/lí Ta-lét đảo)