Ta có:
`hat(BNC) = hat(BMC)=90^o`
`=> BNMC` là tứ giác nội tiếp
`=>hat(ANM)=hat(ACB)` (cùng bù `hat(BNM)`)
`hat(AMB)=hat(ABC)`
Xét `ΔAMN` và `ΔABC` ta có:
`hat(ANM)=hat(ACB)(cmt)`
`hat(AMB)=hat(ABC)(cmt)`
`=>` `ΔAMN` `∼` `ΔABC` `(g.g)`
`=>(AM)/(AB) = (MN)/(BC)`
`=>MN= (AM)/(AB) . BC = MN.cos hat(A)`