Chứng minh:
Vẽ đường thẳng \(OO’\)
Vì \(Ox // O’x’\) nên hai góc đồng vị \(\widehat {{O_1}}\) và \(\widehat {O{'_1}}\) bằng nhau.
Suy ra \(\widehat {{O_1}} = \widehat {O{'_1}}\) (1)
Vì \(Oy // O’y’\) nên hai góc đồng vị \(\widehat {{O_2}}\) và \(\widehat {O{'_2}}\) bằng nhau.
Suy ra \(\widehat {{O_2}} = \widehat {O{'_2}}\) (2)
Lấy (1) trừ (2) theo vế với vế ta được:
\(\widehat {{O_1}} - \widehat {{O_2}} = \widehat {O{'_1}} - \widehat {O{'_2}}\)
\(\Rightarrow \widehat {xOy} = \widehat {x'O'y'}\).