Chứng minh:
Vẽ đường thẳng OO’
Vì Ox // O’x’ nên hai góc đồng vị ∠(O1) và ∠(O'1) bằng nhau
Suy ra: ∠(O1) = ∠(O'1 ) (1)
Vì Oy // O’y’ nên hai góc đồng vị ∠(O2) và ∠(O'2) bằng nhau
Suy ra: ∠(O2) = ∠(O'2)(2)
Từ (1) và (2) suy ra: ∠(O1) - ∠(O2) =∠(O'1) - ∠(O'2)
Vậy ∠(xOy) = ∠(x'O'y')