Ta có hình vẽ:
Vì Ot là tia phân giác của xOy nên \(xOt=tOy=\frac{xOy}{2}\)
Ta có: xOy + yOz = 180o (kề bù)
=> \(\frac{xOy}{2}+\frac{yOz}{2}=90^o\)
=> tOy + \(\frac{yOz}{2}=90^o\)
Lại có: tOy + yOt' = 90o
=> yOt' = \(\frac{yOz}{2}\) => Ot' là tia phân giác của yOz (đpcm)