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-3 of 3 results.

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

Views

Author

Keywords

Comments

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

Examples

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

Crossrefs

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. A138281. Cf. A100047.
Cf. A142238.

Programs

  • GAP
    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
  • Magma
    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
    
  • Mathematica
    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 *)
  • PARI
    a(n)=subst(poltchebi(n+1)-poltchebi(n),x,5)/4;
    

Formula

(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)

Extensions

Chebyshev comments from Wolfdieter Lang, Oct 31 2002

A031138 Numbers k such that 1^5 + 2^5 + ... + k^5 is a square.

Original entry on oeis.org

1, 13, 133, 1321, 13081, 129493, 1281853, 12689041, 125608561, 1243396573, 12308357173, 121840175161, 1206093394441, 11939093769253, 118184844298093, 1169909349211681, 11580908647818721, 114639177128975533, 1134810862641936613, 11233469449290390601
Offset: 1

Views

Author

Ignacio Larrosa Cañestro, entry revised Feb 27 2000

Keywords

Comments

Partial sums of A004291 or convolution of A040000 with A054320. - R. J. Mathar, Oct 26 2009
This is a 6th-degree Diophantine equation 12*m^2 = n^2*(n+1)^2*(2*n^2 + 2*n - 1) which reduces to the generalized Pell equation 6*q^2 = (2*n + 1)^2 - 3 where q = 3*m/(n*(n+1)), so there is no surprise that the solutions satisfy a linear recurrent equation. - Charles R Greathouse IV, Max Alekseyev, Oct 22 2012
Also k such that k^2 + (k+1)^2 is equal to the sum of three consecutive squares, for example 13^2 + 14^2 = 10^2 + 11^2 + 12^2. - Colin Barker, Sep 06 2015

Examples

			a(2) = 13 because 1^5+2^5+...13^5 = 1001^2; a(1) = 1 because 1^5 = 1^2.
		

Crossrefs

Programs

  • Magma
    [Round(-1/2 + ((3 - Sqrt(6))/4)*(5 + 2*Sqrt(6))^n + ((3 + Sqrt(6) )/4)*(5 - 2*Sqrt(6))^n): n in [0..50]]; // G. C. Greubel, Nov 04 2017
  • Mathematica
    LinearRecurrence[{11,-11,1},{1,13,133},20 ] (* Harvey P. Dale, Oct 23 2012 *)
  • PARI
    isok(n) = issquare(sum(i=1, n, i^5)); \\ Michel Marcus, Dec 28 2013
    
  • PARI
    Vec(x*(1+x)^2/((1-x)*(x^2-10*x+1)) + O(x^40)) \\ Colin Barker, Sep 06 2015
    

Formula

a(n) = 11*(a(n-1) - a(n-2)) + a(n-3).
a(n) = -1/2 + ((3 - sqrt(6))/4)*(5 + 2*sqrt(6))^n + ((3 + sqrt(6))/4)*(5 - 2*sqrt(6))^n.
a(n)^2 + (a(n) + 1)^2 = (b(n) - 1)^2 + b(n)^2 + (b(n) + 1)^2 = c(n) = 3*d(n) + 2; where b(n) is A054320, c(n) is A007667 and d(n) is A006061.
a(n) = 10*a(n-1) - a(n-2) + 4; a(0) = a(1) = 1. Also sum of first a(n) fifth powers is a square m^2, where m has factors A000217{a(n)} and A054320(n). - Lekraj Beedassy, Jul 08 2002
contfrac(sqrt(6)/A054320(n))[4]/2 - Thomas Baruchel, Dec 02 2003
G.f.: x*(1+x)^2/((1-x)*(x^2-10*x+1)). - R. J. Mathar, Oct 26 2009

A290284 Number of pairs of integers (x,y) satisfying the Diophantine equation x^2 - A000037(n)*y^2 = m such that x/y gives a convergent series towards sqrt(A000037(n)).

Original entry on oeis.org

3, 3, 5, 4, 5, 4, 7, 6, 5, 15, 8, 5, 9, 7, 12, 6, 10, 12, 9, 6, 11, 9, 12, 21, 7, 17, 9, 10, 11, 7, 13, 10, 9, 9, 19, 8, 20, 15, 13, 24, 12, 8, 15, 12, 16, 27, 16, 13, 9, 14, 27, 17, 12
Offset: 1

Views

Author

A.H.M. Smeets, Jul 25 2017

Keywords

Comments

If (x(0),y(0)) and (x(1),y(1)) are solutions of the Diophantine equation x^2 - A000037(n)*y^2 = m, then (x(i),y(i)) with x(i) = A*x(i-1) - x(i-2) and y(i) = A*y(i-1) - y(i-2) are also solutions for i > 1. The sequence represents the number of different integer pair sequences where in all cases A = 2*A033313(A000037(n)). Each contributing sequences has to satisfy the condition that for all x < x(i) and all y < y(i), |x/y - sqrt(A000037(n))| > |x(i)/y(i) - sqrt(A000037(n))|.
a(A000037(n)) is not equal to the number of all sequences of pairs (x(i),y(i)) that are solutions of a Diophantine equation x^2 - D*y^2 = m, with -D <= m < D and D = A000037(n). For example for D = 5 we obtain two other sequences from Fibonacci sequence: (first) x(i) = 2*Fib(6i)-Fib(6i-1) and y(i) = Fib(6i-1) satisfy x^2 - D*y^2 = -4 and (second) x(i) = 2*Fib(6i+3) - Fib(6i+2) and y(i) = Fib(6i+2) satisfy x^2 - D*y^2 = 4; but neither of these satisfy the restriction that, for all x < x(i) and all y < y(i), |x/y - sqrt(D)| > |x(i)/y(i) - sqrt(D)|.
A good approximation for the order of magnitude of a(n) is given by 2*log(2*A033313(n)).
For a lower bound, all values m satisfying either m = -D + k^2 for k^2 < D or m = 1, D = A000037(n), contribute with a sequence to the convergent series of sqrt(D), so a(n) > floor(sqrt(D)) + 1.

Examples

			For A000037(4) = 6, a(4) = 4 we have the following sequences of pairs (x,y):
m = 1: x(0) = 1, x(1) = 5, x(i) = 10*x(i-1) - x(i-2) as in A001079(i) and y(0) = 0, y(1) = 2, y(i) = 10*y(i-1) - y(i-2) as in A001078(i);
m = -6: x(0) = 0, x(1) = 12, x(i) = 10*x(i-1) - x(i-2) as in A004291(i) (for i > 0) and y(0) = 1, y(1) = 5, y(i) = 10*y(i-1) - y(i-2) as in A001079(i);
m = -5: x(0) = 1, x(1) = 17, x(i) = 10*x(i-1) - x(i-2) and y(0) = 1, y(1) = 7, y(i) = 10*y(i-1) - y(i-2);
m = -2: x(0) = 2, x(1) = 22, x(i) = 10*x(i-1) - x(i-2) and y(0) = 1, y(1) = 9, y(i) = 10*y(i-1) - y(i-2) as in A072256(i+1).
In some cases a combination of A000037(n) and m has more than one integer pair sequence, for example A000037(5) = 7 and m = -3 has two integer pair sequences:
x(0) = 2, x(1) = 37, x(i) = 16*x(i-1) - x(i-2) and y(0) = 1, y(1) = 14, y(i) = 16*y(i-1) - y(i-2);
x(0) = -2, x(1) = 5, x(i) = 16*x(i-1) - x(i-2) and y(0) = 1, y(1) = 2, y(i) = 16*y(i-1) - y(i-2).
For A000037(4) = 6, the sequence observed from x^2 - 6y^2 = 3 is not in the convergent series of sqrt(6) due to for example x1/y1 = 2643/1079 = sqrt(6) + 5.259842e-7 while the smaller x,y pair, x2/y2 = 2158/881 from x^2 - 6y^2 = -2 is a fraction closer to sqrt(5), 2158/881 = sqrt(6) - 5.259841e-7.
		

Crossrefs

Programs

  • Python
    from fractions import Fraction
    def FracSqrt(p):
        a = Fraction(p/1)
        b = Fraction(1/1)
        e = Fraction(10**(-200))
        while a-b > e:
            a = (a+b)/2
            b = p/a
        return a
    print("number: ")
    pp = int(input())
    p = FracSqrt(pp)
    n = 0
    while n >= 0:
        n = n+1
        q = p.limit_denominator(n)
        if (n == 1) or (q != q0):
            t = q*n
            m = t*t-pp*n*n
            print(n,q,m)
        q0 = q
Showing 1-3 of 3 results.