如图,点F在正方形ABCD的边BC上,AE平分∠DAF,求证:DE=AF-BF.