%I #15 Jan 16 2017 03:11:21
%S 0,9,15,42,54,99,117,180,204,285,315,414,450,567,609,744,792,945,999,
%T 1170,1230,1419,1485,1692,1764,1989,2067,2310,2394,2655,2745,3024,
%U 3120,3417,3519,3834,3942,4275,4389,4740,4860,5229,5355,5742,5874,6279,6417
%N Numbers k such that 6*k+1 is a triangular number (A000217).
%C Numbers of the type floor(3*m*(m+1)/4) for which floor(3*m*(m+1)/4) = 3*floor(m*(m+1)/4). A014601 lists the values of m. - _Bruno Berselli_, Jan 13 2017
%H Colin Barker, <a href="/A274757/b274757.txt">Table of n, a(n) for n = 1..1000</a>
%H <a href="/index/Rec#order_05">Index entries for linear recurrences with constant coefficients</a>, signature (1,2,-2,-1,1).
%F G.f.: 3*x^2*(3 + 2*x + 3*x^2) / ((1 - x)^3*(1 + x)^2).
%F a(n) = a(n-1) + 2*a(n-2) - 2*a(n-3) - a(n-4) + a(n-5) for n>5.
%F a(n) = 3*(2*n - 1)*(2*n + (-1)^n - 1)/4. Therefore:
%F a(n) = 3*n*(2*n - 1)/2 for n even,
%F a(n) = 3*(n-1)*(2*n - 1)/2 for n odd.
%t Table[3 (2 n - 1) (2 n + (-1)^n - 1)/4, {n, 1, 60}] (* _Bruno Berselli_, Jul 08 2016 *)
%o (PARI) isok(n) = ispolygonal(6*n+1, 3)
%o (PARI) select(n->ispolygonal(6*n+1, 3), vector(7000, n, n-1))
%o (PARI) concat(0, Vec(3*x^2*(3+2*x+3*x^2)/((1-x)^3*(1+x)^2) + O(x^60)))
%Y Cf. A000217, A014601.
%Y Cf. A000096 (k+1), A074377 (2*k+1), A045943 (3*k+1), A274681 (4*k+1), A085787 (5*k+1).
%Y Cf. similar sequences listed in A274830.
%K nonn,easy
%O 1,2
%A _Colin Barker_, Jul 04 2016
|