`a)` Ta có `: DH` $\bot$ $EF ($ vì $DH$ là đường cao của $\triangle$ $DEF )$

$DH$ $\bot$ $AB ($ vì $AK$ $\bot$ $DH )$

`=>` $AB // EF ($ Quan hệ từ $\bot$ `=>` $// )$

`=>` Tứ giác $ABFE$ là hình thang $( dhnb )$

`b)` `@` Ta có $: AK // EH ($ vì $AB // EF )$

`=>` Tứ giác $AKHE$ là hình thang $( dhnb )$

Mà $\widehat{KHE}$ $= 90^o ($ vì $DH$ là đường cao của $\triangle$ $DEF )$

`=>` Tứ giác $AKHE$ là hình thang vuông $( dhnb )$

`@` Ta có $: KB // HF ($ vì $AB // EF )$

`=>` Tứ giác $KBFH$ là hình thang $( dhnb )$

Mà $\widehat{KHF}$ $= 90^o ($ vì $DH$ là đường cao của $\triangle$ $DEF )$

`=>`  Tứ giác $KBFH$ là hình thang vuông $( dhnb )$

`c)` Vì $AB // EF ( cmt )$

`=>` $\widehat{BAF}$ $=$ $\widehat{AFE}$ $( 2$ góc sole trong $)$

Mà $\widehat{AFE}$ $=$ $\widehat{AFB}$ $($ vì $FA$ là tia phân giác của $\widehat{DFE}$ $)$

`=>` $\widehat{BAF}$ $=$ $\widehat{AFB}$ $( =$ $\widehat{AFE}$ $)$

`=>` $\triangle$ $BAF$ cân tại $B ( dhnb )$

`=> BA = BF`