Problem: Let us call an irrational number
well approximated by rational numbers if for any natural numbers
there exists a rational number
such that
![]()
- Construct an example of a well-approximated irrational number.
- Prove that a well-approximated irrational number cannot be algebraic, that is, it is transcendental.
Solution:
1. Pick
![Rendered by QuickLaTeX.com \[\alpha = \sum_{k=1}^{\infty}10^{-k!}\]](https://zivmaths.com/wp-content/ql-cache/quicklatex.com-1d66edcd04ec6d340a0e070bc9117f12_l3.png)
Why does it work ?
Let’s say we let
. Then we have
![Rendered by QuickLaTeX.com \[\vert \alpha-\frac{p}{q} \vert = \sum_{k=m+1}^{\infty} 10^{-k!}\]](https://zivmaths.com/wp-content/ql-cache/quicklatex.com-45d137d4db7e916f549a9bf7843c83d6_l3.png)
and
![]()
We now proceed in proving that when
is large enough
![Rendered by QuickLaTeX.com \[\sum_{k=m+1}^{\infty} 10^{-k!}<\frac{1}{N10^{mk!}}\]](https://zivmaths.com/wp-content/ql-cache/quicklatex.com-58816b1ba1117e82695a9a3f4b06d056_l3.png)
We have
![Rendered by QuickLaTeX.com \[\sum_{k=m+1}^{\infty} 10^{-k!}<10^{(m+1)!}\]](https://zivmaths.com/wp-content/ql-cache/quicklatex.com-310c21e8a3eee652d99a2da49ac48b7d_l3.png)
So we want
![]()
Since when
,
![]()
That means when
and
, the relationship holds true.
2. This result is a well-known theorem called Liouville’s theorem, you can go to this link for proof.
Our final goal is to understand what causes the difference:
For an algebraic number, if we want to find a rational approximation, then it is inevitable to relation this error with the polynomial, let’s sat
that gives
. Two properties are quite important.
- The value
is always a multiple of
. This puts restriction on the approximation, as we cannot getting too close with it. - The value
![Rendered by QuickLaTeX.com \[\frac{\vert f\left(\frac{p}{q}\right)-f(\alpha)\vert}{\vert\frac{p}{q}-\alpha\vert}\]](https://zivmaths.com/wp-content/ql-cache/quicklatex.com-7675ab85170d3a07099bf4e7950c7d03_l3.png)
is a bounded value in the vicinity of
. Thus, both conditions put restriction on the approximation, and we cannot have a similar property like transcendental number.
Leave a Reply