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