login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A057592 a(n) = Fibonacci(n+1)^2 + 4*Fibonacci(n). 0
1, 5, 8, 17, 37, 84, 201, 493, 1240, 3161, 8141, 21092, 54865, 143061, 373608, 976609, 2554357, 6683444, 17491097, 45781949, 119841976, 313723305, 821294493, 2150106052, 5628936097, 14736560549, 38580516296, 101004617393, 264432735685, 692292618516 (list; graph; refs; listen; history; text; internal format)
OFFSET
0,2
COMMENTS
Theorem: only the first term is a square. Proof from Don Coppersmith: (F[n+1] + 2)^2 = F[n+1]^2 + 4*F[n+1] + 4 > F[n+1]^2 + 4*F[n]. But (F[n+1] + 1)^2 -(F[n+1]^2 + 4*F[n])= 2*F[n+1] + 1 - 4*F[n] is odd and positive, so can't be 0. Thus our number is trapped between 2 successive squares.
REFERENCES
Postings to Number Theory List (NMBRTHRY(AT)LISTSERV.NODAK.EDU) by Victor S. Miller, Oct 05 2000.
LINKS
FORMULA
G.f.: -(4*x^4-7*x^3-8*x^2+2*x+1)/(x^5-x^4-5*x^3+x^2+3*x-1). - Alois P. Heinz, May 22 2021
MATHEMATICA
Table[Fibonacci[n + 1]^2 + 4*Fibonacci[n], {n, 0, 200}] (* and *) CoefficientList[Series[(-4 z^4 + 7 z^3 + 8 z^2 - 2 z - 1)/(z^5 - z^4 - 5 z^3 + z^2 + 3 z - 1), {z, 0, 100}], z] (* Vladimir Joseph Stephan Orlovsky, Jun 30 2011 *)
4#[[1]]+#[[2]]^2&/@Partition[Fibonacci[Range[0, 30]], 2, 1] (* Harvey P. Dale, May 21 2021 *)
CROSSREFS
Cf. A000045.
Sequence in context: A091625 A027601 A261808 * A246638 A192170 A280251
KEYWORD
nonn,easy
AUTHOR
N. J. A. Sloane, Oct 05 2000
STATUS
approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 04:13 EDT 2024. Contains 371235 sequences. (Running on oeis4.)