Ta có:
\(\widehat {x'Oy'}\) và \(\widehat {xOy}\) là hai góc đối đỉnh \( \Rightarrow \widehat {x'Oy'} = \widehat {xOy} = {90^o}\)
\(\widehat {xOy}\) và \(\widehat {xOy'}\) là hai góc kề bù \( \Rightarrow \)\(\widehat {xOy} + \widehat {xOy'} = {180^o}\)
\( \Rightarrow \widehat {xOy'} = {180^o} - \widehat {xOy} = {180^o} - {90^o} = {90^o}\)
\(\widehat {xOy'}\) và \(\widehat {x'Oy}\) là hai góc đối đỉnh \( \Rightarrow\widehat {xOy'} = \widehat {x'Oy} = {90^o}\)
Khi đó \(\widehat {x'Oy'};\widehat {xOy'} ; \widehat {x'Oy}\) đều là những góc vuông.