OFFSET
1,1
COMMENTS
The numbers k such that k^2 - 1 is a Lucas-Carmichael number are 20, 54, 84, 252, 384, 1260, 1308, 1500, 1710, 2580, 3080, 3780, 4392, ...
From David A. Corneth, Aug 26 2023: (Start)
As k^2 - 1 = (k - 1)*(k + 1) and k is even we have k-1 and k+1 are coprime. So we can factor k-1 and k+1 separately when checking if k^2 - 1 is a term.
Possible other ideas are factoring an odd number only once, keeping it for the factorization of k^2 - 1 and (k + 2)^2 - 1. Alternatively dodging k = 18m +- 8, 18m +- 10 or 50m +- 24, 50m +- 26 to not get numbers that are multiples of odd primes squared. (End)
LINKS
David A. Corneth, Table of n, a(n) for n = 1..2391 (terms <= 4*10^17; first 164 terms from Amiram Eldar)
MAPLE
filter:= t ->
andmap(f -> f[2]=1 and (t+1) mod (f[1]+1) = 0, ifactors(t)[2]):
select(filter, [seq(k^2-1, k=3..10^5)]); # Robert Israel, Sep 24 2017
MATHEMATICA
lcQ[n_] := !PrimeQ[n] && Union[Transpose[FactorInteger[n]][[2]]] == {1} && Union[Mod[n + 1, Transpose[FactorInteger[n]][[1]] + 1]] == {0}; Select[Range[2, 10^4]^2 - 1, lcQ]
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Sep 18 2017
EXTENSIONS
More terms from David A. Corneth, Aug 26 2023
STATUS
approved