Xét ΔDOF có :EB//DF
Áp dụng hệ quả định lí Ta-lét cho ΔDOF ta có
\(\dfrac{EB}{DF}=\dfrac{EO}{OF}\left(1\right)\)
Xét ΔOCF có AE//FC
Áp dụng hệ quả định lí Ta-lét cho ΔOFC ta có
\(\dfrac{AE}{FC}=\dfrac{EO}{OF}\left(2\right)\)
Từ (1) và (2) => \(\dfrac{AE}{FC}=\dfrac{EB}{DF}\)
Mà AE=EB (gt)
=> FC =DF => F là trung điểm của DC