Cho định lí: “Nếu hai đường thẳng xx’ và yy’ cắt nhau tại O và góc xOy vuông $(\widehat{xOy}={90}^o)$ thì các góc $\widehat{yO{x}^{\text{'}}},\widehat{x^{\text{'}}O{y}^{\text{'}}},\widehat{y^{\text{'}}Ox}$  đều là góc vuông”.

a) Hãy vẽ hình thể hiện định lí trên.

b) Viết giả thiết và kết luận của định lí.

Vẽ hình, viết giả thiết, kết luận của định lí: “Một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng còn lại”.

Ta gọi hai góc có tổng bằng 90^o là hai góc phụ nhau. Hãy viết giả thiết, kết luận bằng kí hiệu và chứng minh định lí: “Hai góc cùng phụ một góc thứ ba thì bằng nhau”.

Hãy phát biểu phần còn thiếu của kết luận trong định lí sau:

a) Nếu một đường thẳng cắt hai đường thẳng sao cho có một cặp góc so le trong .?. thì hai đường thẳng đó song song.

b) Nếu hai đường thẳng phân biệt cùng .?. với một đường thẳng thứ ba thì chúng song song với nhau.

Hãy viết giả thiết, kết luận bằng kí hiệu và chứng minh định lí: “Hai góc cùng bù một góc thứ ba thì bằng nhau”.

Hãy phát biểu định lí về hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba.

Hãy phát biểu phần còn thiếu của giả thiết rong các định lí sau:

a) Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc so le trong .?.