More awesomeness of the tower rule
October 17, 2011 1 Comment
A few days ago we noticed that as we build up , by placing down intersection points, we never need to solve anything more complicated than the quadratic equation. We may need to do it a gazillion times, but every constructible number can be build by using nothing fancier than the quadratic equation.
Let’s do some magic. Suppose we construct some number . Maybe we had to put down points at a bazillion (which, in the metric system, can be more than a gazillion) intersections. Each time we place a point, it gives us a new constructible length. Let’s write down these lengths in the order they are constructed. Call them (here takes the place of a gazillion). Let , , , and so on, up until . Another way to describe this is to say that is the smallest field containing and for .
The first thing to notice is that . So what can we say about ? It’s a field? But wait! It’s actually a vector space too! It’s a vector space with scalar field for any ! So let’s consider .
The magical tower rule tells us that . But we can actually continue expanding this product a lot more:
So it suffices to figure stuff out about . This is the extension we get when we add one new point.
But we already know something about what we get when we put down a new point. It is either a quadratic extesnion (if a circle is involved), or a linear extension (if it is just two lines intersecting). Linear extensions are lame, because it’s not an extension at all. It’s just the same field back. But quadratic extensions are not so lame.
In any event, is either 1 or 2, so must be a power of two. This is particularly handy, and an awesomely beautiful result. We are now really ready to snatch some cool results.
Tomorrow we’ll solve all the classical greek questions. Wednesday we’ll figure out which regular polygons we can construct. Then on Thursday, as promised, we’ll really start Galois Theory. Sorry to delay it so long, but there’s a lot that needs to be said before we can really attack the problem we want to see (the unsolvability of the general quintic).