Best Lower and Upper Approximates to Irrational Numbers
|
|
- Wilfred Barker
- 5 years ago
- Views:
Transcription
1 Elem. Math. 52 (1997) /97/ $ /0 c Birkhäuser Verlag, Basel, 1997 Elemente der Mathematik Best Lower and Upper Approximates to Irrational Numbers Clark Kimberling Clark Kimberling received his Ph.D. in 1970 from the Illinois Institute of Technology. Aside from number theory, his interests include triangle geometry, playing musical instruments, and composing. Wherever fractional notation of the form p/q occurs in this paper, p and q denote relatively prime positive integers. The rational number p/q is a best approximate to α (e.g., Lang [L]) if for every b/c having denominator c < q, qα p < cα b. (1) These conditions imply q α p/q < c α b/c < q α b/c, α p/q < α b/c, (2) which is to say that p/q is nearer α than any b/c having c < q. However, (1) is stronger than (2), as exemplified by (α, p/q, b/c) =(1,3/5,1/2); in other words best approximate is better than nearest approximate. Given a positive irrational number α, the principal convergents p i /q i to α are well known to be the best approximates to α; this theorem lends itself to a lemma proved in [L]: Lemma 1 Suppose p 0 /q 0, p 1 /q 1,...are the principal convergents to a positive irrational number α. Ifb/csatisfies cα b < q i α p i,thenc q i+1. Die Approximation irrationaler Zahlen durch rationale Zahlen spielt in der Zahlentheorie eine grosse Rolle. Erinnert sei zum Beispiel an den berühmten Satz von Liouville; er liefert die Möglichkeit, die Transzendenz einer reellen Zahl mit Hilfe ihrer rationalen Approximationen zu beweisen. Clark Kimberling konstruiert im vorliegenden Beitrag auf einfache Weise beste untere und obere rationale Approximationen und setzt sie in Beziehung zu den bereits von Perron eingeführten besten und nächsten Näherungen. ust.
2 Elem. Math. 52 (1997) 123 We modify inequality (1), calling p/q a best lower approximate to α if p/q <αand for every b/c <αhaving c < q, qα p < cα b; (1L) and calling p/q a best upper approximate to α if p/q >αand for every b/c <αhaving c < q, p qα <b cα. (1U) Before solving for p/q in these cases, we note that the analogous problem for nearest lower and upper approximates is solved in Perron [P, pp ], where, ironically, they are called beste Näherungen. Perron s solutions are the same as those obtained below a surprise in view of the aforementioned nonequivalence of nearest and best. For irrational x, let x denote the distance from x to the integer nearest to x. Let x denote the greatest integer x, and define ((x)), the fractional part of x,by((x)) = x x. Then { ((x)) if ((x)) < 1/2 x = (3) 1 ((x)) otherwise, and (1) can be written as qα < cα. Next we recall some basics about continued fractions, principal convergents, and intermediate convergents. Suppose α has continued fraction [[a 0, a 1, a 2,...]], and let p 2 = 0, p 1 = 1, p i = a i p i 1 + p i 2 and q 2 = 1, q 1 = 0, q i = a i q i 1 + q i 2 for i 0. The principal convergents of α are the rational numbers p i /q i for i 0. Now for all nonnegative integers i and j, define p i,j =jp i+1 + p i and q i,j = jq i+1 + q i. The fractions p i,j q i,j = jp i+1 + p i jq i+1 + q i, 1 j a i+2 1, (4) are the i-th intermediate convergents of α. As proved in [L, p. 16], < p i < < p i,j q i q i,j > p i > > p i,j q i q i,j < p i,j+1 q i,j+1 < < p i+2 q i+2 < if i is even, (5) > p i,j+1 q i,j+1 > > p i+2 q i+2 > if i is odd, (6) and p i,j 1 q ij p ij q i,j 1 =( 1) j for i = 0, 1, 2,... and j = 1, 2,...,a i+2 1. If the range of j in (4) is extended to 0 j a i+2 1, then the principal convergents are included among the intermediate convergents. We shall refer to both kinds as simply convergents, those in (5) as even-indexed convergents, and those in (6) as odd-indexed convergents. Suppose now that q 1. Taking x = qα in (3) gives qα = qα p,where { { qα if ((qα)) < 1/2 ((qα)) if ((qα)) < 1/2 p= qα = qα + 1 otherwise, 1 ((qα)) otherwise.
3 124 Elem. Math. 52 (1997) Lemma 2 If p i /q i are the principal convergents to a positive irrational number α and i is even, then ((q i +2 α)) < 1/2 < ((q i +1 α)), (( jq i+1 α)) = j ((q i +1 α)) j + 1, (7) and for j = 1, 2,...,a i+2 1. (( jq i+1 α)) + ((q i α)) > 1 (8) Proof. The first assertion merely expresses the fact that the integer nearest q i α is p i for even i > 0, and that the integer nearest q i+1 α is p i + 1. Continuing, it is well known ([L, p. 8]) that p i+1 q i+1 α<1/q i+2, ((q i +1 α)) > 1 1/q i +2.Nowa i+2 a i+2 q i+1 +q i =q i+2, whence 0 < j((q i +1 α)) j + 1 < 1for1 j a i+2 1. Since (( jq i+1 α)) is an irrational number having the same fractional part as j((q i +1 α)) j + 1, identity (7) is proved. Continuing, p i+2 q i+1 q i+2 p i+1 = 1 < 0 = p i+2 q i+2 q i+2 p i+2, α> p i+2 > p i+2 p i+1. q i+2 q i+2 q i+1 Then α(a i+2 q i+1 + q i q i+1 ) > a i+2 p i+1 + p i p i+1, which implies Thus for 0 j a i+2 1, we have ((q i α)) 1 ((q i +1 α)) = q i α p i p i +1 q i +1 α > a i j(1 ((q i +1 α))) < ((q i α)), and (8) follows from (7). j((q i +1 α)) j + 1 +((q i α)) > 1, Lemma 3 If p ij /q ij are the convergents to a positive irrational number α and i is even, then ((q i 0 α)) > ((q i 1 α)) > ((q i 2 α)) > >((q i,ai +2 1α)) > 1 ((q i +1,0 α)) > ((q i +2,0 α)).
4 Elem. Math. 52 (1997) 125 Proof. When j = 0, we are dealing with principal convergents, hence best approximates to α, sothat q i 0 α > q i +1,0 α > q i +2,0 α, or equivalently, ((q i 0 α)) > 1 ((q i +1,0 α)) > ((q i +2,0 α)). Next, using Lemma 2, we find for j = 0, 1,...,a i+2 2that (( jq i+1 α)) = j ((q i +1 α)) j + 1 > ( j + 1)((q i+1 α)) ( j + 1)+1=(((j+1)q i+1 α)), ((q i j α)) > ((q i, j +1 α)). Finally, 1 ((q i +1 α)) = p i +1 q i +1 α<1/q i+2 <1/a i+2, whence a i+2 ((q i +1 α)) > a i +2 1, and ((q i,ai +2 1α)) = (a i +2 1)((q i+1 α)) (a i +2 1)+1>1 ((q i +1 α)). Theorem 1 The best lower approximates to a positive irrational number α are the even-indexed convergents to α. Proof. Suppose q ij is an even-indexed convergent, and c is a positive integer such that ((cα)) < ((q ij α)).wewishtoshowthatc>q ij. By Lemma 3, ((cα)) < ((q i α)),sothat cα < q i α, which by Lemma 1 implies c q i+1.ifc=q i+1,then((cα)) = ((q i +1 α)), whichbylemma3implies ((cα)) > 1 ((q ij α)) > ((q ij α)), a contradiction. Also, clearly, c q ij, so it remains to consider the possibility that q i+1 < c < q ij ; write c = mq i+1 + h, where1 h<q i+1 and 1 m j. Then ((cα)) = ((mq i+1 α + hα)), and, using Lemma 2, ((mq i+1 α)) + ((hα)) 1 =((cα)) < ((q ij α)) = (( jq i+1 α + q i α)) = (( jq i+1 α)) + ((q i α)) 1, ((hα)) < (( jq i+1 α)) ((mq i+1 α)) + ((q i α)). Identity (7) easily gives (( jq i+1 α)) ((mq i+1 α)),sothat((hα)) < ((q i α)), and by Lemma 1, h > q i+1, a contradiction. Lemma 4 Let p i /q i denote the principal convergents to a positive irrational number α =[[a 0,a 1,a 2,...]], and let p i /q i denote the principal convergents to the number α = a α. Ifα a 0 <1/2,thenp 0 /q 0 =0/1,p 1 /q 1 =1/1, and p i q i = (a 0 + 1)q i 1 p i 1 q i 1 for i = 2, 3,...Ifα a 0 >1/2,thena 1 =1,p 0 /q 0 =0/1,p 1 /q 1 =1/(a 2+1), and for i = 2, 3,... p i q i = (a 0 + 1)q i+1 p i+1 q i+1
5 126 Elem. Math. 52 (1997) Proof. It is easy to verify that { α [[0, 1, a1 1, a = 2, a 3, a 4,...]] if α a 0 < 1/2 [[0, a 2 + 1, a 3, a 4,...]] if α a 0 > 1/2. The rest of the proof is routine and omitted. Theorem 2 The best upper approximates to a positive irrational number α are the odd-indexed convergents to α. Proof. Suppose p ij /q ij is an odd-indexed convergent to α. Suppose also, contrary to (1U), that there exists b/c, with denominator c < q ij, such that p ij q ij α b cα. Substituting a α for α and using principal convergents, we then have (jp i+1 + p i ) (jq i+1 + q i )(a α ) b c(a α ), (jq i+1 + q i )α (j ( ) ) (a 0 + 1)q i+1 p i+1 +(a0 +1)q i p i cα (ca 0 + c b). (9) If α a 0 < 1/2, then by Lemma 4, inequality (9) can be written as (jq i+2 + q i+1)α (jp i+2 + p i+1) cα (ca 0 + c b), q i+1,jα p i+1,j cα (ca 0 + c b), contrary to Theorem 1, since p i+1,j /q i+1,j is an even-indexed convergent to α and c < q ij = jq i+1,j + q i = jq i+2,j + q i+1 = q i+1,j. On the other hand, if α a 0 > 1/2, then (9) can be written as (jq i + q i 1)α (jp i + p i 1) cα (ca 0 + c b), q i 1,jα p i 1,j cα (ca 0 + c b), contrary to Theorem 1. References [L] Serge Lang, Introduction to Diophantine Approximations, Addison-Wesley, Reading, Mass., [P] Oskar Perron, Die Lehre von den Kettenbrüchen, Chelsea, New York, Clark Kimberling Department of Mathematics University of Evansville 1800 Lincoln Avenue Evansville, Indiana 47722
A simple method for solving the diophantine equation Y 2 = X 4 + ax 3 + bx 2 + cx + d
Elem. Math. 54 (1999) 32 36 0013-6018/99/010032-5 $ 1.50+0.20/0 c Birkhäuser Verlag, Basel, 1999 Elemente der Mathematik A simple method for solving the diophantine equation Y 2 = X 4 + ax 3 + bx 2 + cx
More informationON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS
ON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS YAN LI AND LIANRONG MA Abstract In this paper, we study the elements of the continued fractions of Q and ( 1 + 4Q + 1)/2 (Q N) We prove
More informationUnisequences and nearest integer continued fraction midpoint criteria for Pell s equation
Unisequences and nearest integer continued fraction midpoint criteria for Pell s equation Keith R. Matthews Department of Mathematics University of Queensland Brisbane Australia 4072 and Centre for Mathematics
More informationA transformation of rational functions
Elem. Math. 58 (23) 73 83 13-618/3/273-11 c Birkhäuser Verlag, Basel, 23 Elemente der Mathematik A transformation of rational functions George Boros, Michael Joyce and Victor H. Moll George Boros was born
More informationCONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 15, 2014
CONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 5, 204. Basic definitions and facts A continued fraction is given by two sequences of numbers {b n } n 0 and {a n } n. One
More informationOn the continued fraction expansion of 2 2n+1
On the continued fraction expansion of n+1 Keith Matthews February 6, 007 Abstract We derive limited information about the period of the continued fraction expansion of n+1 : The period-length is a multiple
More informationInfinite Continued Fractions
Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with
More informationA Note on Jacobi Symbols and Continued Fractions
Reprinted from: The American Mathematical Monthly Volume 06, Number, pp 52 56 January, 999 A Note on Jacobi Symbols and Continued Fractions A. J. van der Poorten and P. G. Walsh. INTRODUCTION. It is well
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee
More informationA note on Steiner symmetrization of hyperbolic triangles
Elem. Math. 58 (2003) 21 25 0013-6018/03/010021-5 c Birkhäuser Verlag, Basel, 2003 Elemente der Mathematik A note on Steiner symmetrization of hyperbolic triangles François Guéritaud François Guéritaud
More information8 The Gelfond-Schneider Theorem and Some Related Results
8 The Gelfond-Schneider Theorem and Some Related Results In this section, we begin by stating some results without proofs. In 1900, David Hilbert posed a general problem which included determining whether
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationarxiv:math/ v2 [math.nt] 18 Jun 1999
arxiv:math/9906016v2 [math.nt] 18 Jun 1999 On periodic sequences for algebraic numbers Thomas Garrity Department of Mathematics Williams College Williamstown, MA 01267 email:tgarrity@williams.edu Abstract
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More informationPigeonhole Principle and Ramsey Theory
Pigeonhole Principle and Ramsey Theory The Pigeonhole Principle (PP) has often been termed as one of the most fundamental principles in combinatorics. The familiar statement is that if we have n pigeonholes
More informationOn a Diophantine Equation 1
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 2, 73-81 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.728 On a Diophantine Equation 1 Xin Zhang Department
More informationThe notable configuration of inscribed equilateral triangles in a triangle
Elem. Math. 57 00) 6 1 001-6018/0/01006-6 $ 1.50+0.0/0 c irkhäuser Verlag, asel, 00 Elemente der Mathematik The notable configuration of inscribed equilateral triangles in a triangle las Herrera Gómez
More informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime
More informationNewton s formula and continued fraction expansion of d
Newton s formula and continued fraction expansion of d ANDREJ DUJELLA Abstract It is known that if the period s(d) of the continued fraction expansion of d satisfies s(d), then all Newton s approximants
More informationLemma 15.1 (Sign preservation Lemma). Suppose that f : E R is continuous at some a R.
15. Intermediate Value Theorem and Classification of discontinuities 15.1. Intermediate Value Theorem. Let us begin by recalling the definition of a function continuous at a point of its domain. Definition.
More information10.1 Radical Expressions and Functions Math 51 Professor Busken
0. Radical Expressions and Functions Math 5 Professor Busken Objectives Find square roots without a calculator Simplify expressions of the form n a n Evaluate radical functions and find the domain of radical
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
More informationON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS
ON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS M. Filaseta Mathematics Department University of South Carolina Columbia, SC 908 filaseta@math.sc.edu http://www.math.sc.edu/ filaseta/ T.-Y.
More informationAlgebra. Übungsblatt 12 (Lösungen)
Fakultät für Mathematik Sommersemester 2017 JProf Dr Christian Lehn Dr Alberto Castaño Domínguez Algebra Übungsblatt 12 (Lösungen) Aufgabe 1 Berechnen Sie Minimalpolynome f i, i = 1,, 4, der folgenden
More informationOn a quantitative refinement of the Lagrange spectrum
ACTA ARITHMETICA 102.1 (2002) On a quantitative refinement of the Lagrange spectrum by Edward B. Burger Amanda Folsom Alexander Pekker Rungporn Roengpitya and Julia Snyder (Williamstown MA) 1. Introduction.
More informationFibonacci Sequence and Continued Fraction Expansions in Real Quadratic Number Fields
Malaysian Journal of Mathematical Sciences (): 97-8 (07) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal Fibonacci Sequence and Continued Fraction Expansions
More informationMATH10040: Numbers and Functions Homework 1: Solutions
MATH10040: Numbers and Functions Homework 1: Solutions 1. Prove that a Z and if 3 divides into a then 3 divides a. Solution: The statement to be proved is equivalent to the statement: For any a N, if 3
More informationMULTI-VARIABLE POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
MULTI-VARIABLE POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MC LAUGHLIN Abstract. Solving Pell s equation is of relevance in finding fundamental units in real
More informationCounting on Continued Fractions
appeared in: Mathematics Magazine 73(2000), pp. 98-04. Copyright the Mathematical Association of America 999. All rights reserved. Counting on Continued Fractions Arthur T. Benjamin Francis Edward Su Harvey
More informationCHAPTER 1 REAL NUMBERS KEY POINTS
CHAPTER 1 REAL NUMBERS 1. Euclid s division lemma : KEY POINTS For given positive integers a and b there exist unique whole numbers q and r satisfying the relation a = bq + r, 0 r < b. 2. Euclid s division
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 435 (011) 1845 1856 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: wwwelseviercom/locate/laa Hurwitz rational functions
More informationNotes on Equidistribution
otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for
More informationCovariograms of convex bodies in the plane: A remark on Nagel s theorem
Elem. Math. 57 (00) 61 65 0013-6018/0/00061-5 $ 1.50+0.0/0 c Birkhäuser Verlag, Basel, 00 Elemente der Mathematik Covariograms of convex bodies in the plane: A remark on Nagel s theorem Daniel Neuenschwander
More informationMath 109 HW 9 Solutions
Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we
More informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number
More informationHomework 3 Solutions, Math 55
Homework 3 Solutions, Math 55 1.8.4. There are three cases: that a is minimal, that b is minimal, and that c is minimal. If a is minimal, then a b and a c, so a min{b, c}, so then Also a b, so min{a, b}
More informationREAL NUMBERS. Any positive integer a can be divided by another positive integer b in such a way that it leaves a remainder r that is smaller than b.
REAL NUMBERS Introduction Euclid s Division Algorithm Any positive integer a can be divided by another positive integer b in such a way that it leaves a remainder r that is smaller than b. Fundamental
More informationAn Unusual Continued Fraction
An Unusual Continued Fraction arxiv:505.00667v [math.nt] 4 May 205 Dzmitry Badziahin Department of Mathematical Sciences Durham University Lower Mountjoy Stockton Rd Durham, DH 3LE United Kingdom dzmitry.badziahin@durham.ac.uk
More information(3,1) Methods of Proof
King Saud University College of Sciences Department of Mathematics 151 Math Exercises (3,1) Methods of Proof 1-Direct Proof 2- Proof by Contraposition 3- Proof by Contradiction 4- Proof by Cases By: Malek
More informationChapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem
Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,
More informationPERIODICITY OF SOME RECURRENCE SEQUENCES MODULO M
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A42 PERIODICITY OF SOME RECURRENCE SEQUENCES MODULO M Artūras Dubickas Department of Mathematics and Informatics, Vilnius University,
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More informationOn Cantor s Normal Form Theorem and Algebraic Number Theory
International Journal of Algebra, Vol. 12, 2018, no. 3, 133-140 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2018.8413 On Cantor s Normal Form Theorem and Algebraic Number Theory Yvon Gauthier
More informationPOLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv: v1 [math.nt] 27 Dec 2018
POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv:1812.10828v1 [math.nt] 27 Dec 2018 J. MC LAUGHLIN Abstract. Finding polynomial solutions to Pell s equation
More informationON SIMULTANEOUS DIAGONAL INEQUALITIES, II
ON SIMULTANEOUS DIAGONAL INEQUALITIES, II SCOTT T. PARSELL. Introduction In this paper we continue the investigation begun in []. Let λ,...,λ s µ,...,µ s be real numbers, define the forms F (x) =λ x 3
More informationChapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem
Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,
More informationMATH98 Intermediate Algebra Practice Test Form B
MATH98 Intermediate Algebra Practice Test Form B MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Solve the equation. 1) (y - 4) - (y + 9) = y 1) -
More informationOn Distance Sets in the Triangular Lattice
On Distance Sets in the Triangular Lattice Tanbir Ahmed Department of Computer Science and Software Engineering Concordia University, Montréal, Canada ta ahmed@cs.concordia.ca David Jacob Wildstrom Department
More informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationCantor s 1874 Proof of Non- Denumerability - English Translation
Cantor s 1874 Proof of Non- Denumerability - English Translation This is an English translation of Cantor s 1874 Proof of the Non-Denumerability of the real numbers. The original German text can be viewed
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationON THE EXTENSIBILITY OF DIOPHANTINE TRIPLES {k 1, k + 1, 4k} FOR GAUSSIAN INTEGERS. Zrinka Franušić University of Zagreb, Croatia
GLASNIK MATEMATIČKI Vol. 43(63)(2008), 265 291 ON THE EXTENSIBILITY OF DIOPHANTINE TRIPLES {k 1, k + 1, 4k} FOR GAUSSIAN INTEGERS Zrinka Franušić University of Zagreb, Croatia Abstract. In this paper,
More informationPartial Complements and Transposable Dispersions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.1.6 Partial Complements and Transposable Dispersions Clark Kimberling and John E. Brown Department of Mathematics University of
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationCOMPOSITIO MATHEMATICA
COMPOSITIO MATHEMATICA R. TIJDEMAN H. G. MEIJER On integers generated by a finite number of fixed primes Compositio Mathematica, tome 29, n o 3 (1974), p. 273-286
More informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
More informationRational Approximation by Continued Fractions
Rational Approximation by Continued Fractions The convergents of a continued fraction expansion of x give the best rational approximations to x. Specifically, the only way a fraction can approximate x
More informationCOMPOSITIO MATHEMATICA
COMPOSITIO MATHEMATICA A. BIJLSMA On the simultaneous approximation of a, b and a b Compositio Mathematica, tome 35, n o 1 (1977), p. 99-111. Foundation
More informationA Short Proof of the Transcendence of Thue-Morse Continued Fractions
A Short Proof of the Transcendence of Thue-Morse Continued Fractions Boris ADAMCZEWSKI and Yann BUGEAUD The Thue-Morse sequence t = (t n ) n 0 on the alphabet {a, b} is defined as follows: t n = a (respectively,
More informationA Primer on the Functional Equation
A Primer on the Functional Equation f (x + y) = f (x) + f (y) Kaushal Verma Let f : R R be a function satisfying f (x + y) = f (x) + f (y), (0.1) for all x, y R. Historical records at the École Polytechnique
More informationMATH Fundamental Concepts of Algebra
MATH 4001 Fundamental Concepts of Algebra Instructor: Darci L. Kracht Kent State University April, 015 0 Introduction We will begin our study of mathematics this semester with the familiar notion of even
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationOn Worley s theorem in Diophantine approximations
Annales Mathematicae et Informaticae 35 (008) pp. 61 73 http://www.etf.hu/ami On Worley s theorem in Diophantine approximations Andrej Dujella a, Bernadin Irahimpašić a Department of Mathematics, University
More informationMATH98 Intermediate Algebra Practice Test Form A
MATH98 Intermediate Algebra Practice Test Form A MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Solve the equation. 1) (y - 4) - (y + ) = 3y 1) A)
More informationClass IX Chapter 1 Number Sustems Maths
Class IX Chapter 1 Number Sustems Maths Exercise 1.1 Question Is zero a rational number? Can you write it in the form 0? and q, where p and q are integers Yes. Zero is a rational number as it can be represented
More informationA generalization of the Weierstrass semigroup
Journal of Pure and Applied Algebra 207 (2006) 243 260 www.elsevier.com/locate/jpaa A generalization of the Weierstrass semigroup Peter Beelen a,, Nesrin Tutaş b a Department of Mathematics, Danish Technical
More informationNOTES: Chapter 11. Radicals & Radical Equations. Algebra 1B COLYER Fall Student Name:
NOTES: Chapter 11 Radicals & Radical Equations Algebra 1B COLYER Fall 2016 Student Name: Page 2 Section 3.8 ~ Finding and Estimating Square Roots Radical: A symbol use to represent a. Radicand: The number
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationO1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets. Monday 14th November 2016 (Week 6)
O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets Monday 14th November 2016 (Week 6) Summary Proofs of the Intermediate Value Theorem revisited Convergence
More informationThe theory of continued fractions and the approximations of irrational numbers
교육학석사학위청구논문 연분수이론과무리수의근사 The theory of continued fractions and the approximations of irrational numbers 202 년 2 월 인하대학교교육대학원 수학교육전공 정미라 교육학석사학위청구논문 연분수이론과무리수의근사 The theory of continued fractions and the
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationIn Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3
APPENDIX A EXERCISES In Exercises 1 12, list the all of the elements of the given set. 1. The set of all prime numbers less than 20 2. The set of all positive integers whose square roots are less than
More informationOn the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165
Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher
More informationClassify, graph, and compare real numbers. Find and estimate square roots Identify and apply properties of real numbers.
Real Numbers and The Number Line Properties of Real Numbers Classify, graph, and compare real numbers. Find and estimate square roots Identify and apply properties of real numbers. Square root, radicand,
More informationA Geometric Proof that e is Irrational and a New Measure of its Irrationality
A Geometric Proof that e is Irrational and a New Measure of its Irrationality Jonathan Sondow. INTRODUCTION. While there exist geometric proofs of irrationality for 2 [2], [27], no such proof for e, π,
More informationStrictly Positive Definite Functions on the Circle
the Circle Princeton University Missouri State REU 2012 Definition A continuous function f : [0, π] R is said to be positive definite on S 1 if, for every N N and every set of N points x 1,..., x N on
More informationSolutions. cos ax + cos bx = 0. a sin ax + b sin bx = 0.
Solutions 85. Find all pairs (a, b) of positive integers with a b for which the system cos ax + cos bx = 0 a sin ax + b sin bx = 0. Solution 1. Suppose that the system is solvable; note that x = 0 is not
More informationand LCM (a, b, c) LCM ( a, b) LCM ( b, c) LCM ( a, c)
CHAPTER 1 Points to Remember : REAL NUMBERS 1. Euclid s division lemma : Given positive integers a and b, there exists whole numbers q and r satisfying a = bq + r, 0 r < b.. Euclid s division algorithm
More informationnot to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results
REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results Euclid s Division Lemma : Given two positive integers a and b, there exist unique integers q and r satisfying a = bq + r, 0 r < b. Euclid s Division
More informationCool Results on Primes
Cool Results on Primes LA Math Circle (Advanced) January 24, 2016 Recall that last week we learned an algorithm that seemed to magically spit out greatest common divisors, but we weren t quite sure why
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationFourier series, Weyl equidistribution. 1. Dirichlet s pigeon-hole principle, approximation theorem
(October 4, 25) Fourier series, Weyl equidistribution Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 25-6/8 Fourier-Weyl.pdf]
More informationarxiv: v3 [math.nt] 29 Mar 2016
arxiv:1602.06715v3 [math.nt] 29 Mar 2016 STABILITY RESULT FOR SETS WITH 3A Z n 5 VSEVOLOD F. LEV Abstract. As an easy corollary of Kneser s Theorem, if A is a subset of the elementary abelian group Z n
More informationMembers of binary recurrences on lines of the Pascal triangle
Publ. Math. Debrecen 67/1-2 (2005), 103 113 Members of binary recurrences on lines of the Pascal triangle By FLORIAN LUCA (Morelia) and FRANCESCO PAPPALARDI (Roma) Abstract. In this paper, we look at a
More informationNOTES ON IRRATIONALITY AND TRANSCENDENCE
NOTES ON IRRATIONALITY AND TRANSCENDENCE Frits Beukers September, 27 Introduction. Irrationality Definition.. Let α C. We call α irrational when α Q. Proving irrationality and transcendence of numbers
More informationANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99
ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements
More informationarxiv:math/ v3 [math.nt] 13 Aug 1999 On periodic sequences for algebraic numbers
arxiv:math/9906016v3 [math.nt] 13 Aug 1999 On periodic sequences for algebraic numbers Thomas Garrity Department of Mathematics Williams College Williamstown, MA 01267 email:tgarrity@williams.edu Abstract
More informationOn a Formula of Liouville Type for the Quadratic Form x 2 +2y 2 +2z 2 +4w 2
International Mathematical Forum, Vol. 8, 2013, no. 33, 1605-1614 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.36117 On a Formula of Liouville Type for the Quadratic Form x 2 +2y 2
More informationA Level. A Level Mathematics. Proof by Contradiction (Answers) AQA, Edexcel, OCR. Name: Total Marks:
AQA, Edexcel, OCR A Level A Level Mathematics Proof by Contradiction (Answers) Name: Total Marks: A1 Proof Answers AQA, Edexcel, OCR 1) Prove that there is an infinite amount of prime numbers. Assume there
More informationON THE MAILLET BAKER CONTINUED FRACTIONS
ON THE MAILLET BAKER CONTINUED FRACTIONS BORIS ADAMCZEWSKI, YANN BUGEAUD Abstract. We use the Schmidt Subspace Theorem to establish the transcendence of a class of quasi-periodic continued fractions. This
More informationNONEXISTENCE OF ODD PERFECT NUMBERS OF A CERTAIN FORM
NONEXISTENCE OF ODD PERFECT NUMBERS OF A CERTAIN FORM Ronald Evans Department of Mathematics, 0112 University of California at San Diego La Jolla, California 92093-0112 revans@ucsd.edu and Jonathan Pearlman
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationDiophantine approximations and integer points of cones
Diophantine approximations and integer points of cones Martin Henk Robert Weismantel Abstract The purpose of this note is to present a relation between directed best approximations of a rational vector
More informationNumber Theory Solutions Packet
Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationOn p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree. Christine Bessenrodt
On p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree Christine Bessenrodt Institut für Algebra, Zahlentheorie und Diskrete Mathematik Leibniz Universität
More information#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
#A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr
More information[STRAIGHT OBJECTIVE TYPE] log 4 2 x 4 log. (sin x + cos x) = 10 (A) 24 (B) 36 (C) 20 (D) 12
[STRAIGHT OBJECTIVE TYPE] Q. The equation, ( ) +. + 4 4 + / (A) eactly one real solution (B) two real solutions (C) real solutions (D) no solution. = has : ( n) Q. If 0 sin + 0 cos = and 0 (sin + cos )
More informationON AN EFFECTIVE VARIATION OF KRONECKER S APPROXIMATION THEOREM AVOIDING ALGEBRAIC SETS
ON AN EFFECTIVE VARIATION OF KRONECKER S APPROXIMATION THEOREM AVOIDING ALGEBRAIC SETS LENNY FUKSHANSKY AND NIKOLAY MOSHCHEVITIN Abstract. Let Λ R n be an algebraic lattice, coming from a projective module
More information