login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A006454 Solution to a Diophantine equation: each term is a triangular number and each term + 1 is a square.
(Formerly M3004)
9
0, 3, 15, 120, 528, 4095, 17955, 139128, 609960, 4726275, 20720703, 160554240, 703893960, 5454117903, 23911673955, 185279454480, 812293020528, 6294047334435, 27594051024015, 213812329916328, 937385441796000, 7263325169820735, 31843510970040003, 246739243443988680 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

Alternative definition: a(n) is triangular and a(n)/2 is the harmonic average of consecutive triangular numbers. See comments and formula section of A005563, of which this sequence is a subset. - Raphie Frank, Sep 28 2012

As with the Sophie Germain triangular numbers (A124174), then 35 = (a(n) - a(n-6))/(a(n-2) - a(n-4)). - Raphie Frank, Sep 28 2012

Sophie Germain triangular numbers of the second kind as defined in A217278. - Raphie Frank, Feb 02 2013

Numbers m such that m+1 and 8m+1 are both squares. - Bruno Berselli, Jul 15 2014

REFERENCES

Edward J. Barbeau, Pell's Equation. New York: Springer-Verlag (2003), p. 17, Exercise 1.2.

A. J. Gottlieb, How four dogs meet in a field, etc., Technology Review, Jul/August 1973 pp. 73-74.

Jeffrey Shallit, personal communication.

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

LINKS

Vincenzo Librandi, Table of n, a(n) for n = 0..60

Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992.

Simon Plouffe, 1031 Generating Functions and Conjectures, Université du Québec à Montréal, 1992.

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

FORMULA

a(n) = A006451(n)*(A006451(n)+1)/2.

a(n) = A006452(n)^2 - 1. - Joerg Arndt, Mar 04 2011

a(n) = 35*(a(n-2) - a(n-4)) + a(n-6). - Raphie Frank, Sep 28 2012

From Raphie Frank, Feb 01 2013: (Start)

a(0) = 0, a(1) = 3, and a(n+2) = (2x + 3y + 1)^2 - 1  = 1/2*((3x + 4y + 1)^2 + (3x + 4y + 1)) where x = (sqrt(8*a(n) + 1) - 1)/2 = A006451(n) =  1/2*(A216134(n + 1) + A216134(n - 1)) and y = sqrt(a(n) + 1) = A006452(n + 1) = 1/2*(A216134(n + 1) - A216134(n - 1)).

Note that A216134(n + 1) = x + y, and A216134(n + 3) = (2x + 3y + 1) + (3x + 4y + 1) = (5x + 7y + 2), where A216134 gives the indices of the Sophie Germain triangular numbers. (End)

a(n) = (1/64)*(((4 + sqrt(2))*(1 -(-1)^(n+1)*sqrt(2))^(2* floor((n+1)/2)) + (4 - sqrt(2))*(1 + (-1)^(n+1)*sqrt(2))^(2*floor((n+1)/2))))^2 - 1. - Raphie Frank, Dec 20 2015

EXAMPLE

From Raphie Frank, Sep 28 2012: (Start)

35*(528 - 15) + 0 = 17955 = a(6),

35*(4095 - 120) + 3 = 139128 = a(7),

35*(17955 - 528) + 15 = 609960 = a(8),

35*(139128 - 4095) + 120 = 4726275 = a(9). (End)

From Raphie Frank, Feb 02 2013: (Start)

a(7) = 139128 and a(9) = 4726275.

a(9) = (2*(sqrt(8*a(7) + 1) - 1)/2 + 3*sqrt(a(7) + 1) + 1)^2 - 1 = (2*(sqrt(8*139128 + 1) - 1)/2 + 3*sqrt(139128 + 1) + 1)^2 - 1 = 4726275.

a(9) = 1/2*((3*(sqrt(8*a(7) + 1) - 1)/2 + 4*sqrt(a(7) + 1) + 1)^2 + (3*(sqrt(8*a(7) + 1) - 1)/2 + 4*sqrt(a(7) + 1) + 1)) = 1/2*((3*(sqrt(8*139128 + 1) - 1)/2 + 4*sqrt(139128 + 1) + 1)^2 + (3*(sqrt(8*139128 + 1) - 1)/2 + 4*sqrt(139128 + 1) + 1)) = 4726275. (End)

MAPLE

A006454:=-3*z*(1+4*z+z**2)/(z-1)/(z**2-6*z+1)/(z**2+6*z+1); # conjectured (correctly) by Simon Plouffe in his 1992 dissertation

MATHEMATICA

Clear[a]; a[0] = a[1] = 1; a[2] = 2; a[3] = 4; a[n_] := 6a[n - 2] - a[n - 4]; Array[a, 40]^2 - 1 (* Vladimir Joseph Stephan Orlovsky, Mar 03 2011 *)

PROG

(MAGMA) I:=[0, 3, 15, 120, 528, 4095]; [n le 6 select I[n] else 35*(Self(n-2) - Self(n-4)) + Self(n-6): n in [1..30]]; // Vincenzo Librandi, Dec 21 2015

CROSSREFS

Cf. sqrt(a(n) + 1) = A006452(n + 1) = A216162(2n + 2) and (sqrt(8a(n) + 1) - 1)/2 = A006451.

Cf. A217278, A124174, A216134. - Raphie Frank, Feb 02 2013

Subsequence of A182334.

Cf. A245031.

Sequence in context: A060639 A068052 A068859 * A225115 A112228 A260511

Adjacent sequences:  A006451 A006452 A006453 * A006455 A006456 A006457

KEYWORD

nonn,easy

AUTHOR

N. J. A. Sloane, Jeffrey Shallit

EXTENSIONS

Better description from Harvey P. Dale, Jan 28 2001

More terms from Larry Reeves (larryr(AT)acm.org), Feb 07 2001

Minor edits by N. J. A. Sloane, Oct 24 2009

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy .

Last modified February 20 15:08 EST 2017. Contains 282390 sequences.