如图,在正方形ABCD中,边长为a,E是BC上的动点,且角EAF=45度.证明:EF=BE+DF