如图，在矩形ABCD中，E是BC的中点，连接AE，过点E作EF⊥AE交DC于点F．若AB＝4，BC＝6，则DF的长为 ．