E是正方形ABCD的边BC上一点,F是DC的延长线上一点,且角BAE=角FAE.求证:BE+DF=AF