# The Main Theorem

## Degree of a field extension

We already know that a quadratic extension has degree .  Then how about iterated quadratic extension? It turns out that the degree of any iterated quadratic extension must be a power of i.e. the number of parameters needed to describe all elements in an iterated quadratic extension is  for some positive integer . (Note: Some linear algebra is needed to prove the above fact.)

## Irreducible polynomials

Given a real number , if it is a root of a polynomial equation whose coefficients are in , we say that is algebraic over . Now we are going to simply the polynomial equation by factorising so as to lower its degree. Now, we may assume that  has the lowest degree. It is usually called the irreducible polynomial of over . The degree of such irreducible polynomial is called the degree of  over .

## The Main Theorem

Here is a very useful result about degrees: If and be two field extensions over such that , then the degree of over is divisible by the degree of over . Let  be a real number that is algebraic over . If it is a constructible number, it must lie in an iterated quadratic extension over . Let be the field extension just large enough to contain and . It can be shown that the degree of over equals the degree of over . Therefore, and by above, the degree of over , which is a power of , is divisible by the degree of over . In other words, the degree of over is also a power of . Now, we can rephrase the above important results as the main theorem: Given a real number that is algebraic over . If the degree of over is not a power of , then is not a constructible number. (Note: the detailed proof of the above theorem is beyond the scope of this course.)