如图所示,点E是正方形ABCD的边CD上一点,点F是CB的延长线上一点,DE=BF,求证 角AFC=