Xét \(\Delta\) OAB và \(\Delta\)OCD:
Ta có:AB // CD (GT)
\(\widehat{AOB}=\widehat{COD}\) (đ2)
\(\widehat{OAB}=\widehat{OCD}\) (slt)
\(\widehat{OBA}=\widehat{ODC}\) (slt)
\(=>\Delta OAB\sim\Delta OCD\left(g.g\right)\)
\(=>\dfrac{AO}{CO}=\dfrac{AB}{CD}\)
\(=>AB.CO=CD.AO\)
