A long time ago, I wrote about the most beautiful equation in mathematics and the numbers involved, π and e. I’ve started slowly working through my backblog and realized that I never finished that particular tale, as I promised.
Looking back on it, it strikes me that I’m not sure I was writing to an appropriate audience. This is part of a larger internal ponderation I’m having, about writing mathematics in general and writing mathematics for an audience of non-mathematicians in particular.
I have come to believe that spending so much of time thinking about mathematics, and teaching mathematics to others, has shaped how I approach many things. When I engage in discussions about rules and regulations, process and procedures, I like the ground to be firm beneath my feet. I like to know the definitions of the terms we use in those discussions, and the rules of argument that we use in our deliberations.
But I think that it does sometimes get in the way when I’m trying to write. I tend to write very slowly, and there are times I think that my slowness of writing stems from this need to have a clear picture, from beginning to end. This is relatively straightforward in a piece of mathematics, but much less clear in a work of fiction. Or a blog.
So back to the matter at hand. In the previous section, I was talking about levels of complication of numbers. We started with the rational numbers, quotients of integers. I then defined the algebraic numbers. These numbers have the technical definition that they are solutions to equations of the form p(x) = 0, where p(x) is a polynomial with integer coefficients. Another, heuristic, explanation is that the algebraic numbers are those numbers which can (essentially) specified by a finite collection of integers, much in the same way that rational numbers are specified by pairs of integers.
These levels of complication are related to one another. Every rational number n/m is an algebraic number, where the polynomial is p(x) = mx – n (since p(m/n) = n (m/n) – m = m – m = 0). In fact, the rational numbers are the simplest algebraic numbers, if we take as our yardstick of simple to be the degree of the relevant polynomial.
But not every algebraic number is a rational number. The classical example, classical in the sense of Pythagoras and the ancient Greeks and things we have known for a very very long time, is √2 with associated polynomial p(x) = x^2 – 2.
There are lots of directions we can go from here. One direction is the question, are there any real numbers which are not algebraic. Another direction is the question, what other flavours of numbers are there. And you won’t be surprised to find out, there are many. Mathematicians have been busy for centuries exploring numbers and their properties.
So how do we demonstrate the existence of real numbers that are not algebraic numbers? There are hard to construct explicitly, such is their nature. My favorite demonstration takes us on a detour into a different, and difficult, topic, which is the strange nature infinity.
