Cho hình vẽ:

Bảng sau là giả thiết, kết luận của định lí nào?

GT	aa' cắt cc' tại A, bb' cắt cc' tại B (aa' ≠ bb') \[\widehat {aAB}\] + \[\widehat {ABb}\] = 180°
KL	\[\widehat {aAB} = \widehat {ABb'};\]\[\widehat {a'AB} = \widehat {ABb}\]

Cho định lí: “Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó vuông góc với đường thẳng còn lại”.

Giả thiết và kết luận của định lí trên là:

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”.

Vẽ hình cho định lí trên;

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í.

Phát biểu định lí sau bằng lời:

Cho định lí: “Nếu hai đường thẳng phân biệt cùng cắt đường thẳng thứ ba và trong các góc tạo thành có một cặp góc so le trong bằng nhau thì các cặp góc đồng vị bằng nhau”.

Viết giả thiết, kết luận của định lí trên;

Cho định lí: “Hai góc đối đỉnh thì bằng nhau” được minh hoạ bởi hình vẽ sau:

Hãy sắp xếp các câu sau để được lời giải hoàn chỉnh cho bài toán chứng minh định lí trên:

(I). “Suy ra \({\widehat O_1} = {\widehat O_3}\) (vì cùng bù với \({\widehat O_2}\))”;

(II). “Ta có: \({\widehat O_1} + {\widehat O_2} = 180^\circ \)(hai góc kề bù) và \({\widehat O_2} + {\widehat O_3} = 180^\circ \)(hai góc kề bù)”;

(III). “Suy ra \({\widehat O_2} = {\widehat O_4}\) (vì cùng bù với \({\widehat O_3}\))

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

(IV). “Lại có: \[{\widehat O_2} + {\widehat O_3} = 180^\circ \](hai góc kề bù) và \({\widehat O_3} + {\widehat O_4} = 180^\circ \)(hai góc kề bù)”.