a) $\widehat{BFC}=\widehat{BEC}=90^0$
`⇒` Tứ giác BFEC nội tiếp
b) Ta có: tứ giác BFHD và BDEA nội tiếp
`⇒`$\widehat{FBH}=\widehat{FDH}$ (cùng chắn FH) (1)
$\widehat{ABE}=\widehat{ADE}$ (cùng chắn AE) (2)
Từ (1) và (2) suy ra:
$\widehat{ADF}=\widehat{ADE}$
`⇒ DA` là tia phân giác của $\widehat{EDF}$