Infinite Continued Fractions
|
|
- Dominick Hensley
- 5 years ago
- Views:
Transcription
1 Infinite Continued Fractions 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 positive terms, then lim k c k exists The convergents of an infinite continued fraction with positive terms converge by oscillation to its value If [a 0 ; a, a 2, ] is an infinite continued fraction with positive terms, then its value is an irrational number Every irrational number x has a unique infinite continued fraction expansion [a 0 ; a, a 2, ] whose terms are given recursively by x 0 x, and a k [x k ], x k+ for k If [a 0 ; a, a 2, ] is an infinite continued fraction, I want to define its value to be the limit of the convergents: lim k c k, where c k is the k-th convergent For this to make sense, I need to show that this limit exists In what follows, take as given an infinite continued fraction [a 0 ; a, a 2, ] Let p 0 a 0, q 0 p a a 0 +, q a p k a k p k + p k 2, a k + 2, k 2, Lemma c k p k (a) c k c k ( )k (b) c k c k 2 a k( ) k 2 Proof For (a), For (b), c k c k p k p k p k p k ( )k c k c k 2 p k p k 2 2 p k 2 p k 2 2 (a kp k + p k 2 ) 2 p k 2 (a k + 2 ) 2 a k (p k 2 p k 2 ) 2 a k ( ) k 2 2 a k( ) k 2
2 c 3 c 5 Lemma c > c 3 > c 5 > > c 4 > c 2 > c 0 That is, the odd convergents get smaller, the even convergents get bigger, and any odd convergent is bigger than any even convergent c c 2 c 4 c 0 Proof If k is even, then This shows that the even terms get bigger If k is odd, then c k c k 2 a k( ) k c k c k 2 a k( ) k 2 > 0, so c k > c k 2 2 < 0, so c k < c k 2 This shows that the odd terms get smaller Finally, I have to show any odd term is bigger than any even term Note that it s true if the terms are adjacent: c 2n+ c 2n ( )(2n+) > 0, so c 2n+ > c 2n Next, do the general case Let c 2n+ be an odd term and let c 2m be an even term Then c 2n+ > c 2n+2m+ > c 2n+2m > c 2m The first inequality is true because odd terms decrease The second inequality is true because I just observed that an odd term is bigger than an adjacent even Finally, the last inequality is true because even terms increase I ve shown that any odd term is bigger than any even term, and that completes the proof Example The first ten convergents for the golden ratio are: 2 > > 625 > 6905 > 688 c c 3 c 5 c 7 c > 6538 > 6 > 5 > 2 c 8 c 6 c 4 c 2 c 0
3 The odd convergents get smaller, the even convergents get bigger, and any odd convergent is bigger than any even convergent Lemma k for all k Proof I ll induct on k q a, so the result holds for k Take k >, and assume it holds for numbers k I ll prove that it holds for k + + a k+ + a k+ k + (k ) k + (k ) 2k k + (k ) k + (The last inequality used k 2) This completes the induction step Theorem Let [a 0 ; a, a 2, ] be an infinite continued fraction with a k > 0 for k, and let c k be the k-th convergent Then lim c k exists k Proof Consider the sequence of odd convergents c > c 3 > c 5 > This is a decreasing sequence of numbers, and it s bounded below by any even convergent, for example A standard result from analysis (see, for example, Theorem 34 of []) asserts that such a sequence must have a limit, so lim c 2k+ exists k Likewise, consider the sequence of even convergents: > c 4 > c 2 > c 0 This is an increasing sequence of numbers that s bounded above by any odd convergent, for example The result from analysis mentioned above says that the sequence has a limit: lim k c 2k exists I have to show that the two limits agree The previous lemma implies that q 2k 2k and q 2k+ 2k +, so 0 c 2k+ c 2k ( )2k+ q 2k q 2k+ (2k)(2k + ) Now let k 0, so by the Squeezing Theorem of calculus, (2k)(2k + ) lim (c 2k+ c 2k ) 0, ie lim c 2k+ lim c 2k k k k Since the odd and even terms approach the same limit, lim k c k exists Knowing this, I m justified in defining What can I say about its value? [a 0 ; a, a 2, ] lim k c k 3
4 Theorem Let [a 0 ; a, a 2, ] be an infinite continued fraction with a k > 0 for k Then [a 0 ; a, a 2, ] is irrational Proof Write x [a 0 ; a, a 2, ] for short I want to show that x is irrational Suppose on the contrary that x p, where p and q are integers I will show this leads to a contradiction q Since the odd convergents are bigger than x and the even convergents are smaller than x, c 2k+ > x > c 2k Then c 2k+ c 2k > x c 2k > 0, ( ) 2k q 2k q 2k+ > x c 2k > 0, q 2k q 2k+ > x c 2k > 0, q 2k q 2k+ > x p 2k q 2k > 0, q 2k+ > xq 2k p 2k > 0, > pq 2k p 2k > 0, q 2k+ q q q 2k+ > pq 2k p 2k q > 0 Notice that this inequality is true for all k, and that the junk in the middle is an integer But q is fixed, q and q 2k+ 2k +, so if I make k sufficiently large eventually q 2k+ will become bigger than q Then q 2k+ will be a fraction less than, and I have an integer pq 2k p 2k q caught between 0 and a fraction less than Since this is impossible, x can t be rational Now I know that every infinite continued fraction made of positive integers represents an irrational number The converse is also true true, and the next result gives an algorithm for computing the continued fraction expansion Theorem Let x R be irrational Let x 0 x, and a k [x k ], x k+ for k 0 Then x [a 0 ; a, a 2, ] Proof Step x k is irrational for k 0 Since x is irrational and x 0 x, the result is true for k 0 Assume that k > 0 and that the result is true for k I want to show that x k is irrational Suppose on the contrary that x k s, where s, t Z Then t s t so x k a k + t x k a k s 4
5 Now all the a k s are clearly integers (since a k [x k ] means they re outputs of the greatest integer function), so a k + t s is the sum of an integer and a rational number Therefore, it s rational, so x k is rational, contrary to the induction hypothesis It follows that x k is irrational By induction, x k is irrational for all k 0 Step 2 The a k s are positive integers for k I already observed that the a k s are integers Let k 0 Since a k [x k ], the definition of the greatest integer function gives But x k is irrational, so a k x k Hence, a k x k < a k + a k < x k < a k +, 0 < <, x k+ >, a k+ [x k+ ] Since k 0, this proves that the a k s are positive integers for k Step 3 lim c k lim [a 0; a,, a k ] x k k First, I ll get a formula for x in terms of the p s, q s, and a s Then I ll find x p k and show that it s less than something which goes to 0 To get the formula for x, start with x k+ Do some algebra to get Write out this equation for a few values of k: x k a k + x k+ x 0 a 0 + x x a + x 2 x 2 a 2 + x 3 x 3 a 3 + x 4 Substituting the second equation of the set into the first gives x 0 a a + x 2
6 Substituting x 2 a 2 + x 3 into this equation gives x 0 a 0 + a + a 2 + x 3 Substituting x 3 a 3 + x 4 into this equation gives x 0 a 0 + a + a 2 + a 3 + x 4 You get the idea In general, x x 0 a 0 + a + a 2 + [a 0 ; a, a 2,, a k, x k+ ] + a k + x k+ In other words, the x k s are the infinite tails of the continued fraction Recall the recursion formulas for convergents: p k a k p k + p k 2 and a k + 2 The right sides only involve terms up to a k (and p s and q s of smaller indices) Therefore, the fractions [a 0 ; a, a 2,, a k, x k+ ] and [a 0 ; a, a 2,, a k, a k+, ] have the same p s and q s through index k Using the recursion formula for convergents, I get Therefore, Take absolute values: Now x x 0 [a 0 ; a, a 2,, a k, x k+ ] x k+p k + p k x k+ + x p k x k+p k + p k x k+ + p k x k+p k + p k x k+ p k p k (x k+ + ) p k p k (x k+ + ) ( ) k (x k+ + ) x p k (x k+ + ) x k+ > [x k+ ] a k+, so x k+ + > a k
7 Therefore, x k+ + < +, <, (x k+ + ) + x p k < + By an earlier lemma, k and + k +, so x p k < + Now lim 0, so by the Squeezing Theorem k k(k + ) lim k x p k 0 k(k + ) This implies that p k lim x k Example I ll compute the continued fraction expansion of π Here are the first two steps: x Continuing in this way, I obtain: x 0 π, a 0 [x 0 ] [π] 3 x 0 a , a [x ] 7 x k a k p k c k π Example I ll compute the continued fraction expansion of 5 x x 0 5 a 0 [ 5] [223607] 2 5 2, a [ ] [423607]
8 Here are the first 5 terms: x a In fact, the continued fraction expansion for 5 is [2; 4, 4, 4, ] Theorem The continued fraction expansion of an irrational number is unique Proof Suppose [a 0 ; a, a 2, ] x [b 0 ; b, b 2, ] are two continued fractions for the irrational number x, where a k, b k Z and a k, b k for k I want to show that a k b k for all k Recall that: The even convergents are smaller than x The odd convergents are greater than x Therefore, Now a 0 < x < a 0 + a a a a 0 + a a 0 + x < a 0 + Thus, a 0 is an integer less than x, and the next larger integer a 0 + is greater than x This means that a 0 [x] The same reasoning applies to the b s Therefore, b 0 [x], so a 0 b 0 Hence, [a 0 ; a, a 2, ] [b 0 ; b, b 2, ] a 0 + a + a 2 + a + a 2 + b 0 + b + b + b 2 + b 2 + [a ; a 2, a 3, ] [b ; b 2, b 3, ] 8
9 I can continue in the same way to show that a k b k for all k Here s a summary of some of the important results on infinite continued fractions: An irrational number has a unique infinite continued fraction expansion 2 The algorithm for computing the continued fraction expansion of an irrational number x is: Then x 0 x, and a k [x k ], x k+ x [a 0 ; a, a 2, ] for k 3 If [a 0 ; a, a 2, ] is the continued fraction expansion of an irrational number, then a k is a positive integer for k 4 If x [a 0 ; a, a 2, ] is the continued fraction expansion of an irrational number and {p k } and { } are defined by the recursion formulas for convergents, then x p k < + Example Here is the continued fraction expansion for e + π Now Thus, in this case, x k a k p k c k e + π while e + π < [] Walter Rudin, Principles of Mathematical Analysis (3 rd edition) New York: McGraw-Hill Book Company, 976 c 2008 by Bruce Ikenaga 9
Rational 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 informationInduction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2
Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,
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 informationSums and Products. a i = a 1. i=1. a i = a i a n. n 1
Sums and Products -27-209 In this section, I ll review the notation for sums and products Addition and multiplication are binary operations: They operate on two numbers at a time If you want to add or
More informationResearch Methods in Mathematics Homework 4 solutions
Research Methods in Mathematics Homework 4 solutions T. PERUTZ (1) Solution. (a) Since x 2 = 2, we have (p/q) 2 = 2, so p 2 = 2q 2. By definition, an integer is even if it is twice another integer. Since
More informationFunctions If (x, y 1 ), (x, y 2 ) S, then y 1 = y 2
Functions 4-3-2008 Definition. A function f from a set X to a set Y is a subset S of the product X Y such that if (, y 1 ), (, y 2 ) S, then y 1 = y 2. Instead of writing (, y) S, you usually write f()
More informationMathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013
Mathematics Principles of Analysis Solutions for Problem Set 5 Due: March 15, 013 A Section 1. For each of the following sequences, determine three different subsequences, each converging to a different
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
More information[Limits at infinity examples] Example. The graph of a function y = f(x) is shown below. Compute lim f(x) and lim f(x).
[Limits at infinity eamples] Eample. The graph of a function y = f() is shown below. Compute f() and f(). y -8 As you go to the far right, the graph approaches y =, so f() =. As you go to the far left,
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 informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationSection 2.5 : The Completeness Axiom in R
Section 2.5 : The Completeness Axiom in R The rational numbers and real numbers are closely related. The set Q of rational numbers is countable and the set R of real numbers is not, and in this sense there
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 informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
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 informationMath 104: Homework 1 solutions
Math 10: Homework 1 solutions 1. The basis for induction, P 1, is true, since 1 3 = 1. Now consider the induction step, assuming P n is true and examining P n+1. By making use of the result (1 + +... +
More informationOn approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree. by K. I. Tsishchanka
On approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree by K. I. Tsishchanka I. On approximation by rational numbers Theorem 1 (Dirichlet, 1842). For any real irrational
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 information1 Examples of Weak Induction
More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of
More information1. (16 points) Circle T if the corresponding statement is True or F if it is False.
Name Solution Key Show All Work!!! Page 1 1. (16 points) Circle T if the corresponding statement is True or F if it is False. T F The sequence {1, 1, 1, 1, 1, 1...} is an example of an Alternating sequence.
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More information2.1 Convergence of Sequences
Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More informationTHE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE
THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More informationTHE REAL NUMBERS Chapter #4
FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field
More information3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
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 informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More information1 Continued Fractions
Continued Fractions To start off the course, we consider a generalization of the Euclidean Algorithm which has ancient historical roots and yet still has relevance and applications today.. Continued Fraction
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
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 informationDivisibility = 16, = 9, = 2, = 5. (Negative!)
Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties
More informationOn the possible quantities of Fibonacci numbers that occur in some type of intervals
On the possible quantities of Fibonacci numbers that occur in some type of intervals arxiv:1508.02625v1 [math.nt] 11 Aug 2015 Bakir FARHI Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes
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 informationGroups. s t or s t or even st rather than f(s,t).
Groups Definition. A binary operation on a set S is a function which takes a pair of elements s,t S and produces another element f(s,t) S. That is, a binary operation is a function f : S S S. Binary operations
More informationBeautiful Mathematics
Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 2 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 2 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 1.4.2, 1.4.4, 1.4.9, 1.4.11,
More informationSolutions to Homework Assignment 2
Solutions to Homework Assignment Real Analysis I February, 03 Notes: (a) Be aware that there maybe some typos in the solutions. If you find any, please let me know. (b) As is usual in proofs, most problems
More informationHomework 3, solutions
Homework 3, solutions Problem 1. Read the proof of Proposition 1.22 (page 32) in the book. Using simialr method prove that there are infinitely many prime numbers of the form 3n 2. Solution. Note that
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 informationSection 4.1: Sequences and Series
Section 4.1: Sequences and Series In this section, we shall introduce the idea of sequences and series as a necessary tool to develop the proof technique called mathematical induction. Most of the material
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationSeunghee Ye Ma 8: Week 2 Oct 6
Week 2 Summary This week, we will learn about sequences and real numbers. We first define what we mean by a sequence and discuss several properties of sequences. Then, we will talk about what it means
More informationInfinite Series. Copyright Cengage Learning. All rights reserved.
Infinite Series Copyright Cengage Learning. All rights reserved. Sequences Copyright Cengage Learning. All rights reserved. Objectives List the terms of a sequence. Determine whether a sequence converges
More informationNote that r = 0 gives the simple principle of induction. Also it can be shown that the principle of strong induction follows from simple induction.
Proof by mathematical induction using a strong hypothesis Occasionally a proof by mathematical induction is made easier by using a strong hypothesis: To show P(n) [a statement form that depends on variable
More informationa 2 + b 2 = (p 2 q 2 ) 2 + 4p 2 q 2 = (p 2 + q 2 ) 2 = c 2,
5.3. Pythagorean triples Definition. A Pythagorean triple is a set (a, b, c) of three integers such that (in order) a 2 + b 2 c 2. We may as well suppose that all of a, b, c are non-zero, and positive.
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationOn the Infinitude of Twin-Primes Bao Qi Feng
On the Infinitude of Twin-Primes Bao Qi Feng Department of Mathematical Sciences, Kent State University at Tuscarawas 330 University Dr. NE, New Philadelphia, OH 44663, USA. Abstract In this article, we
More information4.4 Uniform Convergence of Sequences of Functions and the Derivative
4.4 Uniform Convergence of Sequences of Functions and the Derivative Say we have a sequence f n (x) of functions defined on some interval, [a, b]. Let s say they converge in some sense to a function f
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES Infinite sequences and series were introduced briefly in A Preview of Calculus in connection with Zeno s paradoxes and the decimal representation
More informationMathematical Induction. Part Two
Mathematical Induction Part Two The principle of mathematical induction states that if for some property P(n), we have that If it starts P(0) is true and and it keeps going For any n N, we have P(n) P(n
More informationNotes on sequences and series in the calculus of one variable
Notes on sequences and series in the calculus of one variable Adam Coffman July 30, 007 These are notes on sequences and series, at a first-year calculus level. The goal is to see how complex numbers and
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More informationIn last semester, we have seen some examples about it (See Tutorial Note #13). Try to have a look on that. Here we try to show more technique.
MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #4 Part I: Cauchy Sequence Definition (Cauchy Sequence): A sequence of real number { n } is Cauchy if and only if for any ε >
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More information1 Question related to polynomials
07-08 MATH00J Lecture 6: Taylor Series Charles Li Warning: Skip the material involving the estimation of error term Reference: APEX Calculus This lecture introduced Taylor Polynomial and Taylor Series
More informationMATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.
MATH 55 - HOMEWORK 6 SOLUTIONS Exercise Section 5 Proof (a) P () is the statement ( ) 3 (b) P () is true since ( ) 3 (c) The inductive hypothesis is P (n): ( ) n(n + ) 3 + 3 + + n 3 (d) Assuming the inductive
More informationSection Taylor and Maclaurin Series
Section.0 Taylor and Maclaurin Series Ruipeng Shen Feb 5 Taylor and Maclaurin Series Main Goal: How to find a power series representation for a smooth function us assume that a smooth function has a power
More informationSequences of Real Numbers
Chapter 8 Sequences of Real Numbers In this chapter, we assume the existence of the ordered field of real numbers, though we do not yet discuss or use the completeness of the real numbers. In the next
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 informationMATH CSE20 Homework 5 Due Monday November 4
MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of
More informationFundamentals of Mathematics (MATH 1510)
Fundamentals of Mathematics (MATH 1510) Instructor: Lili Shen Email: shenlili@yorku.ca Department of Mathematics and Statistics York University September 11, 2015 About the course Name: Fundamentals of
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 informationC241 Homework Assignment 7
C24 Homework Assignment 7. Prove that for all whole numbers n, n i 2 = n(n + (2n + The proof is by induction on k with hypothesis H(k i 2 = k(k + (2k + base case: To prove H(, i 2 = = = 2 3 = ( + (2 +
More informationSection 1.7 Proof Methods and Strategy. Existence Proofs. xp(x). Constructive existence proof:
Section 1.7 Proof Methods and Strategy Existence Proofs We wish to establish the truth of xp(x). Constructive existence proof: - Establish P(c) is true for some c in the universe. - Then xp(x) is true
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
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 informationBig-oh stuff. You should know this definition by heart and be able to give it,
Big-oh stuff Definition. if asked. You should know this definition by heart and be able to give it, Let f and g both be functions from R + to R +. Then f is O(g) (pronounced big-oh ) if and only if there
More informationDiscrete Structures - CM0246 Mathematical Induction
Discrete Structures - CM0246 Mathematical Induction Andrés Sicard-Ramírez EAFIT University Semester 2014-2 Motivation Example Conjecture a formula for the sum of the first n positive odd integers. Discrete
More informationSolutions to Practice Final 3
s to Practice Final 1. The Fibonacci sequence is the sequence of numbers F (1), F (2),... defined by the following recurrence relations: F (1) = 1, F (2) = 1, F (n) = F (n 1) + F (n 2) for all n > 2. For
More informationMA 301 Test 4, Spring 2007
MA 0 Test 4, Spring 007 hours, calculator allowed, no notes. Provide paper for the students to do work on. Students should not write answers on test sheet. TA Grades, 5, 6, 7 All answers must be justified.
More informationAdvanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010
Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More information10x + y = xy. y = 10x x 1 > 10,
All Problems on Prize Exam Spring 2011 Version Date: Sat Mar 5 15:12:06 EST 2011 The source for each problem is listed below when available; but even when the source is given, the formulation of the problem
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.
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 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 informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
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 informationConcavity and Lines. By Ng Tze Beng
Concavity and Lines. By Ng Tze Beng Not all calculus text books give the same definition for concavity. Most would require differentiability. One is often asked about the equivalence of various differing
More informationMath 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby
Math 8: Advanced Number Theory Samit Dasgupta and Gary Kirby April, 05 Contents Basics of Number Theory. The Fundamental Theorem of Arithmetic......................... The Euclidean Algorithm and Unique
More informationMATH 1A, Complete Lecture Notes. Fedor Duzhin
MATH 1A, Complete Lecture Notes Fedor Duzhin 2007 Contents I Limit 6 1 Sets and Functions 7 1.1 Sets................................. 7 1.2 Functions.............................. 8 1.3 How to define a
More informationFunctions based on sin ( π. and cos
Functions based on sin and cos. Introduction In Complex Analysis if a function is differentiable it has derivatives of all orders. In Real Analysis the situation is very different. Using sin (π/ and cos
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 informationCHAPTER 4 SOME METHODS OF PROOF
CHAPTER 4 SOME METHODS OF PROOF In all sciences, general theories usually arise from a number of observations. In the experimental sciences, the validity of the theories can only be tested by carefully
More informationSection 11.1: Sequences
Section 11.1: Sequences In this section, we shall study something of which is conceptually simple mathematically, but has far reaching results in so many different areas of mathematics - sequences. 1.
More informationThe Process of Mathematical Proof
1 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 previous courses, there was probably an
More informationLecture 2: Proof Techniques Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 2: Proof Techniques Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete Mathematics and App. cs.colostate.edu/
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 information