证明:过点F作AD,BC,AE的垂线分别相交于点R,S,T
因为F为∠CBD,∠BCE的交点
所以FR=FS,FS=FT
所以FR=FT
所以直角三角形ARF全等于指教三角形ATF,
所以角RAF=角TAF
所以AF是∠BAC平分线