1. (2019·涡阳模拟) 如图，⊙O是△ABC的外接圆，AE平分∠BAC交⊙O于点E，∠ABC的平分线BF交AD于点F，交BC于点D．

1. （1） 求证：BE＝EF；
3. （2） 若DE＝4，DF＝3，求AF的长．