login
Numbers k such that Fibonacci(k) == 3 (mod k).
1

%I #26 Sep 25 2023 08:15:09

%S 1,2,4,76,124,196,244,316,374,436,556,604,724,796,844,916,964,1084,

%T 1324,1396,1516,1636,1684,1756,1768,1804,1996,2164,2284,2404,2476,

%U 2524,2644,2764,2836,2956,3004,3076,3244,3316,3436,3676,3964,4036,4084,4156,4204

%N Numbers k such that Fibonacci(k) == 3 (mod k).

%C Among the first 10000 terms, all are even except for 1 and 20017. - _Robert Israel_, Sep 22 2023

%C Contains k if k == 4 (mod A001175(k)). In particular, this is the case if k = 4 * p where p is a prime == 1 or 19 (mod 30). Most terms appear to be of this type, including all but 141 of the first 10000 terms. - _Robert Israel_, Sep 24 2023

%H Robert Israel, <a href="/A023175/b023175.txt">Table of n, a(n) for n = 1..10000</a>

%p filter:= proc(n) uses LinearAlgebra:-Modular; local A;

%p A:= Mod(n, Matrix([[0,1],[1,1]]),integer[]);

%p MatrixPower(n,A,n)[1,2] - 3 mod n = 0

%p end proc:

%p filter(1):= true:

%p select(filte, [$1..10000]); # _Robert Israel_, Sep 22 2023

%t Select[Table[{p,Fibonacci[p]},{p,4500}],Mod[Last[#]-3,First[#]]==0&][[All,1]] (* _Harvey P. Dale_, Sep 22 2021 *)

%Y Cf. A000045, A001175.

%K nonn

%O 1,2

%A _David W. Wilson_