Xét ΔIEB và ΔIFC có
\(\widehat{IBE}=\widehat{ICF}\)
\(\widehat{EIB}=\widehat{FIC}\)
Do đó: ΔIEB\(\sim\)ΔIFC
Suy ra: IE/IF=IB/IC
hay \(IE\cdot IC=IB\cdot IF\)
Xét tam giác IEB và tam giác IFC có
ˆIBE=ˆICF
ˆEIB=ˆFIC
Do đó: tam giác IEB∼tam giác IFC
Suy ra: IE/IF=IB/IC
vậy IE⋅IC=IB⋅IF