Cho giả thiết – kết luận ở bảng sau:

GT	\(a\parallel b;{\rm{ }}a \bot c\)
KL	\(c \bot \,b\)

Phát biểu định lí thành lời ta được:

Cho ba đường thẳng phân biệt \(a,b,c.\) Khẳng định nào sau đây là đúng?

Cho hình dưới đây, biết rằng \(AB \bot \,ED\) và \(\widehat {ACB} = \widehat {CBF}\).

Khi đó

Cho \(\widehat {xOy}\) không phải góc bẹt. Khi đó:

(1). Nếu \(Ot\) là tia phân giác của \(\widehat {xOy}\) thì \(\widehat {xOt} = \widehat {tOy}\).

(2). Nếu tia \(Ot\) thỏa mãn \(\widehat {xOt} = \widehat {tOy}\) thì \(Ot\) là tia phân giác của \(\widehat {xOy}\).

Hỏi có bao nhiêu khẳng định đúng?

Cho các khẳng định sau:

(I). Đườ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.

(II). Nếu một đường thẳng cắt hai đường thẳng song song thì tạo ra các cặp góc so le trong, cặp góc đồng vị bằng nhau.

(III). Hai góc đối đỉnh thì bằng nhau.

(IV). Hai góc kề nhau thì tổng số đo là \(180^\circ \).

Hỏi có bao nhiêu khẳng định không cho một định lí?

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

Viết giả thiết, kết luận cho định lí trên: