Given , we would like to find solutions, probably rather approximate solutions, to the diophantine equation
(so the unknown
are constrained to live in
; we may also require them to be coprime, and the denominator shall always be positive). This equation has an exact integral solution if and only if
is rational. Finding an approximate solution amounts to finding a fraction
approximating
. We want to define a notion of best approximation. Of course there are rationals arbitrarily close to
, but their denominators are then unbounded; so we fix an amount we are ready to pay, or rather a bound to the denominators, say
, and we restrict our attention to fractions
with
. We will say that
with
is a best approximation (of first kind) of order Q if
for all
. The second kind would be to demand
to be minimal; it happens that both awards aren't always awarded to the same candidate.
How well can a number be approximated ?
Given a bound on the denominators, how close can be fractions with denominator
to
? Let
be the distance to the nearest integer, so we are looking at
. A simple application of the pigeonhole principle ensures that there exists
with
, so in particular
and there exists a sequence of fractions
with
. Note that the result is not constructive. This exponent 2 is nice, but can we do better? Can we be sure to find an unbounded sequence of
with
for instance?
The answer is no: Liouville proved that if is an irrational algebraic number of degree at most d (so that there exists a unitary rational polynomial of degree
such that
, then there exists a constant
such that for any p,q,
. Thus for quadratic irrationals (irrationals which are algebraic of degree 2), the exponent 2 is really the best possible. But the discussion concerning the optimal constant C is still open.
So if you define then
for algebraic irrationals of degree
.
This theorem seems paradoxical because it states that the irrationals which seem to be the least irrational, the algebraic ones of low degree, are actually the most difficult to approximate. The paradox vanishes (or at least fades) when one remarks that the rationals are actually the most difficult to approximate: indeed, if is in lowest terms, and if
is a rational in lowest terms with
, then
so we get an exponent 1. Notice the trick that a non-zero integer is at least 1, which is also together with the intermediate value theorem, the trick to prove Liouville’s theorem. Liouville’s theorem is also the easiest gateway to exhibiting transcendental numbers; indeed Liouville found numbers with arbitrarily high
.
In fact, as far as the exponent is concerned, algebraic irrationals of high degree are not any easier to approximate than quadratic irrationals, as has been revealed by the theorem of Thue-Siegel-Roth, saying that for an algebraic irrational and any
, there exists a constant
such that for all integers
,
.
The best exponent is 2 in general, but what about the constant ?
We can always find a sequence with
, and for quadratic irrationals,
so between
and 1, what is the optimal constant? The truth, as Hurwitz’s theorem says, is that
for infinitely many
. And for the golden ratio and its conjugates,
is optimal; for all other numbers, one can do better, certainly arbitrarily better (arbitrarily big constants) for algebraic irrationals of degree more than 2, and merely a better constant for other quadratic irrationals. We’ll come back to this later.
How to construct good approximations (exponent 2)?
The existence of a sequence with
is always granted but how to construct one? If you naively look at the decimal expansion of your number, you only get an approximation of quality
.
So the correct way to proceed is to use continuous fraction expansion. So take , and look at the map
. Put
and
. Then
. If you write
the kth convergent, then you can prove that
, which is the quadratic approximation we desired.
Best approximation
Not only do continuous fractions yield a natural way towards quadratic approximation, they also provide the « best approximations » in the following sense. We fix a number (let’s say for convenience that it’s irrational); we say a fraction
is a best approximation if every other fraction
with
satisfies
.
Then every best approximation is a convergent and any convergent is a best approximation
Which numbers are the toughest to approximate ?
We have seen that for every number , there exists a convergent sequence
with
. The only numbers for which
is optimal are the golden ratio
and his conjugate, solution of the quadratic equation
. We know that
and
, so
and by injecting the description of
in the right-hand side, we get
so the convergents are plainly
. In particular it is periodic.
We could try to characterize the numbers for which the (called the partial quotients) are periodic. The same question is easy to answer for the other pleasant type of rational approximations, the decimal approximations: for which numbers is the sequence of digits eventually periodic, i.e.
where the bar means that the sequence is repeated ad vitam? The answer is very easy: it is the rationals. So for which numbers do we have
? Lagrange proved that these were exactly the quadratic irrationals.
Now from Liouville’s theorem, and Thue-Siegel-Roth, we suspect that the toughest numbers to approximate are the quadratic irrationals, so the numbers which have periodic partial quotients. The answer is slightly more general: it is the numbers which have bounded partial quotients. Indeed, we can formulate the following alternative:
For any irrational number and integer
, either there are infinitely many positive
such that
or
for all sufficiently large indices
. This is a generalization of Hurwitz' theorem.
Other neighbouring questions
What we have just seen is a characterization of the real numbers such that
: they are the real numbers with bounded partial quotients
. Borel has shown that this set has Lebesgue measure 0. But of course they do exist, the golden ratio for instance. Now what if you take a second real number
and ask for
: will you always find 0? Littlewood’s conjecture is that it is the case.
Laisser un commentaire
Comments feed for this article