Ta có hình vẽ:
Giả thiết: xOy < 90o; x'O'y' < 90o
Ox // Ox'; Oy // Oy'
Kết luận: xOy = x'O'y'
Giải:
Vì Ox // Ox' mà xOy và x'Ay là 2 góc đồng vị
=> xOy = x'Ay (1)
Vì Oy // Oy' mà x'Ay và x'O'y' là 2 góc đồng vị
=> x'Ay = x'O'y' (2)
Từ (1) và (2) => xOy = x'O'y' (đpcm)
GT: Nếu 2 góc nhọn có các cặp góc tương ứng song song
KL: Thì hai góc đó bằng nhau