Diophantine approximation: Difference between revisions

Revision as of 17:09, 12 July 2022

Revision as of 22:12, 25 September 2022

Line 64:

because <math>|aq - bp|</math> is a positive integer and is thus not lower than 1. Thus the accuracy of the approximation is bad relative to irrational numbers (see next sections).

It may be remarked that the preceding proof uses a variant of the [[pigeon holepigeonhole principle]]: a non-negative integer that is not 0 is not smaller than 1. This apparently trivial remark is used in almost every proof of lower bounds for Diophantine approximations, even the most sophisticated ones.

In summary, a rational number is perfectly approximated by itself, but is badly approximated by any other rational number.