# 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.

## Permanent Citation