Diophantine Approximation
Diophantine approximation studies how closely real numbers can be approximated by rational numbers.
Approximating Real Numbers by Rational Numbers
Diophantine approximation studies how closely real numbers can be approximated by rational numbers.
Given a real number $\alpha$, one seeks rational fractions
$$ \frac pq $$
such that
$$ \left| \alpha-\frac pq \right| $$
is very small.
The subject lies between number theory, analysis, and geometry. It investigates how arithmetic structure constrains approximation quality.
Rational Numbers and Density
The rational numbers are dense in the real line. Between any two distinct real numbers there exists a rational number.
Thus every real number can be approximated arbitrarily closely by rational numbers.
However, the important question is quantitative:
How small can the error become relative to the denominator $q$?
For example,
$$ \pi\approx\frac{22}{7} $$
gives moderate accuracy, while
$$ \pi\approx\frac{355}{113} $$
gives extraordinarily high accuracy.
The denominator sizes matter as much as the error itself.
Dirichlet Theorem
A foundational result is the following theorem.
Theorem (Dirichlet). For every irrational number $\alpha$, there exist infinitely many rational numbers
$$ \frac pq $$
such that
$$ \left| \alpha-\frac pq \right| < \frac1{q^2}. $$
$$ \left|\alpha-\frac{p}{q}\right|<\frac{1}{q^2} $$
This theorem guarantees unexpectedly strong rational approximations.
The proof uses the pigeonhole principle and is one of the classical applications of combinatorial reasoning in number theory.
Continued Fractions and Optimal Approximation
Continued fractions produce the best rational approximations.
If
$$ \frac{p_n}{q_n} $$
is a convergent of the continued fraction expansion of $\alpha$, then
$$ \left| \alpha-\frac{p_n}{q_n} \right| < \frac1{q_n^2}. $$
Moreover, no fraction with smaller denominator approximates $\alpha$ more accurately.
Thus continued fractions encode the optimal approximation structure of irrational numbers.
Approximation of Quadratic Irrationals
Quadratic irrational numbers have periodic continued fractions.
For example,
$$ \sqrt2=[1;\overline2]. $$
Its convergents are
$$ 1,\frac32,\frac75,\frac{17}{12},\dots $$
These approximations satisfy
$$ \left| \sqrt2-\frac{p_n}{q_n} \right| \asymp \frac1{q_n^2}. $$
Quadratic irrationals are badly approximable, meaning that rational approximations cannot improve substantially beyond the $1/q^2$ scale.
Liouville Numbers
Some numbers admit much better approximations.
A Liouville number is a real number $\alpha$ such that for every positive integer $n$, there exist infinitely many rational numbers $p/q$ satisfying
$$ \left| \alpha-\frac pq \right| < \frac1{q^n}. $$
$$ \left|\alpha-\frac{p}{q}\right|<\frac{1}{q^n} $$
Such numbers can be approximated extraordinarily closely by rationals.
The first explicit example was constructed by entity["people","Joseph Liouville","French mathematician"]:
$$ \sum_{k=1}^{\infty}10^{-k!}. $$
Liouville proved that every Liouville number is transcendental.
This was the first rigorous proof that transcendental numbers exist.
Roth Theorem
Liouville theorem was later improved dramatically.
Suppose $\alpha$ is an irrational algebraic number. Then approximations much better than
$$ 1/q^2 $$
cannot occur infinitely often.
The strongest form is Roth theorem.
Theorem (Roth). Let $\alpha$ be an irrational algebraic number. For every $\varepsilon>0$, the inequality
$$ \left| \alpha-\frac pq \right| < \frac1{q^{2+\varepsilon}} $$
has only finitely many rational solutions.
Thus algebraic irrational numbers cannot be approximated “too well.”
This theorem is one of the deepest results in Diophantine approximation.
Simultaneous Approximation
One may also approximate several real numbers simultaneously.
Given
$$ \alpha_1,\alpha_2,\dots,\alpha_n, $$
one seeks integers $q,p_1,\dots,p_n$ such that
$$ \left| q\alpha_i-p_i \right| $$
is small for all $i$.
This leads to higher-dimensional lattice geometry and Minkowski theory.
Simultaneous approximation is central in modern geometry of numbers and homogeneous dynamics.
Geometry of Numbers
Diophantine approximation has a natural geometric interpretation.
The rational approximation
$$ \frac pq $$
corresponds to the lattice point
$$ (q,p). $$
Approximating $\alpha$ means finding lattice points close to the line
$$ y=\alpha x. $$
Thus approximation problems become lattice problems.
This viewpoint was developed systematically by entity["people","Hermann Minkowski","German mathematician"] and became the foundation of the geometry of numbers.
Metric Diophantine Approximation
Another branch studies approximation properties of “almost all” real numbers.
For example:
- almost all real numbers satisfy Dirichlet-type bounds,
- almost all numbers are not badly approximable,
- almost all continued fraction coefficients are unbounded.
These questions involve probability, measure theory, and ergodic theory.
The resulting subject is called metric Diophantine approximation.
Modern Perspective
Diophantine approximation now interacts with many advanced areas:
- transcendence theory,
- ergodic theory,
- homogeneous dynamics,
- modular forms,
- arithmetic geometry,
- dynamical systems.
The subject begins with elementary questions about fractions and irrational numbers but ultimately leads to deep structural phenomena involving symmetry, geometry, and arithmetic complexity.