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

Giả thiết

\(t \cap m = A;\,\,t \cap n = B\)

\(\widehat {mAt} = \widehat {nAB}\)

Kết luận

\(m\parallel n\)

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?

Định lí thường được phát biểu dưới dạng A. Thì….là….