Gọi M là giao điểm của O'x' và Oy
Ox//Mx'
=>\(\hat{xOy}=\hat{x^{\prime}My}\) (hai góc đồng vị)(2)
My//O'y'
=>\(\hat{x^{\prime}My}=\hat{x^{\prime}O^{\prime}y^{\prime}}\) (hai góc đồng vị)(1)
Từ (1),(2) suy ra \(\hat{xOy}=\hat{x^{\prime}O^{\prime}y^{\prime}}\)
