Approximation of Irrationals
Initializing live version
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
If is irrational and is any positive integer, there is a fraction with and for which .[more]
Proof. Let be a positive integer. Then by the pigeonhole principle, among the points (where denotes the fractional part of ), there are at least two numbers such that . Then for some integer . The statement is proved if we put .[less]
Contributed by: Izidor Hafner (March 2011)
Open content licensed under CC BY-NC-SA
 D. Benko, "A New Approach to Hilbert's Third Problem," American Mathematical Monthly, 114(8), 2007 pp. 665–676.