a: Xét ΔBEF vuông tại E và ΔBAC vuông tại A có
\(\hat{EBF}\) chung
Do đó: ΔBEF~ΔBAC
b: Xét ΔECD vuông tại E và ΔEFB vuông tại E có
\(\hat{ECD}=\hat{EFB}\left(=90^0-\hat{ABC}\right)\)
Do đó: ΔECD~ΔEFB
=>\(\frac{EC}{EF}=\frac{ED}{EB}\)
=>\(EC\cdot EB=ED\cdot EF\)
