Displaying similar documents to “A feature of Dirichlet's approximation theorem”

'The mother of all continued fractions'

Karma Dajani, Cor Kraaikamp (2000)

Colloquium Mathematicae

Similarity:

We give the relationship between regular continued fractions and Lehner fractions, using a procedure known as insertion}. Starting from the regular continued fraction expansion of any real irrational x, when the maximal number of insertions is applied one obtains the Lehner fraction of x. Insertions (and singularizations) show how these (and other) continued fraction expansions are related. We also investigate the relation between Lehner fractions and the Farey expansion (also known...

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

End-symmetric continued fractions and quadratic congruences

Barry R. Smith (2015)

Acta Arithmetica

Similarity:

We show that for a fixed integer n ≠ ±2, the congruence x² + nx ± 1 ≡ 0 (mod α) has the solution β with 0 < β < α if and only if α/β has a continued fraction expansion with sequence of quotients having one of a finite number of possible asymmetry types. This generalizes the old theorem that a rational number α/β > 1 in lowest terms has a symmetric continued fraction precisely when β² ≡ ±1(mod α ).