Gọi `2` góc kề bù là `∠mOn` và `∠m'On` `⇒ ∠mOn+∠m'On=180^0`
`Oa` là phân giác `∠mOn⇒ ∠aOn=(∠mOn)/2`
`Ob` là phân giác `∠m'On⇒ ∠bOn=(∠m'On)/2`
`⇒∠aOn+∠bOn=(∠mOn)/2+(∠m'On)/2=(∠mOn+∠m'On)/2=(180^0)/2=90^0`
Vậy hai tia phân giác của hai góc kề bù tạo nên góc vuông