`a, N` đối xứng `M` qua `AB`

`=>AB` là trung trực `MN`

`=>OM=ON (=R) `

`=>Nin(O) ` (đpcm) 

`b, ` Xét `(O) ` có:

`\hat(AMN) =\hat(ABN) ` (góc nội tiếp cùng chắn cung `AN`) 

Hay `\hat(KMN) =\hat(KBA) `

Xét `\triangleKNM` và `\triangleKAB` có:

`{(\hat(KMN) =\hat(KBA)),(\hatK  chung):}`

`=>\triangleKNM` $\backsim$ `\triangleKAB  (g-g) ` 

 `=>(KN)/(KA) = (KM)/(KB) `

`=>KA*KM=KN*KB` (đpcm)