MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a large number x>0, how many Fibonacci numbers are there in the interval [1,x]? I have saw the corresponding results in certain places but I have forgotten now. Can anyone help me? Thanks!

share|cite|improve this question

closed as too localized by Gjergji Zaimi, Yemon Choi, Wadim Zudilin, Felipe Voloch, S. Carnahan Oct 11 '10 at 11:22

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

If you know that $F_n=a\omega^n+b\omega^{-n}$ with $a,b$ constant and $\omega=(1+\sqrt5)/2$, you can conclude. – Denis Serre Oct 11 '10 at 9:14
Very closely related problem - – Nurdin Takenov Oct 11 '10 at 10:02
I think this question should be closed, because the first hit on Google for "Fibonacci number" gives you the answer:… – S. Carnahan Oct 11 '10 at 11:22

Let $G:=(1+\sqrt{5})/2;g:=(1-\sqrt{5})/2$, then the $n$-th Fibonacci number is $\frac{1}{\sqrt{5}}(G^n-g^n)$. Note that $|g|<1$. Hence the number of Fibonacci numbers $\le x$ is $\frac{\log \sqrt{5}x}{\log G}$ plus or minus 1 (and it is easy to see when you need to add or subtract 1).

share|cite|improve this answer
@Mark - Don't you mean $\frac{\log \sqrt{5} x}{\log G}$ ? – Moshe Schwartz Oct 11 '10 at 9:59
@Moshe: Yes, of course. When I first typed the answer, I denoted $G$ by $g$ and $g$ by $G$, but then I decided that $g$ cannot be bigger than $G$, so I switched the notation, but not everywhere. – Mark Sapir Oct 11 '10 at 10:21

Not the answer you're looking for? Browse other questions tagged or ask your own question.