Kẻ `DG //// AB`.
Vì `CD` vuông góc `DE, EF` vuông góc `DE`.
`-> CD //// EF`.
`-> hat(GDE) = 90^o`.
`-> hat(ADG) = 150^o - 90^o = 60^o`
Vì `hat(ADG), hat(DAB)` là `2` góc cùng phía mà tổng `2` góc `=180^o`.
`-> AB //// DG`.
Ta có: `AB //// DG, DG //// EF`.
`-> AB //// EF`
Ta có: \(\widehat{ADC}+\widehat{CDE}+\widehat{ADE}=360^0\)
\(\Rightarrow\widehat{ADC}=360^0-\widehat{ADE}-\widehat{CDE}=360^0-150^0-90^0=120^0\)
\(\Rightarrow\widehat{ADC}=\widehat{BAD}=120^0\)
\(\Rightarrow\) AB // CD (vì có 2 góc so le trong bằng nhau) (1)
Lại có: \(\Rightarrow\widehat{CDE}=\widehat{DEF}=90^0\)
\(\Rightarrow\) CD // EF (vì có 2 góc so le trong bằng nhau) (2)
Từ (1) và (2) \(\Rightarrow\) AB // EF
