Định lí thường được phát biểu dưới dạng

Trong định lí: “Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng thứ ba thì chúng song song với nhau” có phần giả thiết là

Cho giả thiết: \(\widehat A + \widehat C = 90^\circ ;\,\,\widehat B + \widehat C = 90^\circ \). Khi đó:

Cho hình vẽ dưới đây biểu diễn định lí: “Hai tia phân giác của hai góc đối đỉnh là hai tia đối nhau”.

Quan sát hình vẽ minh họa bài toán, khi đó:

Cho giả thiết – kết luận ở bảng dưới đây:

Phát biểu bằng lời ta được:

(1). Nếu đường thẳng \(t\) cắt hai đường thẳng \(m,\,\,n\) và trong số các góc tạo thành các cặp góc đồng vị bằng nhau thì hai đường thẳng \(m,\,\,n\) vuông góc với nhau.

(2). Nếu đường thẳng \(t\) cắt hai đường thẳng \(m,\,\,n\) và trong số các góc tạo thành các cặp góc đồng vị bằng nhau thì hai đường thẳng \(m,\,\,n\)  song song với nhau.

(3). Nếu đường thẳng \(t\) cắt hai đường thẳng \(m,\,\,n\) và trong số các góc tạo thành các cặp góc so le trong bằng nhau thì hai đường thẳng \(m,\,\,n\)  song song với nhau.

(4). Nếu đường thẳng \(t\) cắt hai đường thẳng \(m,\,\,n\) và trong số các góc tạo thành các cặp góc so le trong bằng nhau thì hai đường thẳng \(m,\,\,n\)  vuông góc với nhau.

Hỏi khẳng định số mấy thích hợp nhất với bảng giả thiết – kết luận đã cho?

Trong các khẳng định sau, khẳng định nào là định lí?

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

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

Hình vẽ dưới đây biểu diễn bài toán: “Cho hai góc kề bù \(\widehat {xOy}\) và \(\widehat {yOz}\). Gọi \(Ot\) là tia phân giác của \(\widehat {xOy}\). Trong góc \(\widehat {yOz}\), vẽ tia \(Ot'\) vuông góc với tia \(Ot.\) Chứng minh \(Ot'\) là tia phân giác của \(\widehat {zOy}\)”.