正方形ABCD中,E是DC中点,F是DA中点AB=4,求ef