Xét tam giác OAB và tam giác OCD ta có :
^AOB = ^COD ( đối đỉnh )
^OAB = ^OCD ( so le trong )
Vậy tam giác OAB ~ tam giác OCD ( g.g )
=> OA/OC = OB/OD => OA.OD = OC.OB
Vì AB//CD nên:
\(\dfrac{OA}{OC}=\dfrac{OB}{OD}\) ( hệ quả đl ta-lét)
từ đó suy ra : OA.OD=OB.OC(đpcm)