Xét tam giác ABI và tam giác BCI ta có
góc ABI=góc DCI (giả thiết )
góc AIB=góc DIC (đối đỉnh
Vậy tam giác ABI đồng dạng tam giác DCI (g.g)
suy ra AI/DI= BI/CI
AI/BI=DI/CI
Xét tam giác AID và BIC
góc AID=BIC
AI/BI=DI/CI
suy ra tam giác AID đồng dạng BIC
AI/BI=AD/BC
AI×BC=BI×AD