a) Xét (O) có
ΔACD nội tiếp đường tròn(A,C,D\(\in\)(O))
AD là đường kính(gt)
Do đó: ΔACD vuông tại C(Định lí)
Suy ra: AC\(\perp\)CD tại C
hay \(EC\perp CD\) tại C
Xét tứ giác ECDF có
\(\widehat{EFD}\) và \(\widehat{ECD}\) là hai góc đối
\(\widehat{EFD}+\widehat{ECD}=180^0\left(90^0+90^0=180^0\right)\)
Do đó: ECDF là tứ giác nội tiếp(Dấu hiệu nhận biết tứ giác nội tiếp)