Xét `Delta ABD` có `OM`//`AB`, áp dụng định lý Ta-lét, ta có:
`(OD)/(BD) = (OM)/(AB)(*)`
Xét `Delta ABC` có `ON`//`AB`, áp dụng định lý Ta-lét, ta có:
`(ON)/(AB) = (NC)/(BC)(**)`
Xét `Delta BCD` có `ON`//`CD`, áp dụng định lý Ta-lét, ta có:
`(OD)/(BD) = (NC)/(BC)(***)`
Từ `(*), (**)` và `(***) => (OM)/(AB) = (ON)/(AB)`
`<=> OM = ON`
`=> đpcm`