Number theory/Signed Articles/Elementary diophantine approximations: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Wlodzimierz Holsztynski
(start)
 
imported>Wlodzimierz Holsztynski
(→‎Introduction: full theorem)
Line 7: Line 7:
How well can real numbers (all of them or the special ones) be approximated by rational numbers? A typical Diophantine approximation result states:
How well can real numbers (all of them or the special ones) be approximated by rational numbers? A typical Diophantine approximation result states:


'''Theorem'''&nbsp; Let <math>\ a</math>&nbsp; be an arbitrary real, irrational number. Then there exist infinitely many pairs of integers <math>\ (x,y)</math>&nbsp; such that <math>\ y>0</math>&nbsp; and
'''Theorem'''&nbsp; Let <math>\ a</math>&nbsp; be an arbitrary real number. Then


:::<math>|a - \frac{x}{y}| < \frac{1}{y^2}</math>
* <math>\ a</math>&nbsp; is rational if and only if there exists a real number C > 0 such that


(later a stronger result will be proved in this article).
:::<math>|a - \frac{x}{y}| > \frac{C}{y}</math>
 
for arbitrary integers <math>\ (x,y)</math>&nbsp; such that <math>\ y>0</math>&nbsp; and <math>\ a\ne \frac{x}{y};</math>
 
* <math>\ a</math>&nbsp; is irrational if and only if there exist infinitely many pairs of integers <math>\ (x,y)</math>&nbsp; such that <math>\ y>0</math>&nbsp; and
 
:::<math>|a - \frac{x}{y}| < \frac{1}{\sqrt{5}\cdot y^2}.</math>

Revision as of 16:32, 12 January 2008

The theory of diophantine approximations is a chapter of number theory, which in turn is a part of mathematics. It studies the approximations of real numbers by rational numbers. This article presents an elementary introduction to diophantine approximations, as well as an introduction to number theory via diophantine approximations.

Introduction

In the everyday life our civilization applies mostly (finite) decimal fractions   Decimal fractions are used both as certain values, e.g. $5.85, and as approximations of the real numbers, e.g.   However, the field of all rational numbers is much richer than the ring of the decimal fractions (or of the binary fractions   which are used in the computer science). For instance, the famous approximation   has denominator 113 much smaller than 105 but it provides a better approximation than the decimal one, which has five digits after the decimal point.

How well can real numbers (all of them or the special ones) be approximated by rational numbers? A typical Diophantine approximation result states:

Theorem  Let   be an arbitrary real number. Then

  •   is rational if and only if there exists a real number C > 0 such that

for arbitrary integers   such that   and

  •   is irrational if and only if there exist infinitely many pairs of integers   such that   and