Diophantine Approximation

In number theory, the field of Diophantine approximation, named after Diophantus of Alexandria, deals with the approximation of real numbers by rational numbers.

The first problem was to know how well a real number can be approximated by rational numbers. For this problem, a rational number a/b is a "good" approximation of a real number α if the absolute value of the difference between a/b and α may not decrease if a/b is replaced by another rational number with a smaller denominator. This problem was solved during the 18th century by means of continued fractions.

Knowing the "best" approximations of a given number, the main problem of the field is to find sharp upper and lower bounds of the above difference, expressed as a function of the denominator.

It appears that these bounds depends on the nature of the real numbers to be approximated: the lower bound for the approximation of a rational number by another rational number is larger that the lower bound for algebraic numbers, which is itself larger than the lower bound for all real numbers. Thus a real number that may be better approximated than the bound for algebraic numbers is certainly a transcendental number. This allowed Liouville, in 1844 to produce the first explicit transcendental number. Later, the proofs that π and e are transcendental were obtained with a similar method.

Thus Diophantine approximations and transcendence theory are very close areas that share many theorems and methods. Diophantine approximations have also important applications in the study of Diophantine equations.

Read more about Diophantine Approximation:  Best Diophantine Approximations of A Real Number, Measure of The Accuracy of Approximations, Khinchin's Theorem and Extensions, Uniform Distribution, Unsolved Problems, Recent Developments