Ta có: x O y ^ + x ' O y ^  = 90° và x O y ^ + x O y ' ^  = 90° => x ' O y ^ = x O y ' ^ .

Mặt khác Ox', Oy' nằm trên hai nửa mặt phẳng đối nhau bờ Ox nên Ox nằm giữa hai tia Ox' và Oy'.

Tương tự Oy nằm giữa hai tia Ox' và Oy'

Gọi Om là phân giác góc xOy, suy ra Oy

nằm giữa Ox' và Om, Ox nằm giữa Oy' và

 Om, Om nằm giữa Ox và Oy.

Lại có Om là phân giác góc xOy

 =>  x O m ^ = y O m ^  và  x ' O y ^ = x O y ' ^  (cùng phụ  x O y ^ ). Do đó x ' O m ^ = y ' O m ^ .

=> Om cũng là phân giác của x ' O y ' ^  (ĐPCM)

Mặt khác Ox', Oy' nằm trên hai nửa mặt phẳng đối nhau bờ Ox nên Ox nằm giữa hai tia Ox' và Oy'.

Tương tự Oy nằm giữa hai tia Ox' và Oy'

Gọi Om là phân giác góc xOy, suy ra Oy nằm giữa Ox' và Om, Ox nằm giữa Oy' và Om, Om nằm giữa Ox và Oy.

2 tia Oy' ah bạn

a, Do Oy vuông góc với Oy' => góc yOy' = 90⁰

         Ox vuông góc với Ox' => góc xOx' = 90⁰

Mà góc yOy' = yOx' + x'Oy' 

=> yOx' + xOy' = 90⁰

  xOx' = xOy' + xOy'

-> xOy' + x'Oy' = 90⁰

=> yOx = xOy'  (1)

b, Gọi Ot là tia phân giác của góc x'Oy'

=> y'Ot = x'Ot  (2)

Lấy (1) + (2) :

  xOy' + y'Ot = yOx' + x'Ot

     Trên nửa mặt phẳng bờ Oy có xOy > yOy'

-> Tia Oy' nằm giữa 2 tia Ox và Oy . Mà Ot là tia phân giác của góc x'Oy' 

-> Ot nằm giữa 2 tia Oy' và Oy

-> tia Oy' nằm giữa 2 tia Ox và Ot

=> xOt = yOt 

  Ot nằm giữa 2 tia Ox và Oy 

=> Ot là phân giác của xOy