* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Dirichlet`s Approximation Theorem Let α be a positive real number
Brouwer–Hilbert controversy wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Infinitesimal wikipedia , lookup
Non-standard analysis wikipedia , lookup
Nyquist–Shannon sampling theorem wikipedia , lookup
Vincent's theorem wikipedia , lookup
Central limit theorem wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Fundamental theorem of calculus wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Non-standard calculus wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Mathematical proof wikipedia , lookup
Elementary mathematics wikipedia , lookup
Four color theorem wikipedia , lookup
Wiles's proof of Fermat's Last Theorem wikipedia , lookup
Dirichlet’s Approximation Theorem Let α be a positive real number and n a positive integer. Then Dirichlet’s approximation theorem says: There is an integer k and an integer b with 0 < k < n, for which 1 1 − < kα − b < . (DAP) n n Proof. Each of the n + 1 numbers ai = iα − biαc, i = 0, 1, 2, . . . , n, lies in the interval 0≤ ai < 1. So by the Pigeonhole Principle there is at least one (semiclosed) subinterval of the form nr , r+1 n , 0 ≤ r < n, which contains two of them, say am and aj . For such an m and j either (i) 0 ≤ am − aj < n1 or (ii) 0 ≤ aj − am < n1 and in either situation 1 1 − < am − aj < ; n n 1 1 − < mα − bmαc − (jα − bjαc) < ; n n 1 1 − < (m − j)α − (bmαc − bjαc) < ; n n setting B = bmαc − bjαc yields both 1 1 1 1 − < (m − j)α − B < and − < (j − m)α + B < . n n n n To complete the proof, if m > j put k = m − j and b = B, if m < j put k = j − m and b = −B. Now since 0 < k < n; so 1 kn < 1 k2 , one consequence of (DAP) is that b 1 1 1 1 (1) − 2 <− <α− < < 2. k nk k nk k Definition 1. A “D-approximation” to α is a rational number pq , whose denominator is a positive integer q, with p 1 (DAP1) α − q < q 2 . Dirichlet’s Approximation Theorem shows that each positive real number has a D-approximation, namely the number kb referenced in (1). Exercise 1. If two D-approximations both have denominator q > 1, then they are identical. Exercise 2. There are at most two D-approximations with the same denominator. Theorem 1. If α is irrational it has infinitely many D-approximations. Proof. Suppose there is only a finite number of rational numbers pq satisfying (DAP1). Since |qα − p| is always strictly greater than zero if α is not rational, we can choose the integer n so large that 1 p (#) < |qα − p| for each of these ’s. n q Given any n satisfying (#), Dirichlet’s Approximation Theorem states that there is a positive integer k < n and an integer b such that |kα − b| < n1 . But then α − kb < k12 ; so kb is a D-approximation to α and yet b k 6= p q for any of the supposedly exhaustive collection of pq ’s satisfying (DAP1). The contradiction shows there must be infinitely many p q which satisfy (DAP1). Exercise 3. Verify or prove the relation in the first boxed statement in the preceding proof. Exercise 4. Verify or prove the relation in the second boxed statement in the preceding proof. Theorem 2. If α is rational it has only a finite number of D-approximations. Proof. Suppose p q is a D-approximation to the rational number ab . Then if ab 6= pq , 1 |aq − bp| a p 1 = − < 2 implies q < b, < bq bq b q q so there are at most b available denominators for D-approximations. It follows from exercises 1 and 2 above that the number of D-approximations to ab is finite.