`\triangle OKM ` và `\triangle OKN ` có 

` OM=ON (gt) `

` hat{KOM}=hat{KON} ( K ` nằm trên tia phân giác của ` hat{xOy} ) `

` OK ` chung

` => ` `\triangle OKM = ` `\triangle OKN (c.g.c) `

` => KM=KN (2 ` cạnh tương ứng ` ) `

Và ` hat{OKM}=hat{OKN} (2 ` góc tương ứng ` ) `

Mà ` hat{OKM}+hat{OKN}=180^o `

` => hat{OKM}=hat{OKN}=1/2*180^o=90^o `

` => OK bot MN `

Vậy.......

`