derivadas.dev

Pablo Díaz Viñambres

MSc Informatics @ TUM

What geometry does not tell you: The Squaring of the Circle

manimPythonTeaching


The Emmy Noether Awards was a mathematics outreach video competition run by popular youtuber Mike Mates in 2023. I chose to participate along with Xiana Carrera and create a video on the classic problem of Squaring the Circle for it.

Having completed a course on our previous semester on Galois Theory, where we learnt about topics like the algebraic unsolvability of quintics and constructible numbers, we felt motivated to create an entry on a related problem. The approach was to start with classical rule-and-compass constructions, such as those found at Euclid’s Elements, and arrive at modern number theory, in particular, at the proof that π\pi is a transcendental number, which demonstrates the impossibility of the circle-squaring problem.

Animation frame from the video.

On the visual side, we decided for a hybrid approach, combining timelapses were we draw with an actual ruler and compass and animations made with 3blue1brown’s manim library.

Our video was a great hit! At the time of writing, it accumulates over 137.000 views and earned us one of the awards in the competition. For us, however, the greatest reward was the flood of positive comments on it, and the feeling of having inspired many young mathematicians with it.