Vì Ot là tia phân giác của xOy => tOy = 1/2 . xOy
Vì Ot' là tia phân giác của yOx' => yOt' = 1/2 . yOx'
=> tOy + yOt' = 1/2 . xOy + 1/2 . yOx'
=> tOt' = 1/2 ( xOy + yOx' )
=> tOt' = 1/2 . 180độ ( kề bù )
=> tOt' = 90độ
=> Ot vuông góc với Ot' ( đpcm )