Crafty, Math and Computer Science Everywhere, Math Riddles, motor skills, Murderous Maths, Simon makes gamez, Simon teaching, Simon's sketch book

Proof Visualization. Warning: Mind-boggling!

Inspired by the Card Flipping Proof by Numberphile, Simon created his own version of this proof. He made a solitaire game and proved why it would be impossible to solve with an even number of orange-side-up circles. He drew all the shapes in Microsoft Paint, printed them out and spent something like two hours cutting them out, but it was worth it!

The colourful pieces in the lower row are a “key” to solve the solitaire puzzle. The objective is to remove all the circles. One can only remove a circle if it’s orange side up. Once a circle is removed, its neighbouring circles have to be flipped. Using the key, start with the yellow pieces, and move in the direction of the “grater than” sign (from smallest to largest).

If there’s an odd number of orange circles in the middle, then the end pieces are the same, both orange or both white. In both cases the total number of orange circles will also be odd. If there’s an even number of orange circles in the middle, then the ends have to be different (one orange, one white).

In the case of odd number of orange pieces, the ends have to match. In the case of an even number of orange pieces, you would have pieces that point the same way at both ends. “Now we’ve proven that to make this puzzle possible it has to have an odd number of orange pieces”, Simon says.

Why? Imagine a stick figure that always walks to the right, but always faces in the direction of the arrow (as in it can’t go backwards). It would flip every time it reaches an orange circle. Focusing on everything except the ends, if there are an odd number of orange circles, the puzzle pieces would face the other way. Which means that the end pieces are the same, and therefore the end circles are the same. If there are an even number of orange circles in the middle, the puzzle pieces would face the same way. Which means that the end pieces are different, and therefore the end circles are different.

Simon finds this sort of proof easy, but I felt like my brains are going to boil and dripple through my ears and nostrils. He patently exlained it to me several times and types the above explanation, too.

Contributing, Group, Math Riddles, Milestones, Murderous Maths, Notes on everyday life, Set the beautiful mind free, Simon teaching, Simon's sketch book

MathsJam Antwerp 20 November 2019. A Blast and a Responsibility.

Today, Simon returned to a problem he first encountered at a MathsJam in summer: “Pick random numbers between 0 and 1, until the sum exceeds 1. What is the expected number of numbers you’ll pick?” Back in June, Simon already knew the answer was e, but his attempt to prove it didn’t quite work back then. Today, he managed to prove his answer!

The same proof in a more concise way:

At MathsJam last night, Simon was really eager to show his proof to Rudi Penne, a professor from the University of Antwerp who was sitting next to Simon last time he gave it a go back in June. Rudi kept Simon’s notes and told me he really admired the way Simon’s reasoning spans borders between subjects (the way Simon can start with combinatorics and jump to geometry), something that many students nurtured within the structured subject system are incapable of doing, Rudi said. Who needs borders?

Later the same evening, Simon had a blast demonstrating the proof to a similar problem to a larger grateful and patient audience, including Professor David Eelbode. The first proof was Simon’s own, the second problem (puzzle with a shrinking bullseye) and proof came from Grant Sanderson (3Blue1Brown) on Numberphile.

“Don’t allow any constraints to dull his excitement and motivation!” Rudi told me as Simon was waiting for us to leave. “That’s a huge responsibility you’ve got there, in front of the world”.

Murderous Maths, Notes on everyday life, Simon's sketch book

The beauty of the Cubic Formula

One of Simon’s most beloved sources of knowledge is the Welch Labs channel. Recently he has been rewatching the series about imaginary numbers and the history of their discovery. Did you know that came about because of the Cubic Formula?

The proof of the Cubic Formula is a bit longer than that of the Quadratic Formula (on the yellow sheet)
Math and Computer Science Everywhere, Milestones, Murderous Maths

Simon’s Cycle Formula

During Chinese lesson yesterday, Simon came up with what he calls his “Cycle formula” to calculate all the permutations of placing n numbers in a cyclical order (like on a clock face). He also proved the formula. Wait, Chinese lesson? Yes, I know, this guy manages to squeeze some math everywhere. His Chinese tutor loved it by the way. “Well, we’ve both learned something!” Simon exclaimed delightfully.

the formula is (n-1)!
Coding, Contributing, Geometry Joys, Math Tricks, Murderous Maths, Python, Simon teaching, Simon's Own Code, Simon's sketch book

Why the Golden Ratio and not -1/the Golden Ratio?

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!

Simon saw this interesting fact in a video by 3Blue1Brown and then came up with a proof as to why it happens.

Simon also sketched his proof in GeoGebra: https://www.geogebra.org/classic/zxmqdspb

Community Projects, Contributing, Math Riddles, Math Tricks, Milestones, Murderous Maths, Simon teaching, Simon's sketch book

Simon having fun solving math puzzles on Twitter.

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!

history, Milestones, Murderous Maths, Simon teaching, Simon's sketch book

Another evening tea

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.”

“I’m converting a to e, because e has a place in calculus that we can work with”.
Coding, Murderous Maths, Python, Simon teaching, Simon's Own Code, Simon's sketch book

Prime Generation Algorithm in Python

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.

Resources:
https://www.programiz.com/python-programming/methods/list/remove
https://www.geeksforgeeks.org/iterate-over-a-set-in-python/
https://www.youtube.com/watch?v=OWJCfOvochA
https://numbermatics.com/n/10650056950807/
https://defuse.ca/big-number-calculator.htm

Coding, Milestones, Murderous Maths, Python, Simon teaching, Simon's Own Code, Simon's sketch book

The Van Eck Sequence

Simon explains that the Van Eck Sequence is and shows the patterns he has discovered in the sequence by programming it in Python and plotting it in Wolfram Mathematica. Simon’s project in Wolfram is online at: https://www.wolframcloud.com/objects/4066d93a-893b-4a99-9fdc-54e265d27888

He also shows Neil Sloane’s proof of why the sequence is not periodic and adds an extra bit to make the proof more complete.

This video is inspired by the Numberphile video about the Van Eck sequence.

Simon’s code in Python to generate the Van Eck sequence