Ta có $AE//BC$ nên: \(\dfrac{OE}{OB}=\dfrac{OA}{OC}\) (định lí Thales)
Lại có: $BF//AD$ nên: \(\dfrac{OB}{OD}=\dfrac{OF}{OA}\)(định lí Thales)
Do đó: \(\dfrac{OE}{OB}.\dfrac{OB}{OD}=\dfrac{OA}{OC}.\dfrac{OF}{OA}\)
Suy ra: \(\dfrac{OE}{OD}=\dfrac{OF}{OC} \Rightarrow EF//CD\) (định lí Thales đảo)