Giả sử 2 góc đối đỉnh đó là xOm và yOn
Vì Ot; Ot' là 2 tia đối nhau; Ox; Oy là 2 tia đối nhau ; Om; On đối nhau
=> góc xOt = góc yOt' ; góc tOm = góc t'On ( đối đỉnh)
Mà góc xOt = góc tOm (do Ot là p/g của góc xOm)
=> góc yOt' = góc t'On ; Ot' nằm giữa 2 tia Oy và On
=> Ot' là p/g của góc yOn