`a)` Xét `\triangle ADB` và `\triangle ADE` có:

`{(AB = AE  \text{(gt)}),(\hat{BAD} = \hat{DAE}  \text{(AD là phân giác góc BAC)}),(AD  \text{là cạnh chung}):}`

`=> \triangle ADB = \triangle ADE  (c-g-c)`

`b)` Xét `\triangle BDF` và `\triangle EDC` có:

`{(BD = DE  (\triangle ADB = \triangle ADE)),(\hat{BDF} = \hat{EDC}  \text{(2 góc đối đỉnh)}),(DF=DC  \text{(gt)}):}`

`=> \triangle BDF = \triangle EDC  (c-g-c)`

`=> BF = EC`

`c)` Ta có: `\hat{DBF} = \hat{DEC}   (\triangle BDF = \triangle EDC)`

                 `\hat{DBA} = \hat{DEA}   (\triangle ADB = \triangle ADE)`

`=> \hat{DBF} + \hat{DBA} = \hat{DEC} + \hat{DEA} = 180^@`

`=> A,B,F` thẳng hàng