Giả sử \(\widehat {{O_1}},\widehat {{O_3}}\) cùng bù với góc \(\widehat {{O_2}}\). Ta được:
\(\widehat {{O_1}} + \widehat {{O_2}} = 180^\circ ;\widehat {{O_3}} + \widehat {{O_2}} = 180^\circ \)
\( \Rightarrow \widehat {{O_1}} =180^\circ -\widehat {{O_2}}; \widehat {{O_3}}=180^\circ -\widehat {{O_2}}\)
\( \Rightarrow \widehat {{O_1}} = \widehat {{O_3}}\) (đpcm)