Cho định lí: “Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc trong cùng phía bù nhau”. Chứng minh định lí.

+ Ta có aa’ // bb’ (giả thiết) nên \[\widehat {aAB} = \widehat {ABb'}\] (hai góc so le trong)

Vì \[\widehat {ABb}\] và \[\widehat {ABb'}\] là hai góc kề bù nên \[\widehat {ABb} + \widehat {ABb'} = 180^\circ \]

Suy ra \[\widehat {ABb} + \widehat {aAB} = 180^\circ \]

+ Ta có aa’ // bb’ (giả thiết) nên \[\widehat {a'AB} = \widehat {ABb}\] (hai góc so le trong)

Mà \[\widehat {ABb} + \widehat {ABb'} = 180^\circ \] (chứng minh trên)

Suy ra \[\widehat {a'AB} + \widehat {ABb'} = 180^\circ \]

Vậy định lí được chứng minh.