cp's OEIS Frontend

A016089 Numbers n such that n divides n-th Lucas number A000032(n).

%I A016089 #27 Mar 06 2019 20:24:21
%S A016089 1,6,18,54,162,486,1458,1926,4374,5778,13122,17334,39366,52002,118098,
%T A016089 156006,206082,354294,468018,618246,1062882,1404054,1854738,2471058,
%U A016089 3188646,4212162,5564214,7413174,9565938,12636486,16692642,22050774
%N A016089 Numbers n such that n divides n-th Lucas number A000032(n).
%C A016089 Note that if n divides A000032(n) and p is an odd prime divisor of A000032(n), then pn divides A000032(pn) and, furthermore, p^k*n divides A000032(p^k*n) for every integer k>=0.
%C A016089 In particular, since 6 divides A000032(6) = 2*3^2, A016089 includes all terms of the geometric progression 2*3^k for k>0 (see A099856); since 18 divides A000032(18) = 2*3^3*107, A016089 includes all terms of the form 2*107^m*3^k for k>1 and m>=0; etc.
%C A016089 Terms of A016089 starting with 18 are multiples of 18. There are no other terms of the form 18p where p is prime, except for p=3 and p=107. - _Alexander Adamchuk_, May 11 2007
%H A016089 Lars Blomberg, <a href="/A016089/b016089.txt">Table of n, a(n) for n = 1..91</a>
%H A016089 Dov Jarden, <a href="/A001602/a001602.pdf">Recurring Sequences</a>, Riveon Lematematika, Jerusalem, 1966. [Annotated scanned copy] See p. 75.
%H A016089 C. Smyth, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL13/Smyth/smyth2.html">The terms in Lucas Sequences divisible by their indices</a>, JIS 13 (2010) #10.2.4.
%t A016089 a = 1; b = 3; Do[c = a + b; a = b; b = c; If[Mod[c, n] == 0, Print[n]], {n, 3, 2, 10^6}]
%o A016089 (PARI) is(n)=(Mod([0,1;1,1],n)^n*[2;1])[1,1]==0 \\ _Charles R Greathouse IV_, Nov 04 2016
%Y A016089 Cf. A000032, A000204, A025192, A008776.
%Y A016089 Cf. A099856, A072378 = numbers n such that 12n divides Fibonacci(12n), A023172 = numbers n such that n divides Fibonacci(n).
%K A016089 nonn
%O A016089 1,2
%A A016089 _Robert G. Wilson v_
%E A016089 Extended and revised by _Max Alekseyev_, May 13 2007, May 15 2008, May 16 2008