arxiv: v1 [math.nt] 1 Jul 2009

Transcription

1 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN arxiv: v1 [math.nt] 1 Jul 2009 ALAN K. HAYNES Abstract. A landmark theorem in the metric theory of continued fractions begins this way: Select a non-negative real function f defined on the positive integers and a real number x, and form the partial sums s n of f evaluated at the partial quotients a 1,...,a n in the continued fraction expansion for x. Does the sequence {s n/n} have a limit as n? In 1935 A. Y. Khinchin proved that the answer is yes for almost every x, provided that the function f does not grow too quickly. In this paper we are going to explore a natural reformulation of this problem in which the function f is defined on the rationals and the partial sums in question are over the intermediate convergents to x with denominators less than a prescribed amount. By using some of Khinchin s ideas together with more modern results we are able to provide a quantitative asymptotic theorem analogous to the classical one mentioned above. 1. Definitions and Statement of Results For each real number x we denote the simple continued fraction expansion of x by 1 x a 0 + [a 0 ;a 1,a 2,...], 1 a 1 + a 2 + where a 0 Z and a n N for each n 1. The integers a n,n 0 are the partial quotients in the continued fraction expansion of x. If x is irrational then this expansion is unique. If x Q\Z then there are only finitely many nonzero partial quotients in its continued fraction expansion, and we ensure that the expansion is unique by requiring that the last nonzero partial quotient be greater than one. Finally if x then we ensure that its continued fraction expansion is unique by requiring that a 0 0. In 1935 A. Y. Khinchin published a proof of the following result [6], [5, Theorem 35] Mathematics Subject Classification. 11B57, 11K50, 60G46. Key words and phrases. Intermediate convergents, continued fractions, Khinchin s theorem, metric number theory. Research supported by EPSRC grant EP/F027028/1. 1

2 2 ALAN K. HAYNES Khinchin s Theorem. Suppose that fr is a non-negative function of a natural argument r and suppose that there exist positive constants C and δ such that fr < Cr 1/2 δ r 1,2,... Then, for all numbers in the interval 0,1, with the exception of a set of measure zero, 1 lim n n n fa k k1 r1 log 1+ 1 rr+2 fr. log2 In this paper we wish to formulate a natural variant of this result, which we present as Theorem 1 below. Our variant can be seen as a refinement of Khinchin s Theorem and it also raises several interesting and apparently difficult open questions, one of which we discuss at the end of this section. To this end we introduce for x R and n 0 the nth principal convergent to x p n [a 0 ;a 1...a n ], q n which we will always assume is written in lowest terms. For n 2, 1 we also define p 2 q 1 1 and p 1 q 2 0. For n 1 we define the subset E n E n x of Q by { } mpn 1 +p n 2 E n : m 1,2,...,a n mq n 1 +q n 2 { [a 0 ;a 1,a 2,...,a n 1,m] : m 1,2,...,a n }. Each set E n contains a n distinct fractions, including the principal convergent p n /q n. The remaining fractions if any indexed by m 1,2,...,a n 1 are the intermediate convergents to x. We denote the union of the sets E n x,n 1,2,..., by E Ex. Finally if β a/q Q and a,q 1 then we define the height of β as hβ q. Our main result is Theorem 1. Let g be a non-negative arithmetical function which satisfies gm Om 1/2+γ for some γ > 0. For each β Q let β [a 0 ;a 1,...,a L ] and define cβ ga L. Then for any ǫ > 0 and for almost all x R we have as Q that β Ex hβ Q cβ 12 π 2 gm log 1+ m 1 logq +O ǫ logq 1 γ/2 loglogq 5/8+ǫ γ2. Since the intermediate convergents to a real number interpolate its partial quotients, the function g that we are using here can be thought of as an average value of the function f which appears in Khinchin s Theorem. Also

3 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 3 the number of terms in our sum is limited not by a fixed quantity n, as in Khinchin s, but rather by the number of intermediate convergents to each point x which have small height. At this point we make a few remarks. First of all we are actually going to prove something more general than Theorem 1, namely Theorem 3 below, and then deduce the former as a special case. Secondly since there is obviously room for more flexibility in the constants cβ than we are allowing in our theorems, we are going to set the problem up with this in mind before we specialize to the case at hand. Finally approximation of real numbers by rationals is essentially unique modulo the integers. For this reason and also to be in sympathy with the notation used in [4] from now on we prefer to formulate everything with respect to and Q/Z instead of with respect to R and Q. Nowletusproceedtodevelopinmoredetailtheresultswhicharecontained in this paper. For each Q N define the Farey fractions of order Q by F Q {a/q Q/Z : 1 q Q,gcda,q 1}, and let F denote the set of Farey fractions of all orders. For each β F with hβ 2 there exist unique elements β and β in F with the property that β < β < β are consecutive in the Farey fractions of order hβ. Thus for each β F with hβ 2 we may define a function χ β : R by 1 if x β,β, 1 χ β x 2 if x β or x β, and 0 if x / [β,β ]. For β 0 we define the function χ β : R by χ β x 1. In [4, Theorem 5] it is shown that if x \Q and β F then { 1 if β E n x for some n, and 1 χ β x 0 otherwise. Inotherwordsχ β isthe indicatorfunction ofthe eventthatanirrationalpoint x has β as one of its intermediate or principal convergents. Now given any sequence of real constants {cβ} β F and any positive integer Q it is natural for our purposes to consider the function M Q : R defined by 2 M Q x β F Q cβχ β x. By 1 it is apparent that for irrational x, 3 M Q x cβ. β Ex hβ Q

4 4 ALAN K. HAYNES For example if we set cβ 1 for all β then we have for irrational x that M Q x #{β F Q : β E n x for some n}. It is tempting to try to obtain an almost everywhere asymptotic formula for M Q x with this choice of constants, but we will see that in its simplest form this goal is unattainable. To make this statement more precise, for each point x and for each positive integer Q we define the integer NQ,x by NQ,x min{n 0 : Q < q n +q n 1 }. We also let aq,x be the unique integer with the property that aq,xq NQ,x 1 +q NQ,x 2 Q < aq,x+1q NQ,x 1 +q NQ,x 2. Note that by the definition of NQ,x we have that 1 aq,x a NQ,x. Furthermore in this notation we can rewrite equation 3 as 4 M Q x NQ,x n1 β E nx hβ Q cβ. In Section 2 we will show how well known results about continued fractions can be used to prove the following result. Theorem 2. For any ǫ > 0 and for almost every x we have as Q that NQ,x 12log2 π 2 logq+o ǫ logq 1/2 loglogq 3/2+ǫ. Consequently for almost every x the number of intermediate convergents to x with height less than or equal to Q is asymptotic as Q to 5 12 π 2 logqloglogq1+o1+om 0Q,x, where M 0 Q,x max{a 1 x,a 2 x,...,a N 1 x,aq,x}. Note that for almost every x the quantity M 0 Q,x is infinitely often larger than fnq,x for any function f which satisfies fn 1. n1 Thus the quantity 5 is heavily influenced by large partial quotients. It is also interesting to compare this estimate with the expected value for M Q x. We leave it to the reader to verify that for β a/q F, q 2 we have that 6 Eχ β 1 hβ hβ.

5 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 5 It should be understood that here and throughout the paper we are using Lebesgue measure on. Using 6 we find see [4, Lemma 6] that for q 2 7 E hβq χ β 2ϕq q 2 logq + p q logp loglogq p 1 +c 0 +O q 2 where c 0 is Euler s constant, and the sum on the right of 7 is over prime numbers p that divide q. From this it is not difficult to deduce that the expected value for the number of intermediate convergents to a real number which have height Q is 6 π 2logQ2 +OlogQloglogQ. Thus Theorem 2 tells us that the almost everywhere asymptotic behavior of this quantity is significantly smaller than what one would expect. The interested reader can compare these observations with the discrete version of this problem which is treated in [8] and in the last chapter of [5]. Theorem 2 also plays a role in our proof of Theorem 1, which we will attend to in Section 3. There we will demonstrate how the weak dependence of partial quotients can be used to prove the following more general theorem, from which Theorem 1 will be deduced. Theorem 3. Let δ,ǫ > 0, let fn nlogn 1/2+δ, and let g : N R be any non-negative arithmetical function which satisfies 8 gm m < and 9 lim sup n fn+1 2 gm fn2 gm <. For each β F let β [a 0 ;a 1,...,a L ] and define cβ ga L. Then for almost every x we have as Q that M Q x 12 fn m 10 π 2 gm log 1+ 1 logq 1/2 fn +O ǫ gm logq 3/4 loglogq 1/2+ǫ O where fn fnq,x. NlogN 1+δ gm,,

6 6 ALAN K. HAYNES Finally we mention here an open problem, also discussed in [4], which has been a motivation for much of this research. Suppose that Q is a collection of positive integers with the property that 13 q Q ϕqlogq q 2 +. Does it follow that almost every x has infinitely many intermediate convergents β with hβ Q? In other words, does it follow from 13 that 14 χ β x + β F hβ Q for almost every x? Condition 13 is easily seen to be necessary in order for 14 to hold see the paragraph preceding [4, Conjecture 1], but sufficiency seems much more difficult to establish. The analogous conjecture regarding the principal convergents to almost all real numbers is a nontrivial theorem of Erdös [2]. The problem that we are proposing here appears to share some characteristics with the unknown cases of the Duffin-Schaeffer Conjecture, a survey of which can be found in [3]. 2. Proof of Theorem 2 We will use the following theorem, which was proved in its asymptotic form by both Khinchin and Levy in the 1930 s. The Khinchin-Levy Theorem. For any ǫ > 0 and for almost every x we have as n that 15 logq n π2 12log2 n+o ǫ n 1/2 logn 3/2+ǫ. The constantπ 2 /12log2 is the Khinchin-Levyconstant, andwill heretofore be referred to as γ KL. The ingredients of the proof of this result can be found in Chapter V of [7] although we should point out that there is a typo which persists in the statements of several theorems in that chapter, including the Khinchin-Levy Theorem. The error term that we are reporting here can be obtained by combining the proof of [7, Theorem V.9.1] with [3, Lemma 1.5]. By combining the Khinchin-Levy Theorem with a couple other ingredients we are led to the following proof of Theorem 2. Proof of Theorem 2. ForanypositiveintegerQandforanyirrationalx we have that which implies that q NQ,x 1 +q NQ,x 2 Q < q NQ,x +q NQ,x 1, q NQ,x 1 Q < a NQ,x +1q NQ,x 1 +q NQ,x 2.

7 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 7 Taking the logarithm then yields logq NQ,x 1 logq < logq NQ,x 1 +loga NQ,x +1+log2. Now we use the fact that the set {x : a n > n 2 for infinitely many n} has measure zero [7, Theorem V.2.2]. This means that for almost every x we have logq logq NQ,x 1 +OlogNQ,x. Since NQ,x OlogQ almost everywhere, the proof of the first part of Theorem 2 now follows from the Khinchin-Levy Theorem. The second part of Theorem 2 follows from the first part together with a result of H. Diamond and J. Vaaler, [1, Corollary 1], which states that for almost every x we have as n that n k1 a k x 1+o1 log2 nlogn+o max a kx. 1 k n Setting n NQ,x 1 and incorporating the extra term aq,x into the error, we obtain exactly what is reported in the theorem. 3. Proofs of Theorems 1 and 3 In this section we will use several classical results from the metric theory of continued fractions. The most fundamental are the following two theorems. The first gives the probability density for the partial quotients in the continued fraction expansion of numbers in, and the second establishes that the partial quotients in the continued fraction expansions of almost all real numbers are weakly dependent. For both theorems we refer the reader to [7]. Theorem 4. [7, Equation V.5.2] Let n and k be positive integers and let µ be Lebesgue measure. Then there is a universal constant 0 < q < 1 for which 1/k 1 1 µ{a n x k} log21+x +Oqn dx. 1/k+1 Theorem 5. [7, Theorem V.7.1] Let n,k,r, and s be positive integers and let µ denote Lebesgue measure on. Then where 0 < q < 1. µ{a n x r and a n+k x s} µ{a n x r} µ{a n+k x s} 1+Oq k,

8 8 ALAN K. HAYNES Now we discuss some of the key elements which will be needed for the proof of Theorem 3. For each pair of positive integers m and n we define a function f m,n : R by { 1 if a n x m, f m,n x 0 else. It is clear from Theorem 4 that 1/m 1 1 f m,n dµ 0 log21+x +Oqn dx log 1+ 1 m q n 16 +O, log2 m from which it follows that n 17 f m,i dµ nlog 1+ 1 m log2 i1 1 +O. m Using the weak dependence of partial quotients we prove the following variance estimate. Lemma 1. Let m,n 1, and n 2 be positive integers with n 1 < n 2. Then we have that n2 n 2 Var f m,i dµ, f m,i and the implied constant is independent of m,n 1 and n 2. Proof. Applying Theorem 5 we have for i,j 1 that f m,i f m,i+j dµ µ{a i x k and a i+j x l} 18 kmlm kmlm µ{a i x k} µ{a i+j x l} 1+Oq j f m,i dµ Then for the variances we have that n2 Var n 2 f m,i 2 fm,i 2 dµ f m,i dµ f m,i+j dµ 1+Oq j.

9 19 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 9 +2 n 2 1 n 2 n 2 i j1 f m,i dµ+ f m,i f m,i+j dµ n 2 1 n 2 i j1 q j where we have used 18 and the facts that fm,i 2 x f m,ix and f m,i dµ f m,i+j dµ f m,i dµ f m,i+j dµ, f m,i dµ 1. Now for the sum on j in 19 we use 16 to deduce that n 2 i n 2 i q q j j log 1+ 1 f m,i+j dµ m q i+2j +O j1 log2 m j1 f m,i dµ, and hence that n2 Var f m,i n 2 f m,i dµ+ n 2 f m,i dµ. n 2 f m,i dµ Finally note that all of the implied constants depend at most upon the universal quantity q. The reader who is familiar with this subject will have already deduced that Lemma 1 can be used to prove an almost everywhere convergence result. Indeed the following lemma now follows immediately from [3, Lemma 1.5]. Lemma 2. Let m be a positive integer. For any ǫ > 0 and for almost every x we have as n that n f m,i x nlog 1+ 1 m n 1/2 logn 3/2+ǫ +O ǫ. log2 m 1/2 i1 It is tempting to try to conclude that the implied constant in Lemma 2 should depend only on ǫ. If this were true we could then form sums over m and find a more direct route to prove Theorem 3. Howevercare must be taken in passingfrom the L 2 -estimate to the almost everywhereestimate. The proof of the almost everywhere estimate recorded here requires an application of the convergence part of the Borel-Cantelli lemma. In applying this lemma the L 2 -estimates are used together with Chebyshev s inequality to conclude that certain events can not happen infinitely often almost everywhere. However 2

10 10 ALAN K. HAYNES this is not a quantitative statement and in the end it forces the error term in our almost everywhere estimate to depend heavily on the functions involved. This observation is the justification for our choice of proof, for which we will need the following more technical lemmas. Lemma 3. Suppose that g : N R is a non-negative function and that M 1,M 2,n 1, and n 2 are positive integers with M 1 < M 2 and n 1 < n 2. Then M2 n 2 M2 M 2 n 2 Var gm f m,i gm gm f m,i dµ, mm 1 mm 1 mm 1 and the implied constant is independent of M,n 1, and n 2. Lemma 4. Suppose that g,m 1,M 2,n 1, and n 2 are as in Lemma 3. Write Y 1 Y 2 M 1 M 2 gm mm 1+1 n 2 +1 f m,i, and n 2 gm f m,i. Then for the covariance of Y 1 and Y 2 we have that M2 CovY 1,Y 2 gm Y 1 dµ, mm 1+1 and the implied constant is independent of M 1,M 2,n 1, and n 2. The proofs of these lemmas use the same ideas as the proof of Lemma 1 and they therefore rely essentially on Theorem 5. Proof of Lemma 3. First note that the argumentused to show 18 alsoshows that for any positive integers m 1,m 2, and i and for any non-zero integer j 1 i we have that f m1,if m2,i+j dµ f m1,i dµ f m2,i+j dµ q j f m1,i dµ f m2,i+j dµ. As before if we sum over j we see that 20 f m1,if m2,i+j dµ j1 i j 0 i1 f m1,i dµ f m2,i+j dµ f m1,i dµ f m2,i dµ.

11 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 11 Using this fact we have that M2 Var Now since mm 1 gm M 2 n 2 f m,i m 1,m 2M 1 gm 1 gm 2 M 2 gm 1 gm 2 m 1,m 2M 1 we have that Var m 12m 2M n 2 f m1,i dµ M2 n 2 n 2 i jn 1 i O n2 f m1,if m2,i+j dµ f m1,i dµ f m2,i+j dµ f m1,i dµ f m2,i dµ f m1,if m2,i dµ f m1,if m2,i dµ mm 1 gm M 2 f m2,i dµ n 2 f m,i m 1,m 2M 1 gm 1 gm 2 M 2 gm 1 gm 2 m 1,m 2M 1 M2 mm 1 gm n 2 n 2 M 2 f m1,i dµ f max{m1,m 2},i dµ and f max{m1,m 2},i dµ mm 1 gm f max{m1,m 2},i dµ f m1,i dµ n 2 f m,i dµ. Proof of Lemma 4. Using 20 we find that CovY 1,Y 2 equals M 1 M 2 n 2 n 2 i gm 1 gm 2 f m1,if m2,i+j dµ +1j1 i f m2,i dµ.

12 12 ALAN K. HAYNES M 1 M 2 m 12m 2M 1+1 M 1 + M 2 f m1,i dµ f m2,i+j dµ n2 gm 1 gm 2 O f m1,i dµ f m2,i dµ n 2 +1 m 12m 2M 1+1 M 1 M 2 m 12m 2M 1+1 M2 mm 1+1 gm +1 f m1,if m2,i dµ f m1,i dµ n 2 gm 1 gm 2 f max{m1,m 2},i dµ gm 1 gm 2 M 1 +1 n 2 +1 gm n 2 +1 f m1,i dµ f m,i dµ. f m2,i dµ Now we use Lemmas 3 and 4 to prove a crucial almost everywhere result. Suppose that f : N N and g : N R are non-negative and that f is increasing. For each positive integer n define X n,f : R by Also define G f : N R by X n,f x G f n We have the following result. fn fn+1 2 gm n f m,n x. i1 fn 2 gm gm Lemma 5. Let f,g,x n,f, and G f be defined as above and let ǫ > 0. Assume that n1 gm m < and G f n <. nlogn 1+2ǫ 1.

13 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 13 Then for almost every x we have as n that X n,f x n fn gm log 1+ 1 log2 m 1/2 fn +O ǫ gm n 3/4 logn 1/2+ǫ. Proof. To simplify equations let us write X n for X n,f and EX n for the expected value of X n on. For each positive integer i let n i i 2, and for each n let 1/2 fn ǫn gm EX n 3/4 logex n 1/2+ǫ. By Chebyshev s inequality together with Lemma 3 we have that fni EX gm ni µ{ X ni EX ni > ǫn i } ǫn i 2 1 EX ni 1/2 logex ni 1+2ǫ 1 ilogi 1+2ǫ. Thus by the Borel-Cantelli lemma for almost every x there are only finitely many i for which x { X ni x EX ni x > ǫn i }. For the gaps notice that for positive integers n 2 > n 1 we have X n2 X n1 fn 1 gm S 1 +S 2, n 2 +1 so that by Lemmas 3 and 4 we obtain f m,i + fn 2 mfn 1+1 n 2 gm i1 VarX n2 X n1 VarS 1 +2CovS 1,S 2 +VarS 2 fn 1 O gm ES 1 +O fn 2 mfn 1+1 gm ES 1 f m,i

14 14 ALAN K. HAYNES +O fn 2 mfn 1+1 gm ES 2 fn 2 gm EX n2 X n1. Now we have that { } 23 µ max X n X ni EX n X ni > ǫn i n i<n<n i+1 n i+1 nn i+1 n i+1 nn i+1 n i+1 G f i µ{ X n X ni EX n X ni > ǫn i } fn gm EX n X ni nn i+1 ǫn i 2 EX n X ni EX ni 3/2 logex ni 1+2ǫ. Now using 17 together with hypothesis 21 we find that which gives us EX n n fn log2 n log2 23 G f i gm log O1 m gm log o1, m n i+1 nn i+1 G fin i+1 n i 2 n 3/2 i logn i 1+2ǫ G fi ilogi 1+2ǫ. n n i n 3/2 i logn i 1+2ǫ In view of hypothesis 22 we now have that { } µ max X n X ni EX n X ni > ǫn i < n i<n<n i+1 i1 which together with another application of Borel-Cantelli finishes the proof.

15 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 15 Next we proceed to the proof of Theorem 3. In our proof we will use the fact that the partial quotients a n of almost every x are only finitely often greater than nlogn 1+δ. However to obtain the error term we have reported we will need to use the following refinement of this fact, which was noticed and proved in [1]. Lemma 6. [1, Lemma 2] Let δ > 0 and for M N set M MlogM 1/2+δ. For almost all x there exist at most finitely many positive integers M for which the inequalities a m > M, a n > M hold for two distinct indices m,n M. Proof of Theorem 3. For much of the proof allow us to simplify the equations involved by suppressing the dependence of NQ,x upon Q and x. From equation 4 we have for irrational x that 24 M Q x N 1 n1 N 1 n1 β E n cβ+ a n β E N hβ Q cβ mpn 1 +p n 2 c mq n 1 +q n 2 aq,x + mpn 1 +p N 2 c mq N 1 +q N 2 Now for irrational x and for positive integers n and 1 m a n there are two possibilities for the continued fraction expansion of the fraction β mp n 1 +p n 2 mq n 1 +q n 2. If m 2 then the unique continued fraction expansion of β, as defined in the introduction, is given by while if m 1 we have β [a 0 ;a 1,...,a n 1,m], β [a 0 ;a 1,...,a n 1 +1]. With these facts, equation 24, and the definition of the constants cβ we have for irrational x that N a n a N M Q x ga n gm gm n1 g1+ N 1 a n+1 n1 aq,x gm+ gm. maq,x+1.

16 16 ALAN K. HAYNES For fixed Q and x let and define { a n x a n x+1 if 1 n < NQ,x, and aq,x if n NQ,x, M 1 Q,x max 1 n NQ,x a nx. Then let n 1 n 1 Q,x be an integer in {1,...,N} with a n 1 x M 1 and define M 2 Q,x max 1 n NQ,x n n 1 a nx. Now for a fixed x if M 1 aq,x then we have that M Q x g1+ otherwise we have that M Q x g1+ M 2 M 1 N 1 gm n2 N 1 gm n2 In either case it is clear that M2 N 1 25 M Q x gm f m,n x Now letting S Q x n2 M 2 N 1 gm f m,n x+ M 1 aq,x f m,n x+ n2 g1+ f m,n x M 1 gm, gm. gm. we may apply Lemma 6 to see that for almost every x we can choose Q 0 large enough that whenever Q > Q 0 we have S Q x NlogN 1/2+δ N 1 gm n1 f m,n x. In other words with fn NlogN 1/2+δ we have that lim S Qx X N,f x 0 Q almost everywhere. Now by applying Lemmas 2 and 5, for any ǫ > 0 and for almost every x we have as Q that S Q x NQ,x fn gm log 1+ 1 log2 m

17 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN π 2 12 π 2 fn +O ǫ gm fn 1/2 m gm log 1+ 1 logq NQ,x 3/4 lognq,x 1/2+ǫ +O ǫ logq 1/2 loglogq 3/2+ǫ 1/2 fn +O ǫ gm logq 3/4 loglogq 1/2+ǫ fn m gm log 1+ 1 logq fn +O ǫ gm 1/2 logq 3/4 loglogq 1/2+ǫ. Finally to establish an upper bound for the sums on the right hand side of 25 we appeal to the fact that for any δ > 0 the set {x : a n x > nlogn 1+δ for infinitely many n} is a set of measure zero see [7, Theorem V.2.2]. Thus M 1 almost everywhere as Q. gm NlogN 1+δ gm Finally we come to the proof of our main result. Proof of Theorem 1. The function g obviously satisfies 8, so we will begin by checking that it satisfies 9. Note that fn+1 2 fn+1 2 gm mfn fn2 gm gm fn2 gm, and also that fn+1 2 mfn 2 +1 gm fn+1 2 mfn m 1/2+γ fn+1 2 1/2 γ fn 2 1/2 γ

18 18 ALAN K. HAYNES 2 1+δ1/2 γ n+1 1 2γ logn+1 1/2+δ1/2 γ n 1 2γ logn 1/2+δ1/2 γ logn 1/2+δ1/2 γ n+1 1 2γ n 1 2γ logn 1/2+δ1/2 γ n 1 2γ 1+1/n 1 2γ n 1 2γ logn1/2+δ1/2 γ n 2γ, where the last inequality comes from the binomial theorem. Thus it is clear that lim n fn+1 2 gm fn 2 gm 1, and the conclusion of Theorem 3 may be applied. The error terms 11 and 12 can be estimated by fn NlogN 1+δ gm fn 1/2 γ logq 1/2 γ loglogq 1/2+δ1/2 γ, and gm fn 1/2 γ logq 1/2 γ loglogq 1+δ1/2 γ, and the sum in 10 may be extended to infinity, introducing an error of at most a constant times m gm log 1+ 1 logq fn 1/2+γ logq mfn+1 logq 1/2 γ loglogq 1/2+δ 1/2 γ. Since any value of δ > 0 is allowedwe may choose δ γ to achieve the bounds in the statement of the theorem. References [1] H. G. Diamond and J. D. Vaaler, Estimates for partial sums of continued fraction partial quotients, Pacific J. Math , no. 1, [2] P. Erdös, On the distributuion of convergents of almost all real numbers, J. Number Theory , [3] G. Harman, Metric Number Theory, Oxford University Press Inc., New York, [4] A. K. Haynes and J. D. Vaaler, Martingale differences and the metric theory of continued fractions, Illinois J. Math., to appear. [5] A. Y. Khinchin, Continued Fractions, University of Chicago Press, Chicago-London, [6] A. Y. Khinchin, Metrische Kettenbruchprobleme, Compositio Math , [7] A. M. Rockett and P. Szüsz, Continued Fractions, World Scientific, Singapore, 1992.

19 INTERMEDIATE CONVERGENTS AND A METRIC THEOREM OF KHINCHIN 19 [8] A. C. Yao and D. E. Knuth, Analysis of the subtractive algorithm for greatest common divisors, Proc. Nat. Acad. Sci. USA, 72, no. 12, Department of Mathematics, University of York, Heslington, York YO10 5DD, UK address: akh502@york.ac.uk