Hãy viết giả thiết, kết luận bằng kí hiệu và chứng minh định lí:

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

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

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