Do \(\left\{{}\begin{matrix}AB\perp AD\\CD\perp AD\end{matrix}\right.\) suy ra \(AB||CD\) (1)
Do \(\widehat{CDE}=\widehat{DEF}=130^0\)
Mà \(\widehat{CDE}\) và \(\widehat{DEF}\) là hai góc ở vị trí so le trong
Nên \(EF||CD\) (2)
(1);(2) suy ra \(AB||EF\)