Chứng minh định lí: Nếu một đường thẳng cắt hai đường thẳng phân biệt
Giải thích
Giả sử hai đường thẳng c cắt hai đường thẳng phân biệt a, b lần lượt tại hai điểm A và B.


Ta có: A^1=A^2 (hai góc đối đỉnh)
A^1=B^1 (GT)
Suy ra A^2=B^1 (cùng bằng A^1).
Tương tự, ta chứng minh được các cặp góc