%I #16 Dec 11 2019 09:49:46
%S 1,2,3,4,5,8,11,21,29,55,76,144,199,377,521,987,1364,2584,3571,6765,
%T 9349,17711,24476,46368,64079,121393,167761,317811,439204,832040,
%U 1149851,2178309,3010349,5702887,7881196,14930352,20633239,39088169,54018521,102334155
%N Numbers n for which the set of residues {Fibonacci(k) mod n, k=0,1,2,....} is minimal.
%C Sequence A066853 gives the number of possible residues of the Fibonacci numbers mod n. For the n in this sequence, it appears that A066853(n) < A066853(m) for all m > n. For these n, the set of residues consists of Fibonacci numbers < n and some of their negatives (see example).
%C Interestingly, for n > 5, this sequence alternates the even-index Fibonacci and odd-indexed Lucas numbers, A001906 and A002878. See A109794 for the sequence without 2 and 5.
%C The number of residues is 1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 15, 16, ..., which is A032766 with 2 and 5 included.
%H <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (0,3,0,-1).
%F From _Colin Barker_, Oct 29 2013: (Start)
%F a(n) = 3*a(n-2) - a(n-4) for n > 9.
%F G.f.: x*(x^8 + x^7 - x^6 - 2*x^5 - 3*x^4 - 2*x^3 + 2*x + 1) / ((x^2-x-1)*(x^2+x-1)). (End)
%e For n=55, the residues are {0, 1, 2, 3, 5, 8, 13, 21, 34, 47, 52, 54} which can also be written as {0, 1, 2, 3, 5, 8, 13, 21, -21, -8, -3, -1}.
%t Union[{2, 5}, Fibonacci[Range[2, 20, 2]], LucasL[Range[1, 20, 2]]]
%o (PARI) Vec(x*(x^8+x^7-x^6-2*x^5-3*x^4-2*x^3+2*x+1)/((x^2-x-1)*(x^2+x-1)) + O(x^100)) \\ _Colin Barker_, Oct 29 2013
%Y Cf. A001906, A002878, A032766, A066853, A109794, A189768.
%K nonn,easy
%O 1,2
%A _T. D. Noe_, May 10 2011
|