已知:如图,在矩形ABCD中,E是AB上的一点,DF⊥CE于F,若AD=8,AB=4.求DF的长