证明：过点F作FM⊥AD于M，FN⊥AE于N，FO⊥BC于O
∵BF平分∠CBD，FM⊥AD，FO⊥BC，
∴MF=OF，
同理可得：NF=OF，
∴MF=NF，又FM⊥AD，FN⊥AE，
∴点F在∠DAE的角平分线上
∴AF是∠BAC的平分线．