Continued fractions. Yann BUGEAUD. x 1 + and, more generally, we call any expression of the above form or of the form


 Mark Lambert
 11 months ago
 Views:
Transcription
1 Continued fractions Yann BUGEAUD Let x 0, x,... be real numbers with x, x 2,... positive. A finite continued fraction denotes any expression of the form [x 0 ; x, x 2..., x n ] = x 0 + x + x x n, and, more generally, we call any expression of the above form or of the form [x 0 ; x, x 2,...] = x 0 + x + x = lim n + [x 0; x, x 2..., x n ] a continued fraction, provided that the limit exists. The aim of this Section is to show how a real number ξ can be expressed as ξ = [x 0 ; x, x 2,...], where x 0 is an integer and x n a positive integer for any n. We first deal with the case of a rational number ξ, then we describe an algorithm which associates to any irrational ξ an infinite sequence of integers (a n ) n 0, with a n for n, and we show that the sequence of rational numbers [a 0 ; a, a 2..., a n ] converges to ξ. For more results on continued fractions or/and different points of view on this theory, the reader may consult e.g. a text of Van der Poorten [6] and the books of Cassels [], Dajani & Kraaikamp [3], Hardy & Wright [4], Perron [5], and Schmidt [7]. Lemma.. Any rational number r has exactly two different continued fraction expansions. These are [r] and [r ; ] if r is an integer and, otherwise, one of them has the form [a 0 ; a,..., a n, a n ] with a n 2, and the other one is [a 0 ; a,..., a n, a n, ]. Proof. Let r be a rational number and write r = u/v with v positive and u and v coprime. We argue by induction on v. If v =, then r = u = [u], and if r = [a 0 ; a,..., a n ] with n, we have r = a 0 + /[a ; a 2,..., a n ]. Since a and r is an integer, we deduce that n = and a =, thus r = a 0 + = [r ; ]. We assume v 2 and that the lemma holds true for any rational of denominator positive and at most equal to v. Performing the Euclidean division of u by v, there exist integers q and c with u = qv + c and c v. Thus, u/v = q + c/v and, by our inductive hypothesis, the rational v/c has exactly two expansions in continued fraction, École du CIMPA, Bamako, novembre 200.
2 which we denote by [a ; a 2,..., a n, a n ] with a n 2, and [a ; a 2,..., a n, a n, ]. Setting a 0 equal to q, the desired result follows for u/v. Unless otherwise explicitly stated, by the continued fraction expansion of a rational number p/q, we mean [] if p/q =, and that one which does not terminate in if p/q. The following algorithm allows us to associate to any irrational real number ξ an infinite sequence of integers. Let define the integer a 0 and the real number ξ > by a 0 = [ξ] and ξ = /{ξ}. We then have ξ = a 0 + /ξ. For any positive integer n, we define inductively the integer a n and the real number ξ n+ > by a n = [ξ n ] and ξ n+ = /{ξ n }, and we observe that ξ n = a n + /ξ n+. We point out that the algorithm does not stop since ξ is assumed to be irrational. Thus, we have associated to any irrational real number ξ an infinite sequence of integers a 0, a, a 2,... with a n positive for all n. If ξ is rational, the same algorithm terminates and associates to ξ a finite sequence of integers. Indeed, the ξ j s are then rational numbers and, if we set ξ j = u j /v j, with u j, v j positive and gcd(u j, v j ) =, an easy induction shows that we get u j > u j+, for any positive integer j with v j. Consequently, there must be some index n for which v n and ξ n is an integer. Thus, a n+, a n+2,... are not defined. We have ξ = [a 0 ; a,..., a n ], and this corresponds to the Euclidean algorithm. Definition.2. Let ξ be an irrational number (resp. a rational number). Let a 0, a,... (resp. a 0, a,..., a N ) be the sequence of integers associated to ξ by the algorithm defined above. For any integer n (resp. n =,..., N), the rational number p n := [a 0 ; a,..., a n ] is called the nth convergent of ξ and a n is termed the nth partial quotient of ξ. Further, for any integer n (resp. n =,..., N ), there exists a real number η n in ]0, [ such that, ξ = [a 0 ; a,..., a n, a n + η n ]. We observe that the real numbers η n occurring in Definition.2 are exactly the real numbers /ξ n+ given by the algorithm. In all what follows until the end of Theorem.7 included, unless otherwise explicitly stated, we assume that ξ is a real irrational number and we associate to ξ the sequences (a n ) n 0 and (p n / ) n as given by Definition.2. However, the statements below remain true for rational numbers ξ provided that the a n s and the p n / s are welldefined. The integers p n and can be easily expressed in terms of a n, p n, p n 2,, and 2. 2
3 Theorem.3. Setting we have, for any positive integer n, p =, q = 0, p 0 = a 0, and q 0 =, p n = a n p n + p n 2 and = a n + 2. Proof. We proceed by induction. Since p /q = a 0 + /a = (a 0 a + )/a, the definitions of p, q, p 0, and q 0 show that the theorem is true for n =. Assume that it holds true for a positive integer n and denote by p 0/q 0,..., p n/q n the convergents of the rational number [a ; a 2,..., a n+ ]. For any integer j with 0 j n + we have thus p j q j = [a 0 ; a,..., a j ] = a 0 + [a ; a 2,..., a j ] = a 0 + q j, p j p j = a 0 p j + q j and q j = p j. () It follows from () with j = n + and the inductive hypothesis applied to the rational [a ; a 2,..., a n+ ] that and p n+ = a 0 (a n+ p n + p n 2) + a n+ q n + q n 2 = a n+ (a 0 p n + q n ) + (a 0 p n 2 + q n 2) + = a n+ p n + p n 2, whence, by () with j = n and j = n, we get + = a n+ + and p n+ = a n+ p n + p n, as claimed. Theorem.4. For any nonnegative integer n, we have and, for all n, p n p n = ( ) n (2) p n 2 p n 2 = ( ) n a n. (3) Proof. These equalities are clearly true for n = 0 and n =. It then suffices to argue by induction, using Theorem.3. Lemma.5. For any irrational number ξ and any nonnegative integer n, the difference ξ p n / is positive if, and only if, n is even. Proof. We easily check that this is true for n = 0,, and 2 and we proceed by induction. Let n 4 be an even integer. Then ξ = [a 0 ; a, [a 2 ; a 3,..., a n + η n ]] and the inductive hypothesis implies that [a 2 ; a 3,..., a n + η n ] > [a 2 ; a 3,..., a n ]. Since [a 0 ; a, u] > [a 0 ; a, v] holds for all positive real numbers u > v, we get that ξ > [a 0 ; a, [a 2 ; a 3,..., a n ]] = p n /. We deal with the case n odd in exactly the same way. As a corollary of Lemma.5, we get a result of Vahlen. 3
4 Corollary.6. Let p n / and p n+ /+ be two consecutive convergents of the continued fraction expansion of an irrational number ξ. Then at least one of them satisfies ξ p q < 2q 2. (4) In particular, there are infinitely many rational numbers p/q satisfying (4). Proof. We infer from Lemma.5 that ξ is an inner point of the interval bounded by p n / and p n+ /+. Thus, using (2) and the inequality a 2 + b 2 > 2ab, valid for any distinct real numbers a and b, we get 2q 2 n + 2q 2 n+ > and the claimed result follows. + = p n p n+ = ξ p n + ξ p n+, The next two theorems show that the real irrational numbers are in a onetoone correspondence with the set of integer sequences (a i ) i 0 with a i positive for i. Theorem.7. The convergents of even order of any real irrational ξ form a strictly increasing sequence and those of odd order a strictly decreasing sequence. The sequence of convergents (p n / ) n 0 converges to ξ, and we set + ξ = [a 0 ; a, a 2,...]. Any irrational number has a unique expansion in continued fraction. Proof. It follows from (3) that for any integer n with n 2 we have p n 2 2 p n = ( )n a n 2, and, since the a n s are positive, we deduce that the convergents of even order of the real irrational ξ form a strictly increasing sequence and those of odd order a strictly decreasing sequence. To conclude, we observe that, by Lemma.5, we have p 2n /q 2n < ξ < p 2n+ /q 2n+ for all n 0, and, by (2), the difference p 2n /q 2n p 2n+ /q 2n+ tends to 0 when n tends to infinity. Unicity is clear. Indeed, if (b i ) i 0 is a sequence of integers with b i positive for i and such that lim n + [b 0 ; b, b 2,...] exist, then this limit cannot be equal to lim n + [a 0 ; a, a 2,...] as soon as there exists a nonnegative integer i with a i b i. Theorem.8. Let a 0, a,... be integers with a, a 2,... positive. Then the sequence of rational numbers [a 0 ; a,..., a i ], i, converges to the irrational number whose partial quotients are precisely a 0, a,... Proof. For any positive integer n, denote by p n / the rational number [a 0 ; a,..., a n ]. The recurrence relations obtained in Theorems.3 and.4 hold true in the present context. As 4 +
5 in the proof of Theorem.7, we deduce from (2) and (3) that the sequences (p 2n /q 2n ) n and (p 2n+ /q 2n+ ) n are adjacent. Hence, they converge to the same limit, namely to the irrational number [a 0 ; a, a 2,...], whose partial quotients are precisely a 0, a,..., by Theorem.7. We observe that for any irrational number ξ the sequences (a n ) n 0 and (ξ n ) n given by the algorithm defined below Lemma. satisfy ξ n = [a n ; a n+, a n+2,...] for all positive integers n. Theorem.9. Let n be a positive integer and ξ = [a 0 ; a, a 2...] be an irrational number. We then have ξ = [a 0 ; a,..., a n, ξ n+ ] = p nξ n+ + p n ξ n+ + and ξ p n = ( ) n ξ n+ + = ( )n ξ n+ + [0; a n, a n,..., a ]. Furthermore, the set of real numbers having a continued fraction expansion whose n + first partial quotients are a 0, a,..., a n is precisely the closed interval bounded by (p n + p n )/( + ) and p n /, which are equal to [a 0 ; a,..., a n, ] and [a 0 ; a,..., a n ], respectively. Proof. We proceed by induction, using Theorem.3 and noticing that we have ξ n = a n + /ξ n+ and / = [a n ; a n,..., a ] for all positive integers n. The last assertion of the theorem follows immediately, since the admissible values of ξ n+ run exactly through the interval ], + [. Corollary.0. For any irrational number ξ and any nonnegative integer n, we have ( + + ) < ξ p n <. + Proof. Writing ξ = [a 0 ; a, a 2,...] and ξ n+ = [a n+ ; a n+2,...], we observe that a n+ < ξ n+ < a n+ +, and we get from Theorem.9 that ( ) < (an+ + ) + q ξ p n < n (a n+ + ). The corollary follows then from Theorem.3. The following result of Legendre provides a partial converse to Corollary.6. Theorem.. Let ξ be a real number. Any nonzero rational number a/b with ξ a b < 2b 2 is a convergent of ξ. Proof. We assume that ξ a/b and we write ξ a/b = εθ/b 2, with ε = ± and 0 < θ < /2. By Lemma., setting a n = if necessary, we may write a/b = [a 0 ; a,..., a n ], with 5
6 n given by ( ) n = ε, and we denote by p /q,..., p n / the convergents of a/b. Let ω be such that ξ = p n ω + p n 2 ω + 2 = [a 0 ; a,..., a n, ω]. We check that whence εθ b 2 = ξ a b = ξ p n = (ξ p n ) = ω = θ 2 ( ) n ω + 2, and ω >. Denote by [a n ; a n+, a n+2,...] the continued fraction expansion of ω. Since a j for all j, we have ξ = [a 0 ; a,..., a n, ω] = [a 0 ; a, a 2,...], and Theorem.8 yields that a/b = p n / is a convergent of ξ. A lessknown result of Fatou provides a satisfactory complement to Theorem.. It asserts that if the real number ξ and the rational number a/b satisfy ξ a/b < /b 2, then there exists an integer n such that a b belongs to { pn, p n+ + p n, p } n+2 p n Definition.2. The irrational real number ξ is said to be badly approximable if there exists a positive constant c(ξ) such that ξ p q c(ξ) q 2 for any rational p/q distinct from ξ. The set of badly approximable real numbers is denoted by B. Quadratic real numbers are badly approximable (see Exercise ), and many other real numbers share this property, as follows from the next theorem. Theorem.3. An irrational real number ξ is badly approximable if, and only if, the sequence of its partial quotients is bounded. Consequently, the set B is uncountable. Proof. Assume that ξ is badly approximable, and let c be a positive real number such that ξ p/q > c/q 2 for any rational p/q. Let n be a positive integer. It follows from Corollary.0 that /c. Since Theorem.3 yields that a n, we get a n /c, and the sequence of partial quotients of ξ is bounded. Conversely, if the partial quotients of ξ are not greater than a constant M, we then have + (M + ) for any nonnegative integer n. Furthermore, if a/b satisfies 6
7 ξ a/b < /(2b 2 ), then, by Theorem. and Corollary.0, there exists a nonnegative integer n such that a/b = p n / and ξ a b > b(b + + ) (M + 2)b 2. This shows that ξ is badly approximable. The last assertion of the theorem follows from Theorem.8. Quadratic numbers are badly approximable numbers, thus, by Theorem.3, their partial quotients are bounded. However, much more is known: the sequence of their partial quotients is ultimately periodic. Theorem.4. The real irrational number ξ = [a 0 ; a, a 2,...] has a periodic continued fraction expansion (that is, there exist integers k 0 and n such that a m+n = a m for all m k) if, and only if, ξ is a quadratic irrationality. The only if part is due to Euler, and the (more difficult) if part was established by Lagrange in 770, see Exercise 2. The next result dates back to (at least) 877 and can be found in the book of Serret. Theorem.5. Let ξ = [a 0 ; a, a 2,...] and η = [b 0 ; b, b 2,...] be two irrational numbers. There exist integers u and v such that a u+n = b v+n for every positive integer n if, and only if, there exist integers a, b, c, and d such that ad bc = and η = (aξ + b)/(cξ + d). Two real numbers satisfying the equivalent conditions of Theorem.5 are called equivalent. Hurwitz improved the last assertion of Corollary.6. Theorem.6. For any real irrational number ξ, there exist infinitely many rationals p/q satisfying ξ p q <. 5q 2 Further, the constant 5 cannot be replaced by a larger real number. We observe that the Golden Section ( + 5)/2 = [;,,...,,...] is, up to equivalence, the irrational number which is the most badly approximable by rational numbers. As shown by Hurwitz, Theorem.6 can be improved if, besides the rationals, we also exclude the numbers which are equivalent to the Golden Section. Theorem.7. For any irrational real number ξ which is not equivalent to ( + 5)/2, there exist infinitely many rationals p/q satisfying ξ p q <. 8q 2 The constant 8 cannot be replaced by a larger real number. In other words, the assumptions of Theorem.7 are satisfied by any irrational ξ having infinitely many partial quotients greater than or equal to 2. The limiting case is obtained with real numbers equivalent to ( + 2)/2. 7
8 More generally, for a real ξ we define ν(ξ) = lim inf q + q qξ, where denotes the function distance to the nearest integer. Clearly, ν(ξ) = 0 holds for any rational ξ. The set of values taken by the function ν is called the Lagrange spectrum. By Theorem.6, it is included in the interval [0, / 5]. Theorem.8. There exists a sequence of numbers ν = 5 > ν 2 = 8 > ν 3 > ν 4 >... tending to /3 such that, for all ν i, there is, up to equivalence, a finite number of real numbers ξ satisfying ν(ξ) = ν i. More results on the Lagrange spectrum can be found in the book of Cusick & Flahive [2]. We continue with some complements. It is sometimes important to take the matrix point of view, that is, to note that the recurrence relations given in Theorem.3 imply that, if ξ = [a 0 ; a,...] is a positive real irrational number, with convergents p n / = [a 0 ; a,..., a n ], then, for n, we have ( ) pn p M n := n = ( a0 0 ) ( ) a... 0 ( ) an. (5) 0 Theorem.9. Let n 2 be an integer and a,..., a n be positive integers. For j =,..., n, set p j /q j = [0; a,..., a j ]. Then, we have Proof. We get from Theorem.3 that = [0; a n, a n,..., a ]. + = a n+ +. Theorem.9 then follows by induction. Alternatively, we can conclude by setting a 0 = 0 in (5) and then by taking the transpose of both sides of (5). Definition.20. Let m and a,..., a m be positive integers. The continuant of a,..., a m, usually denoted by K m (a,..., a m ), is the denominator of the rational number [0; a,..., a m ]. Theorem.2. For any positive integers a,..., a m and any integer k with k m, we have K m (a,..., a m ) = K m (a m,..., a ), (6) 8
9 2 (m )/2 K m (a,..., a m ) ( + max{a,..., a m }) m, (7) and K k (a,..., a k ) K m k (a k+,..., a m ) K m (a,..., a m ) 2 K k (a,..., a k ) K m k (a k+,..., a m ). (8) Proof. The first statement is an immediate consequence of Theorem.9. For the second statement, letting a be the maximum of a,..., a m, it follows from Theorem.3 that K m (,..., ) K m (a,..., a m ) K m (a,..., a) (a + ) m. Since K () =, K 2 (, ) = 2 and 2 l/2 2 (l )/2 + 2 (l 2)/2 for l 2, an immediate induction gives the first inequality of (7). Combining K m (a,..., a m ) = a m K m (a,..., a m )+K m 2 (a,..., a m 2 ) with (6), we get K m (a,..., a m ) = a K m (a 2,..., a m ) + K m 2 (a 3,..., a m ), which implies (8) for k =. Let k be in {, 2,..., m 2} be such that K m := K m (a,..., a m ) =K k (a,..., a k ) K m k (a k+,..., a m ) + K k (a,..., a k ) K m k+ (a k+2,..., a m ), (9) with the convention that K 0 =. We then have K m = K k (a,..., a k ) (a k+ K m k+ (a k+2,..., a m ) + K m k+2 (a k+3,..., a m ) ) + K k (a,..., a k ) K m k+ (a k+2,..., a m ) = ( a k+ K k (a,..., a k ) + K k (a,..., a k ) ) K m k+ (a k+2,..., a m ) + K k (a,..., a k ) K m k+2 (a k+3,..., a m ), giving (9) for the index k +. This shows that (9) and, a fortiori, (8) hold for k =,..., m. 9
10 Exercises Exercise. Prove that every real quadratic number a + b d is badly approximable (introduce a b d). Exercise 2. (Proof of Theorem.4). Show that any irrational real number having a periodic continued fraction expansion is a quadratic irrationality. Prove the converse, following Steinig. Let ξ be a quadratic real number and define the sequences (a n ) n 0 and (ξ n ) n by the algorithm given above. Set ξ 0 := ξ. ) Show, by induction, that for each nonnegative integer n there is an integer polynomial f n (x) := A n x 2 + B n x + C n, with Bn 2 4A n C n positive and not a square, such that f n (ξ n ) = 0. Prove that A n+, B n+ and C n+ are given by A n+ = a 2 n A n + a n B n + C n, B n+ = 2a n A n + B n, and C n+ = A n. (0) 2) Observe that D := B 2 0 4A 0 C 0 = B 2 n 4A n C n, for any n 0, () and deduce from (0) that there exists an infinite set N of distinct positive integers such that A n A n is negative for any n in N. 3) Deduce from () that for any n in N. Conclude. B n < D, A n D/4, and C n D/4, Exercise 3. (Proof of Hurwitz Theorems.6 and.7, following Forder.) Let ξ be an irrational number and assume that its convergents p n /, p n /, and p n+ /+ satisfy ξ p j /q j /( 5qj 2 ) for j = n, n, n +. ) Prove that we have ( 5 qn 2 + ) qn 2, and deduce that / and / belong to the interval ]( 5 )/2, ( 5 + )/2[. Prove that the same conclusion also holds for /+ and + /. Conclude. 2) With a suitable adaptation of the above proof, show that if the convergents p n / of an irrational number ξ satisfy ξ p n / /( 8q 2 n) from some integer n 0 onwards then + < 2 + holds for any sufficiently large integer n. Conclude. 0
11 References [] J. W. S. Cassels, An introduction to Diophantine Approximation. Cambridge Tracts in Math. and Math. Phys., vol. 99, Cambridge University Press, 957. [2] T. W. Cusick and M. E. Flahive, The Markoff and Lagrange spectra. Mathematical Surveys and Monographs, 30. American Mathematical Society, Providence, RI, 989. [3] K. Dajani and C. Kraaikamp, Ergodic theory of numbers. Carus Mathematical Monographs 29, Mathematical Association of America, Washington, DC, [4] G. H. Hardy and E. M. Wright, An introduction to the theory of numbers. 5th. edition, Clarendon Press, 979. [5] O. Perron, Die Lehre von den Ketterbrüchen. Teubner, Leipzig, 929. [6] A. J. van der Poorten, An introduction to continued fractions. In: Diophantine analysis (Kensington, 985), 99 38, London Math. Soc. Lecture Note Ser. 09, Cambridge Univ. Press, Cambridge, 986. [7] W. M. Schmidt, Diophantine Approximation. Lecture Notes in Math. 785, Springer, Berlin, 980. Yann Bugeaud Université de Strasbourg Mathématiques 7, rue René Descartes STRASBOURG (FRANCE)
Continued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationOn the independence of expansions of algebraic numbers in an integer base
On the independence of expansions of algebraic numbers in an integer base Boris ADAMCZEWSKI (Lyon) & Yann BUGEAUD (Strasbourg) Abstract. Let b 2 be an integer. According to a conjecture of Émile Borel,
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationOn fractional parts of powers of real numbers close to 1
On fractional parts of powers of real numbers close to 1 Yann BUGEAUD and Niolay MOSHCHEVITIN Abstract We prove that there exist arbitrarily small positive real numbers ε such that every integral power
More informationApproximation to real numbers by cubic algebraic integers. II
Annals of Mathematics, 158 (2003), 1081 1087 Approximation to real numbers by cubic algebraic integers. II By Damien Roy* Abstract It has been conjectured for some time that, for any integer n 2, any real
More informationPELL S EQUATION AND CONTINUED FRACTIONS. 1. Introduction
PELL S EQUATION AND CONTINUED FRACTIONS I. GREGOR DICK Abstract. This paper first provides an exposition of the theory of simple continued fractions; it then discusses Pell s equation x 2 dy 2 = N and
More informationCONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS
CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS JEREMY BOOHER Continued fractions usually get shortchanged at PROMYS, but they are interesting in their own right and useful in other areas
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationPERIOD LENGTH EQUALITY FOR THE NEAREST INTEGER AND NEAREST SQUARE CONTINUED FRACTION EXPANSIONS OF A QUADRATIC SURD
GLASNIK MATEMATIČKI Vol. 46(66)(011), 69 8 PERIOD LENGTH EQUALITY FOR THE NEAREST INTEGER AND NEAREST SQUARE CONTINUED FRACTION EXPANSIONS OF A QUADRATIC SURD Keith R. Matthews and John P. Robertson University
More informationAlf van der Poorten and Continued Fractions
Alf van der Poorten and Continued Fractions Jeffrey Shallit School of Computer Science, University of Waterloo Waterloo, Ontario N2L 3G1, Canada shallit@cs.uwaterloo.ca http://www.cs.uwaterloo.ca/~shallit
More informationContinued Fractions. Darren C. Collins
Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history
More informationContinued fractions and good approximations.
Continued fractions and good approximations We will study how to find good approximations for important real life constants A good approximation must be both accurate and easy to use For instance, our
More informationAn Approximation Property of Pisot Numbers
Journal of Number Theory 80, 218237 (2000) Article ID jnth.1999.2456, available online at httpwww.idealibrary.com on An Approximation Property of Pisot Numbers Vilmos Komornik 1 Institut de Recherche Mathe
More informationPell s Equation without Irrational Numbers
6 Journal of Integer Sequences, Vol. (00), Article 0.. Pell s Equation without Irrational Numbers N. J. Wildberger School of Mathematics and Statistics UNSW Sydney Australia n.wildberger@unsw.edu.au Abstract
More informationAlgebra Interactive. Reader. Arjeh M. Cohen, Hans Cuypers, Hans Sterk. Eindhoven University of Technology
Algebra Interactive Reader Arjeh M. Cohen, Hans Cuypers, Hans Sterk Eindhoven University of Technology iii Preface Algebra Interactive is designed as modern course material for undergraduate courses in
More information5 The Beginning of Transcendental Numbers
5 The Beginning of Transcendental Numbers We have defined a transcendental number (see Definition 3 of the Introduction), but so far we have only established that certain numbers are irrational. We now
More informationFibonacci and the Golden Mean
Fibonacci and the Golden Mean by: Joshua Wood In the above spreadsheet shows, the first column is the Fibonacci sequence, F i+ = F i + F i, with F 0 = F =. The second column shows the ratios of successive
More informationA SHORT INTRODUCTION TO CONTINUED FRACTIONS. a 1 + 1
A SHORT INTRODUCTION TO CONTINUED FRACTIONS P. GUERZHOY Abstract. In this talk we introduce continued fractions, prove their basic properties apply these properties to solve a practical problem. We also
More informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM
Acta Math. Univ. Comenianae Vol. LXXXI, (01), pp. 03 09 03 ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible
More informationn a n, with a n A for all n}
Math 396. Interior, closure, and boundary We wish to develop some basic geometric concepts in metric spaces which make precise certain intuitive ideas centered on the themes of interior and boundary of
More informationMIDPOINT CRITERIA FOR SOLVING PELL S EQUATION USING THE NEAREST SQUARE CONTINUED FRACTION KEITH MATTHEWS, JOHN ROBERTSON, JIM WHITE
MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 00255718(XX)00000 MIDPOINT CRITERIA FOR SOLVING PELL S EQUATION USING THE NEAREST SQUARE CONTINUED FRACTION KEITH MATTHEWS, JOHN ROBERTSON,
More informationSOLUTIONS TO HOMEWORK 6
SOLUTIONS TO HOMEWORK 6 1. Suppose that Q(x, y) = Ax + Bxy + Cy is a binary integral quadratic form. Recall from class that the discriminant of Q is defined to be D = B 4AC. The form Q is said to represent
More information1. Introduction Let β be the fixed real number greater than 1 and x be a positive real number. Then the expansion of the form x =
PISOT NUMBERS AND GREEDY ALGORITHM Shigeki Akiyama Niigata University Abstract. We study the greedy expansion of real numbers in Pisot number base. We will show a certain criterions of finiteness, periodicity,
More informationOn continued fractions of the square root of prime numbers
On continued fractions of the square root of prime numbers Alexandra Ioana Gliga March 17, 2006 Nota Bene: Conjecture 5.2 of the numerical results at the end of this paper was not correctly derived from
More informationON THE AVERAGE ASYMPTOTIC BEHAVIOR OF A CERTAIN TYPE OF SEQUENCE OF INTEGERS
#A42 ITEGERS 9 (2009), 555567 O THE AVERAGE ASYMPTOTIC BEHAVIOR OF A CERTAI TYPE OF SEQUECE OF ITEGERS Bakir Farhi Institut des Hautes Études Scientifiques, Le boismarie, BuressurYvette, France bakir.farhi@gmail.com
More informationON A QUESTION OF SÁRKOZY AND SÓS FOR BILINEAR FORMS
Submitted exclusively to the London Mathematical Society doi:0/0000/000000 ON A QUESTION OF SÁRKOZY AND SÓS FOR BILINEAR FORMS JAVIER CILLERUELO and JUANJO RUÉ Abstract We prove that if k k, then there
More informationPrime Numbers. Chapter Primes and Composites
Chapter 2 Prime Numbers The term factoring or factorization refers to the process of expressing an integer as the product of two or more integers in a nontrivial way, e.g., 42 = 6 7. Prime numbers are
More informationk=1 k2, and therefore f(m + 1) = f(m) + (m + 1) 2 =
Math 104: Introduction to Analysis SOLUTIONS Alexander Givental HOMEWORK 1 1.1. Prove that 1 2 +2 2 + +n 2 = 1 n(n+1)(2n+1) for all n N. 6 Put f(n) = n(n + 1)(2n + 1)/6. Then f(1) = 1, i.e the theorem
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a welldefined collection of objects, with welldefined meaning that there is a specific description from which we can tell precisely
More informationComputing Science 272 The Integers
Computing Science 272 The Integers Properties of the Integers The set of all integers is the set Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, and the subset of Z given by N = {0, 1, 2, 3, 4, }, is the set
More information1. R In this and the next section we are going to study the properties of sequences of real numbers.
+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real
More informationSDIOPHANTINE QUADRUPLES WITH TWO PRIMES CONGRUENT TO 3 MODULO 4
#A80 INTEGERS 3 (203) SDIOPHANTINE QUADRUPLES WITH TWO PRIMES CONGRUENT TO 3 MODULO 4 László Szalay Institute of Mathematics, University of West Hungary, Sopron, Hungary laszalay@emk.nyme.hu Volker Ziegler
More informationZEROS OF A CLASS OF FIBONACCITYPE POLYNOMIALS
ZEROS OF A CLASS OF FIBONACCITYPE POLYNOMIALS Yi Wang and Mingfeng He Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China 1. INTRODUCTION Let a, b be two integers
More informationInfinitely many ζ(2n + 1) are irrational (after T. Rivoal)
Infinitely many ζ(2n + 1) are irrational (after T. Rivoal) Stéphane Fischler 29th September 2000 This text consists in notes taken during a lecture given by Tanguy Rivoal at Institut Henri Poincaré (Paris),
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On wellordering and induction: (a) Prove the induction principle from the wellordering principle. (b) Prove the wellordering
More informationPeriods of Negativeregular Continued Fractions. Rational numbers.
Periods of Negativeregular Continued Fractions. Rational numbers. International School of Economics KazakhBritish Technical University Almaty, Kazakhstan and Shnaghai University, China 09/11/2012 / OSU
More informationEXPANSIONS IN NONINTEGER BASES: LOWER ORDER REVISITED
EXPANSIONS IN NONINTEGER BASES: LOWER ORDER REVISITED Simon Baker School of Mathematics, University of Manchester, Manchester, United Kingdom simonbaker4@gmail.com Nikita Sidorov School of Mathematics,
More informationMA 274: EQUIVALENCE RELATIONS
MA 274: EQUIVALENCE RELATIONS 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is symmetric. That is, x A,x
More informationFurther linear algebra. Chapter I. Integers.
Further linear algebra. Chapter I. Integers. Andrei Yafaev Number theory is the theory of Z = {0, ±1, ±2,...}. 1 Euclid s algorithm, Bézout s identity and the greatest common divisor. We say that a Z divides
More informationPeriod of the Continued Fraction of n
Period of the Continued Fraction of n Marius Beceanu February 5, 2003 Abstract This paper seeks to recapitulate the known facts about the length of the period of the continued fraction expansion of n as
More informationASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY
ASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY ROD DOWNEY, CARL JOCKUSCH, TIMOTHY H. MCNICHOLL, AND PAUL SCHUPP Abstract. We classify the asymptotic densities of the 0 2 sets according to their level in the
More informationThe Greatest Integer function.
The Greatest Integer function Definition For a real number x, denote by x the largest integer less than or equal to x A couple of trivial facts about x: x is the unique integer satisfying x 1 < x x x x
More information4. Compactness. F i. i I
4. Compactness Definition. Let X be a topological space X. A subset K X is said to be compact set in X, if it has the finite open cover property: (f.o.c) Whenever {D i } i I is a collection of open sets
More informationAutomata and Rational Numbers
Automata and Rational Numbers Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca http://www.cs.uwaterloo.ca/~shallit 1/40 Representations
More informationFermat Numbers. Cindy Tsang University of Washington
Fermat Numbers Cindy Tsang University of Washington Math414 Number Theorey Professor William Stein March 12, 2010 1 0 Content 1 Introduction 2 2 Background of Fermat Numbers 3 3 Geometric Interpretation
More informationn 1 < n 2 < n 3 <..., x n1 > x n2 > x n3 >... x nj is a decreasing subsequence. If there are only finitely many peaks,
Question 1 (a Prove that every sequence of real numbers either has a nondecreasing subsequence or a nonincreasing subsequence. (b Deduce that every bounded sequence of real numbers has a convergent subsequence.
More informationCompleteness I. Chapter Rational Numbers
Chapter 5 Completeness I Completeness is the key property of the real numbers that the rational numbers lack. Before examining this property we explore the rational and irrational numbers, discovering
More informationTHE CAUCHY INTEGRAL FORMULA
THE AUHY INTEGRAL FORMULA ontents The auchy Integral Formula 2 onsequences of the auchy Integral Formula 4 3 Holomorphic functions and their power series expansions 8 4 Uniqueness theorems for holomorphic
More informationSQUARE ROOTS, CONTINUED FRACTIONS AND THE ORBIT OF 1 0 ON H2 JULIAN ROSEN, KRISHNAN SHANKAR, JUSTIN THOMAS
SQUARE ROOTS, CONTINUED FRACTIONS AND THE ORBIT OF ON H2 JULIAN ROSEN, KRISHNAN SHANKAR, JUSTIN THOMAS. WHEN IS k IRRATIONAL? A SIMPLE PROOF Early in our mathematical training we learn the standard proof
More informationA Curious Case of a Continued Fraction
A Curious Case of a Continued Fraction Abigail Faron Advisor: Dr. David Garth May 30, 204 Introduction The primary purpose of this paper is to combine the studies of continued fractions, the Fibonacci
More informationMarkov numbers. The best introduction and discussion of the subject is in [4] Cassels, An Introduction to Diophantine Approximation, Chapter 2.
Markov numbers The best introduction and discussion of the subject is in [4] Cassels, An Introduction to Diophantine Approximation, Chapter 2. Markov numbers are defined to be the integers occurring as
More informationON SHANKS ALGORITHM FOR COMPUTING THE CONTINUED FRACTION OF log b a.
ON SHANKS ALGORITHM FOR COMPUTING THE CONTINUED FRACTION OF log b a. TERENCE JACKSON AND KEITH MATTHEWS Abstract. We give a more practical variant of Shanks 954 algorithm for computing the continued fraction
More informationTopics in Number Theory
Chapter 8 Topics in Number Theory 8.1 The Greatest Common Divisor Preview Activity 1 (The Greatest Common Divisor) 1. Explain what it means to say that a nonzero integer m divides an integer n. Recall
More informationKronCrypt  A New Symmetric Cryptosystem Based on Kronecker s Approximation Theorem
KronCrypt  A New Symmetric Cryptosystem Based on Kronecker s Approximation Theorem Carsten Elsner Fachhochschule für die Wirtschaft, Freundallee 5, 3073 Hannover carsten.elsner@fhdw.de Martin Schmidt
More informationPolynomial Interpolation
Chapter 9 Polynomial Interpolation A fundamental mathematical technique is to approximate something complicated by something simple, or at least less complicated, in the hope that the simple can capture
More informationIMPORTANT NOTE: All the following statements are equivalent:
.5 Congruences For this section, we think of m as a fixed positive integer. Definition 15. We say that a is congruent to b modulo m, and we write if m divides (a b). a b (mod m) IMPORTANT NOTE: All the
More informationCHAPTER 9 Polynomial Interpolation
CHAPTER 9 Polynomial Interpolation A fundamental mathematical technique is to approximate something complicated by something simple, or at least less complicated, in the hope that the simple can capture
More informationThe Process of Mathematical Proof
The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In Math 213 and other courses that involve writing
More informationThe squarefree kernel of x 2n a 2n
ACTA ARITHMETICA 101.2 (2002) The squarefree kernel of x 2n a 2n by Paulo Ribenboim (Kingston, Ont.) Dedicated to my longtime friend and collaborator Wayne McDaniel, at the occasion of his retirement
More informationFinite Sets. Theorem 5.1. Two nonempty finite sets have the same cardinality if and only if they are equivalent.
MATH 337 Cardinality Dr. Neal, WKU We now shall prove that the rational numbers are a countable set while R is uncountable. This result shows that there are two different magnitudes of infinity. But we
More informationSquares in arithmetic progression with at most two terms omitted
ACTA ARITHMETICA 134.4 2008 Squares in arithmetic progression with at most two terms omitted by Shanta Laishram Waterloo, Ont. and T. N. Shorey Mumbai 1. Introduction. For an integer x > 1, we denote by
More information1. introduction Stancliff [16] noted without proof an interesting property of the Fibonacci. In 1980 Winans [23] investigated the related sums.
ON THE LUCAS SEQUENCE EQUATION U n SZ TENGELY U k x k Abstract In 953 Stancliff noted an interesting property of the Fibonacci number F 89 One has that 89 0 0 + 0 2 + 0 3 + 2 0 4 + 3 0 5 + 5 0 6 +, where
More informationOn the greatest and least prime factors of n! + 1, II
Publ. Math. Debrecen Manuscript May 7, 004 On the greatest and least prime factors of n! + 1, II By C.L. Stewart In memory of Béla Brindza Abstract. Let ε be a positive real number. We prove that 145 1
More informationSolving a family of quartic Thue inequalities using continued fractions
Solving a family of quartic Thue inequalities using continued fractions Andrej Dujella, Bernadin Ibrahimpašić and Borka Jadrijević Abstract In this paper we find all primitive solutions of the Thue inequality
More informationThe Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.
The Real Numbers Here we show one way to explicitly construct the real numbers R. First we need a definition. Definitions/Notation: A sequence of rational numbers is a funtion f : N Q. Rather than write
More informationCharacterizing the Sum of Two Cubes
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 6 (003), Article 03.4.6 Characterizing the Sum of Two Cubes Kevin A. Broughan University of Waikato Hamilton 001 New Zealand kab@waikato.ac.nz Abstract
More informationA third derivative test for mean values of exponential sums with application to lattice point problems
ACTA ARITHMETICA 06. (2003) A third derivative test for mean values of exponential sums with application to lattice point problems by O. Robert and P. Sargos (Nancy). Introduction and statement of the
More informationON THE FIBONACCI NUMBERS
ON THE FIBONACCI NUMBERS Prepared by Kei Nakamura The Fibonacci numbers are terms of the sequence defined in a quite simple recursive fashion. However, despite its simplicity, they have some curious properties
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationMath 2602 Finite and Linear Math Fall 14. Homework 9: Core solutions
Math 2602 Finite and Linear Math Fall 14 Homework 9: Core solutions Section 8.2 on page 264 problems 13b, 27a27b. Section 8.3 on page 275 problems 1b, 8, 10a10b, 14. Section 8.4 on page 279 problems
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: November 8, 2016) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationMA131  Analysis 1. Workbook 5 Completeness I
MA131  Analysis 1 Workbook 5 Completeness I Autumn 2008 Contents 3 Completeness 1 3.1 Rational Numbers.......................... 1 3.2 Least Upper Bounds and Greatest Lower Bounds......... 3 3.3 Axioms
More informationOn the equation x 2 + dy 2 = F n
ACTA ARITHMETICA 27.2 (2007 On the equation 2 + dy 2 = F n by Christian Ballot (Caen and Florian Luca (Morelia. Introduction. Let (F n n 0 be the Fibonacci sequence given by F 0 = 0, F = and F n+2 = F
More informationa i (X α) i, a i C. i=0 This also works naturally for the integers: given a positive integer m and a prime p, we can write it in base p, that is m =
Chapter 5 padic numbers The padic numbers were first introduced by the German mathematician K. Hensel (though they are foreshadowed in the work of his predecessor E. Kummer). It seems that Hensel s main
More informationEssential Background for Real Analysis I (MATH 5210)
Background Material 1 Essential Background for Real Analysis I (MATH 5210) Note. These notes contain several definitions, theorems, and examples from Analysis I (MATH 4217/5217) which you must know for
More informationA declared mathematical proposition whose truth value is unknown is called a conjecture.
Methods of Proofs Recall we discussed the following methods of proofs  Vacuous proof  Trivial proof  Direct proof  Indirect proof  Proof by contradiction  Proof by cases. A vacuous proof of an implication
More informationMath 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins
Math 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins 1. (Rudin, Ch 1, #6). Fix b > 1. (a) If m,n,p,q are integers, n > 0, q > 0, and r = m/n = p/q, prove that (b m ) 1/n = (b p ) 1/q. Hence
More informationA2. (Existence of zero) There is a real number, called zero and denoted by 0, such that x + 0 = 0 + x = x for all real numbers x.
2.1 Real Numbers The set of all real numbers, R, has the following properties: (a) the arithmetic properties, (b) the ordering properties, and (c) the completeness property. Axioms of addition There is
More informationA note on Golomb s method and the continued fraction method for Egyptian fractions
Annales Mathematicae et Informaticae 42 (203) pp. 29 34 http://ami.ektf.hu A note on Golomb s method and the continued fraction method for Egyptian fractions Eszter Gyimesi, Gábor Nyul Institute of Mathematics
More informationMathematics 4530 Tychonoff s Theorem Ken Brown, Cornell University, October 2013
Mathematics 4530 Tychonoff s Theorem Ken Brown, Cornell University, October 2013 1. Introduction Tychonoff s theorem asserts that the product of an arbitrary family of compact spaces is compact. This is
More informationALGEBRAIC AND TRANSCENDENTAL NUMBERS FROM AN INVITATION TO MODERN NUMBER THEORY
ALGEBRAIC AND TRANSCENDENTAL NUMBERS FROM AN INVITATION TO MODERN NUMBER THEORY STEVEN J. MILLER AND RAMIN TAKLOOBIGHASH CONTENTS 1. Introduction 1 2. Russell s Paradox and the BanachTarski Paradox 2
More informationCONTINUED FRACTIONS AND RSA WITH SMALL SECRET EXPONENT
CONTINUED FRACTIONS AND RSA WITH SMALL SECRET EXPONENT ANDREJ DUJELLA Abstract Extending the classical Legendre s result, we describe all solutions of the inequality α a/b < c/b in terms of convergents
More informationREPRESENTING INTEGERS AS SUMS OF SQUARES
REPRESENTING INTEGERS AS SUMS OF SQUARES MICHAEL WONG Abstract. We study in detail the special case of Waring s problem when the power k = 2. Ultimately, we prove that four is the least number of squares
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationAPPROXIMATION OF ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS
APPROXIMATION OF ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud (Strasbourg), JanHendrik Evertse (Leiden) Lecture given at the symposium on the occasion of Rob Tijdeman s 65th birthday August 27,
More informationarxiv: v1 [math.nt] 13 Jul 2009
International Journal of Number Theory c World Scientific Publishing Company arxiv:0907.2097v1 [math.nt] 13 Jul 2009 CHARACTERIZING ALGEBRAIC CURVES WITH INFINITELY MANY INTEGRAL POINTS PARASKEVAS ALVANOS
More informationON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS
ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS YANN BUGEAUD, FLORIAN LUCA, MAURICE MIGNOTTE, SAMIR SIKSEK Abstract If n is a positive integer, write F n for the nth Fibonacci number, and ω(n) for the number
More informationA new attack on the KMOV cryptosystem
A new attack on the KMOV cryptosystem Abderrahmane Nitaj Laboratoire de Mathématiques Nicolas Oresme Université de Caen, France abderrahmane.nitaj@unicaen.fr Abstract In this paper, we analyze the security
More informationPROOFS BY DESCENT KEITH CONRAD
PROOFS BY DESCENT KEITH CONRAD As ordinary methods, such as are found in the books, are inadequate to proving such difficult propositions, I discovered at last a most singular method... that I called the
More informationTheorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that. a = bq + r and 0 r < b.
Theorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that a = bq + r and 0 r < b. We re dividing a by b: q is the quotient and r is the remainder,
More information4.3 Limit of a Sequence: Theorems
4.3. LIMIT OF A SEQUENCE: THEOREMS 5 4.3 Limit of a Sequence: Theorems These theorems fall in two categories. The first category deals with ways to combine sequences. Like numbers, sequences can be added,
More informationFractals and Fractal Dimensions
Fractals and Fractal Dimensions An Alternative Method for Computing Box Dimension John A. Rock July 1st, 2009 1D 2D 3D A typical notion of dimension: Line segments are 1D, squares are 2D, cubes are 3D...
More informationFoundations of the golden ratio base
Foundations of the golden ratio base Jeffrey Quesnelle April 3, 015 Positional numeration systems have come to dominate mathematics, with the ubiquitous baseten number system used nearly universally. In
More informationCHAPTER III  MARKOV CHAINS
CHAPTER III  MARKOV CHAINS JOSEPH G. CONLON 1. General Theory of Markov Chains We have already discussed the standard random walk on the integers Z. A Markov Chain can be viewed as a generalization of
More informationPIANO TUNING AND CONTINUED FRACTIONS
PIANO TUNING AND CONTINUED FRACTIONS MATTHEW BARTHA Abstract. In this paper, we first establish algorithms for creating continued fractions representing rational numbers. From there, we prove that infinitely
More informationPOSITIVE INTEGERS, INTEGERS AND RATIONAL NUMBERS OBTAINED FROM THE AXIOMS OF THE REAL NUMBER SYSTEM
MAT 1011 TECHNICAL ENGLISH I 03.11.2016 Dokuz Eylül University Faculty of Science Department of Mathematics Instructor: Engin Mermut Course assistant: Zübeyir Türkoğlu web: http://kisi.deu.edu.tr/engin.mermut/
More informationSquares in products from a block of consecutive integers
ACTA ARITHMETICA LXV.3 (1993) Squares in products from a bloc of consecutive integers by R. Balasubramanian (Madras) and T. N. Shorey (Bombay) 1. Let t 2, m 0, y 1 be integers and write d 1,..., d t for
More information2. Prove that the set of rational numbers with denominator 2 is countable. 3. Prove that the set of rational numbers with denominator 3 is countable.
Countable Sets Definition. A set X is called countable if X N. Exercise: 1. Prove that the set of even integers is 2. Prove that the set of rational numbers with denominator 2 is 3. Prove that the set
More informationAPPLICATIONS OF THE ORDER FUNCTION
APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and
More informationProducts of consecutive Integers
Products of consecutive Integers Vadim Bugaenko, Konstantin Kokhas, Yaroslav Abramov, Maria Ilyukhina 8 августа 2008 г. Problems We shall consider the following problem: In other words we ask whether the
More information