ta có: xx' cắt yy' tại O
=> góc xOy = góc x'Oy' ( đối đỉnh)
=> góc xOy/2 = góc x'Oy'/2
mà góc O1 = góc xOy/2 ( định lí tia phân giác)
góc O2 = góc xOy/2 ( định lí tia phân giác)
=> góc O1 = góc O2
mà góc O1 = góc xOy/2 => góc O1. 2 = góc xOy
mà góc xOy + góc xOy' = 180 độ
=> góc O1 .2 + góc xOy' = 180 độ
góc O1 + góc O1 + góc xOy' = 180 độ
=> góc O1 + góc O2 + góc xOy' = 180 độ ( góc O1 = góc O2)
=> Ot' là tia đối của tia Ot ( định lí)