Algebraic number

An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer (or, equivalently, rational) coefficients. For example, the golden ratio, , is an algebraic number, because it is a root of the polynomial x^2 − x − 1. That is, it is a value for x for which the polynomial evaluates to zero. As another example, the complex number is algebraic because it is a root of x^4 + 4. All integers and rational numbers are algebraic, as are all roots of integers. Real and complex numbers that are not algebraic, such as pi and e, are called transcendental numbers. The set of algebraic numbers is countably infinite and has measure zero in the Lebesgue measure as a subset of the uncountable complex numbers. In that sense, almost all complex numbers are transcendental. All rational numbers are algebraic. Any rational number, expressed as the quotient of an integer a and a (non-zero) natural number b, satisfies the above definition, because x = a/b is the root of a non-zero polynomial, namely bx − a. Quadratic irrational numbers, irrational solutions of a quadratic polynomial ax^2 + bx + c with integer coefficients a, b, and c, are algebraic numbers. If the quadratic polynomial is monic (a = 1), the roots are further qualified as quadratic integers. Gaussian integers, complex numbers a + bi for which both a and b are integers, are also quadratic integers. This is because a + bi and a − bi are the two roots of the quadratic x^2 − 2ax + a^2 + b^2. A constructible number can be constructed from a given unit length using a straightedge and compass. It includes all quadratic irrational roots, all rational numbers, and all numbers that can be formed from these using the basic arithmetic operations and the extraction of square roots. (By designating cardinal directions for +1, −1, +i, and −i, complex numbers such as are considered constructible.) Any expression formed from algebraic numbers using any combination of the basic arithmetic operations and extraction of nth roots gives another algebraic number.