Simultaneous Approximation of Two Real Numbers by Rationals

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration illustrates the simultaneous approximation of two real numbers by rational numbers, because there is always a small square with at least two points.

Contributed by: Mateja Budin (March 2011)
Proposed by: Izidor Hafner
Open content licensed under CC BY-NC-SA


Snapshots


Details

Lemma 1. Let be real numbers. For each it is possible to approximate simultaneously by rational numbers , in the sense that (). In addition, if all are positive, then the can be chosen to be positive, where is replaced with .

Proof. Let be a positive integer satisfying . Then by the pigeonhole principle, among the points (), where denotes the fractional part of , there are at least two numbers such that for all . Then for some integers . The statement is proved if we put .

This lemma was used in the elementary proof of Hilbert's third problem.

Reference

[1] D. Benko, "A New Approach to Hilbert's Third Problem," American Mathematical Monthly  114(8), 2007 pp. 665–676.



Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
Send