Liouville's inequality in Diophantine approximation

E898513

inequality in number theory mathematical theorem result in Diophantine approximation

Liouville's inequality in Diophantine approximation is a foundational result that gives explicit lower bounds on how closely algebraic numbers can be approximated by rationals, leading to the first examples of transcendental numbers.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label	Occurrences
Liouville's inequality in Diophantine approximation canonical	1

Statements (47)

Predicate	Object
instanceOf	inequality in number theory ⓘ mathematical theorem ⓘ result in Diophantine approximation ⓘ
appearsIn	textbooks on Diophantine approximation ⓘ textbooks on transcendental number theory ⓘ
appliesTo	complex algebraic numbers ⓘ real algebraic numbers of degree at least 2 ⓘ
category	Liouville-type inequality ⓘ
classicalReference	Liouville's original papers on transcendental numbers ⓘ
concerns	algebraic numbers ⓘ rational approximations ⓘ
field	Diophantine approximation NERFINISHED ⓘ number theory ⓘ transcendental number theory ⓘ
foundationFor	construction of Liouville numbers ⓘ first explicit examples of transcendental numbers ⓘ
generalFormUses	degree of an algebraic number ⓘ height of an algebraic number ⓘ
gives	lower bounds on approximation of algebraic numbers by rationals ⓘ
hasVariant	inequality for linear forms in algebraic numbers ⓘ inequality for values of polynomials at algebraic points ⓘ
historicalRole	first general result giving explicit irrationality measures for algebraic numbers ⓘ
implies	algebraic numbers have finite irrationality exponent ⓘ algebraic numbers of degree at least 2 cannot be too well approximated by rationals ⓘ existence of transcendental numbers ⓘ no algebraic number of degree at least 2 can be a Liouville number ⓘ
inspired	later metric results in Diophantine approximation ⓘ
introducedBy	Joseph Liouville NERFINISHED ⓘ
introducedInCentury	19th century ⓘ
isPartOf	classical theory of Diophantine approximation ⓘ
isWeakerThan	Roth's theorem NERFINISHED ⓘ Thue–Siegel–Roth theorem NERFINISHED ⓘ
logicalForm	inequality involving absolute values and powers of denominators ⓘ
motivation	understanding how well algebraic numbers can be approximated by rationals ⓘ
namedAfter	Joseph Liouville NERFINISHED ⓘ
provides	explicit constant depending on the algebraic number ⓘ
relatedConcept	Baker's theory of linear forms in logarithms NERFINISHED ⓘ Liouville numbers NERFINISHED ⓘ Roth's theorem NERFINISHED ⓘ Thue–Siegel–Roth theorem NERFINISHED ⓘ irrationality measure ⓘ
statesRoughly	if α is algebraic of degree d ≥ 2 then \|α − p/q\| ≥ C(α)/q^d for all rationals p/q ⓘ
toolIn	elementary transcendence proofs ⓘ proving lower bounds for linear forms in logarithms ⓘ
typeOfBound	lower bound on \|α − p/q\| in terms of q ⓘ
usedFor	proving transcendence of certain real numbers ⓘ
usedToShow	certain rapidly approximable numbers are transcendental ⓘ

How these facts were elicited

The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.

Instruction

You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10.

# Requirements
- If you don't know the subject at all, return an empty list.
- If the subject is not a named entity, return an empty list.
- Include at least one triple where predicate is "instanceOf".
- Do not get too wordy.
- Separate several objects into multiple triples with one object.

Input

Subject: Liouville's inequality in Diophantine approximation
Description of subject: Liouville's inequality in Diophantine approximation is a foundational result that gives explicit lower bounds on how closely algebraic numbers can be approximated by rationals, leading to the first examples of transcendental numbers.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Joseph Liouville → notableWork → Liouville's inequality in Diophantine approximation ⓘ