Dựng `OD⊥AC;OE⊥AB`

Vì `OA////BC->\hat{OAD}=\hat{ACB}(` so le trong `)` và `\hat{OAE}=\hat{ABC}(` đồng vị `)`

Mà `ΔABC` cân tại `A->\hat{ACB}=\hat{ABC}->\hat{AOD}=\hat{AOE}`

Xét `ΔAOE` và `ΔAOD` ta có: 

`\hat{AEO}=\hat{ADO}=90^o`

`AO` chung

`\hat{OAD}=\hat{OAE}`

`->ΔAOE=ΔAOD(ch-gn)`
`->OE=OD`

`ΔMEO` vuông tại `E->\hat{MOE}=90^o-\hat{EMO}`

`ΔNDO` vuông tại `D->\hat{NOD}=90^o-\hat{DNO}`

Mà `\hat{AMO}=\hat{ANO}(g//t)->\hat{MOE}=\hat{NOD}`

Xét `ΔMEO` và `ΔNDO` ta có:

`\hat{MEO}=\hat{NDO}=90^o`

`OE=OD(cmt)`

`\hat{MOE}=\hat{NOD}(cmt)`

`->ΔMEO=ΔNDO(cgv-gnk)`

`->OM=ON->ΔOMN` cân tại `O`