a: Ta có: \(\hat{ADI}+\hat{IDC}=\hat{ADC}=90^0\)
\(\hat{IDC}+\hat{FDC}=\hat{FDI}=90^0\)
Do đó: \(\hat{ADI}=\hat{FDC}\)
Xét ΔADI vuông tại A và ΔCDF vuông tại C có
DA=DC
\(\hat{ADI}=\hat{CDF}\)
Do đó: ΔADI=ΔCDF
=>DI=DF
=>ΔDIF vuông cân tại D
b: Xét ΔEBI vuông tại B và ΔEDF vuông tại D có
\(\hat{BEI}\) chung
Do đó; ΔEBI~ΔEDF
=>\(\frac{EB}{ED}=\frac{EI}{EF}\)
=>\(EB\cdot EF=ED\cdot EI\)





