cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 14 results. Next

A053141 a(0)=0, a(1)=2 then a(n) = a(n-2) + 2*sqrt(8*a(n-1)^2 + 8*a(n-1) + 1).

Original entry on oeis.org

0, 2, 14, 84, 492, 2870, 16730, 97512, 568344, 3312554, 19306982, 112529340, 655869060, 3822685022, 22280241074, 129858761424, 756872327472, 4411375203410, 25711378892990, 149856898154532, 873430010034204, 5090723162050694, 29670908962269962, 172934730611569080
Offset: 0

Views

Author

Keywords

Comments

Solution to b(b+1) = 2a(a+1) in natural numbers including 0; a = a(n), b = b(n) = A001652(n).
The solution of a special case of a binomial problem of H. Finner and K. Strassburger (strass(AT)godot.dfi.uni-duesseldorf.de).
Also the indices of triangular numbers that are half other triangular numbers [a of T(a) such that 2T(a)=T(b)]. The T(a)'s are in A075528, the T(b)'s are in A029549 and the b's are in A001652. - Bruce Corrigan (scentman(AT)myfamily.com), Oct 30 2002
Sequences A053141 (this entry), A016278, A077259, A077288 and A077398 are part of an infinite series of sequences. Each depends upon the polynomial p(n) = 4k*n^2 + 4k*n + 1, when 4k is not a perfect square. Equivalently, they each depend on the equation k*t(x)=t(z) where t(n) is the triangular number formula n(n+1)/2. The dependencies are these: they are the sequences of positive integers n such that p(n) is a perfect square and there exists a positive integer m such that k*t(n)=t(m). A053141 is for k=2, A016278 is for k=3, A077259 is for k=5. - Robert Phillips (bobanne(AT)bellsouth.net), Oct 11 2007, Nov 27 2007
Jason Holt observes that a pair drawn from a drawer with A053141(n)+1 red socks and A001652(n) - A053141(n) blue socks will as likely as not be matching reds: (A053141+1)*A053141/((A001652+1)*A001652) = 1/2, n>0. - Bill Gosper, Feb 07 2010
The values x(n)=A001652(n), y(n)=A046090(n) and z(n)=A001653(n) form a nearly isosceles Pythagorean triple since y(n)=x(n)+1 and x(n)^2 + y(n)^2 = z(n)^2; e.g., for n=2, 20^2 + 21^2 = 29^2. In a similar fashion, if we define b(n)=A011900(n) and c(n)=A001652(n), a(n), b(n) and c(n) form a nearly isosceles anti-Pythagorean triple since b(n)=a(n)+1 and a(n)^2 + b(n)^2 = c(n)^2 + c(n) + 1; i.e., the value a(n)^2 + b(n)^2 lies almost exactly between two perfect squares; e.g., 2^2 + 3^2 = 13 = 4^2 - 3 = 3^2 + 4; 14^2 + 15^2 = 421 = 21^2 - 20 = 20^2 + 21. - Charlie Marion, Jun 12 2009
Behera & Panda call these the balancers and A001109 are the balancing numbers. - Michel Marcus, Nov 07 2017

Crossrefs

Programs

  • Haskell
    a053141 n = a053141_list !! n
    a053141_list = 0 : 2 : map (+ 2)
       (zipWith (-) (map (* 6) (tail a053141_list)) a053141_list)
    -- Reinhard Zumkeller, Jan 10 2012
    
  • Magma
    R:=PowerSeriesRing(Integers(), 30); Coefficients(R!(2*x/((1-x)*(1-6*x+x^2)))); // G. C. Greubel, Jul 15 2018
    
  • Maple
    A053141 := proc(n)
        option remember;
        if n <= 1 then
            op(n+1,[0,2]) ;
        else
            6*procname(n-1)-procname(n-2)+2 ;
        end if;
    end proc: # R. J. Mathar, Feb 05 2016
  • Mathematica
    Join[{a=0,b=1}, Table[c=6*b-a+1; a=b; b=c, {n,60}]]*2 (* Vladimir Joseph Stephan Orlovsky, Jan 18 2011 *)
    a[n_] := Floor[1/8*(2+Sqrt[2])*(3+2*Sqrt[2])^n]; Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Nov 28 2013 *)
    Table[(Fibonacci[2n + 1, 2] - 1)/2, {n, 0, 20}] (* Vladimir Reshetnikov, Sep 16 2016 *)
  • PARI
    concat(0,Vec(2/(1-x)/(1-6*x+x^2)+O(x^30))) \\ Charles R Greathouse IV, May 14 2012
    
  • PARI
    {x=1+sqrt(2); y=1-sqrt(2); P(n) = (x^n - y^n)/(x-y)};
    a(n) = round((P(2*n+1) - 1)/2);
    for(n=0, 30, print1(a(n), ", ")) \\ G. C. Greubel, Jul 15 2018
    
  • Sage
    [(lucas_number1(2*n+1, 2, -1)-1)/2 for n in range(30)] # G. C. Greubel, Apr 27 2020

Formula

a(n) = (A001653(n)-1)/2 = 2*A053142(n) = A011900(n)-1. [Corrected by Pontus von Brömssen, Sep 11 2024]
a(n) = 6*a(n-1) - a(n-2) + 2, a(0) = 0, a(1) = 2.
G.f.: 2*x/((1-x)*(1-6*x+x^2)).
Let c(n) = A001109(n). Then a(n+1) = a(n)+2*c(n+1), a(0)=0. This gives a generating function (same as existing g.f.) leading to a closed form: a(n) = (1/8)*(-4+(2+sqrt(2))*(3+2*sqrt(2))^n + (2-sqrt(2))*(3-2*sqrt(2))^n). - Bruce Corrigan (scentman(AT)myfamily.com), Oct 30 2002
a(n) = 2*Sum_{k = 0..n} A001109(k). - Mario Catalani (mario.catalani(AT)unito.it), Mar 22 2003
For n>=1, a(n) = 2*Sum_{k=0..n-1} (n-k)*A001653(k). - Charlie Marion, Jul 01 2003
For n and j >= 1, A001109(j+1)*A001652(n) - A001109(j)*A001652(n-1) + a(j) = A001652(n+j). - Charlie Marion, Jul 07 2003
From Antonio Alberto Olivares, Jan 13 2004: (Start)
a(n) = 7*a(n-1) - 7*a(n-2) + a(n-3).
a(n) = -(1/2) - (1-sqrt(2))/(4*sqrt(2))*(3-2*sqrt(2))^n + (1+sqrt(2))/(4*sqrt(2))*(3+2*sqrt(2))^n. (End)
a(n) = sqrt(2)*cosh((2*n+1)*log(1+sqrt(2)))/4 - 1/2 = (sqrt(1+4*A029549)-1)/2. - Bill Gosper, Feb 07 2010 [typo corrected by Vaclav Kotesovec, Feb 05 2016]
a(n+1) + A055997(n+1) = A001541(n+1) + A001109(n+1). - Creighton Dement, Sep 16 2004
From Charlie Marion, Oct 18 2004: (Start)
For n>k, a(n-k-1) = A001541(n)*A001653(k)-A011900(n+k); e.g., 2 = 99*5 - 493.
For n<=k, a(k-n) = A001541(n)*A001653(k) - A011900(n+k); e.g., 2 = 3*29 - 85 + 2. (End)
a(n) = A084068(n)*A084068(n+1). - Kenneth J Ramsey, Aug 16 2007
Let G(n,m) = (2*m+1)*a(n)+ m and H(n,m) = (2*m+1)*b(n)+m where b(n) is from the sequence A001652 and let T(a) = a*(a+1)/2. Then T(G(n,m)) + T(m) = 2*T(H(n,m)). - Kenneth J Ramsey, Aug 16 2007
Let S(n) equal the average of two adjacent terms of G(n,m) as defined immediately above and B(n) be one half the difference of the same adjacent terms. Then for T(i) = triangular number i*(i+1)/2, T(S(n)) - T(m) = B(n)^2 (setting m = 0 gives the square triangular numbers). - Kenneth J Ramsey, Aug 16 2007
a(n) = A001108(n+1) - A001109(n+1). - Dylan Hamilton, Nov 25 2010
a(n) = (a(n-1)*(a(n-1) - 2))/a(n-2) for n > 2. - Vladimir Pletser, Apr 08 2020
a(n) = (ChebyshevU(n, 3) - ChebyshevU(n-1, 3) - 1)/2 = (Pell(2*n+1) - 1)/2. - G. C. Greubel, Apr 27 2020
E.g.f.: (exp(3*x)*(2*cosh(2*sqrt(2)*x) + sqrt(2)*sinh(2*sqrt(2)*x)) - 2*exp(x))/4. - Stefano Spezia, Mar 16 2024
a(n) = A000194(A029549(n)) = A002024(A075528(n)). - Pontus von Brömssen, Sep 11 2024

Extensions

Name corrected by Zak Seidov, Apr 11 2011

A077289 Triangular numbers that are 1/6 of another triangular number.

Original entry on oeis.org

0, 1, 6, 105, 595, 10296, 58311, 1008910, 5713890, 98862891, 559902916, 9687554415, 54864771885, 949281469786, 5376187741821, 93019896484620, 526811533926580, 9115000574022981, 51622154137063026, 893177036357767525, 5058444293898249975, 87522234562487194476
Offset: 0

Views

Author

Bruce Corrigan (scentman(AT)myfamily.com), Nov 03 2002

Keywords

Comments

The triangular numbers multiplied by 6 are in A077290.

Examples

			b(3)=14 so a(3) = 14*15/2 = 105, etc.
		

Crossrefs

Programs

  • Maple
    f := gfun:-rectoproc({a(-2) = 1, a(-1) = 0, a(0) = 0, a(1) = 1, a(n) = 98*a(n-2)-a(n-4)+7}, a(n), remember); map(f, [`$`(0 .. 1000)])[]; # Vladimir Pletser, Feb 19 2021
  • Mathematica
    tr6Q[n_]:= IntegerQ[1/2 (Sqrt[1+48n]-1)]; Select[Accumulate[ Range[0,1380000]],tr6Q]  (* Harvey P. Dale, Apr 21 2011 *)
  • PARI
    T(n)=n*(n+1)\2;
    istriang(n)=issquare(8*n+1);
    for(n=0, 10^10, t=T(n); if ( t%6==0 && istriang(t\6), print1(t\6, ", ") ) );
    \\ Joerg Arndt, Jul 03 2013
    
  • PARI
    concat(0, Vec(-x*(x^2+5*x+1) / ((x-1)*(x^2-10*x+1)*(x^2+10*x+1)) + O(x^100))) \\ Colin Barker, May 15 2015

Formula

Let b(n) be A077288. Then a(n)=b(n)*(b(n)+1)/2.
G.f.: -x*(x^2+5*x+1) / ((x-1)*(x^2-10*x+1)*(x^2+10*x+1)). - Colin Barker, Jul 02 2013
a(n) = 98*a(n-2) - a(n-4) + 7. - Vladimir Pletser, Feb 19 2021
96*a(n) = 9*A072256(n+1) -2*(-1)^n*A054320(n) -7. - R. J. Mathar, Oct 01 2021

A077291 Second member of Diophantine pair (m,k) that satisfies 6*(m^2 + m) = k^2 + k: a(n) = k.

Original entry on oeis.org

0, 3, 8, 35, 84, 351, 836, 3479, 8280, 34443, 81968, 340955, 811404, 3375111, 8032076, 33410159, 79509360, 330726483, 787061528, 3273854675, 7791105924, 32407820271, 77123997716, 320804348039, 763448871240, 3175635660123, 7557364714688, 31435552253195
Offset: 0

Views

Author

Bruce Corrigan (scentman(AT)myfamily.com), Nov 03 2002

Keywords

Comments

The corresponding m are given in A077288.
Numbers x such that (2*x^2 + 2*x + 3)/3 = y^2. The corresponding y are given by A080806. - Klaus Purath, Jul 30 2025

Examples

			b(3)=630 so a(3) = (-1 + sqrt(8*630 + 1))/2 = (-1 + sqrt(5041))/2 = (71 - 1)/2 = 35.
		

Crossrefs

Programs

  • Maple
    f := gfun:-rectoproc({a(-2) = -4, a(-1) = -1, a(0) = 0, a(1) = 3, a(n) = 10*a(n - 2) - a(n - 4) + 4}, a(n), remember); map(f, [$ (0 .. 40)])[]; # Vladimir Pletser, Jul 26 2020
  • Mathematica
    LinearRecurrence[{1,10,-10,-1,1},{0,3,8,35,84},30] (* Harvey P. Dale, Oct 11 2019 *)
  • PARI
    concat(0, Vec(x*(x^3+3*x^2-5*x-3)/((x-1)*(x^4-10*x^2+1)) + O(x^100))) \\ Colin Barker, May 15 2015

Formula

Let b(n) be A077290. Then a(n) = (-1 + sqrt(8*b(n) + 1))/2.
G.f.: x*(x^3+3*x^2-5*x-3) / ((x-1)*(x^4-10*x^2+1)). - Colin Barker, Mar 09 2012
From Vladimir Pletser, Jul 26 2020: (Start)
a(n) = 10*a(n-2) - a(n-4) + 4 with a(-2)=-4, a(-1)=-1, a(0)=0, a(1)=3.
Can be defined for negative n by setting a(-n) = - a(n-1) - 1 for all n in Z.
a(n) = a(n-1) + 10*a(n-2) - 10*a(n-3) - a(n-4) + a(n-5). (End)

A077290 Triangular numbers that are 6 times other triangular numbers.

Original entry on oeis.org

0, 6, 36, 630, 3570, 61776, 349866, 6053460, 34283340, 593177346, 3359417496, 58125326490, 329188631310, 5695688818716, 32257126450926, 558119378907720, 3160869203559480, 54690003444137886, 309732924822378156, 5359062218146605150, 30350665763389499850
Offset: 0

Views

Author

Bruce Corrigan (scentman(AT)myfamily.com), Nov 03 2002

Keywords

Examples

			The k-th triangular number is T(k) = k*(k+1)/2, so T(35)/T(14) = (35*36/2)/(14*15/2) = 630/105 = 6, so T(35)=630 is a term. - _Jon E. Schoenfield_, Feb 20 2021
		

Crossrefs

Subsequence of A000217.

Programs

  • Maple
    f := gfun:-rectoproc({a(-2) = 6, a(-1) = 0, a(0) = 0, a(1) = 6, a(n) = 98*a(n-2)-a(n-4)+42}, a(n), remember); map(f, [`$`(0 .. 1000)])[]; # Vladimir Pletser, Feb 20 2021
  • Mathematica
    CoefficientList[Series[-6 x (x^2 + 5 x + 1)/((x - 1) (x^2 - 10 x + 1) (x^2 + 10 x + 1)), {x, 0, 20}], x] (* Michael De Vlieger, Apr 21 2021 *)
  • PARI
    T(n)=n*(n+1)\2;
    istriang(n)=issquare(8*n+1);
    for(n=0,10^10, t=T(n); if ( t%6==0 && istriang(t\6), print1(t,", ") ) );
    \\ Joerg Arndt, Jul 03 2013
    
  • PARI
    concat(0, Vec(-6*x*(x^2+5*x+1) / ((x-1)*(x^2-10*x+1)*(x^2+10*x+1)) + O(x^100))) \\ Colin Barker, May 15 2015

Formula

a(n) = 6*A077289(n).
G.f.: -6*x*(x^2+5*x+1) / ((x-1)*(x^2-10*x+1)*(x^2+10*x+1)). - Colin Barker, Jul 02 2013
a(n) = 98*a(n-2) - a(n-1) + 42. - Vladimir Pletser, Feb 20 2021

Extensions

More terms from Joerg Arndt, Jul 03 2013

A080806 Positive integer values of n such that 6*n^2-5 is a square.

Original entry on oeis.org

1, 3, 7, 29, 69, 287, 683, 2841, 6761, 28123, 66927, 278389, 662509, 2755767, 6558163, 27279281, 64919121, 270037043, 642633047, 2673091149, 6361411349, 26460874447, 62971480443, 261935653321, 623353393081, 2592895658763
Offset: 1

Views

Author

John W. Layman, Mar 24 2003

Keywords

Comments

The corresponding sequence for which 6n^2-6 is a square is A001079.
Positive values of x (or y) satisfying x^2 - 10xy + y^2 + 20 = 0. - Colin Barker, Feb 09 2014

Examples

			29 is a term of the sequence since 6*29^2 - 5 = 5041 = 71^2.
		

Crossrefs

Programs

  • Magma
    I:=[1,3,7,29]; [n le 4 select I[n] else 10*Self(n-2)-Self(n-4): n in [1..30]]; // Vincenzo Librandi, Feb 10 2014
  • Mathematica
    Do[ If[ IntegerQ[ Sqrt[6n^2 - 5]], Print[n]], {n, 1, 3*10^7}]
    a[1]=1; a[2]=3; a[3]=7; a[4]=29; a[n_] := a[n]=10a[n-2]-a[n-4]
    CoefficientList[Series[(1 - x) (1 + 4 x + x^2)/(1 - 10 x^2 + x^4), {x, 0, 30}], x] (* Vincenzo Librandi, Feb 10 2014 *)

Formula

a(n) = 10*a(n-2)-a(n-4).
G.f.: x*(1-x)*(1+4*x+x^2)/(1-10*x^2+x^4). - Colin Barker, Jun 13 2012
a(2*n+1) = ((6+r)*(5+2*r)^n+(6-r)*(5+2*r)^n)/12, a(2*n+2) = ((18+7*r)*(5+2*r)^n+(18-7*r)*(5-2*r)^n)/12, where r=sqrt(6) and n>=0. - Paul Weisenhorn, Sep 01 2012

Extensions

Extended by Robert G. Wilson v, Apr 14 2003

A103200 a(1)=1, a(2)=2, a(3)=11, a(4)=19; a(n) = a(n-4) + sqrt(60*a(n-2)^2 + 60*a(n-2) + 1) for n >= 5.

Original entry on oeis.org

1, 2, 11, 19, 90, 153, 712, 1208, 5609, 9514, 44163, 74907, 347698, 589745, 2737424, 4643056, 21551697, 36554706, 169676155, 287794595, 1335857546, 2265802057, 10517184216, 17838621864, 82801616185, 140443172858, 651895745267, 1105706761003, 5132364345954
Offset: 1

Views

Author

K. S. Bhanu and M. N. Deshpande, Mar 24 2005

Keywords

Comments

The original version of this question was as follows: Let a(1) = 1, a(2) = 2, a(3) = 11, a(4) = 19; for n = 1..4 let b(n) = sqrt(60 a(n)^2 + 60 a(n) + 1); for n >= 5 let a(n) = a(n-4) + b(n-2), b(n) = sqrt(60 a(n)^2 + 60 a(n) +1). Bhanu and Deshpande ask for a proof that a(n) and b(n) are always integers. The b(n) sequence is A103201.
This sequence is also the interleaving of two sequences c and d that can be extended backwards: c(0) = c(1) = 0, c(n) = sqrt(60 c(n-1)^2 + 60 c(n-1) +1) + c(n-2) giving 0,0,1,11,90,712,5609,... d(0) = 1, d(1) = 0, d(n) = sqrt(60 d(n-1)^2 + 60 d(n-1) +1) + d(n-2) giving 1,0,2,19,153,1208,9514,... and interleaved: 0,1,0,0,1,2,11,19,90,153,712,1208,5609,9514,... lim_{n->infinity} a(n)/a(n-2) = 1/(4 - sqrt(15)), (1/(4-sqrt(15)))^n approaches an integer as n -> infinity. - Gerald McGarvey, Mar 29 2005

References

  • K. S. Bhanu (bhanu_105(AT)yahoo.com) and M. N. Deshpande, An interesting sequence of quadruples and related open problems, Institute of Sciences, Nagpur, India, Preprint, 2005.

Crossrefs

Cf. A103201, A177187 (first differences).

Programs

  • Magma
    I:=[1,2,11,19,90]; [n le 5 select I[n] else Self(n-1)+8*Self(n-2)-8*Self(n-3)-Self(n-4)+Self(n-5): n in [1..30]]; // Vincenzo Librandi, Sep 28 2011
  • Maple
    a[1]:=1: a[2]:=2:a[3]:=11: a[4]:=19: for n from 5 to 31 do a[n]:=a[n-4]+sqrt(60*a[n-2]^2+60*a[n-2]+1) od:seq(a[n],n=1..31); # Emeric Deutsch, Apr 13 2005
  • Mathematica
    RecurrenceTable[{a[1]==1,a[2]==2,a[3]==11,a[4]==19,a[n]==a[n-4]+ Sqrt[60a[n-2]^2+60a[n-2]+1]},a[n],{n,40}] (* or *) LinearRecurrence[ {1,8,-8,-1,1},{1,2,11,19,90},40] (* Harvey P. Dale, Sep 27 2011 *)
    CoefficientList[Series[-x*(1 + x + x^2)/((x - 1)*(x^4 - 8*x^2 + 1)), {x, 0, 40}], x] (* T. D. Noe, Jun 04 2012 *)

Formula

Comments from Pierre CAMI and Gerald McGarvey, Apr 20 2005: (Start)
Sequence satisfies a(0)=0, a(1)=1, a(2)=2, a(3)=11; for n > 3, a(n) = 8*a(n-2) - a(n-4) + 3.
G.f.: -x*(1 + x + x^2) / ( (x - 1)*(x^4 - 8*x^2 + 1) ). Note that the 3 = the sum of the coefficients in the numerator of the g.f., 8 appears in the denominator of the g.f. and 8 = 2*3 + 2. Similar relationships hold for other series defined as nonnegative n such that m*n^2 + m*n + 1 is a square, here m=60. Cf. A001652, A001570, A049629, A105038, A105040, A104240, A077288, A105036, A105037. (End)
a(2n) = (A105426(n)-1)/2, a(2n+1) = (A001090(n+2) - 5*A001090(n+1) - 1)/2. - Ralf Stephan, May 18 2007
a(1)=1, a(2)=2, a(3)=11, a(4)=19, a(5)=90, a(n) = a(n-1) + 8*a(n-2) - 8*a(n-3) - a(n-4) + a(n-5). - Harvey P. Dale, Sep 27 2011

Extensions

More terms from Pierre CAMI and Emeric Deutsch, Apr 13 2005

A105038 Nonnegative n such that 6*n^2 + 6*n + 1 is a square.

Original entry on oeis.org

0, 4, 44, 440, 4360, 43164, 427284, 4229680, 41869520, 414465524, 4102785724, 40613391720, 402031131480, 3979697923084, 39394948099364, 389969783070560, 3860302882606240, 38213059042991844, 378270287547312204, 3744489816430130200, 37066627876753989800
Offset: 0

Views

Author

Gerald McGarvey, Apr 03 2005

Keywords

Crossrefs

Programs

  • Mathematica
    CoefficientList[Series[4x/(1-11x+11x^2-x^3),{x,0,30}],x] (* or *) LinearRecurrence[{11,-11,1},{0,4,44},30] (* Harvey P. Dale, Sep 29 2013 *)
  • PARI
    for(n=0,427284,if(issquare(6*n*(n+1)+1),print1(n,",")))
    
  • PARI
    Vec(4*x/(1-11*x+11*x^2-x^3)+O(x^99)) \\ Charles R Greathouse IV, Nov 13 2012

Formula

G.f.: 4*x/(1-11*x+11*x^2-x^3).
a(0)=0, a(1)=4, a(2)=44, a(n)=11*a(n-1)-11*a(n-2)+a(n-3). - Harvey P. Dale, Sep 29 2013
a(n) = (-6-(5-2*sqrt(6))^n*(-3+sqrt(6))+(3+sqrt(6))*(5+2*sqrt(6))^n)/12. - Colin Barker, Mar 05 2016
a(n) = (A072256(n+1) - 1)/2.

Extensions

More terms from Vladeta Jovovic, Apr 05 2005
Incorrect conjectures deleted by N. J. A. Sloane, Nov 24 2010

A336624 Triangular numbers that are one-eighth of other triangular numbers; T(t) such that 8*T(t)=T(u) for some u where T(k) is the k-th triangular number.

Original entry on oeis.org

0, 15, 66, 17391, 76245, 20069280, 87986745, 23159931810, 101536627566, 26726541239541, 117173180224500, 30842405430498585, 135217748442445515, 35592109140254127630, 156041164529401899891, 41073263105447832786516, 180071368649181350028780, 47398510031577658781511915
Offset: 0

Views

Author

Vladimir Pletser, Aug 07 2020

Keywords

Comments

The triangular numbers T(t) that are one-eighth of other triangular numbers T(u) : T(t)=T(u)/8. The t's are in A336623, the T(u)'s are in A336626 and the u's are in A336625.
Can be defined for negative n by setting a(n) = a(-1-n) for all n in Z.

Examples

			a(1)= 15 is a term because it is triangular and 8*15 = 120 is also triangular.
a(2) = 1154*a(0) - a(-2) + 81 = 0 - 15 + 81 = 66;
a(3) = 1154*a(1) - a(-1) + 81 = 1154*15 - 0 + 81 = 17391, etc.
		

Crossrefs

Programs

  • Maple
    f := gfun:-rectoproc({a(n) = 1154*a(n - 2) - a(n - 4) + 81, a(1) = 15, a(0) = 0, a(-1) = 0, a(-2) = 15}, a(n), remember): map(f, [$ (0 .. 40)])[]; #
  • Mathematica
    LinearRecurrence[{1, 1154, -1154, -1, 1}, {0, 15, 66, 17391, 76245}, 18] (* Amiram Eldar, Aug 08 2020 *)
    FullSimplify[Table[((Sqrt[2] + 1)^(4*n + 2)*(11 - 6*(-1)^n*Sqrt[2]) + (Sqrt[2] - 1)^(4*n + 2)*(11 + 6*(-1)^n*Sqrt[2]) - 18)/256, {n, 0, 17}]] (* Vaclav Kotesovec, Sep 08 2020 *)
    Select[Accumulate[Range[0, 10^6]]/8, OddQ[Sqrt[8 # + 1]] &] (* The program generates the first 8 terms of the sequence. *) (* Harvey P. Dale, Jan 15 2024 *)
  • PARI
    concat(0, Vec(3*x*(5 + 17*x + 5*x^2) / ((1 - x)*(1 - 34*x + x^2)*(1 + 34*x + x^2)) + O(x^40))) \\ Colin Barker, Aug 08 2020

Formula

a(n) = 1154*a(n-2) - a(n-4) + 81, for n>=2 with a(1)=15, a(0)=0, a(-1)=0, a(-2)=15.
a(n) = a(n-1) + 1154*a(n-2) - 1154*a(n-3) - a(n-4) + a(n-5), for n>=3 with a(2)=66, a(1)=15, a(0)=0, a(-1)=0, a(-2)=15.
a(n) = b(n)*(b(n)+1)/2 where b(n) is A336623(n).
G.f.: 3*x*(5 + 17*x + 5*x^2) / ((1 - x)*(1 - 34*x + x^2)*(1 + 34*x + x^2)). - Colin Barker, Aug 08 2020
a(n) = ((sqrt(2) + 1)^(4*n + 2) * (11 - 6*(-1)^n*sqrt(2)) + (sqrt(2) - 1)^(4*n + 2) * (11 + 6*(-1)^n*sqrt(2)) - 18)/256. - Vaclav Kotesovec, Sep 08 2020
From Vladimir Pletser, Feb 21 2021: (Start)
a(n) = ((11 - 6*sqrt(2))*(1 + sqrt(2))^(4n + 2) + (11 + 6*sqrt(2))*(1 - sqrt(2) )^(4n + 2) - 18) / 256 for even n.
a(n) = ((11 + 6*sqrt(2))*(1 + sqrt(2) )^(4n + 2) + (11 - 6*sqrt(2))*(1 - sqrt(2) )^(4n + 2) - 18) / 256 for odd n. (End)
128*a(n) = -9+33*A077420(n)-24*(-1)^n*A046176(n+1). - R. J. Mathar, May 05 2023

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

Original entry on oeis.org

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

Views

Author

Vladimir Pletser, Aug 13 2020

Keywords

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.

Examples

			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.
		

Crossrefs

Programs

  • 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 *)
  • 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

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)

A336623 First member of the Diophantine pair (m, k) that satisfies 8*(m^2 + m) = k^2 + k; a(n) = m.

Original entry on oeis.org

0, 5, 11, 186, 390, 6335, 13265, 215220, 450636, 7311161, 15308375, 248364270, 520034130, 8437074035, 17665852061, 286612152936, 600118935960, 9736376125805, 20386377970595, 330750176124450, 692536732064286, 11235769612105511, 23525862512215145, 381685416635462940
Offset: 0

Views

Author

Vladimir Pletser, Aug 07 2020

Keywords

Comments

The indices of triangular numbers that are one-eighth of other triangular numbers [m of T(m) such that T(m)=T(k)/8]. The T(m)'s are in A336624, the T(k)'s are in A336626 and the k's are in A336625.
Also, nonnegative m such that 32*m^2 + 32*m + 1 is a square.
Can be defined for negative n by setting a(n) = a(-1-n) for all n in Z.

Examples

			a(2) = 34 a(0) - a(-2)+16=0 -5 +16 = 11 ; a(3) = 34 a(1) - a(-1)+16 = 34*5 -0 +16 = 186, etc.
		

Crossrefs

Programs

  • Maple
    f := gfun:-rectoproc({a(n) = 34*a(n - 2) - a(n - 4) + 16, a(1) = 5, a(0) = 0, a(-1) = 0,  a(-2) = 5}, a(n), remember); map(f, [$ (0 .. 50)]); #
  • Mathematica
    LinearRecurrence[{1, 34, -34, -1, 1}, {0, 5, 11, 186, 390}, 24] (* Amiram Eldar, Aug 08 2020 *)
    FullSimplify[Table[((3*Sqrt[2] - 2*(-1)^n)*(1 + Sqrt[2])^(2*n + 1) + (3*Sqrt[2] + 2*(-1)^n)*(Sqrt[2] - 1)^(2*n + 1) - 8)/16, {n, 0, 20}]] (* Vaclav Kotesovec, Sep 08 2020 *)
  • PARI
    concat(0, Vec(x*(5 + 6*x + 5*x^2) / ((1 - x)*(1 - 6*x + x^2)*(1 + 6*x + x^2)) + O(x^22))) \\ Colin Barker, Aug 08 2020

Formula

a(n) = 34 a(n-2) - a(n-4) + 16 for n>=2, with a(1)=5, a(0)=0, a(-1)=0, a(-2)=5.
a(n) = a(n-1) + 34 a(n-2) - 34 a(n-3) - a(n-4)+ a(n-5) for n>=3 with a(2)=11, a(1)=5, a(0)=0, a(-1)=0, a(-2)=5.
a(n) = (C+((-1)^n)*D)*A^n + (E+((-1)^n)*F)*B^n -1/2 with A = (sqrt(2) + 1)^2 ; B = (sqrt(2) - 1)^2 ; C = 3*(2 + sqrt(2))/16 ; D = -(1 + sqrt(2))/8 ; E = 3*(2 - sqrt(2))/16 ; F = (sqrt(2) - 1)/8 and n>=0.
a(n) = (-1 + sqrt(8*b(n) + 1))/2 where b(n) = A336624(n).
G.f.: x*(5 + 6*x + 5*x^2) / ((1 - x)*(1 - 6*x + x^2)*(1 + 6*x + x^2)). - Colin Barker, Aug 08 2020
a(n) = ((3*sqrt(2) - 2*(-1)^n) * (1 + sqrt(2))^(2*n + 1) + (3*sqrt(2) + 2*(-1)^n) * (sqrt(2) - 1)^(2*n + 1) - 8)/16. - Vaclav Kotesovec, Sep 08 2020
Comment from _Vladimir Pletser, Feb 21 2021: (Start)
a(n) = ((4 + sqrt(2))(1 + sqrt(2))^(2n) + (4 - sqrt(2))(1 - sqrt(2))^(2n))/16 - 1/2 for even n.
a(n) = ((8 + 5 sqrt(2))(1 + sqrt(2))^(2n) + (8 - 5 sqrt(2))(1 - sqrt(2))^(2n))/16 - 1/2 for odd n. (End)
Showing 1-10 of 14 results. Next