正方形ABCD边上BC有一点E,AF是角DAE的平分线,交DC于点F,求证:AE=DF+BE