Ta có:
`OM` là phân giác `hat{AOC}`
`=> hat{AOM} = hat{MOC}`
Mà: `hat{MOC} + hat{CON} = 90^0`
`=> hat{AOM} + hat{CON} = 90^0` `(1)`
Lại có:
`hat{AOM} + hat{MON} + hat{NOB} = 180^0`
Mà: `hat{MON} = 90^0`
`=> hat{AOM} + hat{NOB} = 90^0` `(2)`
Từ `(1)(2) => hat{CON} = hat{NOB}`
`=> ON` là phân giác `hat{COB}`