Cho góc nhọn xOy Trên một nửa mặt phẳng bờ Ox chứa tia Oy
Giải thích
Ta có: xOy^+x'Oy^ = 90° và xOy^+xOy'^ = 90° =>x'Oy^=xOy'^.
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
=> xOm^=yOm^ và x'Oy^=xOy'^ (cùng phụ xOy^). Do đó x'Om^=y'Om^.
=> Om cũng là phân giác của x'Oy'^ (ĐPCM)