Ghi giả thiết kết luận và chứng minh định lí: nếu hai đường thẳng a, b cùng cắt đường thẳng c và trong các góc tạo thành có một cặp góc trong cùng phía bù nhau thì a và b song song.

Giả thiết	Nếu hai đường thẳng a, b cùng cắt đường thẳng c và trong các góc tạo thành có một cặp góc trong cùng phía bù nhau
Kết luận	a // b

Chứng minh:

                                                        

Ta có theo giả thiết có một cặp góc trong cùng phía bù nhau tức là: \(\widehat {A{}_2} + \widehat {B{}_2} = 180^\circ \)

Mà \(\widehat {B{}_1} + \widehat {B{}_2} = 180^\circ \) (2 góc kề bù)

Nên: \(\widehat {B{}_1} = \widehat {A{}_2}\)

Mà \(\widehat {B{}_1},\widehat {A{}_2}\) ở vị trí so le trong nên a // b.