Take a second to let things settle and recover from the mess of square roots and Greek letters. A couple things I'll point out:
- The approach we've taken works for any linear recurrence: if you have some sequence with a fixed number of terms, you can apply this method and find a closed form. (The number of terms on the right determines the degree of the polynomial we had to solve to get the values of , so the more terms you have there the less likely you'll be able to get a clean solution.)
- Rather surprisingly, this is always an integer for natural : everything cancels out.1
- Binet's formula provides a neat extension of the Fibonacci sequence to other numbers, and it can be modified to support even complex numbers! If you've ever seen clickbait videos about how 1 + 2 + 3 + 4 + ... = -1/12, this is essentially what is being done there: we're taking a definition and then extending it beyond the original bounds.
- . Because of this, for all natural , . This means you can skip computing it entirely and just round to the nearest integer when you're done.
- Proof left as exercise to the reader!↩
Take a second to let things settle and recover from the mess of square roots and Greek letters. A couple things I'll point out:
- The approach we've taken works for any linear recurrence: if you have some sequence with a fixed number of terms, you can apply this method and find a closed form. (The number of terms on the right determines the degree of the polynomial we had to solve to get the values of , so the more terms you have there the less likely you'll be able to get a clean solution.)
- Rather surprisingly, this is always an integer for natural : everything cancels out.1
- Binet's formula provides a neat extension of the Fibonacci sequence to other numbers, and it can be modified to support even complex numbers! If you've ever seen clickbait videos about how 1 + 2 + 3 + 4 + ... = -1/12, this is essentially what is being done there: we're taking a definition and then extending it beyond the original bounds.
- . Because of this, for all natural , . This means you can skip computing it entirely and just round to the nearest integer when you're done.
- Proof left as exercise to the reader!↩