This blog is about Simon, a young gifted mathematician and programmer, who had to move from Amsterdam to Antwerp to be able to study at the level that fits his talent, i.e. homeschool. Visit https://simontiger.com
Take any real number and call it x. Then plug it into the equation f(x) = 1 + 1/x and keep doing it many times in a row, plugging the result back into the equation.
At some point you will see that you arrive at a value that will become stable and not change anymore. And that value will be… φ, the golden ratio!
But this equation also has another answer, -1/φ. If you plug that value into the equation, it will be the same, too. The real magic happens once you have rounded the -1/φ down (or up), i.e. once what you plug into the equation is no longer exactly -1/φ. What happens is that, if you keep going, you will eventually reach… φ as your answer!
While in Southern France, Simon really enjoyed solving this puzzle (he originally saw in a Brilliant.org vid). He was so happy with his solution he kept drawing it out on paper and in digital apps, and later shared the puzzle on Twitter. This sparked quite a few reactions from fellow math lovers, encouraged Brilliant to tweet new puzzles and now Brilliant follows Simon on Twitter, how cool is that!
Simon was showing Dad a graph of how technology is developing exponentially, y = a^x. Dad asked for a specific value of a, and Simon said: “All exponentials are stretched out or squished versions of the same thing.” He then quickly came up with the proof (“a few lines of relatively simple algebra”). “If all exponentials are pretty much the same, that means that all exponentials have proportionately the same derivative.”
Simon has written a code in Python that generates primes using the finite list from Euclid’s proof that there are infinitely many primes. “Starting with one prime (2) the code uses the finite list to generate a couple more numbers that aren’t in the list but are primes. It may not even get to all the primes in the long run!” There is only one problem with Simon’s algorithm…
Simon has written down Euclid’s proof in his own words first https://imgur.com/ML2tI6n and then decided to program it in Python.
Simon explains why the proof that root 4 is irrational is false and shows a couple more related theorems (he came up with) generalizing the relationship between the exponent and the factor of a number.
Simon explains: “Induction is a mathematical term, type of mathematical proof, if you have a couple of base cases (n base cases), then the inductive hypothesis implies that for the previous n values the statement holds. It proves that if the inductive hypothesis is true, the next value will also hold”.
Below, Simon used induction to prove that “any Lucas number and Lucas number after that divided by 5 equals the Fibonacci number between the Lucas numbers”: