已知,如图,正方形ABCD中,DE平分∠ADF,求证:DF=AE+CF