Xét tứ giác BEDC có:
BC // ED (vì cùng ⊥⊥ CD)
BC = ED (gt)
Nên BEDC là hình bình hành.
Hình bình hành BEDC có \(\widehat{C}=90^o\) nên BEDC là hình chữ nhật.
\(\Rightarrow\widehat{CBE}=\widehat{BED}=90^o\)
Khi đó \(\widehat{ABC}+\widehat{CBE}=180^o\) \(\Rightarrow\) A, B, E thẳng hàng.
\(\widehat{BED}+\widehat{DEF}=180^o\Rightarrow\) B, E, F thẳng hàng.
Vậy AB và EF cùng nằm trên một đường thẳng.