已知,E是正方形ABCD的边AD的中点,F是DC上的一点,且DF=四分之一CD