A001834 -id:A001834 - cp's OEIS frontend

A092184 Sequence S_6 of the S_r family.

0, 1, 6, 25, 96, 361, 1350, 5041, 18816, 70225, 262086, 978121, 3650400, 13623481, 50843526, 189750625, 708158976, 2642885281, 9863382150, 36810643321, 137379191136, 512706121225, 1913445293766, 7141075053841, 26650854921600, 99462344632561, 371198523608646

Offset: 0

Rainer Rosenthal, Apr 03 2004

The r-family of sequences is S_r(n) = 2*(T(n,(r-2)/2) - 1)/(r-4) provided r is not equal to 4 and S_4(n) = n^2 = A000290(n). Here T(n,x) are Chebyshev's polynomials of the first kind. See their coefficient triangle A053120. See also the R. Stephan link for the explicit formula for s_k(n) for k not equal to 4 (Stephan's s_k(n) is identical with S_r(n)).
An integer n is in this sequence iff mutually externally tangent circles with radii n, n+1, n+2 have Soddy circles (i.e., circles tangent to all three) of rational radius. - James R. Buddenhagen, Nov 16 2005
This sequence is a divisibility sequence, i.e., a(n) divides a(m) whenever n divides m. It is the case P1 = 6, P2 = 8, Q = 1 of the 3-parameter family of 4th-order linear divisibility sequences found by Williams and Guy. - Peter Bala, Mar 25 2014
a(n) is the block size of the (n-1)-th design in a sequence of multi-set designs with 2 blocks, see A335649. - John P. McSorley, Jun 22 2020

			a(3)=25 because a(1)=1 and a(2)=6 and a(1)*a(3) = 1*25 = (6-1)^2 = (a(2)-1)^2.

Hugo Pfoertner, Table of n, a(n) for n = 0..250
Marco Abrate, Stefano Barbero, Umberto Cerruti, Nadir Murru, Polynomial sequences on quadratic curves, Integers, Vol. 15, 2015, #A38.
Peter Bala, Linear divisibility sequences and Chebyshev polynomials
Ioana-Claudia Lazăr, Lucas sequences in t-uniform simplicial complexes, arXiv:1904.06555 [math.GR], 2019.
R. Stephan, Boring proof of a nonlinearity
H. C. Williams and R. K. Guy, Some fourth-order linear divisibility sequences, Intl. J. Number Theory 7 (5) (2011) 1255-1277.
H. C. Williams and R. K. Guy, Some Monoapparitic Fourth Order Linear Divisibility Sequences Integers, Volume 12A (2012) The John Selfridge Memorial Volume.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (5,-5,1).

See A001110=S_36 for further references to S_r sequences.

Other members of this r-family are: A007877 (r=2), |A078070| (r=3), A004146 (r=5), A054493 (r=7). A098306, A100047. A001353, A001834. A001350, A052530.

[Floor(1/2*(-2+(2+Sqrt(3))^n+(2-Sqrt(3))^n)): n in [0..30]]; // Vincenzo Librandi, Oct 14 2015

A092184 := proc(n)
    option remember;
    if n <= 1 then
        n;
    else
        4*procname(n-1)-procname(n-2)+2 ;
    end if ;
end proc:
seq(A092184(n),n=0..10) ;# Zerinvary Lajos, Mar 09 2008

Table[Simplify[ -((2 + Sqrt[3])^n - 1)*((2 - Sqrt[3])^n - 1)]/2, {n, 0, 26}] (* Stefan Steinerberger, May 15 2007 *)
LinearRecurrence[{5,-5,1},{0,1,6},27] (* Ray Chandler, Jan 27 2014 *)
CoefficientList[Series[x (1 + x)/(1 - 5 x + 5 x^2 - x^3), {x, 0, 40}], x] (* Vincenzo Librandi, Oct 14 2015 *)

Vec(x*(1+x)/(1 - 5*x + 5*x^2 - x^3) + O(x^50)) \\ Michel Marcus, Oct 14 2015

S_r type sequences are defined by a(0)=0, a(1)=1, a(2)=r and a(n-1)*a(n+1) = (a(n)-1)^2. This sequence emanates from r=6.
a(n) = 1/2*(-2 + (2+sqrt(3))^n + (2-sqrt(3))^n). - Ralf Stephan, Apr 14 2004
G.f.: x*(1+x)/(1 - 5*x + 5*x^2 - x^3) = x*(1+x)/((1-x)*(1 - 4*x + x^2)). [from the Ralf Stephan link]
a(n) = T(n, 2)-1 = A001075(n)-1, with Chebyshev's polynomials T(n, 2) of the first kind.
a(n) = b(n) + b(n-1), n >= 1, with b(n):=A061278(n) the partial sums of S(n, 4) = U(n, 2) = A001353(n+1) Chebyshev's polynomials of the second kind.
An integer k is in this sequence iff k is nonnegative and (k^2 + 2*k)/3 is a square. - James R. Buddenhagen, Nov 16 2005
a(0)=0, a(1)=1, a(n+1) = 3 + floor(a(n)*(2+sqrt(3))). - Anton Vrba (antonvrba(AT)yahoo.com), Jan 16 2007
a(n) = 4*a(n-1) - a(n-2) + 2. - Zerinvary Lajos, Mar 09 2008
From Peter Bala, Mar 25 2014: (Start)
a(2*n) = 6*A001353(n)^2; a(2*n+1) = A001834(n)^2.
a(n) = u(n)^2, where {u(n)} is the Lucas sequence in the quadratic integer ring Z[sqrt(6)] defined by the recurrence u(0) = 0, u(1) = 1, u(n) = sqrt(6)*u(n-1) - u(n-2) for n >= 2.
Equivalently, a(n) = U(n-1,sqrt(6)/2)^2, where U(n,x) denotes the Chebyshev polynomial of the second kind.
a(n) = (1/2)*( ((sqrt(6) + sqrt(2))/2)^n - ((sqrt(6) - sqrt(2))/2)^n )^2.
a(n) = bottom left entry of the 2 X 2 matrix T(n, M), where M is the 2 X 2 matrix [0, -2; 1, 3] and T(n,x) denotes the Chebyshev polynomial of the first kind. Cf. A098306.
See the remarks in A100047 for the general connection between Chebyshev polynomials of the first kind and 4th-order linear divisibility sequences. (End)
exp( Sum_{n >= 1} 2*a(n)*x^n/n ) = 1 + Sum_{n >= 1} A052530(n)*x^n. Cf. A001350. - Peter Bala, Mar 19 2015
E.g.f.: exp(2*x)*cosh(sqrt(3)*x) - cosh(x) - sinh(x). - Stefano Spezia, Oct 13 2019

Extension and Chebyshev comments from Wolfdieter Lang, Sep 10 2004

A033890 a(n) = Fibonacci(4*n + 2).

Original entry on oeis.org

1, 8, 55, 377, 2584, 17711, 121393, 832040, 5702887, 39088169, 267914296, 1836311903, 12586269025, 86267571272, 591286729879, 4052739537881, 27777890035288, 190392490709135, 1304969544928657, 8944394323791464, 61305790721611591, 420196140727489673

Offset: 0

N. J. A. Sloane

(x,y) = (a(n), a(n+1)) are solutions of (x+y)^2/(1+xy)=9, the other solutions are in A033888. - Floor van Lamoen, Dec 10 2001
This sequence consists of the odd-indexed terms of A001906 (whose terms are the values of x such that 5*x^2 + 4 is a square). The even-indexed terms of A001906 are in A033888. Limit_{n->infinity} a(n)/a(n-1) = phi^4 = (7 + 3*sqrt(5))/2. - Gregory V. Richardson, Oct 13 2002
General recurrence is a(n) = (a(1)-1)*a(n-1) - a(n-2), a(1) >= 4, lim_{n->infinity} a(n) = x*(k*x+1)^n, k = a(1) - 3, x = (1 + sqrt((a(1)+1)/(a(1)-3)))/2. Examples in OEIS: a(1)=4 gives A002878. a(1)=5 gives A001834. a(1)=6 gives A030221. a(1)=7 gives A002315. a(1)=8 gives A033890. a(1)=9 gives A057080. a(1)=10 gives A057081. - Ctibor O. Zizka, Sep 02 2008
Indices of square numbers which are also 12-gonal. - Sture Sjöstedt, Jun 01 2009
For positive n, a(n) equals the permanent of the (2n) X (2n) tridiagonal matrix with 3's along the main diagonal, and i's along the superdiagonal and the subdiagonal (i is the imaginary unit). - John M. Campbell, Jul 08 2011
If we let b(0) = 0 and, for n >= 1, b(n) = A033890(n-1), then the sequence b(n) will be F(4n-2) and the first difference is L(4n) or A056854. F(4n-2) is also the ratio of golden spiral length (rounded to the nearest integer) after n rotations. L(4n) is also the pitch length ratio. See illustration in links. - Kival Ngaokrajang, Nov 03 2013
The aerated sequence (b(n))n>=1 = [1, 0, 8, 0, 55, 0, 377, 0, ...] is a fourth-order linear divisibility sequence; that is, if n | m then b(n) | b(m). It is the case P1 = 0, P2 = -5, Q = -1 of the 3-parameter family of divisibility sequences found by Williams and Guy. See A100047. - Peter Bala, Mar 22 2015
Solutions y of Pell equation x^2 - 5*y^2 = 4; corresponding x values are in A342710 (see A342709). - Bernard Schott, Mar 19 2021

G. C. Greubel, Table of n, a(n) for n = 0..1000
Marco Abrate, Stefano Barbero, Umberto Cerruti, and Nadir Murru, Polynomial sequences on quadratic curves, Integers, Vol. 15, 2015, #A38.
Nathan D. Cahill and Darren A. Narayan, Fibonacci and Lucas Numbers as Tridiagonal Matrix Determinants, Fib. Quart. 42, no. 3, Aug. 2004, pp. 216-221. See p. 219.
Alex Fink, Richard K. Guy, and Mark Krusemeyer, Partitions with parts occurring at most thrice, Contributions to Discrete Mathematics, Vol 3, No 2 (2008), pp. 76-114. See Section 13.
Tanya Khovanova, Recursive Sequences
Donatella Merlini and Renzo Sprugnoli, Arithmetic into geometric progressions through Riordan arrays, Discrete Mathematics 340.2 (2017): 160-174.
Kival Ngaokrajang, Illustration of golden spiral length and pitch ratio
H. C. Williams and R. K. Guy, Some fourth-order linear divisibility sequences, Intl. J. Number Theory 7 (5) (2011) 1255-1277.
H. C. Williams and R. K. Guy, Some Monoapparitic Fourth Order Linear Divisibility Sequences, Integers, Volume 12A (2012) The John Selfridge Memorial Volume.
Index entries for linear recurrences with constant coefficients, signature (7,-1).
Index entries for sequences related to Chebyshev polynomials.

Cf. A000045, A001906, A100047.

Cf. A342709, A342710.

[Fibonacci(4*n +2): n in [0..100]]; // Vincenzo Librandi, Apr 17 2011

A033890 := proc(n)
    option remember;
    if n <= 1 then
        op(n+1,[1,8]);
    else
        7*procname(n-1)-procname(n-2) ;
    end if;
end proc: # R. J. Mathar, Apr 30 2017

Table[Fibonacci[4n + 2], {n, 0, 14}] (* Vladimir Joseph Stephan Orlovsky, Jul 21 2008 *)
LinearRecurrence[{7, -1}, {1, 8}, 50] (* G. C. Greubel, Jul 13 2017 *)
a[n_] := (GoldenRatio^(2 (1 + 2 n)) - GoldenRatio^(-2 (1 + 2 n)))/Sqrt[5]
Table[a[n] // FullSimplify, {n, 0, 21}] (* Gerry Martens, Aug 20 2025 *)

PARI
```
a(n)=fibonacci(4*n+2);
```

G.f.: (1+x)/(1-7*x+x^2).
a(n) = 7*a(n-1) - a(n-2), n > 1; a(0)=1, a(1)=8.
a(n) = S(n,7) + S(n-1,7) = S(2*n,sqrt(9) = 3), where S(n,x) = U(n,x/2) are Chebyshev's polynomials of the 2nd kind. Cf. A049310. S(n,7) = A004187(n+1), S(n,3) = A001906(n+1).
a(n) = ((7+3*sqrt(5))^n - (7-3*sqrt(5))^n + 2*((7+3*sqrt(5))^(n-1) - ((7-3*sqrt(5))^(n-1)))) / (3*(2^n)*sqrt(5)). - Gregory V. Richardson, Oct 13 2002
Let q(n, x) = Sum_{i=0..n} x^(n-i)*binomial(2*n-i, i); then a(n) = (-1)^n*q(n, -9). - Benoit Cloitre, Nov 10 2002
a(n) = L(n,-7)*(-1)^n, where L is defined as in A108299; see also A049685 for L(n,+7). - Reinhard Zumkeller, Jun 01 2005
Define f(x,s) = s*x + sqrt((s^2-1)*x^2+1); f(0,s)=0. a(n) = f(a(n-1),7/2) + f(a(n-2),7/2). - Marcos Carreira, Dec 27 2006
a(n+1) = 8*a(n) - 8*a(n-1) + a(n-2); a(1)=1, a(2)=8, a(3)=55. - Sture Sjöstedt, May 27 2009
a(n) = A167816(4*n+2). - Reinhard Zumkeller, Nov 13 2009
a(n)=b such that (-1)^n*Integral_{0..Pi/2} (cos((2*n+1)*x))/(3/2-sin(x)) dx = c + b*log(3). - Francesco Daddi, Aug 01 2011
a(n) = A000045(A016825(n)). - Michel Marcus, Mar 22 2015
a(n) = A001906(2*n+1). - R. J. Mathar, Apr 30 2017
E.g.f.: exp(7*x/2)*(5*cosh(3*sqrt(5)*x/2) + 3*sqrt(5)*sinh(3*sqrt(5)*x/2))/5. - Stefano Spezia, Apr 14 2025
From Peter Bala, Jun 08 2025: (Start)
Sum_{n >= 1} (-1)^(n+1)/(a(n) - 1/a(n)) = 1/9 [telescoping series: 3/(a(n) - 1/a(n)) = 1/Fibonacci(4*n+4) + 1/Fibonacci(4*n)].
Product_{n >= 1} (a(n) + 3)/(a(n) - 3) = 5/2 [telescoping product:
(a(n) + 3)/(a(n) - 3) = b(n)/b(n-1), where b(n) = (Lucas(4*n+4) - 3)/(Lucas(4*n+4) + 3)].
Product_{n >= 1} (a(n) + 1)/(a(n) - 1) = sqrt(9/5) [telescoping product:
(a(n) + 1)/(a(n) - 1) = c(n)/c(n-1) for n >= 1, where c(n) = Fibonacci(2*n+2)/Lucas(2*n+2)]. (End)
From Gerry Martens, Aug 20 2025: (Start)
a(n) = ((3 + sqrt(5))^(1 + 2*n) - (3 - sqrt(5))^(1 + 2*n)) / (2^(1 + 2*n)*sqrt(5)).
a(n) = Sum_{k=0..2*n} binomial(2*n + k + 1, 2*k + 1). (End)

A140480 RMS numbers: numbers n such that root mean square of divisors of n is an integer.

Original entry on oeis.org

1, 7, 41, 239, 287, 1673, 3055, 6665, 9545, 9799, 9855, 21385, 26095, 34697, 46655, 66815, 68593, 68985, 125255, 155287, 182665, 242879, 273265, 380511, 391345, 404055, 421655, 627215, 730145, 814463, 823537, 876785, 1069895, 1087009, 1166399, 1204281, 1256489

Offset: 1

Ctibor O. Zizka, Jun 29 2008, Jul 11 2008

For any numbers, A and B, both appearing in the sequence, if gcd(A,B)=1, then A*B is also in the sequence. - Andrew Weimholt, Jul 01 2008
The primes in this sequence are the NSW primes (A088165). For the terms less than 2^31, the only powers greater than 1 appearing in the prime factorization of numbers are 3^3 and 13^2. It appears that all terms are +-1 (mod 8). See A224988 for even numbers. - T. D. Noe, Jul 06 2008, Apr 25 2013
A basis for this sequence is given by A002315. This can be considered as the convergents of quasiregular continued fractions or a special 6-ary numeration system (see A. S. Fraenkel) which gives the characterization of positions of some heap or Wythoff game. What is the Sprague-Grundy function of this game?
Sequence generalized: sigma_r-numbers are numbers n for which sigma_r(n)/sigma_0(n) = c^r. Sigma_r(n) denotes sum of r-th powers of divisors of n; c,r positive integers. This sequence are sigma_2-numbers, A003601 are sigma_1-numbers. In a weaker form we have sigma_r(n)/sigma_0(n) = c^t; t is an integer from <1,r>. - Ctibor O. Zizka, Jul 14 2008
The primes in this sequence are prime numerators with an odd index in A001333. The RMS values (A141812) of prime RMS numbers (this sequence) are prime Pell numbers (A000129) with an odd index. - Ctibor O. Zizka, Aug 13 2008
From Ctibor O. Zizka, Aug 30 2008: (Start)
The set of RMS numbers n could be split into subsets according to the number and form of divisors of n. By definition, RMS(n) = sqrt(sigma_2(n) / sigma_0(n)) should be an integer. Now consider some examples. For n prime number, n has 2 divisors [1,n] and we have to solve Pell's equation n^2 = 2*C^2 - 1; C positive integer. The solution is a prime n of the form u(i) = 6*u(i-1) - u(i-2), i >= 2, u(0)=1, u(1)=7, known as an NSW prime (A088165). For n = p_1*p_2, p_1 and p_2 primes, n has 4 divisors {1; p_1; p_2; p_1*p_2}. There are 2 possible cases. Firstly p^2 = (2*C)^2 - 1 which does not hold for any prime p; secondly p_1^2 = 2*C_1^2 - 1 and p_2^2 = 2*C_2^2 - 1; C_1 and C_2 positive integers.
The solution is that p_1 and p_2 are different NSW primes. If n = p^3, divisors of n are {1; p; p^2; p^3} and we have to solve the Diophantine equation (p^8 - 1)/(p - 1) = (2*C)^2. This equation has no solution for any prime p. RMS numbers n with 4 divisors are only of the form n = p_1*p_2, with p_1 and p_2 NSW primes. The general case is n = p_1*...*p_t, n has 2^t divisors, and for t >= 3, NSW primes are not the only solution. If some of the prime divisors are equals p_i = p_j = ... = p_k, the general case n = p_1*...*p_t is "degenerate" because of the multiplicity of prime factors and therefore n has fewer than 2^t divisors. (End)
General recurrence is a(n) = (a(1)-1)*a(n-1) - a(n-2), a(1) >= 4, lim_{n->infinity} a(n) = x*(k*x+1)^n, k = a(1) - 3, x = (1 + sqrt((a(1)+1)/(a(1)-3)))/2. Examples in OEIS: a(1)=4 gives A002878, whose prime terms give A121534. a(1)=5 gives A001834, whose prime terms give A086386. a(1)=6 gives A030221, whose prime terms {29, 139, 3191, ...} are not a sequence on the OEIS. a(1)=7 gives A002315, whose prime terms give A088165. a(1)=8 gives A033890; the OEIS does not have its prime terms as a sequence (do there exist any prime terms?). a(1)=9 gives A057080, whose prime terms {71, 34649, 16908641, ...} are not a sequence in the OEIS. a(1)=10 gives A057081, whose prime terms {389806471, 192097408520951, ...} are not a sequence in the OEIS. - Ctibor O. Zizka, Sep 02 2008
16 of the first 1660 terms are even (the smallest is 2217231104). The first 16 even terms are all divisible by 30976. - Donovan Johnson, Apr 16 2013
All the 83 even terms up to 10^13 (see A224988) are divisible by 30976. - Giovanni Resta, Oct 29 2019

Giovanni Resta, Table of n, a(n) for n = 1..7430 (terms < 10^13, first 455 terms from T. D. Noe, terms 456..1660 from Donovan Johnson)
A. S. Fraenkel, Heap games, numeration systems and sequences, arXiv:math/9809074 [math.CO], 1998; Annals of Combinatorics, 2 (1998), 197-210.
Aviezri S. Fraenkel, On the recurrence f(m+1)= b(m)*f(m)-f(m-1) and applications, Discrete Mathematics 224 (2000), pp. 273-279.
H. W. Lenstra Jr., Solving the Pell Equation, Notices of the AMS, Vol.49, No.2, Feb. 2002, p.182-192. [_Ctibor O. Zizka_, Aug 30 2008]
Eric Weisstein's World of Math, Root Mean Square

Cf. A002315, A001653, A001834, A001835, A001599, A000005, A000040, A003601, A010052, A001157, A020486, A158294, A224988.

a140480 n = a140480_list !! (n-1)
a140480_list = filter
    ((== 1) . a010052 . (\x -> a001157 x `div` a000005 x)) a020486_list
-- Reinhard Zumkeller, Jan 15 2013

rmsQ[n_] := IntegerQ[Sqrt[DivisorSigma[2, n]/DivisorSigma[0, n]]]; m = 160000; sel1 = Select[8*Range[0, m]+1, rmsQ]; sel7 = Select[8*Range[m]-1, rmsQ]; Union[sel1, sel7] (* Jean-François Alcover, Aug 31 2011, after T. D. Noe's comment *)
Select[Range[1300000],IntegerQ[RootMeanSquare[Divisors[#]]]&] (* Harvey P. Dale, Mar 24 2016 *)

More terms from T. D. Noe and Andrew Weimholt, Jul 01 2008

A061278 a(n) = 5a(n-1) - 5a(n-2) + a(n-3) with a(1) = 1 and a(k) = 0 if k <= 0.

Original entry on oeis.org

0, 1, 5, 20, 76, 285, 1065, 3976, 14840, 55385, 206701, 771420, 2878980, 10744501, 40099025, 149651600, 558507376, 2084377905, 7779004245, 29031639076, 108347552060, 404358569165, 1509086724601, 5631988329240, 21018866592360, 78443478040201, 292755045568445

Offset: 0

Henry Bottomley, Jun 04 2001

Indices m of triangular numbers T(m) which are one-third of another triangular number: 3*T(m) = T(k); the k's are given by A001571. - Bruce Corrigan (scentman(AT)myfamily.com), Oct 31 2002
On the previous comment: for m=0 this is actually one third of the same triangular number. - Zak Seidov, Apr 07 2011
Also numbers n such that the n-th centered 24-gonal number 12*n*(n+1)+1 is a perfect square A001834(n)^2, where A001834(n) is defined by the recursion: a(0) = 1, a(1) = 5, a(n) = 4*a(n-1) - a(n-2) + 1. - Alexander Adamchuk, Apr 21 2007
Also numbers n such that RootMeanSquare(5,...,6*n-1) is an integer. - Ctibor O. Zizka, Dec 17 2008 (Corrected by Robert K. Moniot, Jul 22 2020)
Also numbers n such that n*(n+1) = Sum_{i=1..x} n+i for some x. (This does not apply to the first term.). - Gil Broussard, Dec 23 2008
From John P. McSorley, May 26 2020: (Start)
Consecutive terms (a(n-1), a(n)) = (u,v) give all points on the hyperbola u^2 - u + v^2 - v - 4*u*v = 0 in quadrant I with both coordinates an integer.
Also related to the block sizes of small multi-set designs. (End)
If a(n) white balls and a(n+1) black balls are mixed in a bag, and a pair of balls is drawn without replacement, the probability that one ball of each color is drawn is exactly 1/3. These are the only integers for which the probability is 1/3. For example, if there are 20 white balls and 76 black balls, the probability of drawing one of each is (20/96)*(76/95) + (76/96)*(20/95) = 1/3. - Elliott Line, May 13 2022

			a(2)=5 and T(5)=15 which is 1/3 of 45=T(9).

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
R. C. Alperin, A nonlinear recurrence and its relations to Chebyshev polynomials, Fib. Q., Vol. 58, No. 2 (2020), 140-142.
Niccolò Castronuovo, On the number of fixed points of the map gamma, arXiv:2102.02739 [math.NT], 2021. Mentions this sequence.
Brian Lawrence and Will Sawin, The Shafarevich conjecture for hypersurfaces in abelian varieties, arXiv:2004.09046 [math.NT], 2020.
Ioana-Claudia Lazăr, Lucas sequences in t-uniform simplicial complexes, arXiv:1904.06555 [math.GR], 2019.
L. A. Medina and A. Straub, On multiple and infinite log-concavity, 2013.
S. Morier-Genoud, V. Ovsienko and S. Tabachnikov, 2-frieze patterns and the cluster structure of the space of polygons, Annales de l'institut Fourier, 62 no. 3 (2012), 937-987. - From _N. J. A. Sloane_, Dec 26 2012
Robert Phillips, A triangular number result, 2009.
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, Triangular Numbers Multiple of Triangular Numbers and Solutions of Pell Equations, arXiv:2102.13494 [math.NT], 2021.
Vladimir Pletser, Congruence Properties of Indices of Triangular Numbers Multiple of Other Triangular Numbers, arXiv:2103.03019 [math.GM], 2021.
Vladimir Pletser, Searching for multiple of triangular numbers being triangular numbers, 2021.
Vladimir Pletser, Using Pell equation solutions to find all triangular numbers multiple of other triangular numbers, 2022.
Eric Weisstein, Centered Polygonal Number.
Index entries for linear recurrences with constant coefficients, signature (5,-5,1).

Cf. A001075, A001353, A001571, A001834, A001835, A079935, A101265. Also cf. A212336 for more sequences with g.f. of the type 1/(1-k*x+k*x^2-x^3).

I:=[0, 1]; [n le 2 select I[n] else 4*Self(n-1) - Self(n-2) + 1: n in [1..30]]; // Vincenzo Librandi, Dec 23 2012

f:= gfun:-rectoproc({a(n) = 5*a(n-1) - 5*a(n-2) + a(n-3),a(1)=1,a(0)=0,a(-1)=0},a(n),remember):
map(f, [$0..50]); # Robert Israel, Jun 05 2015

CoefficientList[Series[x/(1 - 5*x + 5*x^2 - x^3), {x, 0, nn}], x] (* T. D. Noe, Jun 04 2012 *)
LinearRecurrence[{5,-5,1},{0,1,5},30] (* Harvey P. Dale, Dec 23 2012 *)

M = [1, 1, 0; 1, 3, 1; 0, 1, 1]; for(i=1, 30, print1(([1, 0, 0]*M^i)[3], ",")) \\ Lambert Klasen (Lambert.Klasen(AT)gmx.net), Jan 25 2005

a(n) = 4*a(n-1) - a(n-2) + 1.
a(n) = A001075(n) - a(n-1) - 1.
a(n) = (A001835(n+1) - 1)/2 = (A001353(n+1) - A001353(n) - 1)/2.
a(n) = a(n-1) + A001353(n), i.e., partial sum of A001353.
From Bruce Corrigan (scentman(AT)myfamily.com), Oct 31 2002: (Start)
a(n+2) = 4*a(n+1) - a(n) + 1 for a(0)=0, a(1)=1.
G.f.: x/((1 - x)*(1 - 4*x + x^2)).
a(n) = (1/12)*((3 - sqrt(3))*(2 - sqrt(3))^n + (3 + sqrt(3))*(2 + sqrt(3))^n-6). (End)
a(n) = (1/12)*(A003500(n) + A003500(n+1)-6). - Mario Catalani (mario.catalani(AT)unito.it), Apr 11 2003
a(n+1) = Sum_{k=0..n} U(k, 2) = Sum_{k=0..n} S(k, 4), where U(n,x) and S(n,x) are Chebyshev polynomials. - Paul Barry, Nov 14 2003
G.f.: x/(1 - 5*x + 5*x^2 - x^3).
a(n) = A079935(n+1) + A001571(n) for n>0, a(0)=0. - Gerry Martens, Jun 05 2015
a(n)*a(n-2) = a(n-1)*(a(n-1) - 1) for n>1. - Bruno Berselli, Nov 29 2016
From John P. McSorley, May 25 2020: (Start)
a(n)^2 - a(n) + a(n-1)^2 - a(n-1) - 4*a(n)*a(n-1) = 0.
a(n) = A001834(n-1) + a(n-2). (End)
(T(a(n)-1) + T(a(n+1)-1))/T(a(n) + a(n+1) - 1) = 2/3 where T(i) is the i-th triangular number. - Robert K. Moniot, Oct 11 2020
E.g.f.: exp(x)*(exp(x)*(3*cosh(sqrt(3)*x) + sqrt(3)*sinh(sqrt(3)*x)) - 3)/6. - Stefano Spezia, Feb 05 2021
a(n) = A101265(n) - 1. - Jon E. Schoenfield, Jan 01 2022

More terms from Lambert Klasen (Lambert.Klasen(AT)gmx.net), Jan 25 2005

A030221 Chebyshev even-indexed U-polynomials evaluated at sqrt(7)/2.

Original entry on oeis.org

1, 6, 29, 139, 666, 3191, 15289, 73254, 350981, 1681651, 8057274, 38604719, 184966321, 886226886, 4246168109, 20344613659, 97476900186, 467039887271, 2237722536169, 10721572793574, 51370141431701, 246129134364931, 1179275530392954, 5650248517599839

Offset: 0

Wolfdieter Lang

a(n) = L(n,-5)*(-1)^n, where L is defined as in A108299; see also A004253 for L(n,+5). - Reinhard Zumkeller, Jun 01 2005
General recurrence is a(n) = (a(1)-1)*a(n-1) - a(n-2), a(1) >= 4; lim_{n->oo} a(n) = x*(k*x+1)^n, k =(a(1)-3), x=(1+sqrt((a(1)+1)/(a(1)-3)))/2. Examples in OEIS: a(1)=4 gives A002878. a(1)=5 gives A001834. a(1)=6 gives the present sequence. a(1)=7 gives A002315. a(1)=8 gives A033890. a(1)=9 gives A057080. a(1)=10 gives A057081. - Ctibor O. Zizka, Sep 02 2008
The primes in this sequence are 29, 139, 3191, 15289, 350981, 1681651, ... - Ctibor O. Zizka, Sep 02 2008
Inverse binomial transform of A030240. - Philippe Deléham, Nov 19 2009
For positive n, a(n) equals the permanent of the (2n)X(2n) matrix with sqrt(7)'s along the main diagonal, and i's along the superdiagonal and the subdiagonal (i is the imaginary unit). - John M. Campbell, Jul 08 2011
The aerated sequence (b(n))n>=1 = [1, 0, 6, 0, 29, 0, 139, 0, ...] is a fourth-order linear divisibility sequence; that is, if n | m then b(n) | b(m). It is the case P1 = 0, P2 = -3, Q = -1 of the 3-parameter family of divisibility sequences found by Williams and Guy. See A100047 for a connection with Chebyshev polynomials. - Peter Bala, Mar 22 2015
From Wolfdieter Lang, Oct 26 2020: (Start)
((-1)^n)*a(n) = X(n) = ((-1)^n)*(S(n, 5) + S(n-1, 5)) and Y(n) = X(n-1) gives all integer solutions (modulo sign flip between X and Y) of X^2 + Y^2 + 5*X*Y = +7, for n = -oo..+oo, with Chebyshev S polynomials (see A049310), with S(-1, x) = 0, and S(-n, x) = - S(n-2, x), for n >= 2.
This binary indefinite quadratic form of discriminant 21, representing 7, has only this family of proper solutions (modulo sign flip), and no improper ones.
This comment is inspired by a paper by Robert K. Moniot (private communication). See his Oct 04 2020 comment in A027941 related to the case of x^2 + y^2 - 3*x*y = -1 (special Markov solutions). (End)

			G.f. = 1 + 6*x + 29*x^2 + 139*x^3 + 666*x^4 + 3191*x^5 + 15289*x^6 + ...

G. C. Greubel, Table of n, a(n) for n = 0..1000
Marco Abrate, Stefano Barbero, Umberto Cerruti, and Nadir Murru, Polynomial sequences on quadratic curves, Integers, Vol. 15, 2015, #A38.
K. Andersen, L. Carbone, and D. Penta, Kac-Moody Fibonacci sequences, hyperbolic golden ratios, and real quadratic fields, Journal of Number Theory and Combinatorics, Vol 2, No. 3 pp 245-278, 2011. See Section 9.
K. Dilcher and K. B. Stolarsky, A Pascal-type triangle characterizing twin primes, Amer. Math. Monthly, 112 (2005), 673-681. (see page 678)
Alex Fink, Richard K. Guy, and Mark Krusemeyer, Partitions with parts occurring at most thrice, Contributions to Discrete Mathematics, Vol 3, No 2 (2008), pp. 76-114. See Section 13.
Taras Goy and Mark Shattuck, Determinants of Toeplitz-Hessenberg Matrices with Generalized Leonardo Number Entries, Ann. Math. Silesianae (2023). See p. 18.
Christian Kassel and Christophe Reutenauer, Pairs of intertwined integer sequences, arXiv:2507.15780 [math.NT], 2025. See p. 13.
Tanya Khovanova, Recursive Sequences.
Wolfdieter Lang, On polynomials related to powers of the generating function of Catalan's numbers, Fib. Quart. 38 (2000) 408-419. Eq.(44), rhs, m=6.
Ioana-Claudia Lazăr, Lucas sequences in t-uniform simplicial complexes, arXiv:1904.06555 [math.GR], 2019.
Donatella Merlini and Renzo Sprugnoli, Arithmetic into geometric progressions through Riordan arrays, Discrete Mathematics 340.2 (2017): 160-174.
H. C. Williams and R. K. Guy, Some fourth-order linear divisibility sequences, Intl. J. Number Theory 7 (5) (2011) 1255-1277.
H. C. Williams and R. K. Guy, Some Monoapparitic Fourth Order Linear Divisibility Sequences, Integers, Volume 12A (2012) The John Selfridge Memorial Volume.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (5,-1).

Cf. A004253, A004254, A100047, A054493 (partial sums), A049310, A003501 (first differences), A299109 (subsequence of primes).

I:=[1,6]; [n le 2 select I[n] else 5*Self(n-1)-Self(n-2): n in [1..30]]; // Vincenzo Librandi, Mar 22 2015

A030221 := proc(n)
    option remember;
    if n <= 1 then
        op(n+1,[1,6]);
    else
        5*procname(n-1)-procname(n-2) ;
    end if;
end proc: # R. J. Mathar, Apr 30 2017

t[n_, k_?EvenQ] := I^k*Binomial[n-k/2, k/2]; t[n_, k_?OddQ] := -I^(k-1)*Binomial[n+(1-k)/2-1, (k-1)/2]; l[n_, x_] := Sum[t[n, k]*x^(n-k), {k, 0, n}]; a[n_] := (-1)^n*l[n, -5]; Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Jul 05 2013, after Reinhard Zumkeller *)
a[ n_] := ChebyshevU[2 n, Sqrt[7]/2]; (* Michael Somos, Jan 22 2017 *)

{a(n) = simplify(polchebyshev(2*n, 2, quadgen(28)/2))}; /* Michael Somos, Jan 22 2017 */

[(lucas_number2(n,5,1)-lucas_number2(n-1,5,1))/3 for n in range(1,22)] # Zerinvary Lajos, Nov 10 2009

a(n) = 5*a(n-1) - a(n-2), a(-1)=-1, a(0)=1.
a(n) = U(2*n, sqrt(7)/2).
G.f.: (1+x)/(x^2-5*x+1).
a(n) = A004254(n) + A004254(n+1).
a(n) ~ (1/2 + (1/6)*sqrt(21))*((1/2)*(5 + sqrt(21)))^n. - Joe Keane (jgk(AT)jgk.org), May 16 2002
Let q(n, x) = Sum_{i=0..n} x^(n-i)*binomial(2*n-i, i); then a(n) = (-1)^n*q(n, -7). - Benoit Cloitre, Nov 10 2002
A054493(2*n) = a(n)^2 for all n in Z. - Michael Somos, Jan 22 2017
a(n) = -a(-1-n) for all n in Z. - Michael Somos, Jan 22 2017
0 = -7 + a(n)*(+a(n) - 5*a(n+1)) + a(n+1)*(+a(n+1)) for all n in Z. - Michael Somos, Jan 22 2017
a(n) = S(n, 5) + S(n-1, 5) = S(2*n, sqrt(7)) (see above in terms of U), for n >= 0 with S(-1, 5) = 0, where the coefficients of the Chebyshev S polynomials are given in A049310. - Wolfdieter Lang, Oct 26 2020
From Peter Bala, May 16 2025: (Start)
Sum_{n >= 1} (-1)^(n+1)/(a(n) - 1/a(n)) = 1/7 (telescoping series: 7/(a(n) - 1/a(n)) = 1/A004254(n+1) + 1/A004254(n)).
Product_{n >= 1} (a(n) + 1)/(a(n) - 1) = sqrt(7/3) (telescoping product: Product_{k = 1..n} ((a(k) + 1)/(a(k) - 1))^2 = 7/3 * (1 - 8/A231087(n+1))). (End)

A088165 NSW primes: NSW numbers that are also prime.

Original entry on oeis.org

7, 41, 239, 9369319, 63018038201, 489133282872437279, 19175002942688032928599, 123426017006182806728593424683999798008235734137469123231828679

Offset: 1

Christian Schroeder, Sep 21 2003

nonn

Next term a(9) is too large (99 digits) to include here. - Ray Chandler, Sep 21 2003
These primes are the prime RMS numbers (A140480): primes p such that (1+p^2)/2 is a square r^2. Then r is a Pell number, A000129. - T. D. Noe, Jul 01 2008
Also prime numerators with an odd index in A001333. - Ctibor O. Zizka, Aug 13 2008
r in the above note of T. D. Noe is a prime Pell number (A000129) with an odd index. - Ctibor O. Zizka, Aug 13 2008
General recurrence is a(n) = (a(1)-1)*a(n-1) - a(n-2), a(1) >= 4, lim_{n->infinity} a(n) = x*(k*x+1)^n, k = a(1)-3, x = (1+sqrt((a(1)+1)/(a(1)-3)))/2. Examples in the OEIS: a(1)=4 gives A002878, primes in it A121534. a(1)=5 gives A001834, primes in it A086386. a(1)=6 gives A030221, primes in it not in the OEIS {29, 139, 3191, ...}. a(1)=7 gives A002315, primes in it A088165. a(1)=8 gives A033890, primes in it not in the OEIS (do there exist any ?). a(1)=9 gives A057080, primes in it not in the OEIS {71, 34649, 16908641, ...}. a(1)=10 gives A057081, primes in it not in the OEIS {389806471, 192097408520951, ...}. - Ctibor O. Zizka, Sep 02 2008

Paulo Ribenboim, The New Book of Prime Number Records, 3rd edition, Springer-Verlag, New York, 1995, pp. 367-369.

Alois P. Heinz, Table of n, a(n) for n = 1..14
Morris Newman, Daniel Shanks, H. C. Williams, Simple groups of square order and an interesting sequence of primes, Acta Arith., 38 (1980/1981), pp. 129-140.
M. Newman, D. Shanks and L. L. Foster, Simple groups of square order (6176), The American Mathematical Monthly, Vol. 86, No. 4 (Apr., 1979), pp. 314-315.
The Prime Glossary, NSW numbers

Cf. A002315 (NSW numbers), A005850 (indices for NSW primes).

w=3+quadgen(32); forprime(p=2,1e3, if(ispseudoprime(t=imag((1+w)*w^p)), print1(t", "))) \\ Charles R Greathouse IV, Apr 29 2015

a(n) mod A005850(n) = 1. - Altug Alkan, Mar 17 2016

More terms from Ray Chandler, Sep 21 2003

A002531 a(2n) = a(2n-1) + a(2n-2), a(2n+1) = 2a(2n) + a(2*n-1); a(0) = a(1) = 1.

Original entry on oeis.org

1, 1, 2, 5, 7, 19, 26, 71, 97, 265, 362, 989, 1351, 3691, 5042, 13775, 18817, 51409, 70226, 191861, 262087, 716035, 978122, 2672279, 3650401, 9973081, 13623482, 37220045, 50843527, 138907099, 189750626, 518408351, 708158977, 1934726305

Offset: 0

N. J. A. Sloane

Numerators of continued fraction convergents to sqrt(3), for n >= 1.
For the denominators see A002530.
Consider the mapping f(a/b) = (a + 3*b)/(a + b). Taking a = b = 1 to start with and carrying out this mapping repeatedly on each new (reduced) rational number gives the convergents 1/1, 2/1, 5/3, 7/4, 19/11, ... converging to sqrt(3). Sequence contains the numerators. - Amarnath Murthy, Mar 22 2003
In the Murthy comment if we take a = 0, b = 1 then the denominator of the reduced fraction is a(n+1). A083336(n)/a(n+1) converges to sqrt(3). - Mario Catalani (mario.catalani(AT)unito.it), Apr 26 2003
If signs are disregarded, all terms of A002316 appear to be elements of this sequence. - Creighton Dement, Jun 11 2007
2^(-floor(n/2))*(1 + sqrt(3))^n = a(n) + A002530(n)*sqrt(3); integers in the real quadratic number field Q(sqrt(3)). - Wolfdieter Lang, Feb 10 2018
Let T(n) = A000034(n), U(n) = A002530(n), V(n) = a(n), x(n) = U(n)/V(n). Then T(n*m) * U(n+m) = U(n)*V(m) + U(m)*V(n), T(n*m) * V(n+m) = 3*U(n)*U(m) + V(m)*V(n), x(n+m) = (x(n) + x(m))/(1 + 3*x(n)*x(m)). - Michael Somos, Nov 29 2022

			1 + 1/(1 + 1/(2 + 1/(1 + 1/2))) = 19/11 so a(5) = 19.
Convergents are 1, 2, 5/3, 7/4, 19/11, 26/15, 71/41, 97/56, 265/153, 362/209, 989/571, 1351/780, 3691/2131, ... = A002531/A002530.
G.f. = 1 + x + 2*x^2 + 5*x^3 + 7*x^4 + 19*x^5 + 26*x^6 + 71*x^7 + ... - _Michael Somos_, Mar 22 2022

I. Niven and H. S. Zuckerman, An Introduction to the Theory of Numbers. 2nd ed., Wiley, NY, 1966, p. 181.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
A. Tarn, Approximations to certain square roots and the series of numbers connected therewith, Mathematical Questions and Solutions from the Educational Times, 1 (1916), 8-12.

Harry J. Smith, Table of n, a(n) for n = 0..2000
MacTutor, D'Arcy Thompson on Greek irrationals
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992
Albert Tarn, Approximations to certain square roots and the series of numbers connected therewith [Annotated scanned copy]
D'Arcy Thompson, Excess and Defect: Or the Little More and the Little Less, Mind, New Series, Vol. 38, No. 149 (Jan., 1929), pp. 43-55 (13 pages). See page 48.
Hein van Winkel, Q-quadrangles inscribed in a circle, 2014. See Table 1. [Reference from Antreas Hatzipolakis, Jul 14 2014]
Index entries for "core" sequences
Index entries for linear recurrences with constant coefficients, signature (0,4,0,-1).
Index entries for sequences related to Chebyshev polynomials.

Bisections are A001075 and A001834.
Cf. A002530 (denominators), A048788.
Cf. A002316.
Cf. A083332, A199710, A026150, A053120.

a:=[1,1,2,5];; for n in [5..40] do a[n]:=4*a[n-2]-a[n-4]; od; a; # G. C. Greubel, Nov 16 2018

m:=40; R:=PowerSeriesRing(Integers(), m); Coefficients(R!( (1 +x-2*x^2+x^3)/(1-4*x^2+x^4))); // G. C. Greubel, Nov 16 2018

A002531 := proc(n) option remember; if n=0 then 0 elif n=1 then 1 elif n=2 then 1 elif type(n,odd) then A002531(n-1)+A002531(n-2) else 2*A002531(n-1)+A002531(n-2) fi; end; [ seq(A002531(n), n=0..50) ];
with(numtheory): tp := cfrac (tan(Pi/3),100): seq(nthnumer(tp,i), i=-1..32 ); # Zerinvary Lajos, Feb 07 2007
A002531:=(1+z-2*z**2+z**3)/(1-4*z**2+z**4); # Simon Plouffe; see his 1992 dissertation

Insert[Table[Numerator[FromContinuedFraction[ContinuedFraction[Sqrt[3], n]]], {n, 1, 40}], 1, 1] (* Stefan Steinerberger, Apr 01 2006 *)
Join[{1},Numerator[Convergents[Sqrt[3],40]]] (* Harvey P. Dale, Jan 23 2012 *)
CoefficientList[Series[(1 + x - 2 x^2 + x^3)/(1 - 4 x^2 + x^4), {x, 0, 30}], x] (* Vincenzo Librandi, Nov 01 2014 *)
LinearRecurrence[{0, 4, 0, -1}, {1, 1, 2, 5}, 35] (* Robert G. Wilson v, Feb 11 2018 *)
a[ n_] := ChebyshevT[n, Sqrt[-1/2]]*Sqrt[2]^Mod[n,2]/I^n //Simplify; (* Michael Somos, Mar 22 2022 *)
a[ n_] := If[n<0, (-1)^n*a[-n], SeriesCoefficient[ (1 + x - 2*x^2 + x^3) / (1 - 4*x^2 + x^4), {x, 0, n}]]; (* Michael Somos, Sep 23 2024 *)

a(n)=contfracpnqn(vector(n,i,1+(i>1)*(i%2)))[1,1]

apply( {A002531(n,w=quadgen(12))=real((2+w)^(n\/2)*if(bittest(n, 0), w-1, 1))}, [0..30]) \\ M. F. Hasler, Nov 04 2019

{a(n) = if(n<0, (-1)^n*a(-n), polcoeff( (1 + x - 2*x^2 + x^3) / (1 - 4*x^2 + x^4) + x*O(x^n), n))}; /* Michael Somos, Sep 23 2024 */

s=((1+x-2*x^2+x^3)/(1-4*x^2+x^4)).series(x,40); s.coefficients(x, sparse=False) # G. C. Greubel, Nov 16 2018

G.f.: (1 + x - 2*x^2 + x^3)/(1 - 4*x^2 + x^4).
a(2*n) = a(2*n-1) + a(2*n-2), a(2*n+1) = 2*a(2*n) + a(2*n-1), n > 0.
a(2*n) = (1/2)*((2 + sqrt(3))^n+(2 - sqrt(3))^n); a(2*n) = A003500(n)/2; a(2*n+1) = round(1/(1 + sqrt(3))*(2 + sqrt(3))^n). - Benoit Cloitre, Dec 15 2002
a(n) = ((1 + sqrt(3))^n + (1 - sqrt(3))^n)/(2*2^floor(n/2)). - Bruno Berselli, Nov 10 2011
a(n) = A080040(n)/(2*2^floor(n/2)). - Ralf Stephan, Sep 08 2013
a(2*n) = (-1)^n*T(2*n,u) and a(2*n+1) = (-1)^n*1/u*T(2*n+1,u), where u = sqrt(-1/2) and T(n,x) denotes the Chebyshev polynomial of the first kind. - Peter Bala, May 01 2012
a(n) = (-sqrt(2)*i)^n*T(n, sqrt(2)*i/2)*2^(-floor(n/2)) = A026150(n)*2^(-floor(n/2)), n >= 0, with i = sqrt(-1) and the Chebyshev T polynomials (A053120). - Wolfdieter Lang, Feb 10 2018
From Franck Maminirina Ramaharo, Nov 14 2018: (Start)
a(n) = ((1 - sqrt(2))*(-1)^n + 1 + sqrt(2))*(((sqrt(2) - sqrt(6))/2)^n + ((sqrt(6) + sqrt(2))/2)^n)/4.
E.g.f.: cosh(sqrt(3/2)*x)*(sqrt(2)*sinh(x/sqrt(2)) + cosh(x/sqrt(2))). (End)
a(n) = (-1)^n*a(-n) for all n in Z. - Michael Somos, Mar 22 2022
a(n) = 4*a(n-2) - a(n-4). - Boštjan Gec, Sep 21 2023

Name edited (as by discussion in A002530) by M. F. Hasler, Nov 04 2019

A054320 Expansion of g.f.: (1 + x)/(1 - 10*x + x^2).

Original entry on oeis.org

1, 11, 109, 1079, 10681, 105731, 1046629, 10360559, 102558961, 1015229051, 10049731549, 99482086439, 984771132841, 9748229241971, 96497521286869, 955226983626719, 9455772314980321, 93602496166176491, 926569189346784589, 9172089397301669399, 90794324783669909401

Offset: 0

Ignacio Larrosa Cañestro, Feb 27 2000

Chebyshev's even-indexed U-polynomials evaluated at sqrt(3).
a(n)^2 is a star number (A003154).
Any k in the sequence has the successor 5*k + 2*sqrt(3(2*k^2 + 1)). - Lekraj Beedassy, Jul 08 2002
{a(n)} give the values of x solving: 3*y^2 - 2*x^2 = 1. Corresponding values of y are given by A072256(n+1). x + y = A001078(n+1). - Richard R. Forberg, Nov 21 2013
The aerated sequence (b(n))n>=1 = [1, 0, 11, 0, 109, 0, 1079, 0, ...] is a fourth-order linear divisibility sequence; that is, if n | m then b(n) | b(m). It is the case P1 = 0, P2 = -8, Q = -1 of the 3-parameter family of divisibility sequences found by Williams and Guy. See A100047. - Peter Bala, Mar 22 2015

			a(1)^2 = 121 is the 5th star number (A003154).

G. C. Greubel, Table of n, a(n) for n = 0..1000
K. Andersen, L. Carbone, and D. Penta, Kac-Moody Fibonacci sequences, hyperbolic golden ratios, and real quadratic fields, Journal of Number Theory and Combinatorics, Vol 2, No. 3 pp 245-278, 2011. See Section 9.
Editors, L'Intermédiaire des Mathématiciens, Query 4500: The equation x(x+1)/2 = y*(y+1)/3, L'Intermédiaire des Mathématiciens, 22 (1915), 255-260 (I).
Editors, L'Intermédiaire des Mathématiciens, Query 4500: The equation x(x+1)/2 = y*(y+1)/3, L'Intermédiaire des Mathématiciens, 22 (1915), 255-260 (II).
Editors, L'Intermédiaire des Mathématiciens, Query 4500: The equation x(x+1)/2 = y*(y+1)/3, L'Intermédiaire des Mathématiciens, 22 (1915), 255-260 (III).
Editors, L'Intermédiaire des Mathématiciens, Query 4500: The equation x(x+1)/2 = y*(y+1)/3, L'Intermédiaire des Mathématiciens, 22 (1915), 255-260 (IV).
Alex Fink, Richard K. Guy, and Mark Krusemeyer, Partitions with parts occurring at most thrice, Contrib. Discr. Math. 3 (2) (2008), pp. 76-114. See Section 13.
Tanya Khovanova, Recursive Sequences
Eric Weisstein's World of Mathematics, Star Number
H. C. Williams and R. K. Guy, Some fourth-order linear divisibility sequences, Intl. J. Number Theory 7 (5) (2011) 1255-1277.
H. C. Williams and R. K. Guy, Some Monoapparitic Fourth Order Linear Divisibility Sequences, Integers, Volume 12A (2012) The John Selfridge Memorial Volume.
Index entries for linear recurrences with constant coefficients, signature (10,-1).
Index entries for sequences related to Chebyshev polynomials.

A member of the family A057078, A057077, A057079, A005408, A002878, A001834, A030221, A002315, A033890, A057080, A057081, A054320, which are the expansions of (1+x) / (1-kx+x^2) with k = -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10. - Philippe Deléham, May 04 2004
Cf. A003154, A006061, A031138, A007667, A004189.
Cf. A138281. Cf. A100047.
Cf. A142238.

a:=[1,11];; for n in [3..30] do a[n]:=10*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Jul 22 2019

I:=[1,11]; [n le 2 select I[n] else 10*Self(n-1)-Self(n-2): n in [1..30]]; // Vincenzo Librandi, Mar 22 2015

CoefficientList[Series[(1+x)/(1-10x+x^2), {x,0,30}], x] (* Vincenzo Librandi, Mar 22 2015 *)
a[c_, n_] := Module[{},
   p := Length[ContinuedFraction[ Sqrt[ c]][[2]]];
   d := Numerator[Convergents[Sqrt[c], n p]];
   t := Table[d[[1 + i]], {i, 0, Length[d] - 1, p}];
   Return[t];
] (* Complement of A142238 *)
a[3/2, 20] (* Gerry Martens, Jun 07 2015 *)

a(n)=subst(poltchebi(n+1)-poltchebi(n),x,5)/4;

(a(n)-1)^2 + a(n)^2 + (a(n)+1)^2 = b(n)^2 + (b(n)+1)^2 = c(n), where b(n) is A031138 and c(n) is A007667.
a(n) = 10*a(n-1) - a(n-2).
a(n) = (sqrt(6) - 2)/4*(5 + 2*sqrt(6))^(n+1) - (sqrt(6) + 2)/4*(5 - 2*sqrt(6))^(n+1).
a(n) = U(2*(n-1), sqrt(3)) = S(n-1, 10) + S(n-2, 10) with Chebyshev's U(n, x) and S(n, x) := U(n, x/2) polynomials and S(-1, x) := 0. S(n, 10) = A004189(n+1), n >= 0.
6*a(n)^2 + 3 is a square. Limit_{n->oo} a(n)/a(n-1) = 5 + 2*sqrt(6). - Gregory V. Richardson, Oct 13 2002
Let q(n, x) = Sum_{i=0..n} x^(n-i)*binomial(2*n-i, i), then (-1)^n*q(n, -12) = a(n). - Benoit Cloitre, Nov 10 2002
a(n) = L(n,-10)*(-1)^n, where L is defined as in A108299; see also A072256 for L(n,+10). - Reinhard Zumkeller, Jun 01 2005
From Reinhard Zumkeller, Mar 12 2008: (Start)
(sqrt(2) + sqrt(3))^(2*n+1) = a(n)*sqrt(2) + A138288(n)*sqrt(3);
a(n) = A138288(n) + A001078(n).
a(n) = A001079(n) + 3*A001078(n). (End)
a(n) = A142238(2n) = A041006(2n)/2 = A041038(2n)/4. - M. F. Hasler, Feb 14 2009
a(n) = sqrt(A006061(n)). - Zak Seidov, Oct 22 2012
a(n) = sqrt((3*A072256(n)^2 - 1)/2). - T. D. Noe, Oct 23 2012
(sqrt(3) + sqrt(2))^(2*n+1) - (sqrt(3) - sqrt(2))^(2*n+1) = a(n)*sqrt(8). - Bruno Berselli, Oct 29 2019
a(n) = A004189(n)+A004189(n+1). - R. J. Mathar, Oct 01 2021
E.g.f.: exp(5*x)*(2*cosh(2*sqrt(6)*x) + sqrt(6)*sinh(2*sqrt(6)*x))/2. - Stefano Spezia, May 16 2023
From Peter Bala, May 09 2025: (Start)
a(n) = Dir(n, 5), where Dir(n, x) denotes the n-th row polynomial of the triangle A244419.
a(n)^2 - 10*a(n)*a(n+1) + a(n+1)^2 = 12.
More generally, for arbitrary x, a(n+x)^2 - 10*a(n+x)*a(n+x+1) + a(n+x+1)^2 = 12 with a(n) := (sqrt(6) - 2)/4*(5 + 2*sqrt(6))^(n+1) - (sqrt(6) + 2)/4*(5 - 2*sqrt(6))^(n+1) as given above.
a(n+1/2) = sqrt(3) * A001078(n+1).
a(n+3/4) + a(n+1/4) = sqrt(6)*sqrt(sqrt(3) + 1) * A001078(n+1).
a(n+3/4) - a(n+1/4) = sqrt(sqrt(3) - 1) * A001079(n+1).
Sum_{n >= 1} (-1)^(n+1)/(a(n) - 1/a(n)) = 1/12 (telescoping series: for n >= 1, 1/(a(n) - 1/a(n)) = 1/A004291(n) + 1/A004291(n+1)).
Product_{n >= 1} (a(n) + 1)/(a(n) - 1) = sqrt(3/2) (telescoping product: Product_{n = 1..k} ((a(n) + 1)/(a(n) - 1))^2 = 3/2 * (1 - 1/A171640(k+2))). (End)

Chebyshev comments from Wolfdieter Lang, Oct 31 2002

A001571 a(n) = 4*a(n-1) - a(n-2) + 1, with a(0) = 0, a(1) = 2.

Original entry on oeis.org

0, 2, 9, 35, 132, 494, 1845, 6887, 25704, 95930, 358017, 1336139, 4986540, 18610022, 69453549, 259204175, 967363152, 3610248434, 13473630585, 50284273907, 187663465044, 700369586270, 2613814880037, 9754889933879, 36405744855480, 135868089488042

Offset: 0

N. J. A. Sloane

Second member of the Diophantine pair (m,k) that satisfies 3(m^2 + m) = k^2 + k: a(n) = k. - Bruce Corrigan (scentman(AT)myfamily.com), Nov 04 2002

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 0..200
Niccolò Castronuovo, On the number of fixed points of the map gamma, arXiv:2102.02739 [math.NT], 2021. Mentions this sequence.
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, Triangular Numbers Multiple of Triangular Numbers and Solutions of Pell Equations, arXiv:2102.13494 [math.NT], 2021.
Vladimir Pletser, Congruence Properties of Indices of Triangular Numbers Multiple of Other Triangular Numbers, arXiv:2103.03019 [math.GM], 2021.
Vladimir Pletser, Searching for multiple of triangular numbers being triangular numbers, 2021.
Vladimir Pletser, Using Pell equation solutions to find all triangular numbers multiple of other triangular numbers, 2021.
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992.
Jamie Radcliffe and Adam Volk, Generalized saturation problems for cliques, paths, and stars, arXiv:2101.04213 [math.CO], 2021.
V. Thebault, Consecutive cubes with difference a square, Amer. Math. Monthly, 56 (1949), 174-175.
Index entries for linear recurrences with constant coefficients, signature (5,-5,1).

Cf. A001353, A001834, A061278, A071954, A082840.

I:=[0,2]; [n le 2 select I[n] else 4*Self(n-1)-Self(n-2)+1: n in [1..30]]; // Vincenzo Librandi, Jun 07 2015

[(Evaluate(ChebyshevU(n+1), 2) + Evaluate(ChebyshevU(n), 2) - 1)/2 : n in [0..30]]; // G. C. Greubel, Feb 02 2022

f := gfun:-rectoproc({a(0) = 0, a(1) = 2, a(n) = 4*a(n - 1) - a(n - 2) + 1}, a(n), remember): map(f, [$ (0 .. 40)])[]; # Vladimir Pletser, Jul 25 2020

a[0]=0; a[1]=2; a[n_]:= a[n]= 4a[n-1] -a[n-2] +1; Table[a[n], {n, 0, 24}] (* Robert G. Wilson v, Apr 24 2004 *)
Table[(ChebyshevU[n,2] +ChebyshevU[n-1,2] -1)/2, {n,0,30}] (* G. C. Greubel, Feb 02 2022 *)

[(chebyshev_U(n,2) + chebyshev_U(n-1,2) - 1)/2 for n in (0..30)] # G. C. Greubel, Feb 02 2022

a(n) = (A001834(n) - 1)/2.
G.f.: x*(2-x)/( (1-x)*(1-4*x+x^2) ). - Simon Plouffe in his 1992 dissertation.
a(n) = sqrt((-2 + (2 - sqrt(3))^n + (2 + sqrt(3))^n)*(2 + (2 - sqrt(3))^(1 + n) + (2 + sqrt(3))^(1 + n)))/(2*sqrt(2)). - Gerry Martens, Jun 05 2015
E.g.f.: (exp(2*x)*(cosh(sqrt(3)*x) + sqrt(3)*sinh(sqrt(3)*x)) - exp(x))/2. - Franck Maminirina Ramaharo, Nov 12 2018
a(n) = 2*A061278(n) - A061278(n-1). - R. J. Mathar, Feb 06 2020
a(n) = ((1+sqrt(3))*(2+sqrt(3))^n + (1-sqrt(3))*(2-sqrt(3))^n)/4 - (1/2). - Vladimir Pletser, Jan 15 2021
a(n) = (ChebyshevU(n, 2) + ChebyshevU(n-1, 2) - 1)/2. - G. C. Greubel, Feb 02 2022

Better description from Bruce Corrigan (scentman(AT)myfamily.com), Nov 04 2002

More terms and new description from Robert G. Wilson v, Apr 24 2004

A030192 Scaled Chebyshev U-polynomial evaluated at sqrt(6)/2.

Original entry on oeis.org

1, 6, 30, 144, 684, 3240, 15336, 72576, 343440, 1625184, 7690464, 36391680, 172207296, 814893696, 3856118400, 18247348224, 86347378944, 408600184320, 1933516832256, 9149499887616, 43295898332160, 204878390667264, 969494954010624, 4587699380060160

Offset: 0

Wolfdieter Lang

Binomial transform of A001834. - Philippe Deléham, Nov 19 2009

Colin Barker, Table of n, a(n) for n = 0..1000
A. F. Horadam, Special properties of the sequence W_n(a,b; p,q), Fib. Quart., 5.5 (1967), 424-434. Case n->n+1, a=0,b=1; p=6, q=-6.
W. Lang, On polynomials related to powers of the generating function of Catalan's numbers, Fib. Quart. 38 (2000) 408-419. Eqs. (38) and (45), lhs, m=6.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (6,-6).

Cf. A083881.

Join[{a=1,b=6},Table[c=6*b-6*a;a=b;b=c,{n,60}]] (* Vladimir Joseph Stephan Orlovsky, Jan 18 2011 *)

a(n)=([0,1;-6,6]^n*[1;6])[1,1] \\ Charles R Greathouse IV, Jun 12 2015

Vec(1/(6*x^2-6*x+1) + O(x^100)) \\ Colin Barker, Jun 15 2015

[lucas_number1(n,6,6) for n in range(1, 21)] # Zerinvary Lajos, Apr 22 2009

a(n) = center term in M^n * [1 1 1], where M = the 3 X 3 matrix [1 1 1 / 1 4 1 / 1 1 1]. M^n * [1 1 1] = [A083881(n) a(n) A083881(n)]. E.g., a(3) = 144 since M^3 * [1 1 1] = [54 144 54] = [A083881(3) a(3) A083881(3)]. - Gary W. Adamson, Dec 18 2004
a(n) = (sqrt(6))^n*U(n, sqrt(6)/2).
G.f.: 1/(6*(x^2-x+1/6)).
a(2*k+1) = 6^(k+1)*A001353(k), a(2*k) = 6^k*A001834(k).
Preceded by 0, this is the binomial transform of A001353. Its e.g.f. is then exp(3x)*sinh(sqrt(3)x)/sqrt(3). - Paul Barry, May 09 2003
a(n) = Sum_{k=0..n} A109466(n,k)*6^k. - Philippe Deléham, Oct 28 2008
a(n) = ((3+sqrt(3))^n - (3-sqrt(3))^n)/sqrt(12). - Al Hakanson (hawkuu(AT)gmail.com), Dec 29 2008
G.f.: A(x)= 1/(1-6*x+6*x^2) = G(0)/(1-3*x) where G(k) = 1 + 3*x/((1-3*x) - x*(1-3*x)/(x + (1-3*x)/G(k+1))); (recursively defined continued fraction). - Sergei N. Gladkovskii, Dec 28 2012

cp's OEIS Frontend

A092184 Sequence S_6 of the S_r family.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A033890 a(n) = Fibonacci(4*n + 2).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

A140480 RMS numbers: numbers n such that root mean square of divisors of n is an integer.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Mathematica

Extensions

A061278 a(n) = 5*a(n-1) - 5*a(n-2) + a(n-3) with a(1) = 1 and a(k) = 0 if k <= 0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A030221 Chebyshev even-indexed U-polynomials evaluated at sqrt(7)/2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A088165 NSW primes: NSW numbers that are also prime.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

PARI

A061278 a(n) = 5a(n-1) - 5a(n-2) + a(n-3) with a(1) = 1 and a(k) = 0 if k <= 0.

A002531 a(2n) = a(2n-1) + a(2n-2), a(2n+1) = 2a(2n) + a(2*n-1); a(0) = a(1) = 1.