Ta có hình vẽ:
Vì \(Ox\perp Ox'\Rightarrow xOx'=90^o\)
\(Oy\perp Oy'\Rightarrow yOy'=90^o\)
Ta có: xOx' + x'Oy' = xOy'
=> 90o + x'Oy' = xOy' (1)
Lại có: xOy + yOy' = xOy'
=> xOy + 90o = xOy' (2)
Từ (1) và (2) => x'Oy' + 90o = xOy + 90o = xOy'
=> x'Oy' = xOy (đpcm)