如图,已知边长为4的正方形ABCD,E是BC边上一动点(与B、C不重合),连结AE,作EF⊥AE交∠BCD的外角平分线于