this post was submitted on 16 Jul 2023
164 points (97.7% liked)
Asklemmy
43893 readers
865 users here now
A loosely moderated place to ask open-ended questions
Search asklemmy ๐
If your post meets the following criteria, it's welcome here!
- Open-ended question
- Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- [email protected]: a community for finding communities
~Icon~ ~by~ ~@Double_[email protected]~
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I think the way to formally prove this is to find the difference between the Fibonacci approximation and the usual conversion, and then to find whether that series is convergent or not. Someone who has taken the appropriate pre-calculus or calculus course could actually carry it out :P
However, I got curious about graphing it for distances "small enough" like from Earth to the sun (150 million km). Turns out, there's always an error, but the error doesn't seem to be growing. In other words, except for the first few terms, the Fibonacci approximation works!
This graph grabs each "Fibonacci mile" and converts it to kilometers either with the usual conversion or the Fibonacci-approximation conversion. I also plotted a straight line to see if the points deviated.
Edit: Here's another graph
So it turns out:
TL;DR:
If someone wants to play around with the code, here it is.
Note that you need RStudio and the Tidyverse package.
You just did the math!
Mmm dat ggplot2 but ggthemr::ggthemr("flat") is where it's at.
Checked it out and love that package! Thanks for the recommendation :)