Giả thiết:
Cho đường thẳng $a,b,c$
Đường thẳng $c$ cắt đường thẳng $a,b$ lần lượt tại $A,B$
$\widehat{A_1}=\widehat{B_1}$
Kết luận:
$\widehat{A_2}=\widehat{B_1}$
Chứng minh:
Ta có: $\widehat{A_1}=\widehat{B_1}$ (giải thiết)
Mà $\widehat{A_1}=\widehat{A_2}$ (đối đỉnh)
$\Rightarrow \widehat{A_2}=\widehat{B_1} (=\widehat{A_1})$
Mà $\widehat{A_2}$ và $\widehat{B_1}$ ở vị trí so le trong
$\Rightarrow $ đpcm.