cp's OEIS Frontend

A154142 Indices k such that 9 plus the k-th triangular number is a perfect square.

%I A154142 #34 Jan 07 2025 12:44:28
%S A154142 0,10,13,63,80,370,469,2159,2736,12586,15949,73359,92960,427570,
%T A154142 541813,2492063,3157920,14524810,18405709,84656799,107276336,
%U A154142 493415986,625252309,2875839119,3644237520,16761618730,21240172813,97693873263,123796799360,569401620850
%N A154142 Indices k such that 9 plus the k-th triangular number is a perfect square.
%H A154142 Robert Israel, <a href="/A154142/b154142.txt">Table of n, a(n) for n = 1..2351</a>
%H A154142 F. T. Adams-Watters, <a href="https://web.archive.org/web/*/http://list.seqfan.eu/oldermail/seqfan/2009-October/002504.html">SeqFan Discussion</a>, Oct 2009
%F A154142 {k: 9+k*(k+1)/2 in A000290}
%F A154142 Conjectures: (Start)
%F A154142 a(n) = a(n-1) + 6*a(n-2) - 6*a(n-3) - a(n-4) + a(n-5).
%F A154142 G.f.: x^2*(10 +3*x -10*x^2 -x^3)/((1-x) * (x^2-2*x-1) * (x^2+2*x-1))
%F A154142 G.f.: ( 2 + (-5+4*x)/(x^2+2*x-1) + (6+17*x)/(x^2-2*x-1) + 1/(x-1) )/2. (End)
%F A154142 a(1..4) = (0,10,13,63); a(n) = 6*a(n-2) - a(n-4) + 2, for n > 4. - _Ctibor O. Zizka_, Nov 10 2009
%F A154142 From _Robert Israel_, Jul 07 2015: (Start)
%F A154142 These conjectures follow from the theory of Pell-like equations.
%F A154142 a(2*k+1) = (8 * A001109(k) -7 * A001541(k) - 1)/2.
%F A154142 a(2*k)   = (8 * A001109(k) -9 * A001541(k) - 1)/2. (End)
%e A154142 0*(0+1)/2+9 = 3^2. 10*(10+1)/2+9 = 8^2. 13*(13+1)/2+9 = 10^2. 63*(63+1)/2+9 = 45^2.
%p A154142 seq(seq((8*orthopoly[U](k+j,3) - (8 - (-1)^j)*orthopoly[T](k+j,3)-1)/2, j=0..1),k=0..20); # _Robert Israel_, Jul 07 2015
%t A154142 Join[{0}, Select[Range[0, 1000], ( Ceiling[Sqrt[#*(# + 1)/2]] )^2 - #*(# + 1)/2 == 9 &]] (* _G. C. Greubel_, Sep 03 2016 *)
%t A154142 Select[Range[0, 2 10^7], IntegerQ[Sqrt[9 + # (# + 1) / 2]] &] (* _Vincenzo Librandi_, Sep 03 2016 *)
%t A154142 (Sqrt[8#+1]-1)/2&/@Select[Accumulate[Range[0,5*10^6]],IntegerQ[Sqrt[#+9]]&] (* The program generates the first 17 terms of the sequence. *) (* _Harvey P. Dale_, Oct 21 2024 *)
%o A154142 (Magma) [n: n in [0..2*10^7] | IsSquare(9 + n*(n+1)/2)]; // _Vincenzo Librandi_, Sep 03 2016
%o A154142 (Magma) [0] cat [n: n in [0..2*10^7] | (Ceiling(Sqrt(n*(n+ 1)/2)))^2-n*(n+1)/2 eq 9]; // _Vincenzo Librandi_, Sep 03 2016
%Y A154142 Cf. A000217, A000290, A006451, A001109, A001541.
%K A154142 nonn
%O A154142 1,2
%A A154142 _R. J. Mathar_, Oct 18 2009
%E A154142 a(16)-a(24) from _Donovan Johnson_, Nov 01 2010
%E A154142 a(25)-a(30) from _Lars Blomberg_, Jul 07 2015