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.

3, 3, 34, 13, 89, 14930352

Offset: 1

Author

Amarnath Murthy, Sep 21 2003

Keywords

• nonn
• fini
• full

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."

Examples

			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

Cf. A000045, A094570, A182576.

Extensions

a(5) and a(6) from Mohammed Bouayoun (bouyao(AT)wanadoo.fr), Mar 14 2004

Name clarified by Peter Munn, Mar 22 2021