Most people have heard either about the golden ratio
or about the Fibonacci numbers
0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ….
They are intimately related, and I could write several enormous posts enumerating all of their amazing properties.
The golden ratio is an irrational number which satisfies the polynomial equation , that is, we have . In fact, since this is the lowest-degree (hence “simplest”) polynomial annihilating , we refer to it as the minimal polynomial of . Many surprising facts can be derived from this innocuous-looking relation. For example, immediately yields that , from which we get the “continued surd” expression
Stated differently, is a fixed point of the mapping . When you were a kid, if you were bored with a calculator, maybe you had the idea of starting with some number, adding 1 to it and taking its square root, and then repeating this process ad nauseum. If you did that, you would have found that eventually the numbers on your calculator stop changing at exactly the value .
For something else, take our original equation , and divide through by to obtain . This tells us is also fixed by the map . It follows immediately that the so-called “continued fraction expansion” of , which (in a precise sense) provides the data of the “best rational approximants” to , must look like:
With a lot of irrational numbers, we get much less pretty continued fraction expansions:
One thing to note is that the appearance of a large number in the continued fraction expansion, like 292 above, is telling us something about Diophantine approximation: that is, how well we’re able to approximate our number by rationals of a given denominator. The rationals you obtain by truncating a number’s continued fraction expansion are provably always the “best” in this sense. Thus, if we look at , whose continued fraction is just all 1’s, we can say that in this precise sense, is the number for which this “approximability” is the worst. It is as hostile as can be towards rational numbers.
Anyway, this is just a small taste of . Now let’s do something seemingly random: take the polynomial and “flip” the sequence of coefficients around, to obtain (alternatively, replace each exponent in the expression with the new exponent ). Now we’ll take a reciprocal:
We’re going to look at the series expansion of this thing, which we get from the geometric series formula. For what it’s worth, I don’t care at all about convergence (it’s the summer break; my operator theory course doesn’t start until 2 weeks from now!), so just work completely formally.
Stare at this thing for a while and you notice that the coefficient of in the above is given by
which is (of course) actually a finite sum since we nonchalantly ditch any terms with or . The sequence is the Fibonacci sequence (okay, except for being offset by one or something). It is not hard to show that as , we have . In fact these common ratios are nothing more than the convergents of the continued fraction expansion of .
One cool thing Wikipedia mentions is that you can tile the plane with a “spiral” of squares whose side lengths are given by the Fibonacci sequence:
In the next post I will discuss why all this number-theoretic information related to (root of the polynomial ) shows up in the power series expansion of the reciprocal of the “reversed” polynomial . I’ll also apply the same general procedure to , which has the so-called “plastic constant” as its root. The sequence we’ll obtain is called the Padovan sequence, and you can perform a similar tiling of the plane using triangles of those side lengths. Once you look at , the sequence you get from the series expansion is no longer nice and monotonic. This is odd, but in hindsight unsurprising since by analogy we would expect it to correspond to some kind of “tiling of the plane by a spiral of 2-sided polygons”, which is absurd.