Xét `ΔABD` và `ΔAED` ,có :

       `AB=AE`

       `\hat{BAD}=\hat{EAD}` (AD là phân giác `\hat{BAE}`)

       `AD` là cạnh chung

`=>ΔABD=ΔAED(c.g.c)`

`=>\hat{ABD}=\hat{AED}` (2 góc tương ứng)

Xét `ΔABC` và `ΔAEF` ,có :

      `\hat{ABC}=\hat{AEF}` (cmt)

      `AB=AE` (gt)

      `\hat{FAC}` là góc chung

`=>ΔABC=ΔAEF(g.c.g)`

`=>AC=AF` (2 cạnh tương ứng)

`=>ΔAFC` cân tại `A`