7
$\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

2 Answers 2

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
    Dear Old John, Tha2012-07-29
  • 0
    Dear Old John, Thank you so much for your informations. Yes I read that paper and more paper different from it. The method is that but it is not easy to prove it. I used the congruences properties of generalized fibonacci and lucas numbers and identities concerned with them but the result is negative so far. thank you again2012-07-29
  • 1
    **Small update:** If $F_n = 5y+7$ can be solved, then $n$ must be equivalent to one of $3, 14, 16, 17 \pmod{20}$, and two of these possibilities ($n\equiv 3,17$) can be eliminated by elementary means, which narrows the possibilities down to $n \equiv 14, 16 \pmod{20}$. You may already have discovered this - please let me know.2012-07-29
  • 0
    Thank you Dear John, Maybe we can solve this question making cooperation. I will be waiting for your news about this problem.2012-07-30
  • 0
    Actually, I got the value of $n$ as $n=60t-44$. And I am using the congruences properties of fibonacci numbers. But except $t=1$, I could not any contradiction. That is I assume that $t>1$ and want to get contradiction so I get $t=1$ and therefore $n=16$ and thus $x=14$. But I could not succesed it.2012-07-30
  • 0
    Actually, I got the value of $n$ as $n=60t-44$. And I am using the congruences properties of fibonacci numbers. But except $t=1$, I could not any contradiction. That is I assume that $t>1$ and want to get contradiction so I get $t=1$ and therefore $n=16$ and thus $x=14$. But I could not succesed it.2012-07-30
  • 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.

  • 2
    This is true but completely unrelated to the question. $n$ and $x$ are independent of each other, as such the rate of growth is irrelevant.2012-07-29
  • 0
    But I want to prove it using the number theory method or another method.2012-07-29