8
$\begingroup$

Numerically I find the positive integer solution of the equation $F_n=5x^2+7$, where $F_n$ denotes the $n^\text{th}$ Fibonacci number, as $(n,x)=(16,14)$ and I guess that the only positive solution of it is $(n,x)=(16,14)$.

How can I solve this equation?

  • 0
    It's known that $5F_n^2+4(-1)^n$ is a square. Putting in $F_n=5x^2+7$ we get the equations $y^2=125x^4+350x^2+241$ and $y^2=125x^4+350x^2+249$ (depending on the parity of $n$). There are well-understood techniques for solving such equations.2012-07-30

3 Answers 3

4

This isn't a full answer, but might give you enough information about methods of proving that this equation probably has only the one solution you have already.

In this online version of a paper published in the Fibonacci Quarterly in 1964, Cohn uses completely elementary methods such as congruences and properties of quadratic residues to show that there are no square Fibonacci numbers apart from 0, 1 and 144. He uses a long list of well-known identities connecting Fibonacci and Lucas numbers, which will almost certainly be useful.

I suspect that these methods could probably be used to show that your equation has only the one solution, as this sort of (basically) exponential diophantine equation usually has a finite number of solutions, which are almost always fairly small, unless you have been extremely unlucky.

  • 0
    Thanks - I will keep thinking about it then.2012-07-30
-3

the fibonacci sequence grows exponentially ($F_{n+1}/F_n\to\phi$) so you would only need to check finitely many instances.

  • 0
    But I want to prove it using the number theory method or another method.2012-07-29