正方形ABCD中,AB=4,三角形BEC的面积是三角形DEF的4倍,则DE的长是多少