Do `hat{xOy}` và `hat{x'Oy'}` đối đỉnh nên
`hat{xOy}` = `hat{x'Oy'}`
=> `hat{xOy'}` = `hat{x'Oy}`
Do Om là tia pg góc xOy nên
`hat{xOm}` = `hat{yOm}`
Ta có
`hat{xOy'}` + `hat{xOm}` + `hat{y'Om'}` = `180^o`
`hat{yOm}` + `hat{x'Oy}` + `hat{x'Om'}` = `180^o`
=> `hat{y'Om'}` = `hat{x'Om'}`
=> Om' là tia phân giác của x'Oy'