在矩形ABCD中,E是边AD的中点,DE⊥CE,垂足为F,AD=8,AB=4.求DF的长?