TH1: AB cắt CD tại I ở bên ngoài (O)
Xét ΔIBC và ΔIDA có
góc ICB=góc IAD
góc I chung
Do đó: ΔIBC đồng dạng với ΔIDA
=>IB/ID=IC/IA
=>IB*IA=IC*ID
TH2: AB cắt CD tại I nằm trong (O)
Xét ΔIAC và ΔIDB có
góc IAC=góc IDB
góc AIC=góc DIB
Do đó ΔIAC đồng dạng vơi ΔIDB
=>IA/ID=IC/IB
=>IA*IB=ID*IC