Xét tam giác \(OCD\) có \(AB//CD\) (giả thiết) và \(AB\) cắt \(OC;OD\) lần lượt tại \(A;B\).
Theo hệ quả của định lí Thales ta có:
\(\frac{{OA}}{{OC}} = \frac{{OB}}{{OD}} = \frac{{AB}}{{CD}} \Rightarrow \frac{{OA}}{{OC}} = \frac{{OB}}{{OD}} \Rightarrow OA.OD = OB.OC\) (điều phải chứng minh).