Trong hình 2, có

- Hướng dẫn giải

Vì $\left\{\begin{array}{l}AB\perp AD\\ CD\perp AD\end{array}\right.$ nên AB // CD;

Mà EF // CD (có một cặp góc so le trong bằng nhau)     (2);

Từ (1) và (2) suy ra AB // EF (đpcm)