a) Xét ΔAEF và ΔDEC có :
∠CDE=∠EAF(=$90^{o}$ )
∠DEC=∠AEF(2 góc đối đỉnh)
⇒ ΔAEF đồng dạng với ΔDEC (g.g)
=>$\frac{EC}{ED}$ =$\frac{EF}{EA}$
=>EA.EC=ED.EF
b) Xét tứ giác ABCD có :
góc CDF=90 độ(Vì FD vuông góc CB)
góc CAF =90 độ (Vì CA vuông góc FB)
Mà 2 đỉnh D và A cùng nhìn cạnh CF
=> Tứ giác ABCD nội tiếp
=> góc ADF = góc ACF (2 góc nội tiếp cùng chắn cung AF)