login
A088060
For each Fibonacci number F(m) = A000045(m), m >= 1, look for the smallest Fibonacci number F(k) > F(m) such that F(m) + F(k) is a square. If it exists, append F(k) to the sequence.
1
3, 3, 34, 13, 89, 14930352
OFFSET
1,1
COMMENTS
Conjecture: sequence is finite.
m=1 ==> k=4 or 6, m=2 ==> k=4 or 6, m=3 ==> k=3 or 9, m=4 ==> k=1 or 2 or 7 or 17, m=6 ==> k=1 or 2 or 6, m=7 ==> k=4, m=9 ==> k=3, m=10 ==> k=11, m=11 ==> k=10, m=12 ==> k=36, m=17 ==> k=4, m=36 ==> k=12, for other m there is no solution. - Mohammed Bouayoun (bouyao(AT)wanadoo.fr), Mar 14 2004
Joe Silverman wrote: "Here's a general finiteness result: fib(n) + c = m^2 has only finitely many solutions, regardless of the value of c. Write fib(n) = a(u^n - u^(-n)), where a=1/sqrt(5) and u=(1+sqrt(5))/2. So generalizing further, can look at the equation au^n + bu^(-n) + c = dm^2, where a,b,c,d are fixed integers (a,b,d nonzero) and u is a unit, or even just an algebraic integer, in some number field.
"Rewrite this as au^(2n) + b + cu^n = d m^2 u^n. Using standard methods, it is not hard to prove that any such equation has only finitely many solutions. One way is to consider the congruence class of n modulo (say) 2. Thus write n = 2*n1+n2. We can assume that n2 is fixed (either 0 or 1). Now let x = u^n1 and y = m be the unknowns and let e=u^n2 be another fixed value.
"Then we need to solve (ae^2)x^4 + b + (ce)x^2 = dx^2y^2. This is the equation of an elliptic curve (albeit a singular one), so has only finitely many solutions in the ring of integers of any field (by a theorem of Siegel). Or one can consider n modulo a higher congruence and then the resulting curve will have genus larger than one, in which case one can quote Faltings' theorem that there are only finitely many points with coordinates in any number field."
EXAMPLE
F(10) = 55, F(11) = 89, 55 + 89 = 144 is a square, and the first of the form F(10) + F(k), k > 10. F(10) is the 5th Fibonacci term that has at least one qualifying value, k. Hence a(5) = 89. - Peter Munn, Mar 21 2021
CROSSREFS
KEYWORD
nonn,fini,full
AUTHOR
Amarnath Murthy, Sep 21 2003
EXTENSIONS
a(5) and a(6) from Mohammed Bouayoun (bouyao(AT)wanadoo.fr), Mar 14 2004
Name clarified by Peter Munn, Mar 22 2021
STATUS
approved