如图,E是正方形ABCD的边BC上的一点,AF平分∠EAD交CD于点F,求证:AE=BE+DF