在正方形ABCD中,点F在CD上,AE平分角BAF,E为BC的中点.求证:AF=BE+DF