Proof of Dirichlet's approximation theorem by the pigeonhole principle
Builds on Pigeonhole principleFloor function
Proof
We use the pigeonhole principle.
- For , put , where is the floor function. Then , and .
- Put also . So we have indices , and each lies in .
- Split into the intervals for and . Each point of lies in exactly one .
- The map that sends an index to the with goes from a set of elements to a set of elements. By the pigeonhole principle, there are indices with and in the same interval.
- Each interval has length , so .
- Case . Then . Put and . Then and .
- Case . Then with .
- In step 7, : for we would get , which is false since . So .
- In step 7, put and . Then , so and .
- In both cases we found integers and with and .
Idea
The fractional parts of , together with the point , are points in . Cut into pieces; two points share a piece, so they are close. The difference of two such multiples of is then close to an integer.
Reading path
To understand this page from the ground up, read these 69 pages in order. The foundations come first. The path takes the proofs Proof of the approximation property of the supremum, Proof that a composition of injections is injective, Proof that a function is bijective iff it has a two-sided inverse, Proof that the reals form an ordered field, with the Cauchy sequence construction, Proof of the complement principle, Proof of the pigeonhole principle, Proof that a composition of surjections is surjective, Proof of the rule of sum, Proof that the reals are Archimedean from the completeness axiom, Proof of the bijection principle.
- Cardinality of a finite set definition
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Rational numbers object
- Real numbers object
- Set bounded above definition
- Set definition
- Ring of integers statement
- Archimedean ordered field definition
- Conjunction definition
- Implication definition
- Predicate definition
- The reals form a field statement
- Supremum definition
- Empty set object
- Ordered pair definition
- Intersection definition
- The rationals form a field statement
- Existential quantifier definition
- Universal quantifier definition
- Completeness axiom statement
- Cartesian product definition
- Disjoint sets definition
- Subset definition
- The rationals form an ordered field statement
- Uniqueness quantifier definition
- Binary relation definition
- Order on the reals definition
- Antisymmetric relation definition
- Reflexive relation definition
- Transitive relation definition
- Function definition
- Preorder definition
- Image of a set definition
- Codomain definition
- Function composition definition
- Identity function definition
- Injective function definition
- Partial order definition
- Surjective function definition
- Left inverse definition
- Right inverse definition
- Proof that a composition of injections is injective proof
- Total order definition
- Proof that a composition of surjections is surjective proof
- Bijective function definition
- Composition of injections is injective statement
- Proof of the rule of sum proof
- Composition of surjections is surjective statement
- Proof that the reals form an ordered field, with the Cauchy sequence construction proof
- Proof that a function is bijective iff it has a two-sided inverse proof
- Rule of sum statement
- Bijective iff it has a two-sided inverse statement
- The reals form an ordered field statement
- Proof of the complement principle proof
- Proof of the bijection principle proof
- Proof of the approximation property of the supremum proof
- Complement principle statement
- Bijection principle statement
- Approximation property of the supremum statement
- Proof of the pigeonhole principle proof
- Proof that the reals are Archimedean from the completeness axiom proof
- Pigeonhole principle statement
- The reals are Archimedean statement
- Floor function definition
- Proof of Dirichlet's approximation theorem by the pigeonhole principle proof
Where this leads
7 pages build on this one.
- Dirichlet's approximation theorem
- Existence of nontrivial solutions of Pell's equation
- Solutions of Pell's equation are powers of the fundamental solution
- Fundamental solution of Pell's equation
- Proof that the solutions of Pell's equation are powers of the fundamental solution
- Proof of the existence of nontrivial solutions of Pell's equation by Dirichlet approximation
- Kronecker's approximation theorem
Further reading
- Web https://en.wikipedia.org/wiki/Dirichlet%27s_approximation_theorem, Proof by the pigeonhole principle
About this page
| Tag | Q4PTS4BYNG |
|---|---|
| URI | m2://Q4PTS4BYNG |
| Kind | proof |
| Writing | W0 stub |
| MSC | 11J04 |
| Proves | Dirichlet's approximation theorem |
| Uses | Pigeonhole principle, Floor function |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.