每日一练

正方形 ABCD 边长为 4，E 是 BC 的中点，F 在 CD 上，且 ∠EAF = 45°。求 DF 的长。