6

My question is simple, but a mystery to me. Skip to the last paragraph if you're not interested in the story of my exploration.

EDIT: I seem to have misinterpreted a key detail regarding how the sequence relates to the continued fraction expansion of $\sqrt{5}$ which I've fixed in this post. See the comments for more info.

The background: I had the brilliant idea to consider the Fibonacci-like sequence which starts with $$\frac{1 \pm \sqrt{5}}{2}$$ as initial values, and see what happens. Nothing too interesting, it just devolves into $$T_n = \frac{F_n + F_{n-2}\sqrt{5}}{2}$$ fairly quickly ($\forall n \geq 4$); this has nothing to do with the presence of $\sqrt{5}$ as opposed to any other value, though.

However, the 2 in the denominator gave me something to work with: every third Fibonacci number is certainly even, which means I can reduce every third element of this sequence I've constructed. The first couple of these, reduced, are: $$\begin{array}{c|ccccc}n & 3 & 6 & 9 & 12 & 15\\ \hline T_n & 0\sqrt{5}+1 & 1\sqrt{5}+4 & 4\sqrt{5}+17 & 17\sqrt{5}+72 & 72\sqrt{5}+305 & \end{array}$$

It was at this point that I realized all I was doing was taking the $3n$th Fibonacci number and dividing it by two, which was kind of boring. I figured I'd look up the sequence on the OEIS, though, and it seems to be the sequence of denominators you get after truncating the continued fraction expansion of $\sqrt{5}$ after some number of denominators and then simplifying.

The question: why?

Samuel Yusim
  • 2,150
  • 11
  • 23
  • I think I misunderstand you: per [this](http://math.stackexchange.com/questions/265690/continued-fraction-of-a-square-root) question, the continued fraction expansion of $\sqrt{5}$ is a bunch of $4$'s. – Eli Rose Jun 05 '15 at 01:27
  • Can you add a link to the OEIS sequence you allude to? – Semiclassical Jun 05 '15 at 01:30
  • @EliRose I think I misunderstood what the OEIS was saying! https://oeis.org/A001076 this is a link to the sequence. I have no idea what a "continued fraction convergent" is if it's not the thing I thought. My fault though, I should have checked more carefully before posting. Edit: It's probably the bottom denominator of the $n$-term-deep approximation. – Samuel Yusim Jun 05 '15 at 01:32
  • I've fixed the post. – Samuel Yusim Jun 05 '15 at 01:42
  • 1
    Generally, it is wise to get to your question *first* then give any backstory. It makes it easier for people who, after all, are volunteers, to quickly determine if they can help you. And years from now, if somebody googles and encounters your question, will it be obvious to them quickly if it is the same as their own? And, as a rule, the question should never be "long paragraph" then "why?" Make the question clear to someone scanning, as much as possible – Thomas Andrews Jun 05 '15 at 01:52
  • @ThomasAndrews frankly, I feel like if I started my post with nothing but 'why?' then more people would be confused, not less! – Samuel Yusim Jun 05 '15 at 01:55
  • @ThomasAndrews but to be real, I knew my audience and this is a situation where I personally want for people who are reading it right now to be interested rather than for people reading it in 3 months to get an answer fast. Maybe not the best stylistic choice but it seems to have gotten me an answer. Also I did make sure to say that the reader in a hurry can skip to the end. – Samuel Yusim Jun 05 '15 at 02:00
  • Then you don't understand half the purpose of this site. And at is not the only reason to post this way. You know your audience? How do you know the number of people who read all the way through before realizing they couldn't answer your question? Does it bother you that you wasted the time of people who come here and kindly offer help? – Thomas Andrews Jun 05 '15 at 02:02
  • @ThomasAndrews if someone wants to help me but doesn't want to spend more than a couple minutes doing it I don't know why they're doing it in the first place. I wrote this post to be a little fun, but I'm sorry it didn't rub off on you. Anyway, if you want to talk about this more then message me on the chat. This is sort of unrelated to the question. – Samuel Yusim Jun 05 '15 at 02:07
  • You completely misread what I wrote. – Thomas Andrews Jun 05 '15 at 02:08

1 Answers1

7

Recursion for the $3n\,$th Fibonacci number: let $G_n=F_{3n}$. Then we have $$\eqalign{ G_{n+1}&=F_{3n+2}+F_{3n+1}\cr F_{3n+2}&=F_{3n+1}+G_n\cr 2F_{3n+1}&=2G_n+2F_{3n-1}\cr -G_n&=-F_{3n-1}-F_{3n-2}\cr F_{3n-1}&=F_{3n-2}+G_{n-1}\ .\cr}$$ Now add all these equations: lots of things cancel and we get $$G_{n+1}=4G_n+G_{n-1}\ .$$ For the convergents $p_n/q_n$ of a continued fraction we have $$q_{n+1}=a_nq_n+q_{n-1}\ .$$ In the case of $\sqrt5$ all of the $a_n$ for $n\ge1$ are equal to $4$, so we have $$q_{n+1}=4q_n+q_{n-1}\ .$$ This is the same as the recurrence for $G_n$, so as long as the initial values match, the sequences will be identical.

David
  • 77,136
  • 8
  • 84
  • 148
  • 1
    The central identity here (the recursion for $F_{3n}$ appears as the $k=3$ case of equation (44) of Mathworld's page on Fibonnaci numbers: $$F_{nk}=L_k F_{n(k-1)}-(-1)^k F_{n(k-2)}$$ where $L_k$ is the $k$th Lucas number. So the result for continued-fraction convergents obtained above can be generalized to generic $k$. – Semiclassical Jun 05 '15 at 03:19