正方形ABCD,边长为10,E是BC中点,DF垂直AE.则DF=____