如图，已知正方形ABCD，点E为对角线AC上一点（不与A，C重合），过点E作EF⊥DE交BC于点F.连接DF，则 的值等于.