Displaying similar documents to “On Dirichlet's theorem concerning diophantine approximation”

Diophantine approximation in Banach spaces

Lior Fishman, David Simmons, Mariusz Urbański (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this paper, we extend the theory of simultaneous Diophantine approximation to infinite dimensions. Moreover, we discuss Dirichlet-type theorems in a very general framework and define what it means for such a theorem to be optimal. We show that optimality is implied by but does not imply the existence of badly approximable points.

Introduction to Diophantine Approximation

Yasushige Watase (2015)

Formalized Mathematics

Similarity:

In this article we formalize some results of Diophantine approximation, i.e. the approximation of an irrational number by rationals. A typical example is finding an integer solution (x, y) of the inequality |xθ − y| ≤ 1/x, where 0 is a real number. First, we formalize some lemmas about continued fractions. Then we prove that the inequality has infinitely many solutions by continued fractions. Finally, we formalize Dirichlet’s proof (1842) of existence of the solution [12], [1]. ...