Có: góc xOm và yOn đối đỉnh
Ot; Ot' lần lượt là p/g của góc xOm; yOn
Chứng minh: Ot; Ot' là 2 tia đối nhau
+) Ot là p/g của góc xOm => góc mOt = 12 .góc xOm
Ot' là p/g của góc yOn => góc nOt' = 12 . góc yOn
Mà góc xOm = góc yOn nên góc mOt = nOt'
+) Om; On là 2 tia đối nhau nên Ot nằm giữa 2 tia Om ; On
=> góc mOt + tOn = mOn = 180o
=> nOt' + tOn = 180o
=> góc tOt' = 180o => Ot; Ot; là 2 tia đối nhau