Cho định lý: “Hai tia phân giác của hai góc kề bù tạo thành một góc vuông” (hình vẽ). Giả thiết, kết luận của định lý là:

Đường thẳng nào vuông góc với một trong hai đường thẳng song song thì vuông góc với đường thẳng kia.

Đường thẳng nào vuông góc với một trong hai đường thẳng cắt nhau thì song song với đường thẳng kia.

Nếu hai đường thẳng AB và AC cùng song song với một đường thẳng thứ ba thì hai đường thẳng đó song song.

Nếu hai đường thẳng cùng vuông góc với một đường thẳng thứ ba thì hai đường thẳng đó song song.

\(a//b;\,a \bot c\) 

\(a//b,\) \(c \cap a = \left\{ A \right\};c \cap b = \left\{ B \right\}\)

\(a//b;\,a//c\)

\(a//b,\) \(c\) bất kì.

Nếu hai đường thẳng cắt một đường thẳng thứ ba tạo thành hai góc ngoài cùng phía bù nhau thì hai đường thẳng đó song song.

Nếu hai đường thẳng cắt một đường thẳng thứ ba tạo thành hai góc so le trong bù nhau thì hai đường thẳng đó song song.

Nếu hai đường thẳng cắt một đường thẳng thứ ba tạo thành hai góc đồng vị bằng nhau thì hai đường thẳng đó song song.

Nếu hai đường thẳng cắt một đường thẳng thứ ba tạo thành hai góc trong cùng phía bù nhau thì hai đường thẳng đó song song.

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

Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng vuông góc với nhau.

Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng song song với nhau.

Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng cắt nhau.

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

Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó song song với đường thẳng kia.

Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó tạo với đường thẳng kia một góc \(60^\circ .\)

Cả A, B, C đều sai.

Giả thiết của định lý là điều cho biết.

Kết luận của định lý là điều được suy ra.

Giả thiết của định lý là điều được suy ra.

Cả A, B đều đúng.