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)