Segre's theorem on asymmetric diophantine approximation (Q1102993): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5507792 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On asymmetric approximations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5723292 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice points in infinite domains and asymmetric diophantine approximations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Segre / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The conjugate property of the Borel theorem on diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theorem on approximation of irrational numbers by simple continued fractions / rank | |||
Normal rank |
Latest revision as of 17:20, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Segre's theorem on asymmetric diophantine approximation |
scientific article |
Statements
Segre's theorem on asymmetric diophantine approximation (English)
0 references
1988
0 references
The following theorem is proved: Let \(\xi\) be a real irrational number, \(p_i/q_i\) \((i=1,2,\ldots)\) the convergents of its regular continued fraction expansion. Then we have for any even \(n\ge 2\) \[ -(a^2_{n+1}+4\tau)^{-} < (-1)^{n+1}q^2_1(\xi - p_i/q_i) < \tau(a^2_{n+1}+4\tau)^{-} \] at least once for \(i=n-1,n,n+1\); here \(a_{i+1}\) is the \(n+1\)st partial quotient of the continued fraction expansion of \(\xi\) and \(\tau\) an arbitrary positive number. As corollaries of the above theorem the proof of a conjecture of LeVeque and a proof of the well-known fact are given that any irrational number not equivalent to \((5^{1/2}-1)/2\) admits a rational approximation \(| \xi - p/q| < (8^{1/2}q^ 2)^{-1}\).
0 references
asymmetric Diophantine approximation
0 references
real irrational number
0 references
convergents
0 references
regular continued fraction expansion
0 references