Đáp án:
$\\$
Có : `BA = BF` (giả thiết)
`-> ΔABF` cân tại `B`
`-> hat{BAF} = hat{BFA}`
$\\$
Có : `hat{HAF} + hat{BFA} = 90^o` (Do `AH` là đường cao của `ΔABC`)
Có : `hat{FAE} + hat{BAF}=90^o` (Do `ΔABC` vuông tại `A`)
mà `hat{BFA} = hat{BAF}` (chứng minh trên)
`-> hat{HAF} = hat{FAE}`
hay `AF` là tia phân giác của `hat{EAH}`