A070997 -id:A070997 - cp's OEIS frontend

A108299 Triangle read by rows, 0 <= k <= n: T(n,k) = binomial(n-[(k+1)/2],[k/2])*(-1)^[(k+1)/2].

1, 1, -1, 1, -1, -1, 1, -1, -2, 1, 1, -1, -3, 2, 1, 1, -1, -4, 3, 3, -1, 1, -1, -5, 4, 6, -3, -1, 1, -1, -6, 5, 10, -6, -4, 1, 1, -1, -7, 6, 15, -10, -10, 4, 1, 1, -1, -8, 7, 21, -15, -20, 10, 5, -1, 1, -1, -9, 8, 28, -21, -35, 20, 15, -5, -1, 1, -1, -10, 9, 36, -28, -56, 35, 35, -15, -6, 1, 1, -1, -11, 10, 45, -36, -84, 56, 70

Offset: 0

Reinhard Zumkeller, Jun 01 2005

Matrix inverse of A124645.
Let L(n,x) = Sum_{k=0..n} T(n,k)*x^(n-k) and Pi=3.14...:
L(n,x) = Product_{k=1..n} (x - 2*cos((2*k-1)*Pi/(2*n+1)));
Sum_{k=0..n} T(n,k) = L(n,1) = A010892(n+1);
Sum_{k=0..n} abs(T(n,k)) = A000045(n+2);
abs(T(n,k)) = A065941(n,k), T(n,k) = A065941(n,k)*A087960(k);
T(2*n,k) + T(2*n+1,k+1) = 0 for 0 <= k <= 2*n;
T(n,0) = A000012(n) = 1; T(n,1) = -1 for n > 0;
T(n,2) = -(n-1) for n > 1; T(n,3) = A000027(n)=n for n > 2;
T(n,4) = A000217(n-3) for n > 3; T(n,5) = -A000217(n-4) for n > 4;
T(n,6) = -A000292(n-5) for n > 5; T(n,7) = A000292(n-6) for n > 6;
T(n,n-3) = A058187(n-3)*(-1)^floor(n/2) for n > 2;
T(n,n-2) = A008805(n-2)*(-1)^floor((n+1)/2) for n > 1;
T(n,n-1) = A008619(n-1)*(-1)^floor(n/2) for n > 0;
T(n,n) = L(n,0) = (-1)^floor((n+1)/2);
L(n,1) = A010892(n+1); L(n,-1) = A061347(n+2);
L(n,2) = 1; L(n,-2) = A005408(n)*(-1)^n;
L(n,3) = A001519(n); L(n,-3) = A002878(n)*(-1)^n;
L(n,4) = A001835(n+1); L(n,-4) = A001834(n)*(-1)^n;
L(n,5) = A004253(n); L(n,-5) = A030221(n)*(-1)^n;
L(n,6) = A001653(n); L(n,-6) = A002315(n)*(-1)^n;
L(n,7) = A049685(n); L(n,-7) = A033890(n)*(-1)^n;
L(n,8) = A070997(n); L(n,-8) = A057080(n)*(-1)^n;
L(n,9) = A070998(n); L(n,-9) = A057081(n)*(-1)^n;
L(n,10) = A072256(n+1); L(n,-10) = A054320(n)*(-1)^n;
L(n,11) = A078922(n+1); L(n,-11) = A097783(n)*(-1)^n;
L(n,12) = A077417(n); L(n,-12) = A077416(n)*(-1)^n;
L(n,13) = A085260(n);
L(n,14) = A001570(n); L(n,-14) = A028230(n)*(-1)^n;
L(n,n) = A108366(n); L(n,-n) = A108367(n).
Row n of the matrix inverse (A124645) has g.f.: x^floor(n/2)*(1-x)^(n-floor(n/2)). - Paul D. Hanna, Jun 12 2005
From L. Edson Jeffery, Mar 12 2011: (Start)
Conjecture: Let N=2*n+1, with n > 2. Then T(n,k) (0 <= k <= n) gives the k-th coefficient in the characteristic function p_N(x)=0, of degree n in x, for the n X n tridiagonal unit-primitive matrix G_N (see [Jeffery]) of the form
  G_N=A_{N,1}=
  (0 1 0 ... 0)
  (1 0 1 0 ... 0)
  (0 1 0 1 0 ... 0)
  ...
  (0 ... 0 1 0 1)
  (0 ... 0 1 1),
with solutions phi_j = 2*cos((2*j-1)*Pi/N), j=1,2,...,n. For example, for n=3,
  G_7=A_{7,1}=
  (0 1 0)
  (1 0 1)
  (0 1 1).
We have {T(3,k)}=(1,-1,-2,1), while the characteristic function of G_7 is p(x) = x^3-x^2-2*x+1 = 0, with solutions phi_j = 2*cos((2*j-1)*Pi/7), j=1,2,3. (End)
The triangle sums, see A180662 for their definitions, link A108299 with several sequences, see the crossrefs. - Johannes W. Meijer, Aug 08 2011
The roots to the polynomials are chaotic using iterates of the operation (x^2 - 2), with cycle lengths L and initial seeds returning to the same term or (-1)* the seed. Periodic cycle lengths L are shown in A003558 such that for the polynomial represented by row r, the cycle length L is A003558(r-1). The matrices corresponding to the rows as characteristic polynomials are likewise chaotic [cf. Kappraff et al., 2005] with the same cycle lengths but substituting 2*I for the "2" in (x^2 - 2), where I = the Identity matrix. For example, the roots to x^3 - x^2 - 2x + 1 = 0 are 1.801937..., -1.246979..., and 0.445041... With 1.801937... as the initial seed and using (x^2 - 2), we obtain the 3-period trajectory of 8.801937... -> 1.246979... -> -0.445041... (returning to -1.801937...). We note that A003558(2) = 3. The corresponding matrix M is: [0,1,0; 1,0,1; 0,1,1,]. Using seed M with (x^2 - 2*I), we obtain the 3-period with the cycle completed at (-1)*M. - Gary W. Adamson, Feb 07 2012

			Triangle begins:
  1;
  1,  -1;
  1,  -1,  -1;
  1,  -1,  -2,   1;
  1,  -1,  -3,   2,   1;
  1,  -1,  -4,   3,   3,  -1;
  1,  -1,  -5,   4,   6,  -3,  -1;
  1,  -1,  -6,   5,  10,  -6,  -4,   1;
  1,  -1,  -7,   6,  15, -10, -10,   4,   1;
  1,  -1,  -8,   7,  21, -15, -20,  10,   5,  -1;
  1,  -1,  -9,   8,  28, -21, -35,  20,  15,  -5,  -1;
  1,  -1, -10,   9,  36, -28, -56,  35,  35, -15,  -6,   1;
  ...

Friedrich L. Bauer, 'De Moivre und Lagrange: Cosinus eines rationalen Vielfachen von Pi', Informatik Spektrum 28 (Springer, 2005).
Jay Kappraff, S. Jablan, G. Adamson, & R. Sazdonovich: "Golden Fields, Generalized Fibonacci Sequences, & Chaotic Matrices"; FORMA, Vol 19, No 4, (2005).

Reinhard Zumkeller, Rows n = 0..150 of triangle, flattened
Henry W. Gould, A Variant of Pascal's Triangle, Corrections, The Fibonacci Quarterly, Vol. 3, Nr. 4, Dec. 1965, p. 257-271.
L. Edson Jeffery, Unit-primitive matrices.
Ju, Hyeong-Kwan On the sequence generated by a certain type of matrices. Honam Math. J. 39, No. 4, 665-675 (2017).
Michelle Rudolph-Lilith, On the Product Representation of Number Sequences, with Application to the Fibonacci Family, arXiv preprint arXiv:1508.07894 [math.NT], 2015.
Frank Ruskey and Carla Savage, Gray codes for set partitions and restricted growth tails, Australasian Journal of Combinatorics, Volume 10(1994), pp. 85-96. See Table 1 p. 95.

Cf. A049310, A039961, A124645 (matrix inverse).
Triangle sums (see the comments): A193884 (Kn11), A154955 (Kn21), A087960 (Kn22), A000007 (Kn3), A010892 (Fi1), A134668 (Fi2), A078031 (Ca2), A193669 (Gi1), A001519 (Gi3), A193885 (Ze1), A050935 (Ze3). - Johannes W. Meijer, Aug 08 2011
Cf. A003558.
Cf. A033999, A059841.

a108299 n k = a108299_tabl !! n !! k
a108299_row n = a108299_tabl !! n
a108299_tabl = [1] : iterate (\row ->
   zipWith (+) (zipWith (*) ([0] ++ row) a033999_list)
               (zipWith (*) (row ++ [0]) a059841_list)) [1,-1]
-- Reinhard Zumkeller, May 06 2012

A108299 := proc(n,k): binomial(n-floor((k+1)/2), floor(k/2))*(-1)^floor((k+1)/2) end: seq(seq(A108299 (n,k), k=0..n), n=0..11); # Johannes W. Meijer, Aug 08 2011

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]; Table[t[n, k], {n, 0, 12}, {k, 0, n}] // Flatten (* Jean-François Alcover, May 16 2013 *)

{T(n,k)=polcoeff(polcoeff((1-x*y)/(1-x+x^2*y^2+x^2*O(x^n)),n,x)+y*O(y^k),k,y)} (Hanna)

T(n,k) = binomial(n-floor((k+1)/2),floor(k/2))*(-1)^floor((k+1)/2).
T(n+1, k) = if sign(T(n, k-1))=sign(T(n, k)) then T(n, k-1)+T(n, k) else -T(n, k-1) for 0 < k < n, T(n, 0) = 1, T(n, n) = (-1)^floor((n+1)/2).
G.f.: A(x, y) = (1 - x*y)/(1 - x + x^2*y^2). - Paul D. Hanna, Jun 12 2005
The generating polynomial (in z) of row n >= 0 is (u^(2*n+1) + v^(2*n+1))/(u + v), where u and v are defined by u^2 + v^2 = 1 and u*v = z. - Emeric Deutsch, Jun 16 2011
From Johannes W. Meijer, Aug 08 2011: (Start)
abs(T(n,k)) = A065941(n,k) = abs(A187660(n,n-k));
T(n,n-k) = A130777(n,k); abs(T(n,n-k)) = A046854(n,k) = abs(A066170(n,k)). (End)

Corrected and edited by Philippe Deléham, Oct 20 2008

A001090 a(n) = 8*a(n-1) - a(n-2); a(0) = 0, a(1) = 1.

Original entry on oeis.org

0, 1, 8, 63, 496, 3905, 30744, 242047, 1905632, 15003009, 118118440, 929944511, 7321437648, 57641556673, 453811015736, 3572846569215, 28128961537984, 221458845734657, 1743541804339272, 13726875588979519, 108071462907496880, 850844827670995521, 6698687158460467288

Offset: 0

N. J. A. Sloane

This sequence gives the values of y in solutions of the Diophantine equation x^2 - 15*y^2 = 1; the corresponding values of x are in A001091. - Vincenzo Librandi, Nov 12 2010 [edited by Jon E. Schoenfield, May 02 2014]
For n >= 2, a(n) equals the permanent of the (n-1) X (n-1) tridiagonal matrix with 8'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
For n >= 1, a(n) equals the number of 01-avoiding words of length n-1 on alphabet {0,1,...,7}. - Milan Janjic, Jan 25 2015
From Klaus Purath, Jul 25 2024: (Start)
For any three consecutive terms (x, y, z) y^2 - x*z = 1 always applies.
a(n) = (t(i+2n) - t(i))/(t(i+n+1) - t(i+n-1)) where (t) is any recurrence t(k) = 9t(k-1) - 9t(k-2) + t(k-3) or t(k) = 8t(k-1) - t(k-2) without regard to initial values.
In particular, if the recurrence (t) of the form (9,-9,1) has the initial values t(0) = 1, t(1) = 2, t(2) = 9, a(n) = t(n) - 1 applies. (End)

			G.f. = x + 8*x^2 + 63*x^3 + 496*x^4 + 3905*x^5 + 30744*x^6 + 242047*x^7 + ...

Julio R. Bastida, Quadratic properties of a linearly recurrent sequence. Proceedings of the Tenth Southeastern Conference on Combinatorics, Graph Theory and Computing (Florida Atlantic Univ., Boca Raton, Fla., 1979), pp. 163--166, Congress. Numer., XXIII-XXIV, Utilitas Math., Winnipeg, Man., 1979. MR0561042 (81e:10009) - From N. J. A. Sloane, May 30 2012
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).

G. C. Greubel, Table of n, a(n) for n = 0..1000 (terms 0..100 from T. D. Noe)
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.
H. Brocard, Notes élémentaires sur le problème de Peel, Nouvelle Correspondance Mathématique, 4 (1878), 337-343.
E. I. Emerson, Recurrent Sequences in the Equation DQ^2=R^2+N, Fib. Quart., 7 (1969), pp. 231-242.
A. F. Horadam, Special properties of the sequence W_n(a,b; p,q), Fib. Quart., 5.5 (1967), 424-434. Case a=0,b=1; p=8, q=-1.
Milan Janjic, On Linear Recurrence Equations Arising from Compositions of Positive Integers, Journal of Integer Sequences, Vol. 18 (2015), Article 15.4.7.
Tanya Khovanova, Recursive Sequences
Wolfdieter Lang, On polynomials related to powers of the generating function of Catalan's numbers, Fib. Quart. 38,5 (2000) 408-419; Eq.(44), lhs, m=10.
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.
Shobhna Singh and Felix Flicker, Exact Solution to the Quantum and Classical Dimer Models on the Spectre Aperiodic Monotiling, arXiv:2309.14447 [cond-mat.str-el], 2023.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (8,-1).

Cf. A001091, A001906, A004187, A004254, A049310, A070997.
Equals one-third A136325.
Chebyshev sequence U(n, m): A000027 (m=1), A001353 (m=2), A001109 (m=3), this sequence (m=4), A004189 (m=5), A004191 (m=6), A007655 (m=7), A077412 (m=8), A049660 (m=9), A075843 (m=10), A077421 (m=11), A077423 (m=12), A097309 (m=13), A097311 (m=14), A097313 (m=15), A029548 (m=16), A029547 (m=17), A144128 (m=18), A078987 (m=19), A097316 (m=33).
Cf. A323182.

m:=4;; a:=[0,1];; for n in [3..20] do a[n]:=2*m*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Dec 23 2019

I:=[0,1]; [n le 2 select I[n] else 8*Self(n-1) - Self(n-2): n in [1..30]]; // G. C. Greubel, Dec 20 2017

A001090:=1/(1-8*z+z**2); # Simon Plouffe in his 1992 dissertation
seq( simplify(ChebyshevU(n-1, 4)), n=0..20); # G. C. Greubel, Dec 23 2019

Table[GegenbauerC[n-1, 1, 4], {n,0,20}] (* Vladimir Joseph Stephan Orlovsky, Sep 11 2008 *)
LinearRecurrence[{8,-1},{0,1},30] (* Harvey P. Dale, Aug 29 2012 *)
a[n_]:= ChebyshevU[n-1, 4]; (* Michael Somos, May 28 2014 *)
CoefficientList[Series[x/(1-8*x+x^2), {x,0,20}], x] (* G. C. Greubel, Dec 20 2017 *)

{a(n) = subst(poltchebi(n+1) - 4 * poltchebi(n), x, 4) / 15}; /* Michael Somos, Apr 05 2008 */

{a(n) = polchebyshev(n-1, 2, 4)}; /* Michael Somos, May 28 2014 */

my(x='x+O('x^30)); concat([0], Vec(x/(1-8*x-x^2))) \\ G. C. Greubel, Dec 20 2017

[lucas_number1(n,8,1) for n in range(22)] # Zerinvary Lajos, Jun 25 2008

[chebyshev_U(n-1,4) for n in (0..20)] # G. C. Greubel, Dec 23 2019

15*a(n)^2 - A001091(n)^2 = -1.
a(n) = sqrt((A001091(n)^2 - 1)/15).
a(n) = S(2*n-1, sqrt(10))/sqrt(10) = S(n-1, 8); S(n, x) := U(n, x/2), Chebyshev polynomials of 2nd kind, A049310, with S(-1, x) := 0.
From Barry E. Williams, Aug 18 2000: (Start)
a(n) = ((4+sqrt(15))^n - (4-sqrt(15))^n)/(2*sqrt(15)).
G.f.: x/(1-8*x+x^2). (End)
Limit_{n->infinity} a(n)/a(n-1) = 4 + sqrt(15). - Gregory V. Richardson, Oct 13 2002
[A070997(n-1), a(n)] = [1,6; 1,7]^n * [1,0]. - Gary W. Adamson, Mar 21 2008
a(-n) = -a(n). - Michael Somos, Apr 05 2008
a(n+1) = Sum_{k=0..n} A101950(n,k)*7^k. - Philippe Deléham, Feb 10 2012
From Peter Bala, Dec 23 2012: (Start)
Product_{n >= 1} (1 + 1/a(n)) = (1/3)*(3 + sqrt(15)).
Product_{n >= 2} (1 - 1/a(n)) = (1/8)*(3 + sqrt(15)).
(End)
a(n) = A136325(n)/3. - Greg Dresden, Sep 12 2019
E.g.f.: exp(4*x)*sinh(sqrt(15)*x)/sqrt(15). - Stefano Spezia, Dec 12 2022
a(n) = Sum_{k = 0..n-1} binomial(n+k, 2*k+1)*6^k = Sum_{k = 0..n-1} (-1)^(n+k+1)* binomial(n+k, 2*k+1)*10^k. - Peter Bala, Jul 17 2023

More terms from Wolfdieter Lang, Aug 02 2000

A094954 Array T(k,n) read by antidiagonals. G.f.: x(1-x)/(1-kx+x^2), k>1.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 3, 5, 1, 1, 4, 11, 13, 1, 1, 5, 19, 41, 34, 1, 1, 6, 29, 91, 153, 89, 1, 1, 7, 41, 169, 436, 571, 233, 1, 1, 8, 55, 281, 985, 2089, 2131, 610, 1, 1, 9, 71, 433, 1926, 5741, 10009, 7953, 1597, 1, 1, 10, 89, 631, 3409, 13201, 33461, 47956, 29681

Offset: 1

Ralf Stephan, May 31 2004

Also, values of polynomials with coefficients in A098493 (see Fink et al.). See A098495 for negative k.

Number of dimer tilings of the graph S_{k-1} X P_{2n-2}.

			1,1,1,1,1,1,1,1,1,1,1,1,1,1, ...
1,2,5,13,34,89,233,610,1597, ...
1,3,11,41,153,571,2131,7953, ...
1,4,19,91,436,2089,10009,47956, ...
1,5,29,169,985,5741,33461,195025, ...
1,6,41,281,1926,13201,90481,620166, ...

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.
Elizabeth Wilmer, A note on Stephan's conjecture 87
Elizabeth Wilmer, A note on Stephan's conjecture 87 [cached copy]

Rows are first differences of rows in array A073134.
Rows 2-14 are A000012, A001519, A079935/A001835, A004253, A001653, A049685, A070997, A070998, A072256, A078922, A077417, A085260, A001570. Other rows: A007805 (k=18), A075839 (k=20), A077420 (k=34), A078988 (k=66).
Columns include A028387. Diagonals include A094955, A094956. Antidiagonal sums are A094957.

max = 14; row[k_] := Rest[ CoefficientList[ Series[ x*(1-x)/(1-k*x+x^2), {x, 0, max}], x]]; t = Table[ row[k], {k, 2, max+1}]; Flatten[ Table[ t[[k-n+1, n]], {k, 1, max}, {n, 1, k}]] (* Jean-François Alcover, Dec 27 2011 *)

PARI
```
T(k,n)=polcoeff(x*(1-x)/(1-k*x+x*x),n)
```

Recurrence: T(k, 1) = 1, T(k, 2) = k-1, T(k, n) = kT(k, n-1) - T(k, n-2).
For n>3, T(k, n) = [k(k-2) + T(k, n-1)T(k, n-2)] / T(k, n-3).
T(k, n+1) = S(n, k) - S(n-1, k) = U(n, k/2) - U(n-1, k/2), with S, U = Chebyshev polynomials of second kind.
T(k+2, n+1) = Sum[i=0..n, k^(n-i) * C(2n-i, i)] (from comments by Benoit Cloitre).

A238379 Expansion of (1 - x)/(1 - 36*x + x^2).

Original entry on oeis.org

1, 35, 1259, 45289, 1629145, 58603931, 2108112371, 75833441425, 2727895778929, 98128414600019, 3529895029821755, 126978092658983161, 4567681440693572041, 164309553772309610315, 5910576254362452399299, 212616435603275976764449

Offset: 0

Bruno Berselli, Feb 25 2014

First bisection of A041611.

Bruno Berselli, Table of n, a(n) for n = 0..100
Tanya Khovanova, Recursive Sequences
Index entries for linear recurrences with constant coefficients, signature (36,-1).

Cf. similar sequences with g.f. (1-x)/(1-k*x+x^2): A122367 (k=3), A079935 (k=4), A004253 (k=5), A001653 (k=6), A049685 (k=7), A070997 (k=8), A070998 (k=9), A138288 (k=10), A078922 (k=11), A077417 (k=12), A085260 (k=13), A001570 (k=14), A160682 (k=15), A157456 (k=16), A161595 (k=17). From 18 to 38, even k only, except k=27 and k=31: A007805 (k=18), A075839 (k=20), A157014 (k=22), A159664 (k=24), A153111 (k=26), A097835 (k=27), A159668 (k=28), A157877 (k=30), A111216 (k=31), A159674 (k=32), A077420 (k=34), this sequence (k=36), A097315 (k=38).

[n le 2 select 35^(n-1) else 36*Self(n-1)-Self(n-2): n in [1..20]];

R:=PowerSeriesRing(Integers(), 20); Coefficients(R!( (1 - x)/(1 - 36*x + x^2))); // Marius A. Burtea, Jan 14 2020

CoefficientList[Series[(1 - x)/(1 - 36 x + x^2), {x, 0, 20}], x] (* or *) LinearRecurrence[{36, -1}, {1, 35}, 20]

a(n)=([0,1; -1,36]^n*[1;35])[1,1] \\ Charles R Greathouse IV, May 10 2016

m = 20; L. = PowerSeriesRing(ZZ, m); f = (1-x)/(1-36*x+x^2)
print(f.coefficients())

G.f.: (1 - x)/(1 - 36*x + x^2).
a(n) = a(-n-1) = 36*a(n-1) - a(n-2).
a(n) = ((19-sqrt(323))/38)*(1+(18+sqrt(323))^(2*n+1))/(18+sqrt(323))^n.
a(n+1) - a(n) = 34*A144128(n+1).
323*a(n+1)^2 - ((a(n+2)-a(n))/2)^2 = 34.
Sum_{n>0} 1/(a(n) - 1/a(n)) = 1/34.
See also Tanya Khovanova in Links field:
a(n) = 35*a(n-1) + 34*Sum_{i=0..n-2} a(i).
a(n+2)*a(n) - a(n+1)^2 = 36-2 = 34 = 34*1,
a(n+3)*a(n) - a(n+1)*a(n+2) = 36*(36-2) = 1224 = 34*36.
Generalizing:
a(n+4)*a(n) - a(n+1)*a(n+3) = 44030 = 34*1295,
a(n+5)*a(n) - a(n+1)*a(n+4) = 1583856 = 34*46584,
a(n+6)*a(n) - a(n+1)*a(n+5) = 56974786 = 34*1675729, etc.,
where 1, 36, 1295, 46584, 1675729, ... is the sequence A144128, which is the second bisection of A041611.
a(n)^2 - 36*a(n)*a(n+1) + a(n+1)^2 + 34 = 0 (see comments by Colin Barker in similar sequences).

A001091 a(n) = 8*a(n-1) - a(n-2); a(0) = 1, a(1) = 4.

Original entry on oeis.org

1, 4, 31, 244, 1921, 15124, 119071, 937444, 7380481, 58106404, 457470751, 3601659604, 28355806081, 223244789044, 1757602506271, 13837575261124, 108942999582721, 857706421400644, 6752708371622431, 53163960551578804

Offset: 0

N. J. A. Sloane

a(15+30k)-1 and a(15+30k)+1 are consecutive odd powerful numbers. The first pair is 13837575261124 +- 1. See A076445. - T. D. Noe, May 04 2006
This sequence gives the values of x in solutions of the Diophantine equation x^2 - 15*y^2 = 1. The corresponding y values are in A001090. - Vincenzo Librandi, Nov 12 2010 [edited by Jon E. Schoenfield, May 04 2014]
The square root of 15*(n^2-1) at those numbers = 5 * A136325. - Richard R. Forberg, Nov 22 2013
For the above Diophantine equation x^2-15*y^2=1, x + y = A105426. - Richard R. Forberg, Nov 22 2013
a(n) solves for x in the Diophantine equation floor(3*x^2/5)= y^2. The corresponding y solutions are provided by A136325(n).  x + y = A070997(n). - Richard R. Forberg, Nov 22 2013
Except for the first term, values of x (or y) in the solutions to x^2 - 8xy + y^2 + 15 = 0. - Colin Barker, Feb 05 2014

Bastida, Julio R. Quadratic properties of a linearly recurrent sequence. Proceedings of the Tenth Southeastern Conference on Combinatorics, Graph Theory and Computing (Florida Atlantic Univ., Boca Raton, Fla., 1979), pp. 163--166, Congress. Numer., XXIII-XXIV, Utilitas Math., Winnipeg, Man., 1979. MR0561042 (81e:10009) - From N. J. A. Sloane, May 30 2012
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
H. Brocard, Notes élémentaires sur le problème de Peel [sic], Nouvelle Correspondance Mathématique, 4 (1878), 337-343.
Tanya Khovanova, Recursive Sequences
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
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (8,-1).

Cf. A001090, A090965, A098269, A322836 (column 4).

a:=[1,4];; for n in [3..20] do a[n]:=8*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Aug 26 2019

R:=PowerSeriesRing(Integers(), 20); Coefficients(R!( (1-4*x)/(1-8*x+x^2) )); // G. C. Greubel, Aug 26 2019

LinearRecurrence[{8,-1},{1,4},20] (* Harvey P. Dale, May 01 2014 *)

PARI
```
a(n)=subst(poltchebi(n),x,4)
```

a(n)=n=abs(n); polcoeff((1-4*x)/(1-8*x+x^2)+x*O(x^n),n) /* Michael Somos, Jun 07 2005 */

def A001091_list(prec):
    P. = PowerSeriesRing(ZZ, prec)
    return P( (1-4*x)/(1-8*x+x^2) ).list()
A001091_list(20) # G. C. Greubel, Aug 26 2019

G.f.: A(x) = (1-4*x)/(1-8*x+x^2). - Simon Plouffe in his 1992 dissertation
For all elements x of the sequence, 15*(x^2 -1) is a square. Limit_{n -> infinity} a(n)/a(n-1) = 4 + sqrt(15). - Gregory V. Richardson, Oct 11 2002
a(n) = sqrt(15*((A001090(n))^2)+1).
a(n) = ((4+sqrt(15))^n + (4-sqrt(15))^n)/2.
a(n) = 4*S(n-1, 8) - S(n-2, 8) = (S(n, 8) - S(n-2, 8))/2, n>=1; S(n, x) := U(n, x/2) with Chebyshev's polynomials of the 2nd kind, A049310, with S(-1, x) := 0 and S(-2, x) := -1.
a(n) = T(n, 4) with Chebyshev's polynomials of the first kind; see A053120.
a(n)=a(-n). - Ralf Stephan, Jun 06 2005
a(n)*a(n+3) - a(n+1)*a(n+2) = 120. - Ralf Stephan, Jun 06 2005
From Peter Bala, Feb 19 2022: (Start)
a(n) = Sum_{k = 0..floor(n/2)} 4^(n-2*k)*15^k*binomial(n,2*k).
a(n) = [x^n] (4*x + sqrt(1 + 15*x^2))^n.
The g.f. A(x) satisfies A(2*x) = 1 + x*B'(x)/B(x), where B(x) = 1/sqrt(1 - 16*x + 4*x^2) is the g.f. of A098269.
The Gauss congruences a(n*p^k) == a(n*p^(k-1)) (mod p^k) hold for all primes p >= 3 and positive integers n and k. (End)
From Peter Bala, Aug 17 2022: (Start)
Sum_{n >= 1} 1/(a(n) - (5/2)/a(n)) = 1/3.
Sum_{n >= 1} (-1)^(n+1)/(a(n) + (3/2)/a(n)) = 1/5.
Sum_{n >= 1} 1/(a(n)^2 - 5/2) =  1/3 - 1/sqrt(15). (End)
a(n) = A001090(n+1)-4*A001090(n). - R. J. Mathar, Dec 12 2023

More terms from Larry Reeves (larryr(AT)acm.org), Aug 25 2000

Chebyshev comments from Wolfdieter Lang, Oct 31 2002

A057080 Even-indexed Chebyshev U-polynomials evaluated at sqrt(10)/2.

Original entry on oeis.org

1, 9, 71, 559, 4401, 34649, 272791, 2147679, 16908641, 133121449, 1048062951, 8251382159, 64962994321, 511452572409, 4026657584951, 31701808107199, 249587807272641, 1965000650073929, 15470417393318791, 121798338496476399

Offset: 0

Wolfdieter Lang, Aug 04 2000

a(n) = L(n,-8)*(-1)^n, where L is defined as in A108299; see also A070997 for L(n,+8). - Reinhard Zumkeller, Jun 01 2005
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
The primes in this sequence are 71, 34649, 16908641, 8251382159, 31701808107199,... - Ctibor O. Zizka, Sep 02 2008
The aerated sequence (b(n))n>=1 = [1, 0, 9, 0, 71, 0, 559, 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 = -6, Q = -1 of the 3-parameter family of divisibility sequences found by Williams and Guy. See A100047. - Peter Bala, Mar 22 2015
From Klaus Purath, May 06 2025: (Start)
Nonnegative solutions to the Diophantine equation 3*a(n)^2 - 5*b(n)^2 = -2. The corresponding b(n) are A070997(n). Note that (a(n)*a(n+2) - a(n+1)^2)/2 = -5 and (b(n)*b(n+2) - b(n+1)^2)/2 = 3.
(a(n) + b(n))/2 = (a(n+1) - b(n+1))/2 = A001090(n+1) = Lucas U(8,1). Also a(n)*b(n+1) - a(n+1)*b(n) = -2.
a(n) = (t(i+2n+1) - t(i))/(t(i+n+1) - t(i+n)) as long as t(i+n+1) - t(i+n) != 0 for integer i and n >= 0 where (t) is a sequence satisfying t(i+3) = 9*t(i+2) - 9*t(i+1) + t(i) or t(i+2) = 8*t(i+1) - t(i), regardless of the initial values and including this sequence itself. (End)

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.
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
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=10.
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 (8,-1).

Cf. A033890, A100047.

a:=[1,9];; for n in [3..30] do a[n]:=8*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Dec 06 2019

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

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

CoefficientList[Series[(1+x)/(1-8x+x^2), {x, 0, 33}], x] (* Vincenzo Librandi, Mar 22 2015 *)

Vec((1+x)/(1-8*x+x^2) + O(x^30)) \\ Michel Marcus, Mar 22 2015

[(lucas_number2(n,8,1)-lucas_number2(n-1,8,1))/6 for n in range(1, 21)] # Zerinvary Lajos, Nov 10 2009

For all elements x of the sequence, 15*x^2 + 10 is a square. Lim. n-> Inf. a(n)/a(n-1) = 4 + sqrt(15). - Gregory V. Richardson, Oct 13 2002
a(n) = 8*a(n-1) - a(n-2), a(-1)=-1, a(0)=1.
a(n) = S(n, 8) + S(n-1, 8) = S(2*n, sqrt(10)) with S(n, x) := U(n, x/2), Chebyshev polynomials of 2nd kind, A049310. S(n, 8) = A001090(n).
G.f.: (1+x)/(1-8*x+x^2).
a(n) = ( ((4+sqrt(15))^(n+1) - (4-sqrt(15))^(n+1)) + ((4+sqrt(15))^n - (4-sqrt(15))^n) )/(2*sqrt(15)). - Gregory V. Richardson, Oct 13 2002
a(n) = sqrt((5*A070997(n)^2 - 2)/3) (cf. Richardson comment).
Let q(n, x) = Sum_{i=0..n} x^(n-i)*binomial(2*n-i, i) then a(n) = (-1)^n*q(n,-10). - Benoit Cloitre, Nov 10 2002
a(n) = Jacobi_P(n,1/2,-1/2,4)/Jacobi_P(n,-1/2,1/2,1); - Paul Barry, Feb 03 2006
a(n+1) = 4*a(n) + sqrt(5*(3*a(n)^2 + 2)). - Richard Choulet, Aug 30 2007
In addition to the first formula above: In general, the following applies to all recurrences (a(n)) of the form (8,-1) with a(0) = 1 and arbritrary a(1): 15*a(n)^2 + y = b^2 where y = x^2 + 8*x + 1 and x = a(1) - 8. Also y = a(k+1)^2 - a(k)*a(k+1) for any k >=0. - Klaus Purath, May 06 2025
From Peter Bala, May 09 2025: (Start)
a(n) = Dir(n, 4), where Dir(n, x) denotes the n-th row polynomial of the triangle A244419.
a(n)^2 - 8*a(n)*a(n+1) + a(n+1)^2 = 10.
More generally, for arbitrary x, a(n+x)^2 - 8*a(n+x)*a(n+x+1) + a(n+x+1)^2 = 10 with a(n) := ( ((4+sqrt(15))^(n+1) - (4-sqrt(15))^(n+1)) + ((4+sqrt(15))^n - (4-sqrt(15))^n) )/(2*sqrt(15)) as given above.
a(n+1/2) = sqrt(10) * A001090(n+1).
a(n+3/4) + a(n+1/4) = sqrt(10)*sqrt(sqrt(10) + 2) * A001090(n+1).
a(n+3/4) - a(n+1/4) = sqrt((sqrt(40) - 4)/3) * A001091(n+1).
Sum_{n >= 1} (-1)^(n+1)/(a(n) - 1/a(n)) = 1/10 (telescoping series: for n >= 1, 10/(a(n) - 1/a(n)) = 1/A001090(n) + 1/A001090(n+1)).
Product_{n >= 1} (a(n) + 1)/(a(n) - 1) = sqrt(5/3) (telescoping product: Product_{n = 1..k} ((a(n) + 1)/(a(n) - 1))^2 = 5/3 * (1 - 2/(1 + A001091(k+1)))). (End)

A299045 Rectangular array: A(n,k) = Sum_{j=0..k} (-1)^floor(j/2)binomial(k-floor((j+1)/2), floor(j/2))(-n)^(k-j), n >= 1, k >= 0, read by antidiagonals.

Original entry on oeis.org

1, 1, 0, 1, -1, -1, 1, -2, 1, 1, 1, -3, 5, -1, 0, 1, -4, 11, -13, 1, -1, 1, -5, 19, -41, 34, -1, 1, 1, -6, 29, -91, 153, -89, 1, 0, 1, -7, 41, -169, 436, -571, 233, -1, -1, 1, -8, 55, -281, 985, -2089, 2131, -610, 1, 1, 1, -9, 71, -433, 1926, -5741, 10009, -7953, 1597, -1, 0

Offset: 1

L. Edson Jeffery, Bob Selcoe and Andrew Hone, Feb 01 2018

This array is used to compute A269252: A269252(n) = least k such that |A(n,k)| is a prime, or -1 if no such k exists.
For detailed theory, see [Hone].
The array can be extended to k<0 with A(n, k) = -A(n, -k-1) for all k in Z. - Michael Somos, Jun 19 2023

			Array begins:
1   0  -1     1     0      -1       1         0        -1           1
1  -1   1    -1     1      -1       1        -1         1          -1
1  -2   5   -13    34     -89     233      -610      1597       -4181
1  -3  11   -41   153    -571    2131     -7953     29681     -110771
1  -4  19   -91   436   -2089   10009    -47956    229771    -1100899
1  -5  29  -169   985   -5741   33461   -195025   1136689    -6625109
1  -6  41  -281  1926  -13201   90481   -620166   4250681   -29134601
1  -7  55  -433  3409  -26839  211303  -1663585  13097377  -103115431
1  -8  71  -631  5608  -49841  442961  -3936808  34988311  -310957991
1  -9  89  -881  8721  -86329  854569  -8459361  83739041  -828931049

Robert Price, Table of n, a(n) for n = 1..5050
Andrew N. W. Hone, et al., On a family of sequences related to Chebyshev polynomials, arXiv:1802.01793 [math.NT], 2018.

Cf. A285992, A299107, A299109, A088165, A117522, A299100, A299101, A113501, A269251, A269252, A269253, A269254, A294099, A298675, A298677, A298878, A299045, A299071.
Cf. A094954 (unsigned version of this array, but missing the first row).
Cf. Rows: A057078, A033999, A099496, A079935 (or A001835), A004253, A001653, A049685, A070997, A070998, A138288 (or A072256), ...
Cf. Columns: A000012, A001477 (A000027), A110331 (A165900), A123972, A192398, ...

(* Array: *)
Grid[Table[LinearRecurrence[{-n, -1}, {1, 1 - n}, 10], {n, 10}]]
(*Array antidiagonals flattened (gives this sequence):*)
A299045[n_, k_] := Sum[(-1)^(Floor[j/2]) Binomial[k - Floor[(j + 1)/2], Floor[j/2]] (-n)^(k - j), {j, 0, k}]; Flatten[Table[A299045[n - k, k], {n, 11}, {k, 0, n - 1}]]

{A(n, k) = sum(j=0, k, (-1)^(j\2)*binomial(k-(j+1)\2, j\2)*(-n)^(k-j))}; /* Michael Somos, Jun 19 2023 */

G.f. for row n: (1 + x)/(1 + n*x + x^2), n >= 1.

A(n, k) = B(-n, k) where B = A294099. - Michael Somos, Jun 19 2023

A165253 Triangle T(n,k), read by rows given by [1,0,1,0,0,0,0,0,0,...] DELTA [0,1,0,0,0,0,0,0,0,...] where DELTA is the operator defined in A084938.

Original entry on oeis.org

1, 1, 0, 1, 1, 0, 1, 3, 1, 0, 1, 6, 5, 1, 0, 1, 10, 15, 7, 1, 0, 1, 15, 35, 28, 9, 1, 0, 1, 21, 70, 84, 45, 11, 1, 0, 1, 28, 126, 210, 165, 66, 13, 1, 0, 1, 36, 210, 462, 495, 286, 91, 15, 1, 0, 1, 45, 330, 924, 1287, 1001, 455, 120, 17, 1, 0, 1, 55, 495, 1716, 3003, 3003, 1820, 680

Offset: 0

Philippe Deléham, Sep 10 2009

Mirror image of triangle in A121314.

			Triangle begins:
  1;
  1,    0;
  1,    1,    0;
  1,    3,    1,    0;
  1,    6,    5,    1,    0;
  1,   10,   15,    7,    1,    0;
  1,   15,   35,   28,    9,    1,    0;
  1,   21,   70,   84,   45,   11,    1,    0;
  1,   28,  126,  210,  165,   66,   13,    1,    0;
  1,   36,  210,  462,  495,  286,   91,   15,    1,    0,
  1,   45,  330,  924, 1287, 1001,  455,  120,   17,    1,    0;

Indranil Ghosh, Rows 0..125 of triangle, flattened

Cf. A054142, A085478, A121314.

m = 13;
(* DELTA is defined in A084938 *)
DELTA[Join[{1, 0, 1}, Table[0, {m}]], Join[{0, 1}, Table[0, {m}]], m] // Flatten (* Jean-François Alcover, Feb 19 2020 *)

T(0,0)=1, T(n,k) = binomial(n-1+k,2k) for n >= 1.
Sum {k=0..n} T(n,k)*x^k = A000012(n), A001519(n), A001835(n), A004253(n), A001653(n), A049685(n-1), A070997(n-1), A070998(n-1), A072256(n), A078922(n), A077417(n-1), A085260(n), A001570(n) for x = 0,1,2,3,4,5,6,7,8,9,10,11,12 respectively.
Sum_{k=0..n} T(n,k)*x^(n-k) = A000007(n), A001519(n), A047849(n), A165310(n), A165311(n), A165312(n), A165314(n), A165322(n), A165323(n), A165324(n) for x= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 respectively. - Philippe Deléham, Sep 26 2009
T(n,k) = 2*T(n-1,k) + T(n-1,k-1) - T(n-2,k), T(0,0)=T(1,0)=1, T(1,1)=0. - Philippe Deléham, Feb 18 2012
G.f.: (1-x-y*x)/((1-x)^2-y*x). - Philippe Deléham, Feb 19 2012

A160682 The list of the A values in the common solutions to 13k+1 = A^2 and 17k+1 = B^2.

Original entry on oeis.org

1, 14, 209, 3121, 46606, 695969, 10392929, 155197966, 2317576561, 34608450449, 516809180174, 7717529252161, 115246129602241, 1720974414781454, 25699370092119569, 383769576967012081, 5730844284413061646, 85578894689228912609, 1277952576054020627489

Offset: 1

Paul Weisenhorn, May 23 2009

This summarizes the case C=13 of common solutions to C*k+1=A^2, (C+4)*k+1=B^2.
The 2 equations are equivalent to the Pell equation x^2-C*(C+4)*y^2=1,
with x=(C*(C+4)*k+C+2)/2; y=A*B/2 and with smallest values x(1) = (C+2)/2, y(1)=1/2.
Generic recurrences are:
A(j+2)=(C+2)*A(j+1)-A(j) with A(1)=1; A(2)=C+1.
B(j+2)=(C+2)*B(j+1)-B(j) with B(1)=1; B(2)=C+3.
k(j+3)=(C+1)*(C+3)*( k(j+2)-k(j+1) )+k(j) with k(1)=0; k(2)=C+2; k(3)=(C+1)*(C+2)*(C+3).
x(j+2)=(C^2+4*C+2)*x(j+1)-x(j) with x(1)=(C+2)/2; x(2)=(C^2+4*C+1)*(C+2)/2;
Binet-type of solutions of these 2nd order recurrences are:
R=C^2+4*C; S=C*sqrt(R); T=(C+2); U=sqrt(R); V=(C+4)*sqrt(R);
A(j)=((R+S)*(T+U)^(j-1)+(R-S)*(T-U)^(j-1))/(R*2^j);
B(j)=((R+V)*(T+U)^(j-1)+(R-V)*(T-U)^(j-1))/(R*2^j);
x(j)+sqrt(R)*y(j)=((T+U)*(C^2*4*C+2+(C+2)*sqrt(R))^(j-1))/2^j;
k(j)=(((T+U)*(R+2+T*U)^(j-1)+(T-U)*(R+2-T*U)^(j-1))/2^j-T)/R. [Paul Weisenhorn, May 24 2009]
.C -A----- -B----- -k-----
01 A001519 A002878 A058038
02 A001653 A002315 A045899/2
03 A004253 A030221 A160695
04 A001653 A002315 A078522/4
05 A049685 A033890 A161582
06 A070997 A057080 A159683/2
07 A070998 A057081 A161585
08 A072256 A054320 A045502/4
09 A078922 A097783 A161586
10 A077417 A077416 A159681/2
11 A085260 A126816 A161588
12 A001570 A028230 A059989/4
13 A160682 A161591 A161584
14 A157456 A159678 A159679/2
15 A161595 A161599 A161583
16 A007805 A049629 A157459/4
For n>=2, a(n) equals the permanent of the (2n-2)X(2n-2) tridiagonal matrix with sqrt(13)'s along the main diagonal, and 1's along the superdiagonal and the subdiagonal. [John M. Campbell, Jul 08 2011]
Positive values of x (or y) satisfying x^2 - 15xy + y^2 + 13 = 0. - Colin Barker, Feb 11 2014

Vincenzo Librandi, Table of n, a(n) for n = 1..200
J.-C. Novelli, J.-Y. Thibon, Hopf Algebras of m-permutations,(m+1)-ary trees, and m-parking functions, arXiv preprint arXiv:1403.5962 [math.CO], 2014.
Index entries for the Pell equation
Index entries for linear recurrences with constant coefficients, signature (15,-1).

Cf. similar sequences listed in A238379.

I:=[1,14]; [n le 2 select I[n] else 15*Self(n-1)-Self(n-2): n in [1..30]]; // Vincenzo Librandi, Feb 12 2014

LinearRecurrence[{15,-1},{1,14},20] (* Harvey P. Dale, Oct 08 2012 *)
CoefficientList[Series[(1 - x)/(1 - 15 x + x^2), {x, 0, 40}], x] (* Vincenzo Librandi, Feb 12 2014 *)

a(n) = round((2^(-1-n)*((15-sqrt(221))^n*(13+sqrt(221))+(-13+sqrt(221))*(15+sqrt(221))^n))/sqrt(221)) \\ Colin Barker, Jul 25 2016

a(n) = 15*a(n-1)-a(n-2).
G.f.: (1-x)*x/(1-15*x+x^2).
a(n) = (2^(-1-n)*((15-sqrt(221))^n*(13+sqrt(221))+(-13+sqrt(221))*(15+sqrt(221))^n))/sqrt(221). - Colin Barker, Jul 25 2016

Edited, extended by R. J. Mathar, Sep 02 2009

First formula corrected by Harvey P. Dale, Oct 08 2012

A237606 Positive integers k such that x^2 - 8xy + y^2 + k = 0 has integer solutions.

Original entry on oeis.org

6, 11, 14, 15, 24, 35, 44, 51, 54, 56, 59, 60, 71, 86, 96, 99, 110, 119, 126, 131, 134, 135, 140, 150, 159, 176, 179, 191, 204, 206, 215, 216, 224, 231, 236, 239, 240, 251, 254, 275, 284, 294, 311, 315, 326, 335, 339, 344, 350, 359, 366, 371, 374, 375, 384

Offset: 1

Colin Barker, Feb 10 2014

nonn

From Klaus Purath, Feb 17 2024: (Start)
Positive numbers of the form 15x^2 - y^2. The reduced form is -x^2 + 6xy + 6y^2.
Even powers of terms as well as products of an even number of terms belong to A243188. This can be proved with respect to the forms [a,0,-c] and [a, 0, +c] by the following identities: (au^2 - cv^2)(ax^2 - cy^2) = (aux + cvy)^2 - ac(uy + vx)^2 and (au^2 + cv^2)(ax^2 + cy^2) = (aux - cvy)^2 + ac(uy + vx)^2 for all a, c, u, v, x, y in R. This can be verified by expanding both sides of the equations. Generalization (conjecture): This multiplication rule applies to all sequences represented by any binary quadratic form [a, b, c].
Odd powers of terms as well as products of an odd number of terms belong to the sequence. This can be proved with respect to the forms [a,0,-c] and [a, 0, +c] by the following identities: (as^2 - ct^2)(au^2 - cv^2)(ax^2 - cy^2) = a[s(aux + cvy) + ct(uy + vx)]^2 - c[as(uy + vx) + t(aux + cvy)]^2 and (as^2 + ct^2)(au^2 + cv^2)(ax^2 + cy^2) = a[s(aux - cvy) - ct(uy + vx)]^2 + c[as(uy + vx) + t(aux - cvy)]^2 for all a, c, s, t, u, v, x, y in R. This can be verified by expanding both sides of the equations. Generalization (conjecture): This multiplication rule applies to all sequences represented by any binary quadratic form [a, b, c].
If we denote any term of this sequence by B and correspondingly of A243189 by C and of A243190 by D, then B*C = D, C*D = B and B*D = C. This can be proved by the following identities, where the sequence (B) is represented by [kn, 0, -1], (C) by [n, 0, -k] and (D) by [k, 0, -n].
Proof of B*C = D: (knu^2 - v^2)(nx^2 - ky^2) =  k(nux + vy)^2 - n(kuy + vx)^2 for k, n, u, v, x, y in R.
Proof of C*D = B: (nu^2 - kv^2)(kx^2 - ny^2) = kn(ux + vy)^2 - (nuy + kvx)^2 for k, n, u, v, x, y in R.
Proof of B*D = C: (knu^2 - v^2)(kx^2 - ny^2) = n(kux + vy)^2 - k(nuy + vx)^2 for k, n, u, v, x, y in R. This can be verified by expanding both sides of the equations.
Generalization (conjecture): If there are three sequences of a given positive discriminant that are represented by the forms [a1, b1, c1], [a2, b2, c2] and [a1*a2, b3, c3] for a1, a2 != 1, then the BCD rules apply to these sequences. (End)

			6 is in the sequence because x^2 - 8xy + y^2 + 6 = 0 has integer solutions, for example (x, y) = (1, 7).

N. J. A. Sloane et al., Binary Quadratic Forms and OEIS (Index to related sequences, programs, references)

Cf. A070997 (k = 6), A199336 (k = 14), A001091 (k = 15), A077248 (k = 35).
Cf. A031363, A084917, A237351, A237599, A237609, A237610.
For primes see A141302.
Cf. A378710, A378711 (subsequence of properly represented numbers and fundamental solutions).

cp's OEIS Frontend

A108299 Triangle read by rows, 0 <= k <= n: T(n,k) = binomial(n-[(k+1)/2],[k/2])*(-1)^[(k+1)/2].

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Formula

Extensions

A001090 a(n) = 8*a(n-1) - a(n-2); a(0) = 0, a(1) = 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

PARI

PARI

SageMath

SageMath

Formula

Extensions

A094954 Array T(k,n) read by antidiagonals. G.f.: x(1-x)/(1-kx+x^2), k>1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A238379 Expansion of (1 - x)/(1 - 36*x + x^2).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Magma

Mathematica

PARI

Sage

Formula

A001091 a(n) = 8*a(n-1) - a(n-2); a(0) = 1, a(1) = 4.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

GAP

Magma

Mathematica

PARI

PARI

Sage

Formula

A299045 Rectangular array: A(n,k) = Sum_{j=0..k} (-1)^floor(j/2)binomial(k-floor((j+1)/2), floor(j/2))(-n)^(k-j), n >= 1, k >= 0, read by antidiagonals.

A160682 The list of the A values in the common solutions to 13k+1 = A^2 and 17k+1 = B^2.