Giả sử 2 góc đối đỉnh đó là xOm và yOn
Ot là phân giác của góc xOm. Ot' là tia đối của tia Ot. cần chứng minh: Ot' là phân giác của góc 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