This is a lovely and gentle (you hardly realize it) to a lot of very deep mathematics... great post, thanks to the author! There's a lot I learned and would love to look up and continue to explore.<p>---<p>As an aside, one thing I like to point out though is that the definition of “good approximation” seems to some extent determined by what has the cleanest theory, than what one may naively desire, as in this paragraph from the article:<p>> Emily consider ways of giving each answer a score. Initially, she thought that for each fraction, the score could be the (absolute) difference between her number and the proposed fraction, and then multiplied by the denominator. (The lower the better). However, after talking to some of her tech friends, she decided to make it even stricter [...] denominator <i>squared.</i><p>A similar thing comes up in many expositions of “best rational approximation” in books and on the internet, where instead of |x-p/q| we use |q(x-p/q)| = |qx-p|, and here in this post for even cleaner theory we're using |q(qx-p)|. A post I wrote a while ago to clarify this issue, with a small C program: <a href="https://shreevatsa.wordpress.com/2011/01/10/not-all-best-rational-approximations-are-the-convergents-of-the-continued-fraction/" rel="nofollow">https://shreevatsa.wordpress.com/2011/01/10/not-all-best-rat...</a>
I recently saw this [0] Numberphile video that touches some of the similar stuff at the end of this article, with the spirals being animated.<p>[0] <a href="https://www.youtube.com/watch?v=sj8Sg8qnjOg" rel="nofollow">https://www.youtube.com/watch?v=sj8Sg8qnjOg</a>
> Emily had stumbled on a very counter-intuitive pattern first discovered by Markoff (in this very specific field of maths his name is traditionally spelled ‘Markoff’ but in all other areas, it is usually spelled ‘Markov’).<p>Sounds like he had a badly approximable name.