HÌNH TỰ TÚC
xOy đối đỉnh x'Oy';
Ot đối Ot'
Ot nằm trong góc xOy
=> Ot' nằm trong góc x'Oy' (1)
Ta có: tOx =t'Ox' (đđ)
tOy = t'Oy' (đđ)
Mà tOx = tOy (do Ot là tia phân giác của xOy)
=> t'Ox' = t'Oy' (2)
Từ (1) và (2) => Ot' là tia phân giác của góc x'Oy'
Góc x'Oy' và xOy là 2 góc đối đỉnh, tia Ot và Ot' đối nhau mà Ot là tia phân giác của góc xOy => Ot' là tia phân giác của x'Oy'.