Giải thích các bước giải:
Ta có $\widehat{EDB}=\widehat{EFB}=90^o,\widehat{EFC}=\widehat{EHC}=90^o$
$\to EDBF, EFCH$ nội tiếp
Mà $AC$ là tiếp tuyến của $(O)$
$\to\widehat{HFE}=\widehat{HCE}=\widehat{EBC}=\widehat{EBH}=\widehat{EDF}$
Lại có $\widehat{EHF}=\widehat{ECF}=\widehat{ECB}=\widehat{DBE}=\widehat{EFD}$
$\to\Delta EHF\sim\Delta EFD(g.g)$
$\to \widehat{DEF}=\widehat{FEH}$