Ta có:
`\qquad A;B\in (O';R')`
`=>O'A=O'B=R'`
`\qquad A;C\in (O;R)`
`=>OA=OC=R`
`=>{O'A}/{OA}={O'B}/{OB}={R'}/R`
`=>O'B` //$OC$ $\ (1)$
(định lý Talet đảo)
Mà $MN$ là tiếp tuyến tại $B$ của $(O')$
`=>O'B`$\perp MN$ $\ (2)$
Từ `(1);(2)=>MN`$\perp OC\ (đpcm)$