Tứ giác \(BCDE\) có:
\(BC // DE\) (vì cùng vuông góc với \(CD\))
\(BC = DE\) (giả thiết)
\( \Rightarrow \) Tứ giác \(BCDE\) là hình bình hành (dấu hiệu nhận biết hình bình hành)
Mà \(\widehat {BCD} = {90^0}\) (giả thiết)
\( \Rightarrow \) Hình bình hành \(BCDE\) là hình chữ nhật (dấu hiệu nhận biết hình chữ nhật)
\( \Rightarrow \) \(\widehat {CBE} = \widehat {BED} = {90^0}\)
Mặt khác: \(\widehat {CBA} = \widehat {FED} = {90^0}\) (giả thiết)
Ta có: \(\widehat {CBA} + \widehat {CBE} = {90^0} + {90^0} = {180^0}\)
\( \Rightarrow \)\(A,B,E\) thẳng hàng (1)
\(\widehat {FED} + \widehat {BED} = {90^0} + {90^0} = {180^0}\)
\( \Rightarrow \) \(B,E,F\) thẳng hàng (2)
Từ (1) và (2) \( \Rightarrow \) \(AB\) và \(EF\) cùng nằm trên một đường thẳng.