Cho tứ giác ABCD như Hình 3.18. Biết rằng $\widehat{A}=\widehat{B}={\widehat{D}}_1$. Chứng minh rằng AB = BC.

Ta có $\widehat{A}={\widehat{D}}_1$ mà hai góc này ở vị trí đồng vị nên AB // CD.

Suy ra tứ giác ABCD là hình thang.

Mặt khác hình thang ABCD có $\widehat{A}=\widehat{B}$ nên ABCD là hình thang cân.

Do đó AB = BC (đpcm).