Fun video, in case you were running out of applications of the Fibonacci sequence,
0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, …
(each term is the sum of the previous two; start at 0, 1).
You could use it to convert between miles and kilometre thanks to the ratio of consecutive terms (1.618, as you go further long the sequence) being close to how many km there are in a mile (1.609).
The approach doesn’t work so well for 1 mile (it would say, 2km 🙃). It gets better for larger numbers. If you wanted to convert, say, 89 miles to km, you’d get 144 by going one step along the sequence. The correct answer is 143.232 km.
Tag: mathematics
2 + 2 = 4
Learn how to use Lean, an interactive theorem prover, to prove that \(2 + 2 = 4\) and \(x + y = y + x\): the Natural Number Game. Spotted in AI for Maths Resources, which is linked in Tao, T. (2025). Machine-Assisted Proof. Notices of the American Mathematical Society, 72(1), 6–13.
