Difference between revisions of "Rational approximation"

Latest revision as of 12:18, 30 May 2019

Introduction

The main theme of this article is the question how well a given real number $x$ can be approximated by rational numbers. Of course, since the rationals are dense on the real line, we, surely, can make the difference between $x$ and its rational approximation $\frac pq$ as small as we wish. The problem is that, as we try to make $\frac pq$ closer and closer to $x$ , we may have to use larger and larger $p$ and $q$ . So, the reasonable question to ask here is how well can we approximate $x$ by rationals with not too large denominators.

Trivial theorem

Every real number $x$ can be approximated by a rational number $\frac{p}{q}$ with a given denominator $q\ge 1$ with an error not exceeding $\frac 1{2q}$ .

Proof

Note that the closed interval $\left[qx-\frac12,qx+\frac12\right]$ has length $1$ and, therefore, contains at least one integer. Choosing $p$ to be that integer, we immediately get the result.

So, the interesting question is whether we can get a smaller error of approximation than $\frac 1q$ . Surprisingly enough, it is possible, if not for all $q$ , then, at least for some of them.

Dirichlet's theorem

Let $n\ge 1$ be any integer. Then there exists a rational number $\frac pq$ such that $1\le q\le n$ and $\left|x-\frac pq\right|<\frac 1{nq}$ .

Proof of Dirichlet's theorem

Consider the fractional parts $\{0\cdot x\},\{1\cdot x\}, \{2\cdot x\},\dots, \{n\cdot x\}$ . They all belong to the half-open interval $[0,1)$ . Represent the interval $[0,1)$ as the union of $n$ subintervals $[0,1)=\left[0,\frac 1n\right)\cup\left[\frac 1n,\frac 2n\right)\cup\dots\cup\left[\frac{n-1}{n},1\right),$ . Since we have $n+1$ fractional parts and only $n$ subintervals, the pigeonhole principle implies that there are two integers $0\le k<\ell\le n$ such that $\{kx\}$ and $\{\ell x\}$ belong to the same interval. But then the difference $(\ell-k)x$ differs by less than $\frac 1n$ from some integer number $p$ : $|(\ell-k)x-p|<\frac 1n$ . Dividing by $q=\ell-k$ , we get $\left|x-\frac pq\right|<\frac1{nq}$ .

Corollary

If $x$ is irrational, then there are infinitely many irreducible fractions $\frac pq$ such that $\left|x-\frac pq\right|<\frac 1{q^2}$ .

Proof of the corollary

For each $n\ge 1$ , find a (possibly reducible) fraction $\frac {P_n}{Q_n}$ with $1\le Q_n\le n$ such that $\left|x-\frac {P_n}{Q_n}\right|<\frac 1{nQ_n}$ . Let $\frac {p_n}{q_n}$ be the same fraction as $\frac {P_n}{Q_n}$ but reduced to its lowest terms. It is clear that $\frac 1{nQ_n}\le \frac 1{Q_n^2}\le \frac 1{q_n^2}$ , so it remains to show that among the fractions $\frac {p_n}{q_n}$ there are infinitely many different ones. But the distance from the $n$ -th fraction to $x$ does not exceed $\frac 1n$ , which can be made arbitrarily small if we take large enough $n$ . On the other hand, if the fractions $\frac {p_n}{q_n}$ were finitely many, this distance couldn't be made less than the distance from the irrational number $x$ to some finite set of rational numbers, i.e., less than some positive constant.

Discussion

The Dirichlet's theorem can be generalized in various ways. The first way is that one can try to approximate several numbers simultaneously by fractions with common denominator. The exact statement is as follows.

If $x_1,\dots,x_m\in \mathbb R$ and $n\ge 1$ is an integer, then there exists an integer $q$ with $1\le q\le n^m$ and integers $p_1,\dots,p_m$ such that $\left|x_j-\frac {p_j}q\right|<\frac 1{nq}$

The proof is essentially the same except instead of considering $n+1$ numbers $\{kx\}$ , $k=0,\dots,n$ one has to consider $n^m+1$ vectors $(\{kx_1\},\dots,\{kx_m\})$ , $k=0,\dots, n^m$ in the unit cube $[0,1)^m$ divided into $n^m$ equal subcubes.

Another remark that can be useful in some problems is that, if $x$ is irrational, then you can find infinitely many solutions of the inequality $\left|x-\frac {p}q\right|<\frac C{q^2}$ with the denominator $q$ contained in any given arithmetic progression $a\ell+b$ ( $\ell\in\mathbb Z$ ) if the constant $C$ (depending on the progression) is large enough. To prove it, first, find infinitely many irreducible fractions $\frac PQ$ satisfying $\left|x-\frac PQ\right|<\frac 1{Q^2}$ . Then, for each such fraction, find two integers $u,v$ such that $0< u\le Q$ and $uP+vQ=1$ . Now note that $u$ and $Q$ are relatively prime, so we can find some integer $\alpha, \beta$ such that $\alpha u+\beta Q=b$ . Replacing $\alpha$ and $\beta$ by their remainders $\tilde\alpha$ and $\tilde\beta$ modulo $a$ , we get a positive integer $q=\tilde\alpha u+\tilde\beta Q$ satisfying $1\le q\le 2aQ$ and $|qx-(\tilde\beta P-\tilde\alpha v)|\le\tilde\alpha|ux+v|+\tilde\beta|Qx-P|\le \tilde\alpha u\left|x-\frac PQ\right|+\frac{\tilde\alpha}Q+\frac {\tilde\beta}Q\le \frac {3a}Q\le \frac {6a^2}q$ . Thus, setting $p=\tilde\beta P-\tilde\alpha v$ , we get $\left|x-\frac pq\right|<\frac {6a^2}{q^2}$ .

Applications to problem solving

One common way to apply Dirichlet's theorem in problem solving is to use it in the following form: given finitely many numbers $x_1,\dots,x_m$ and $\delta>0$ , one can find a positive integer $q$ such that each of the numbers $qx_1, qx_2,\dots, qx_m$ differs from some integer by less than $\delta$ . A typical example of such usage can be found in the article devoted to the famous Partition of a rectangle into squares problem.

Liouville Approximation Theorem

We can generalize Dirichlet's theorem as follows: If $\alpha$ is an algebraic number of degree $n$ , then there are only finitely many rational numbers $\frac{p}{q}$ satisfying the following inequality: $\Bigg|\alpha-\frac{p}{q}\Bigg| \le\frac{1}{q^n}$ . This gives us the following corollary: $\sum_{n=0}^\infty 10^{-n!}$ is a transcendental number, known as Liouville's constant.

Hurwitz's theorem

For every irrational number $\xi$ there are infinitely many rationals m/n such that

$\left |\xi-\frac{m}{n}\right |<\frac{1}{\sqrt{5}\, n^2}.$

Roth's theorem

For algebraic α, integers p and q; $|\alpha-p/q|<1/q^{2+\epsilon}$ has finitely many solutions as ε>0.

@@ Line 44: / Line 44: @@
 ==See also==
 [[Rational approximation of famous numbers]]
+[[Category:Theorems]]

Page

Toolbox

Search