A336625 Indices of triangular numbers that are eight times other triangular numbers.

0, 15, 32, 527, 1104, 17919, 37520, 608735, 1274592, 20679087, 43298624, 702480239, 1470878640, 23863649055, 49966575152, 810661587647, 1697392676544, 27538630330959, 57661384427360, 935502769664975, 1958789677853712, 31779555538278207, 66541187662598864, 1079569385531794079, 2260441590850507680

Offset

1,2

Comments

Second member of the Diophantine pair (b(n), a(n)) that satisfies a(n)^2 + a(n) = 8*(b(n)^2 + b(n)) or T(a(n)) = 8*T(b(n)) where T(x) is the triangular number of x. The T(a)'s are in A336626, the T(b)'s are in A336624 and the b's are in A336623.

Can be defined for negative n by setting a(-n) = -a(n+1) - 1 for all n in Z.

Links

Vladimir Pletser, Table of n, a(n) for n = 1..1000

Vladimir Pletser, Recurrent Relations for Multiple of Triangular Numbers being Triangular Numbers, arXiv:2101.00998 [math.NT], 2021.

Vladimir Pletser, Closed Form Equations for Triangular Numbers Multiple of Other Triangular Numbers, arXiv:2102.12392 [math.GM], 2021.

Vladimir Pletser, Using Pell equation solutions to find all triangular numbers multiple of other triangular numbers, 2022.

Index entries for linear recurrences with constant coefficients, signature (1,34,-34,-1,1).

Formula

a(n) = 34*a(n-2) - a(n-4) + 16, for n>=2 with a(2)=15, a(1)=0, a(0)=-1, a(-1)=-16.

a(n) = a(n-1) + 34*a(n-2) - 34*a(n-3) - a(n-4) + a(n-5), for n>=3 with a(3)=32, a(2)=15, a(1)=0, a(0)=-1, a(-1)=-16.

a(n) = (-1 + sqrt(8*b(n) + 1))/2, where b(n) is A336626(n).

G.f.: x^2*(15 + 17*x - 15*x^2 - x^3) / ((1 - x)*(1 - 6*x + x^2)*(1 + 6*x + x^2)). - Colin Barker, Aug 14 2020

a(n) = ((sqrt(2) + 1)^(2*n+1) * (3 - sqrt(2)*(-1)^n) - (sqrt(2) - 1)^(2*n+1) * (3 + sqrt(2)*(-1)^n) - 2)/4. - Vaclav Kotesovec, Sep 08 2020

From Vladimir Pletser, Feb 21 2021: (Start)

a(n) = ((3 - sqrt(2))*(1 + sqrt(2))^(2*n+1) + (3 + sqrt(2))*(1 - sqrt(2))^(2*n+1))/4 - 1/2 for even n.

a(n) = ((3 + sqrt(2))*(1 + sqrt(2))^(2*n+1) + (3 - sqrt(2))*(1 - sqrt(2))^(2*n+1))/4 - 1/2 for odd n. (End)

Example

a(3) = 34*a(1) - a(-1) + 16 = 0 - (-16) + 16 = 32,
a(4) = 34*a(2) - a(0) + 16 = 34*15 - (-1) + 16 = 527, etc.

Maple

f := gfun:-rectoproc({a(n) = 34*a(n - 2) - a(n - 4) + 16, a(2) = 15, a(1) = 0, a(0) = -1, a(-1) = -16}, a(n), remember); map(f, [$ (0 .. 1000)]); #

Mathematica

LinearRecurrence[{1, 34, -34, -1, 1}, {0, 15, 32, 527, 1104, 17919}, 29] (* Amiram Eldar, Aug 18 2020 *)
FullSimplify[Table[((Sqrt[2] + 1)^(2*n + 1) * (3 - Sqrt[2]*(-1)^n) - (Sqrt[2] - 1)^(2*n + 1) * (3 + Sqrt[2]*(-1)^n) - 2)/4, {n, 0, 20}]] (* Vaclav Kotesovec, Sep 08 2020 *)

Prog

(PARI) concat(0, Vec(x*(15 + 17*x - 15*x^2 - x^3) / ((1 - x)*(1 - 6*x + x^2)*(1 + 6*x + x^2)) + O(x^22))) \\ Colin Barker, Aug 14 2020

Crossrefs

Cf. A336623, A336624, A336626, A166477 (at n=8).

Cf. A053141, A001652, A075528, A029549, A061278, A001571, A076139, A076140, A077259, A077262, A077260, A077261, A077288, A077291, A077289, A077290, A077398, A077401, A077399, A077400, A000217.

Sequence in context: A199743 A331551 A180815 * A177204 A342193 A343338

Adjacent sequences: A336622 A336623 A336624 * A336626 A336627 A336628

Keyword

easy,nonn

Author

Vladimir Pletser, Aug 13 2020

Status

approved