Hướng dẫn suy luận :
Sử dụng hai góc kề bù hoặc hai góc đối đỉnh :
+ Vì \(xOy-x'Oy\) là hai góc kề bù \(\Rightarrow x'Oy=90^0_{ }\)
+ Vì \(xOy\) đối đỉnh với \(x'Oy'\Rightarrow xOy=x'Oy'\)
+ Vì \(x'Oy\) đối đỉnh với \(xOy'\Rightarrow x'Oy=xOy'\)
\(\Rightarrow\) Các góc đều là các góc vuông, từ đó ta có định nghĩa hai đường thẳng vuông góc.