A266587 Smallest index of a Lucas number (A000032) that is divisible by prime(n), if it exists, or 0 if it does not exist (for n > 1).

0, 2, 0, 4, 5, 0, 0, 9, 12, 7, 15, 0, 10, 22, 8, 0, 29, 0, 34, 35, 0, 39, 42, 0, 0, 25, 52, 18, 0, 0, 64, 65, 0, 23, 0, 25, 0, 82, 84, 0, 89, 45, 95, 0, 0, 11, 21, 112, 114, 57, 0, 119, 60, 125, 0, 44, 0, 135, 0, 14, 142, 0, 22, 155, 0, 0, 55, 0, 58, 87, 0, 179, 184, 0, 189, 192, 0, 0, 50, 102, 209, 0, 215, 0, 219, 222, 112, 0, 23, 232, 234, 239, 244, 245

Offset

1,2

Comments

These a(n) values may be called Lucas "entry points".

a(1)=0, corresponding to prime(1)= 2, must be viewed as a special case here, because 0, in this case only, is the correct smallest index.

For all other zeros in a(n) (e.g., for a(3), a(6), a(7) corresponding to prime(3)=5, prime(6)=13, prime(7)=17), there are no Lucas numbers divisible by these primes. The full set of primes not divisible into any Lucas number are given by A053028.

For a(n) > 0, a(n) is always equal to either (prime(n)-1)/k or (prime(n)+1)/k, for some k >= 1. This is similar to the Fibonacci entry points given by A001602.

For each value of a(n) > 0 there is an infinite, periodic subsequence within the Lucas numbers divisible by prime(n), given by Lucas(a(n) + 2*i*a(n)), for all i >= 0. Again this is analogous to the A001602 for Fibonacci. The periodicity of the subsequence is 2*a(n), twice the entry point vs. equal to the entry point for Fibonacci.

Conjecture: Infinite Lucas subsequences divisible by the powers of odd primes, p(n), for which a(n) > 0, are given by:

Lucas(a(n) + a(n)*(p(n)-1)*(Sum_{j=1..m-1} p(n)^(j-1)) + 2*i*a(n)*p(n)^(m-1)) is divisible by p(n)^m, where p(n) > 2, i >= 0, m > 1.

Note: the formula above also works for m=1 if the "Sum" is assumed to be zero when the upper summation index limit is less than initial summation index. See second Mathematica example below which works in this way for all m >= 1, to demonstrate the rule for p = p(n) with corresponding a = a(n).

The divisibility of Lucas numbers by powers of 2 is limited to 2^1 and 2^2, as follows: Lucas(3*i) is divisible by 2 and Lucas(3+6i) is divisible by 4, for all i >= 0.

Links

Table of n, a(n) for n=1..94.

Example

For prime(10) = 29, we get a(10) = 7, because Lucas(7)= 29 is the first Lucas number divisible by 29. Also note 7 = (29-1)/4.
For prime(11) = 31, we get a(11) = 15, because Lucas(15) = 1364 is the first Lucas number divisible by 31. Also note 15 = (31-1)/2.

Mathematica

result={}; Do[iresult=0; Do[If[Divisible[LucasL[i], Prime[k]], iresult=i; Break[]], {i, 1, 2000}]; AppendTo[result, iresult], {k, 2, 200}]; result
p = 23; a = 12; m = 4; Table[Divisible[LucasL[a + a*(p - 1)*Sum[p^(j - 1), {j, 1, m - 1}] + 2a*i*p^(m - 1)], p^m], {i, 1, 100}]

Crossrefs

Cf. A000032, A001602, A053028.

Essentially the same as A194363.

Sequence in context: A084247 A300307 A286606 * A070692 A162397 A091684

Adjacent sequences: A266584 A266585 A266586 * A266588 A266589 A266590

Keyword

nonn

Author

Richard R. Forberg, Jan 01 2016

Status

approved