如图:正方形ABCD,AE CF=EF,求证:∠EDF=45°