language-icon Old Web
English
Sign In

Transcendental number

In mathematics, a transcendental number is a real number or complex number that is not an algebraic number—that is, not a root (i.e., solution) of a nonzero polynomial equation with integer coefficients. The best-known transcendental numbers are π and e.Proof. Each term in P is an integer times a sum of factorials, which results from the relationProof. Note that In mathematics, a transcendental number is a real number or complex number that is not an algebraic number—that is, not a root (i.e., solution) of a nonzero polynomial equation with integer coefficients. The best-known transcendental numbers are π and e. Though only a few classes of transcendental numbers are known (in part because it can be extremely difficult to show that a given number is transcendental), transcendental numbers are not rare. Indeed, almost all real and complex numbers are transcendental, since the algebraic numbers compose a countable set, while the set of real numbers and the set of complex numbers are both uncountable sets, and therefore larger than any countable set. All real transcendental numbers are irrational numbers, since all rational numbers are algebraic. The converse is not true: not all irrational numbers are transcendental. For example, the square root of 2 is an irrational number, but it is not a transcendental number as it is a root of the polynomial equation x2 − 2 = 0. The golden ratio (denoted φ {displaystyle varphi } or ϕ {displaystyle phi } ) is another irrational number that is not transcendental, as it is a root of the polynomial equation x2 − x − 1 = 0. The name 'transcendental' comes from the Latin transcendĕre 'to climb over or beyond, surmount', and was first used for the mathematical concept in Leibniz's 1682 paper in which he proved that sin(x) is not an algebraic function of x. Euler, in the 18th century, was probably the first person to define transcendental numbers in the modern sense. Johann Heinrich Lambert conjectured that e and π were both transcendental numbers in his 1768 paper proving the number π is irrational, and proposed a tentative sketch of a proof of π's transcendence. Joseph Liouville first proved the existence of transcendental numbers in 1844, and in 1851 gave the first decimal examples such as the Liouville constant in which the nth digit after the decimal point is 1 if n is equal to k! (k factorial) for some k and 0 otherwise. In other words, the nth digit of this number is 1 only if n is one of the numbers 1! = 1, 2! = 2, 3! = 6, 4! = 24, etc. Liouville showed that this number belongs to a class of transcendental numbers that can be more closely approximated by rational numbers than can any irrational algebraic number, and this class of numbers are called Liouville numbers, named in honour of him. Liouville showed that all Liouville numbers are transcendental. The first number to be proven transcendental without having been specifically constructed for the purpose of proving transcendental numbers' existence was e, by Charles Hermite in 1873. In 1874, Georg Cantor proved that the algebraic numbers are countable and the real numbers are uncountable. He also gave a new method for constructing transcendental numbers. In 1878, Cantor published a construction that proves there are as many transcendental numbers as there are real numbers. Cantor's work established the ubiquity of transcendental numbers. In 1882, Ferdinand von Lindemann published the first complete proof of the transcendence of π. He first proved that ea is transcendental when a is any non-zero algebraic number. Then, since eiπ = −1 is algebraic (see Euler's identity), iπ must be transcendental. But since i is algebraic, π therefore must be transcendental. This approach was generalized by Karl Weierstrass to what is now known as the Lindemann–Weierstrass theorem. The transcendence of π allowed the proof of the impossibility of several ancient geometric constructions involving compass and straightedge, including the most famous one, squaring the circle.

[ "Humanities", "Epistemology", "Algebra", "Mathematical analysis", "Eidetic reduction", "Transcendental philosophy", "Hilbert's seventh problem", "Transcendental idealism", "Transcendental curve" ]
Parent Topic
Child Topic
    No Parent Topic