arxiv: v1 [math.nt] 3 Jan 2019

Transcription

1 SOME MORE LONG CONTINUE FRACTIONS, I arxiv:965v mathnt 3 Jan 29 JAMES MC LAUGHLIN AN PETER ZIMMER Abstract In this paper we show how to construct several infinite families of polynomials x,k), such that x,k) has a regular continued fraction expansion with arbitrarily long period, the length of this period being controlled by the positive integer parameter k We also describe how to quickly compute the fundamental units in the corresponding real quadratic fields Introduction Let x,x 2,,x r,k) be a polynomial in Zx,x 2,,x r, where x, x 2,,x r are integer variables and k is a positive integer parameter which appears as an exponent in the expression of x,x 2,,x r,k) Suppose further that there are positive lower bounds T and T 2 such that, for all integral x i T and all integral k T 2, the surd x,x 2,,x r,k) has a regular continued fraction of the form x,x 2,,x r,k) = a ;a,,a nk,2a, where each a j := a j x,,x r,k) Zx,,x r, for j =,,n k, and the length of the period, n k +, depends only on k k may also be present in some of the a j as an exponent) Under these circumstances we say that x,x 2,,x r,k) has a long continued fraction expansion and call the expansion a ;a,,a nk,2a a long continued fraction We give the following example due to Madden to illustrate the concept: Let b, n and k be positive integers Set 2 := b,n,k) := b+2bn) +n) k +2+2bn) k Then b+2bn) k +n;b,2b+2bn) k,b2bn+),2b2bn+) k 2, b2bn+) 2,2b2bn+) k 3,, b+2bn) k,2b, n+b2bn+) k, ate: January 4, 29 2 Mathematics Subject Classification Primary: A55 Secondary: R27 Key words and phrases Continued Fractions, Pell s Equation, Quadratic Fields The authors would like to thank the referee of an earlier version of this paper for

2 2 JAMES MC LAUGHLIN AN PETER ZIMMER 2b,b+2bn) k,, 2b2bn+) k 3,b2bn+) 2, 2b2bn+) k 2,b2bn+),2b+2bn) k,b,2n+b+2bn) k ) The fundamental period in the continued fraction expansion has length 4k +2 Since the discovery of aniel Shanks 7 and 8, there have been a number of examples of families of quadratic surds whose continued fraction expansions have unbounded period length These include those discovered by Hendy 6, Bernstein 2 and 3, Williams 23, 22 and 2, Levesque and Rhin 8, Azuhatu, Levesque 7, Halter-Koch 4 and 5, Mollin and Williams 3 and 4, van der Poorten 9, and, more recently, Madden and Mollin 2 Williams paper 23 contains several tables listing surds with long continued fraction expansions, along with the length of their fundamental period In Mollin and Williams 3 and 4 and Williams 22 and 2, the authors describe a general method for computing the fundamental period πn) of the continued fraction expansion of N, where N = σqra n +µa k +λ)/q)/2) 2 σ 2 µλa n r Here µ,λ {,}, σ {,2} the value of σ depends on the parity of qra n +µa k +λ)/q), qr a k +λ, gcdn,k) =, and n > k To describe this method we need some additional notation For positive integers r > and s, let the regular continued fraction expansion of s/r = q ;q,,q m, with q m > efine Mr,s) := 2 m + )/2 For a fixed Q and a with gcda,q) =, denote by s i the integer satisfying s i a i mod Q), with s i < Q Let ω = ωa,q) denote the multiplicative order of a modulo Q and define Wa,q) = ω Ms i,q) i= The authors give various formulae for πn), formulae that depend on the various parameters and the functions W, ) and ω, ) In this present paper we use matrix methods based on Madden s method in ) to derive several infinite families of quadratic surds with long continued fraction expansions We feel that, while these matrix methods may

3 SOME MORE LONG CONTINUE FRACTIONS, I 3 transparent, more direct and less intricate than proofs by the method outlined above in the papers of Mollin and Williams Furthermore, some of the families of long continued fractions in the present paper generalize some of the results in some of the papers cited previously in this introduction 2 preliminaries We first recall some basic properties of continued fractions For any sequence ofnumbers a,a,, define, fori, thenumbersa i andb i the i-th numerator convergent and i-th denominator convergent, respectively, of the continued fraction below) by a = A i + a + a 2 + a i B i By the correspondence between matrices and continued fractions, we have that ) ) ) ) a a ai Ai A 2) = i B i B i It is also well known that 22) A i = a i A i +A i 2, B i = a i B i +B i 2 See, for example, for these basic properties of continued fractions Our starting point is the following elementary result Lemma Let q,q,,q,q be a finite palindromic sequence of positive integers with or without a central term) and let ) ) ) ) ) q q q q w u 23) =: u v Then 24) w/v = q ;q,q 2,q 2,q,2q Proof As usual, q,q 2,q 2,q,2q means that the sequence of partial quotients q,q 2,q 2,q,2q is repeated infinitely often Note that the matrix on the right side of 23) is symmetric, since the left side is a symmetric product of symmetric matrices Let α = q ;q,q 2,q 2,q,2q, so that α = q ;q,q 2,q 2,q,q + α Then, by 23), 2) and 22), we have that α = w+αu u+αv, so that α 2 = w/v and the result follows We will be primarily interested in the case where w/v is an integer The

4 4 JAMES MC LAUGHLIN AN PETER ZIMMER Lemma 2 Let be any complex number and let α and β be any complex numbers such that α+β efine the matrix P by ) ) ) α P = β Then P, P 2,2 = To investigate the fundamental units in the corresponding real quadratic fields Q ), there is the following theorem on page 9 of 5: Theorem Let be a square-free, positive rational integer and let K = Q ) enote by ǫ the fundamental unit of K which exceeds unity, by s the period of the continued fraction expansion for, and by P/Q the s )-th approximant of it If mod 4 or mod 8, then However, if 5 mod 8, then or ǫ = P +Q ǫ = P +Q ǫ 3 = P +Q Finally, the norm of ǫ is positive if the period s is even and negative otherwise This theorem implies the following result Proposition Let be a non-square positive integer, 5 mod 8) Suppose q ;q,,q,2q, and that ) ) ) ) ) q q q q w u = u v ) ) ) α = β Then the fundamental unit in Q ) is 2 β Proof By Theorem and 2), the fundamental unit in Q ) is u + v, and the equality of this quantity and 2 β follows from comparing corresponding entries in the matrices above Remark: Other approaches can be used to calculate the fundamental unit

5 SOME MORE LONG CONTINUE FRACTIONS, I 5 We will follow Madden and let N denote the sequence a,a 2,,a j whenever ) ) a aj N =, and let N denote the sequence a j,a j,,a 2,a 3 Some General Propositions We next stateseveral variants ofaresult of Madden from These general propositions will allow us to construct specific families of long continued fractions in the next section Proposition 2 Let k, u, v, w and r be positive integers such that rw/v is an integer, and let x be a rational such that wx and 2vx are integers Let ) r C = Suppose further, for each integer n {,,k }, that the matrix N n defined by ) ) u r N n := C n k v u r C w ru 2vwx n = k n v r n w ru 2vwx has an expansion of the form ) ) n) n) a 3) N n = a 2 where each a n) i is a positive integer Then n) a j n ), 32) wr k v +w2 x 2 = wx; N k Nk 2 N N,2vx, N, N,, N k 2, N k,2wx If wr k /v + w 2 x 2 5 mod 8) and is square free, then the fundamental unit in Qwr k /v +w 2 x 2 ) is )) 2k wr w ru+v wx+ +vwx 2 ) v v wx+ ) 2 wr k +vwx 2 ) v Proof Let wr k /v +w 2 x 2 We consider the matrix product ) ) ) wx 2vx wx N k N N N T NT NT k By the definition of the N n, this product equals wx )C k CN ) k 2vx )CN ) k ) T C k wx )

6 6 JAMES MC LAUGHLIN AN PETER ZIMMER efine the matrix M by M := vx v w One can check that ) wx C k = vx+ v w ) wx wx+ CN ) k = M ru vwx v ru vwx+v ) 2vx M M ) T = Thus ) ) wx 2vx C k CN ) k ) wx wx+ w 2v w 2v ) wx CN ) k ) T C k = ) ru vwx v w 2v ) M ; k M ; ru vwx+v w 2v ru vwx v ru vwx+v k wx wx+ k ) ) The result follows by Lemmas, 2 and Proposition The fundamental period of the continued fractions above contain a central partial quotient, namely 2vx We next show how to construct long continued fractions which do not have a central partial quotient Proposition 3 Let u, v, x and r be positive integers Let ) r C =

7 SOME MORE LONG CONTINUE FRACTIONS, I 7 Suppose further, for each integer k and each integer n {,,k }, that the matrix N n defined by ) ) u r N n := C n k v u r r k C v ru 2vx n = k n v r k+n v ru 2vx has an expansion of the form ) ) n) n) a 33) N n = a 2 n) a j n ), where each a n) i is a positive integer Then, for each integer k, 34) r 2k +x 2 = x; N k Nk 2 N N, N, N,, N k 2, N k,2x If r 2k + x 2 5 mod 8) and is square free, then the fundamental unit in Q r 2k +x 2 ) is x+ ) r 2k +x 2 u+v x+ ) 2k r 2k +x /r) 2 Proof We proceed as in the proof of Proposition 2 Let r 2k +x 2 As above, the definition of N n implies ) ) x x N k N N N T NT NT k ) ) x x = C k CN ) k CN ) k ) T C k efine the matrix M by One can check that ) x C k = M := x r k x+ r k ) x r 2k x+ r 2k ) M ; CN ) k = M ru vx v ru vx+v M M ) T = + x x 2 Thus x )C k CN ) k CN ) k ) T C k x ) = k M ;

8 8 JAMES MC LAUGHLIN AN PETER ZIMMER ) x ) r 2k x+ ru vx v k r 2k ru vx+v + x 2 2 x 2 2 ru vx v k x ) ru vx+v r 2k x+ r 2k ), andonceagaintheresult followsbylemmas and2andproposition It is also possible to create long continued fractions with no central partial quotient, but with two extra central partial quotients that do not come from N and N Proposition 4 Let u, v, w, q and r be positive integers Let ) r C = Suppose further, for each integer k and each integer n {,,k }, that the matrix N n defined by ) N n := C n u r k v v r k +4qw ) ru 2qr k v 2 +4q 2 C n ) vw ) u r = k n v r n v r k +4qw ) ru 2qr k v 2 +4q 2 ) vw has an expansion of the form ) ) n) n) a 35) N n = a 2 n) a j n where each a n) i is a positive integer Then, for each integer k, 36) r k r k +4qw)+w+q r k +4qw)) 2 = w+qr k +4qw); N k Nk 2 N N,2q,2q, N, N,, N k 2, N k,2w+qr k +4qw)) ),

9 SOME MORE LONG CONTINUE FRACTIONS, I 9 For ease of notation, set r k r k +4qw ) + w +q r k +4qw ))2 and γ = qr k +4qw) Then the fundamental unit in Q ) is d w γ ) ) 2k d w+γ ) d+w+γ ) 2 u+v /r γ 2 Proof We proceed as in the proof of Propositions 2 and 3 Let r k r k +4qw ) + w +q r k +4qw )) 2 As above, the definition of N n implies w +q r k +4qw ) ) ) 2q N k N N ) 2q w +q r N T k +4qw ) ) NT NT k w +q r = k +4qw ) ) ) 2q C k CN ) k ) 2q w+q r CN ) k ) T C k k +4qw ) ) Recall that γ = qr k +4qw) and define the matrix M by q vw+γ) ) v q w+γ)v + ) v M := vγ vγ One can check preferably with a computer algebra system like Mathematica) that w +q r k +4qw ) ) C k qr w k +γ ) ) = γ ru v CN ) k = M w+γ + ) qr w+γ k + ) M ; ru+v w γ + ) γ k M ; ) ) 2q 2q 2 + w γ M M ) T 2 = w γ

10 JAMES MC LAUGHLIN AN PETER ZIMMER Thus, as in Propositions 2 and 3, the result follows by Lemmas and 2 and Proposition 4 long continued fractions We next give specific values in terms of other variables) for some of the variables in the propositions so as to produce explicit long continued fractions The main problem is to do this in such a way that the matrices N n satisfy 3), 33) or 35) From Proposition 2, we have that ) u r N = k v, w ru 2vwx so one obvious approach is to initially define u, v, w, x and r fromaproduct of the form ) ) ) ) u r N = k ) ) ) v a = a 2 a j w ru 2vwx and then specialize the a ) i so that each N n also has an expansion of a similar form We proceed similarly with Propositions 3 and 4 We consider one example in detail to illustrate the method We consider Proposition 2 with ) u r N = k v = w ru 2vwx a ) ) b = ) +ab a b Upon comparing,2) entries, it can be seen that a must be a multiple of r k, so replace a by r k a and we then have ) ) u r k v +r = k ab r k a w ru 2vwx b Then v = a, w = b, u = + abr k and x = abr k + r )/2ab) The requirements that wx, wr/v and 2vx be integers force b and r to have the forms b = 2ma, r = +2ams, respectively, for some integers m and s Thus we finally have u = +2a 2 m+2ams) +k, v = a, w = 2am, x = s+a+2ams)k 2a With these values, we have that wr k +w 2 x 2 = m 2+2ams) k +m s+a+2ams) k) 2 ),

11 Thus SOME MORE LONG CONTINUE FRACTIONS, I ) u r N n = k n v wr n ru 2vwx ) +2a = 2 m+2ams) +k a+2ams) +k n 2am+2ams) n ) a+2ams) +k n 2am+2ams) n ) = N n = a+2ams) +k n,2am+2ams) n For a non-square integer, let l) denote the length of the fundamental period in the regular continued fraction expansion of We have proved the following theorem Theorem 2 Let a, m, s and k be positive integers Set := m 2+2ams) k +m s+a+2ams) k) ) 2 Then l) = 4k +2 and ms+a+2ams) k );a, 2am+2ams) k, a2ams+), 2am2ams+) k 2, a2ams+) 2, 2am2ams+) k 3, a+2ams) k, 2am, s+a2ams+) k, 2am, a+2ams) k,, 2am2ams+) k 3, a2ams+) 2, 2am2ams+) k 2, a2ams+), 2am+2ams) k, a, 2ms+a+2ams) k ) This long continued fraction generalizes Madden s first example in Section 3 of, where Madden s continued fraction is the case m = of the continued fraction above This continued fraction of Madden is also given in row of Table 3 in Williams paper 23) The case m =, a = gives Bernstein s Theorem 3 from 2

12 2 JAMES MC LAUGHLIN AN PETER ZIMMER Theorem 3 Let a >, m, s and k be positive integers Set := m 22ams ) k +m s a2ams ) k) ) 2 Then l) = 6k +2 and m s+a2ams ) k ); a,, 2am2ams ) k, Proof In Proposition 2, let a2ams ),, 2am2ams ) k 2, a2ams ) 2,, 2am2ams ) k 3, a +2ams) k,, 2am, s+a2ams ) k, 2am,, a+2ams) k,, 2am2ams ) k 3,, a2ams ) 2, 2am2ams ) k 2,, a+2ams), 2am2ams ) k,, a, 2m s+a2ams ) k ) u = 2a 2 m2ams ) k, v = a, w = 2am, r = 2ams, x = a2ams )k s 2a With these values, wr k v +w2 x 2 = m 22ams ) k +m s a2ams ) k) ) 2, ) u r N n = k n v wr n ru 2vwx ) +2a = 2 m2ams ) +k a2ams ) +k n 2am2ams ) n ) ) a+2ams) k n 2am+2ams) n ) =

13 SOME MORE LONG CONTINUE FRACTIONS, I 3 This example generalizes Madden s second example page 3 ) set m = ) Madden s second example can also be found in row 2 of Table 3 in 23), Theorem 8 of Levesque and Rhin 8 set a = 2, m = a and s = ) and Theorem of Levesque and Rhin 8 set a = 2, m = a/2 and s = 2) The example given by van der Poorten in 9, namely qa k a+ ) 2 +a k with 4q a+, 4q follows upon setting a = 2q, m = /2 and s = a+)/2q) We can also let a, m and s take negative values in Theorem 2 Any zeroand negative partial quotients in the continued fraction expansion can be removed by the following transformations: 4) m,n,,p,α = m,n+p,α, m, n,α = m,,n, α Out of the eight possible sign combinations for a, m and s, only four lead to distinct polynomials, those in Theorems 2 and 3 Theorem 3 could also have been proved by replacing s by s for the case k is even, and replacing m by m in the case k is odd) and two others Our first application of this transformation is to Theorem 3 Corollary Let m, s and k be positive integers such that ms > Set := m 22ms ) k +m s 2ms ) k) ) 2 Then l) = 6k 2 and m s+ 2ms ) k )+; 2 m2ms ) k, 2ms ),, 2m2ms ) k 2, 2ms ) 2,, 2m2ms ) k 3, +2ms) k,, 2m, s+2ms ) k, 2m,, +2ms) k,, 2m2ms ) k 3,, 2ms ) 2, 2m2ms ) k 2,, +2ms), 2 m2ms ) k,2m s+ 2ms ) k )+2

14 4 JAMES MC LAUGHLIN AN PETER ZIMMER Proof This follows upon letting a = in Theorem 3 and using 4) to remove the zeros resulting from the a terms This continued fraction generalizes that in Theorem 2 of Bernstein 2 set m = and s = a+) and also that in Theorem 6 of Levesque and Rhin 8 set m = 2a and s = ) Theorem 4 Let a >, m, s and k be positive integers Set := m m s+a2ams ) k) ) 2 22ams ) k Then l) = 6k +4 and 42) ms+a2ams ) k ) ;, a, 2am2ams ) k,, a2ams ), 2am2ams ) k 2,, a2ams ) 2, 2am2ams ) k 3,, a2ams ) k, 2am,, s+a2ams ) k 2,, 2am, a2ams ) k,,, 2am2ams ) k 3, a2ams ) 2,, 2am2ams ) k 2, a2ams ),, 2am2ams ) k, a,, 2ms+a2ams ) k ) 2 Proof We consider the cases where k is odd and k is even separately We first consider k odd Replace a by a and k by 2k + in Theorem 2 Then := m m s+a2ams ) 2k+) ) 2 22ams ) 2k+ and ms+a2ams ) 2k+ ); a, 2am2ams ) 2k, a2ams ), 2am2ams ) 2k, a2ams ) 2, 2am2ams ) 2k 2,

15 and ms+a2ams ) 2k ); a, 2am2ams ) 2k, SOME MORE LONG CONTINUE FRACTIONS, I 5 a2ams ) 2k, 2am2ams ), a2ams ) 2k, 2am, s+a2ams ) 2k+, 2am, a2ams ) 2k, 2am2ams ), a2ams ) 2k,, 2am2ams ) 2k 2, a2ams ) 2, 2am2ams ) 2k, a2ams ), 2am2ams ) 2k, a, 2ms+a2ams ) 2k+ ) We now apply the second identity at 4) repeatedly to get that ms+a2ams ) 2k+ ) ;, a, 2am2ams ) 2k,, a2ams ), 2am2ams ) 2k,, a2ams ) 2, 2am2ams ) 2k 2,, a2ams ) 2k, 2am,, s+a2ams ) 2k+ 2,,, 2am, a2ams ) 2k,,, 2am2ams ) 2k 2, a2ams ) 2,, 2am2ams ) 2k, a2ams ),, 2am2ams ) 2k, a, 2ms+a2ams ) 2k+ ) 2 It is clear that l) = 2k + This proves the theorem for odd k We next consider the case where k is even Replace a by a, s by s, m by m and k by 2k in Theorem 2 Then := m m s+a2ams ) 2k) ) 2 22ams ) 2k

16 6 JAMES MC LAUGHLIN AN PETER ZIMMER a2ams ), 2am2ams ) 2k 2, a2ams ) 2, 2am2ams ) 2k 3, a2ams ) 2k 2, 2am2ams ), a2ams ) 2k, 2am, s+a2ams ) 2k, 2am, a2ams ) 2k, 2am2ams ), a2ams ) 2k 2,, 2am2ams ) 2k 3, a2ams ) 2, 2am2ams ) 2k 2, a2ams ), 2am2ams ) 2k, a, 2ms+a2ams ) 2k ) We again apply the second identity at 4) repeatedly and the stated continued fraction expansion follows It is clear that l) = 2k+4 in this case This completes the proof for even k ThistheoremgeneralizesTheorem7ofLevesqueandRhin8seta = 2, s = and m = a) and Theorem 9 of Levesque and Rhin 8 set a = 2, s = 2 and m = a/2) Williams example in row 3 of Table 3 in 23 is the case m = of the continued fraction above Remark: It seems likely from the common form of the expansions that there should be an alternative proof of Theorem 4 that covers the even and odd cases simultaneously However, we do not pursue that here Corollary 2 Let m, s and k be positive integers Set := m m s+ 2ms ) k) ) 2 22ms ) k Then l) = 6k and 43) ms+2ms ) k ) ; 2m2ms ) k,, 2ms ), 2m2ms ) k 2,, 2ms ) 2, 2m2ms ) k 3, k

17 SOME MORE LONG CONTINUE FRACTIONS, I 7, s+2ms ) k 2,, 2m, 2ms ) k,,, 2m2ms ) k 3, 2ms ) 2,, 2m2ms ) k 2, 2ms ),, 2m2ms ) k, 2ms+ 2ms ) k ) 2 Proof Let a = in Theorem 4 and use 4) to remove the zeros resulting from the a terms This result generalizes that in Theorem of Bernstein 2 set s = a+ and m = ) and also that in Theorem 5 of Levesque and Rhin 8 set s = and m = 2a) It also generalizes the example in row 5 of Table 3 in 23 Theorem 5 Let a > 2, m, s and k be positive integers Set := m m s+a+2ams) k) ) 2 2+2ams) k Then l) = 8k +4 and m s+a+2ams) k ) ;, a 2,,2am+2ams) k 2,,a2ams+) 2,,2am2ams+) k 2 2,,a2ams+) 2 2,,2am2ams+) k 3 2,,a+2ams) k 2,,2am 2,, s+a2ams+) k 2,, 2am 2,,a+2ams) k 2,,, 2am2ams+) k 3 2,,a2ams+) 2 2,, 2am2ams+) k 2 2,,a2ams+) 2,, 2am+2ams) k 2,,a 2,, 2m s+a+2ams) k ) 2 Proof Replace a by a and m by m in Theorem 2 Then := m m s+a2ams+) k) ) 2 22ams+) k

18 8 JAMES MC LAUGHLIN AN PETER ZIMMER and m s+a2ams+) k ); a, 2am2ams+) k, a2ams+), 2am2ams+) k 2, a2ams+) 2, 2am2ams+) k 3, a2ams ) k 2, 2am2ams+), a2ams+) k, 2am, s a2ams+) k, 2am, a2ams+) k, 2am2ams+), a2ams+) k 2,, 2am2ams+) k 3, a2ams+) 2, 2am2ams+) k 2, a2ams+), 2am2ams ) k, a, 2m s+a2ams+) k ) We again apply the second identity at 4) repeatedly and the stated continued fraction expansion follows It is clear that l) = 8k +4 in this case This completes the proof Williams continued fraction in row 9 of Table 3 in 23 is the case m = of the theorem above Corollary 3 Let m, s and k > be positive integers such that ms > Set := m m s+ +2ms) k) ) 2 2+2ms) k Then l) = 8k and m s++2ms) k ) 2;, 2m+2ms) k 3,,2ms+) 2,,2m2ms+) k 2 2,,2ms+) 2 2,,2m2ms+) k 3 2,,+2ms) k 2,,2m 2, k

19 SOME MORE LONG CONTINUE FRACTIONS, I 9 2m 2,,+2ms) k 2,,, 2m2ms+) k 3 2,,2ms+) 2 2,, 2m2ms+) k 2 2,,2ms+) 2,, 2m+2ms) k 3,, 2m s++2ms) k ) 4 Proof This follows after letting a = in Theorem 5 and using 4) to remove the resulting zeroes and negatives Williams continued fraction in row 8 of Table 3 in 23 is the case m = of the corollary above Corollary 4 Let k > 2 and s be positive integers Set 2 := +2s) s) k 2+2s) k Then l) = 8k 4 and +2s) k s 2;, 2+2s) k 3,,2s+) 2,,22s+) k 2 2,,2s+) 2 2,,22s+) k 3 2,,+2s) k 2 2,, 22s+) 2,+2s) k 2, 2, s+2s+) k 2, 2,+2s) k 2,, 22s+) 2,,,+2s) k 2,,, 22s+) k 3 2,,2s+) 2 2,, 22s+) k 2 2,,2s+) 2,, 2+2s) k 3,, 2s++2s) k ) 4 Proof This follows after letting m = in Corollary 3 and using 4) to

20 2 JAMES MC LAUGHLIN AN PETER ZIMMER The result above is Theorem 4 in Bernstein 2 Corollary 5 Let m, s and k > be positive integers Set := m m s+2+4ms) k) ) 2 2+4ms) k Then l) = 8k and m s+2+4ms) k ) ;2,4m+4ms) k 2,,24ms+) 2,,4m4ms+) k 2 2,,24ms+) 2 2,,4m4ms+) k 3 2,,2+4ms) k 2,,4m 2,, s+24ms+) k 2,, 4m 2,,2+4ms) k 2,,, 4m4ms+) k 3 2,,24ms+) 2 2,, 4m4ms+) k 2 2,,24ms+) 2,, 4m+4ms) k 2, 2, 2m s+2+4ms) k ) 2 Proof This follows after letting a = 2 in Theorem 5 and using 4) to remove the zero resulting from the a 2 terms We next use Propositions 3 and 4 to construct families of long continued fractions with no central partial quotient in the fundamental period Theorem 6 Let b, s and k be positive integers Set := 4bs+) k + b4bs+) k +s ) 2 Then l) = 2k + and b4bs+) k +s; 2b, 2b4bs+) k, 2b4bs+), 2b4bs+) k 2, 2b4bs+) 2, 2b4bs+) k 3, 2b4bs+) k )/2, 2b4bs+) k k )/2,,

21 SOME MORE LONG CONTINUE FRACTIONS, I 2 2b4bs+) k 2, 2b4bs+), 2b4bs+) k, 2b, 2b4bs+) k +s) Here we understand the mid-point of the period to be just after the 2b4bs+ ) k )/2 term, if k is odd, and just after the 2b4bs+) k k )/2 term, if k is even Proof Wefirstprovethisforevenk InProposition3setv = 2b, r = +4bs, u = +4b 2 +4bs) 2k and x = s+b+4bs) 2k Then With these values also, ) u r N n = k n v r k+n = v ru 2vx 4bs+) 2k + b4bs+) 2k +s ) 2 2b+4bs) k n and so N n = 2b+4bs) k n, 2b+4bs) k+n Thus b4bs+) 2k +s; 2b, 2b4bs+) 2k, 2b4bs+), 2b4bs+) 2k 2, 2b4bs+) 2, 2b4bs+) 2k 3, 2b4bs+) k, 2b4bs+) k, 2b4bs+) k, 2b4bs+) k,, 2b4bs+) 2k 3, 2b4bs+) 2, ) ) 2b+4bs) k+n, 2b4bs+) 2k 2, 2b4bs+), 2b4bs+) 2k, 2b, 2b4bs+) 2k +s), and the result follows for even k For odd k we use Proposition 4 above, where we set v = 2b, r = +4bs, u = +4b 2 +4bs) 2k, q = b+4bs) k and w = s Then 4bs+) 2k+ + b4bs+) 2k+ +s ) 2 With these values also, ) u r N n = k n v r n v r k +4qw ) ru 2qr k v 2 +4q 2 vw ) ) 2b+4bs) k n 2b+4bs) k+n+ =,

22 22 JAMES MC LAUGHLIN AN PETER ZIMMER and so N n = 2b+4bs) k n, 2b+4bs) k+n+ Thus b4bs+) 2k+ +s; 2b, 2b4bs+) 2k, 2b4bs+), 2b4bs+) 2k, 2b4bs+) 2, 2b4bs+) 2k 2, 2b4bs+) k, 2b4bs+) k+, 2b4bs+) k, 2b4bs+) k, 2b4bs+) k+, 2b4bs+) k,, 2b4bs+) 2k 2, 2b4bs+) 2, 2b4bs+) 2k, 2b4bs+), 2b4bs+) 2k, 2b, 2b4bs+) 2k+ +s), and the result again follows The result above without the explicit continued fraction expansion) appears in row of Table 2 in 23 As previously, we can let b or r take negative integral values and produce a new long continued fraction Corollary 6 Let b, s and k be positive integers Set := 4bs ) 2k + b4bs ) 2k s ) 2 Then l) = 6k + and b4bs ) 2k s;2b,,2b4bs ) 2k, 2b4bs ),,2b4bs ) 2k 2, 2b4bs ) 2,,2b4bs ) 2k 3, 2b4bs ) k,,2b4bs ) k, 2b4bs ) k,,2b4bs ) k,, 2b4bs ) 2k 3, 2b4bs ) 2, 2b4bs ) 2k 2,,2b4bs ), 2b4bs ) 2k,,2b, 2b4bs ) 2k s)

23 k k 2 SOME MORE LONG CONTINUE FRACTIONS, I 23 Proof This follows from Theorem 6 in the case k is even, after replacing s by s and using 4) to remove the resulting negative partial quotients from the resulting continued fraction expansion Corollary 7 Let b, s and k be positive integers Set := b4bs ) 2k+ +s ) 2 4bs ) 2k+ Then l) = 6k +5 and b4bs ) 2k+ +s ;, 2b, 2b4bs ) 2k,, 2b4bs ), 2b4bs ) 2k,, 2b4bs ) 2, 2b4bs ) 2k 2,, 2b4bs ) k, 2b4bs ) k+,, 2b4bs ) k, 2b4bs ) k,, 2b4bs ) k+, 2b4bs ) k,,, 2b4bs ) 2k 2, 2b4bs ) 2,, 2b4bs ) 2k, 2b4bs ),, 2b4bs ) 2k, 2b,,2b4bs ) 2k+ +s 2) Proof This follows from Theorem 6 in the case k is odd, after replacing b by b and using 4) to remove the resulting negative partial quotients from the resulting continued fraction expansion Remark: Statements similar to those in Corollaries 6 and 7 hold if 2k is replaced by 2k+, but these results cannot be derived from Theorem 6 All of these statements, without explicit continued fraction expansions, appear in Table 2 of 23 5 Fundamental Units in Real Quadratic Fields It is straightforward in many cases to compute the fundamental units in the real quadratic fields corresponding to the surds in the various theorems and corollaries In what follows, we assume is square free and 5 mod 8) In Theorem 2, for example, where

24 24 JAMES MC LAUGHLIN AN PETER ZIMMER it follows directly from Proposition 2 that the fundamental unit in Q ) is 2m +a +m s+a+2ams) k))) 2k m s+a+2ams) k)) 2 Withm = 3, a = 5, s = 7andk = 2, forexample, weget and that the fundamental unit in Q ) is after simplifying) Likewise, in Theorem 6 for even k), where bs) 2k +s+b+4bs) 2k ) 2, Proposition 3 gives that the fundamental unit in Q ) is +4bs) 2k 2b s+b+4bs) 2k + +4bs) 2k + ) s+b+4bs) 2k) 2 s+b+4bs) 2k) ++4bs) +4b 2 +4bs) +2k) +2b +4bs) 2k + s+b+4bs) 2k) 2 ) 2k Setting s = 3, b = 5, and k = 2, for example, gives and that the fundamental unit in Q ) is For our last example, we also consider Theorem 6 for odd k), where +4bs) 2k+ +s+b+4bs) 2k+ ) 2, Proposition 4 gives that the fundamental unit in Q ) is +2b +2bs+2b 2 +4bs) +2k) 2k +4bs) 2k ))) +s+4b 3 +4bs) +4k +b+4bs) 2k 3+4b +2s Letting s = 5, b = 2, and k = gives and shows that the fundamental unit in Q ) is

25 SOME MORE LONG CONTINUE FRACTIONS, I 25 6 Concluding Remarks While considering the various long continued fractions in the papers by Bernstein 2, 3, Levesque andrhin 8 andwilliams 23, and trying to see if any more of the continued fractions in these papers could be generalized by the methods in the present paper, we were led to a new construction This new construction succeeds where the methods in the present paper fail, in that it allowed us to generalize some more of the continued fractions in the papers mentioned above We will investigate this new construction in a subsequent paper References Azuhatu, T On the fundamental units and class numbers of real quadratic fields, II, Tokyo Journal of Math, 987), Bernstein, Leon Fundamental units and cycles in the period of real quadratic number fields I Pacific J Math ), no, Bernstein, Leon Fundamental units and cycles in the period of real quadratic number fields II Pacific J Math ), no, Halter-Koch, F Einige periodische Kettenbruchentwicklungen und Grundeinheiten quadratischer Ordnungen Abh Math Sem Univ Hamburg ), Halter-Koch, F Reell-quadratische Zahlkörper mit großer Grundeinheit Abh Math Sem Univ Hamburg ), Hendy, M Applications of a continued fraction algorithm to some class number problems Math Comp ), Levesque, Claude Continued fraction expansions and fundamental units J Math Phys Sci ), no, 44 8 Levesque, C and Rhin, G A few classes of periodic continued fractions, Utilitas Math, 3 986), Lidl, R and Niederreiter, Finite Fields, Addison-Wesley Publishing Co Reading, Massachusetts, 983 Lorentzen, Lisa; Waadeland, Haakon Continued fractions with applications Studies in Computational Mathematics, 3 North-Holland Publishing Co, Amsterdam, 992 xvi+66 pp aniel J Madden, Constructing Families of Long Continued Fractions, Pacific J Math 98 2), No, Mollin, R A Construction of families of long continued fractions revisited Acta Math Acad Paedagog Nyházi NS) 9 23), no 2, Mollin, R A and Williams, H C On the period length of some special continued fractions Sém Théor Nombres Bordeaux 2) 4 992), no, Mollin, R A and Williams, H C Consecutive powers in continued fractions Acta Arith 6 992), no 3, Narkiewicz, Wladyslaw Elementary and Analytic Theory of Algebraic Numbers, Second Edition), Springer-Verlag, New York, Berlin, Heidelberg, London, Tokyo, Hong Kong/PWN-Polish Scientific Publishers, Warszawa 99 First Edition 974) 6 Perron, O Über Summengleichungen and Poincarésche differenzengleichungen, Math Annalen, 84 92), p 7 Shanks, aniel, On Gauss s class number problems Math Comp ) Shanks, aniel, Class number, a theory of factorization, and genera in Proc Sympos Pure Math, 2 Amer Math Soc, Providence, RI, 97) van der Poorten, AJ Explicit formulas for units in certain quadratic number fields, Algorithmic Number Theory Ithaca, NY, 994), Lecture Notes in Computer Sci-

26 26 JAMES MC LAUGHLIN AN PETER ZIMMER 2 van der Poorten, A J; Williams, H C On certain continued fraction expansions of fixed period length Acta Arith ), no, Williams, H C A number theoretic function arising from continued fractions Fibonacci Quart 38 2), no 3, Williams, H C Some generalizations of the S n sequence of Shanks Acta Arith ), no 3, Williams, HC A note on the periodic length of the continued fraction length of certain, Utilitas Math, ), 2 29 Mathematics epartment, Anderson Hall, West Chester University, PA address: jmclaughl@wcupaedu Mathematics epartment, Anderson Hall, West Chester University, PA address: pzimmer@wcupaedu