Ta có: AB⊥AD,CD⊥AD
=> AB//CD(1)(từ vuông góc đến song song)
Ta có: \(\widehat{CDE}=\widehat{E}=130^0\)
Mà 2 góc này so le trong
=> CD//EF(2)
(1),(2)
=> AB//EF
\(\left\{{}\begin{matrix}AB\perp AD\\CD\perp AD\end{matrix}\right.\Rightarrow AB//CD\left(1\right)\)
\(\widehat{CDE}=\widehat{DEF}\left(=130^0\right)\)
Mà 2 góc này ở vị trí slt nên CD//EF\(\left(2\right)\)
Từ \(\left(1\right)\left(2\right)\Rightarrow AB//EF\)
