Proofs Not Based On POMI
|
|
- Lawrence Walker
- 5 years ago
- Views:
Transcription
1 s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018
2 Outline 1 Non POMI Based s 2 Some Contradiction s 3 4 Homework
3 Some Contradiction s 2 is not a rational number We will prove this technque using a technique called contradiction. Let s assume we can find positive integers p and q so that 2 = (p/q) 2 with p and q having no common factors. When this happens we say p and q are relatively prime. This tells us p 2 = 2q 2 which also tells us p 2 is divisible by 2. Thus, p 2 is even. Does this mean p itself is even? Well, if p was odd, we could write p = 2l + 1 for some integer l. Then, we would know p 2 = (2l + 1) 2 = 4l 2 + 4l + 1. The first two terms, 4l 2 and 4l are even, so this implies p 2 would be odd. So we see p odd implies p 2 is odd. Thus, we see p must be even when p 2 is even. So we now know p = 2k for some integer k as it is even. But since p 2 = 2q 2, we must have 4k 2 = 2q 2. But this says q 2 must be even.
4 Some Contradiction s The same reasoning we just used to show p odd implies p 2 is odd, then tells us q odd implies q 2 is odd. Thus q is even too. Now here is the contradiction. We assumed p and q were relatively prime; i.e. they had no common factors. But if they are both even, they share the factor 2. This is the contradiction we seek. Hence, our original assumption must be incorrect and we can not find positive integers p and q so that 2 = (p/q) 2.
5 Some Contradiction s 3 is not a rational number Let s assume we can find positive integers p and q so that 3 = (p/q) 2 with p and q being relatively prime. This tells us p 2 = 3q 2 which also tells us p 2 is divisible by 3. Does this mean p itself is divisible by 3? Well, if p was not divisible by 3, we could write p = 3l + 1 or 3l + 2 for some integer l. Then, we would know or p 2 = (3l + 1) 2 = 9l 2 + 6l + 1. p 2 = (3l + 2) 2 = 9l l + 4. The first two terms in both choices are divisible by 3 and the last terms are not. So we see p 2 is not divisible by 3 in both cases. Thus, we see p must be divisible by 3 when p 2 is divisible by 3.
6 Some Contradiction s So we now know p = 3k for some integer k as it is divisible by 3. But since p 2 = 3q 2, we must have 9k 2 = 3q 2. But this says q 2 must be divisible by 3. The same reasoning we just used to show p 2 divisible by 3 implies p is divisible by 3, then tells us q 2 divisible by 3 implies q is divisible by 3. Now here is the contradiction. We assumed p and q were relatively prime; i.e. they had no common factors. But if they are both divisible by 3, they share the factor 3. This is the contradiction we seek. Hence, our original assumption must be incorrect and we can not find positive integers p and q so that 3 = (p/q) 2.
7 Some Contradiction s Let s introduce some notation: 1 if p and q are relatively prime integers, we say (p, q) = 1. 2 if the integer k divides p, we say k p.
8 Some Contradiction s Let s introduce some notation: 1 if p and q are relatively prime integers, we say (p, q) = 1. 2 if the integer k divides p, we say k p. Now let s modify the two proofs we have seen to attack the more general problem of showing n is not rational if n is prime.
9 Some Contradiction s n is not a rational number when n is a prime number Let s assume there are integers u and v with (u, v) = 1 so the n = (u/v) 2 which implies nv 2 = u 2. This tells us n u 2. Now we will invoke a theorem from number theory or abstract albebra which tells us every integer u has a prime factor decomposition: u = (p 1 ) r 1 (p 2 ) r2 (p s ) rs for some prime numbers p 1 to p s and positive integers r 1 to r s. For example, here are two such prime decompositions. 66 = = It is easy to see what the integers p 1 to p s and r 1 to r s are in each of these two examples and we leave that to you!
10 Some Contradiction s Thus, we can say u 2 = (p 1 ) 2r1 (p 2 ) 2r2 (p s ) 2rs Since n u 2, n must divide one of the terms in the prime factor decomposition: i.e. we can say n divides the term p r i i. Now the term p r i i is a prime number to a positive integer power r i. The only number that can divide into that evenly are appropriate powers of p i. But, we know n is a prime number too, so n must divide p i itself. Hence, we can conclude n = p i. But this tells us immediately that n divides u too.
11 Some Contradiction s Hence, we know now u = nw for some integer w. This tells us (nw) 2 = nv 2 or nw 2 = v 2. Thus, n v 2. The previous argument applied to v then tells us n v too. Hence u and v share the factor n which is a contradiction. Thus we conclude n is irrational.
12 Definition Absolute Values Let x be any real number. We define the absolute value of x, denoted by x, by x = { x, if x 0 x, if x < 0. For example, 3 = 3 and 4 = 4.
13 Theorem Triangle Inequality Let x and y be any two real numbers. Then and for any number z. x + y x + y x y x + y x y x z + z y
14 We know ( x + y ) 2 = (x + y) 2 which implies But 2xy 2 x y impyling ( x + y ) 2 = x 2 + 2xy + y 2. ( x + y ) 2 x x y + y 2 = x x y + y 2 = ( x + y ) 2. Taking square roots, we find x + y x + y. Of course, the argument for x y is similar as x y = x + ( y). To do the next part, we know a + b a + b for any a and b. Let a = x z and b = z y. Then (x z) + (z y) x z + z y.
15 Comment The technique where we do x y = (x z) + (z y) is called the Add and Subtract Trick and we will use it a lot! Comment Also note x c is the same as c x c and we use this other way of saying it a lot too. Theorem Backwards Triangle Inequality Let x and y be any two real numbers. Then x y x y y x x y x y x y
16 Let x and y be any real numbers. Then by the Triangle Inequality x = (x y) + y x y + y x y x y Similary, y = (y x) + x y x + x y x x y Combining these two cases we see x y x y x y But this is the same as saying x y x y.
17 Lemma Proving a Number x is Zero via Estimates Let x be a real number that satisfies x < ɛ, ɛ > 0. Then, x = 0. We will prove this by contradiction. Let s assume x is not zero. Then x > 0 and x /2 is a valid choice for ɛ. The assumption then tells us that x < x /2 or x /2 < 0 which is not possible. So our assumption is wrong and x = 0.
18 Theorem Extended Triangle Inequality Let x 1 to x n be a finite collection of real numbers with n 1. Then x 1 + x n x x n or using summation notation n x i n x i. BASIS : P(1) is the statement x 1 x 1 ; so the basis step is verified. INDUCTIVE : We assume P(k) is true for an arbitrary k > 1. Hence, we know k k x i x i.
19 Now look at P(k + 1). We note by the triangle inequality applied to a = k x i and b = x k+1, we have a + b a + b or ( k+1 ) k x i x i + x k+1 Now apply the induction hypothesis to see k+1 k x i x i + x k+1 = k+1 This shows P(k + 1) is true and by the POMI, P(n) is true for all n 1. x i
20 Theorem l 2 Norm Inequality Let {a 1,..., a n } and {b 1,..., b n } be finite collections of real numbers with n 1. Then n 2 ( n ) ( n ) a i b i ai 2 bi 2 BASIS : P(1) is the statement a 1 b 1 2 a1 2b2 1 ; the basis step is true. INDUCTIVE : We assume P(k) is true for k > 1. Hence, we know k 2 ( k a i b i a 2 i ) ( k b 2 i )
21 Now look at P(k + 1). k+1 2 a i b i = k 2 a i b i + a k+1 b k+1 Let A denote the first piece; i.e. A = k a ib i. Then expanding the term A + a k+1 b k+1 2, we have k+1 2 a i b i = = ( k+1 a i b i ) 2 = A 2 + 2Aa k+1 b k+1 + a 2 k+1 b 2 k+1 k 2 ( k ) a i b i + 2 a i b i a k+1 b k+1 + ak+1 2 bk+1 2
22 or k+1 a i b i 2 k 2 k a i b i + 2 a i b i a k+1 b k+1 + ak+1 2 bk+1 2 Now use the induction hypothesis to see k+1 2 k k a i b i ai 2 bi k a 2 i k bi 2 a k+1 b k+1 (1) +a 2 k+1 b 2 k+1
23 k k Now let α = a2 i b k+1 and β = b2 i a k+1. We know for any real numbers α and β that (α β) 2 0. Thus, α 2 + β 2 2α β. We can use this in our complicated sum above. We have 2α β = 2 k k bi 2 a k+1 b k+1 α 2 + β 2 = ( k a 2 i a 2 i ) b 2 k+1 + ( k b 2 i ) a 2 k+1
24 Hence, the middle part of Equation 1 can be replaced by the 2αβ α 2 + β 2 inequality above to get k+1 2 a i b i = k + a 2 i ( k ( k k bi 2 + b 2 i ) a 2 i ) a 2 k+1 + a 2 k+1 b 2 k+1 b 2 k+1 (2) ( k ) ( k ) ai 2 + ak+1 2 bi 2 + bk+1 2
25 But this says k+1 2 a i b i ( k+1 a 2 i ) ( k+1 b 2 i ) This shows P(k + 1) is true and by the POMI, P(n) is true for all n 1.
26 Comment This is a famous type of theorem. For two vectors [ ] [ ] a1 b1 V = and W = a 2 the inner product of V and W, < V, W > is a 1 b 1 + a 2 b 2 and the norm or length of the vectors is V = a 21 + a22 and W = b1 2 + b2 2 The Theorem above then says < V, W > V W. This is called the Cauchy - Schwartz Inequality also. b 2 Comment This works for three and n dimensional vectors too.
27 Homework Homework 3 Prove the following propositions is not a rational number using the same sort of argument we used in the proof of 3 is not rational is not a rational number using the same sort of argument we used in the proof of 3 is not rational. 3.3 On the interval [1, 10], use factoring and the triangle inequality to prove x y 2 10 x y.
Proofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle
More informationDirchlet s Function and Limit and Continuity Arguments
Dirchlet s Function and Limit and Continuity Arguments James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 23, 2018 Outline 1 Dirichlet
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationFourier Sin and Cos Series and Least Squares Convergence
Fourier and east Squares Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University May 7, 28 Outline et s look at the original Fourier sin
More informationConvergence of Sequences
James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 2 Homework Definition Let (a n ) n k be a sequence of real numbers.
More informationConvergence of Sequences
Convergence of Sequences James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline Convergence of Sequences Definition Let
More informationDirchlet s Function and Limit and Continuity Arguments
Dirchlet s Function and Limit and Continuity Arguments James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 2, 2018 Outline Dirichlet
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Mathematical Induction Simple POMI Examples
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 2, 207 Outline Mathematical Induction 2 Simple POMI Examples
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 informationThe Limit Inferior and Limit Superior of a Sequence
The Limit Inferior and Limit Superior of a Sequence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 13, 2018 Outline The Limit Inferior
More informationBolzano Weierstrass Theorems I
Bolzano Weierstrass Theorems I James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 8, 2017 Outline The Bolzano Weierstrass Theorem Extensions
More informationThe Existence of the Riemann Integral
The Existence of the Riemann Integral James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 18, 2018 Outline The Darboux Integral Upper
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 Geometric Series
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 informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2017 Outline Geometric Series The
More informationSolving Diophantine Equations With Unique Factorization
Solving Diophantine Equations With Unique Factorization February 17, 2016 1 Introduction In this note we should how unique factorization in rings like Z[i] and Z[ 2] can be used to find integer solutions
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright
More informationGeneral Power Series
General Power Series James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University March 29, 2018 Outline Power Series Consequences With all these preliminaries
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 informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
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 informationUpper and Lower Bounds
James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University August 30, 2017 Outline 1 2 s 3 Basic Results 4 Homework Let S be a set of real numbers. We
More informationMathematical Induction
Mathematical Induction James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Introduction to the Class Mathematical Induction
More informationn n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set
1 Mathematical Induction We assume that the set Z of integers are well defined, and we are familiar with the addition, subtraction, multiplication, and division. In particular, we assume the following
More informationSummer HSSP Week 1 Homework. Lane Gunderman, Victor Lopez, James Rowan
Summer HSSP Week 1 Homework Lane Gunderman, Victor Lopez, James Rowan July 9, 2014 Questions 1 Chapter 1 Homework Questions These are the questions that should be turned in as homework. As mentioned in
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
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 informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline 1 Domains of Continuous Functions 2 The
More informationMathematical Induction. Section 5.1
Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction
More informationHOW TO WRITE PROOFS. Dr. Min Ru, University of Houston
HOW TO WRITE PROOFS Dr. Min Ru, University of Houston One of the most difficult things you will attempt in this course is to write proofs. A proof is to give a legal (logical) argument or justification
More informationPRINCIPLE OF MATHEMATICAL INDUCTION
Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION 4.1 Overview Mathematical induction is one of the techniques which can be used to prove variety of mathematical statements which are formulated in terms of
More informationCarmen s Core Concepts (Math 135)
Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 4 1 Principle of Mathematical Induction 2 Example 3 Base Case 4 Inductive Hypothesis 5 Inductive Step When Induction Isn t Enough
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 informationMATH 271 Summer 2016 Practice problem solutions Week 1
Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,
More informationSection 4.2: Mathematical Induction 1
Section 4.: Mathematical Induction 1 Over the next couple of sections, we shall consider a method of proof called mathematical induction. Induction is fairly complicated, but a very useful proof technique,
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 informationIntroduction to Analysis Constructing R from Q
Introduction to Analysis Constructing R from Q Definition. A subset A Q is called a cut if it posses the following three properties. A and A Q. 2. If r A, then also A contains every rational q < r. 3.
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 informationMathematics 228(Q1), Assignment 2 Solutions
Mathematics 228(Q1), Assignment 2 Solutions Exercise 1.(10 marks) A natural number n > 1 is said to be square free if d N with d 2 n implies d = 1. Show that n is square free if and only if n = p 1 p k
More informationHölder s and Minkowski s Inequality
Hölder s and Minkowski s Inequality James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 1, 218 Outline Conjugate Exponents Hölder s
More informationSolutions to Assignment 1
Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive
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 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 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 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 informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline Domains of Continuous Functions The Intermediate
More informationNotes: Pythagorean Triples
Math 5330 Spring 2018 Notes: Pythagorean Triples Many people know that 3 2 + 4 2 = 5 2. Less commonly known are 5 2 + 12 2 = 13 2 and 7 2 + 24 2 = 25 2. Such a set of integers is called a Pythagorean Triple.
More informationDue date: Monday, February 6, 2017.
Modern Analysis Homework 3 Solutions Due date: Monday, February 6, 2017. 1. If A R define A = {x R : x A}. Let A be a nonempty set of real numbers, assume A is bounded above. Prove that A is bounded below
More informationHomework 3: Solutions
Homework 3: Solutions ECS 20 (Fall 2014) Patrice Koehl koehl@cs.ucdavis.edu October 16, 2014 Exercise 1 Show that this implication is a tautology, by using a table of truth: [(p q) (p r) (q r)] r. p q
More informationINDUCTION AND RECURSION. Lecture 7 - Ch. 4
INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!
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 informationWhat can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationHOMEWORK #2 - MA 504
HOMEWORK #2 - MA 504 PAULINHO TCHATCHATCHA Chapter 1, problem 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 it makes sense to
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 informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
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 informationMathematics 220 Midterm Practice problems from old exams Page 1 of 8
Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then
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 informationFourier Sin and Cos Series and Least Squares Convergence
Fourier Sin and Cos Series and east Squares Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University December 4, 208 Outline Sin and Cos
More informationMath1a Set 1 Solutions
Math1a Set 1 Solutions October 15, 2018 Problem 1. (a) For all x, y, z Z we have (i) x x since x x = 0 is a multiple of 7. (ii) If x y then there is a k Z such that x y = 7k. So, y x = (x y) = 7k is also
More informationSOLUTIONS FOR 2012 APMO PROBLEMS
Problem. SOLUTIONS FOR 0 APMO PROBLEMS Solution: Let us denote by XY Z the area of the triangle XY Z. Let x = P AB, y = P BC and z = P CA. From y : z = BCP : ACP = BF : AF = BP F : AP F = x : follows that
More informationSECTION Types of Real Numbers The natural numbers, positive integers, or counting numbers, are
SECTION.-.3. Types of Real Numbers The natural numbers, positive integers, or counting numbers, are The negative integers are N = {, 2, 3,...}. {..., 4, 3, 2, } The integers are the positive integers,
More informationSection Summary. Proof by Cases Existence Proofs
Section 1.8 1 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Uniqueness Proofs Proving Universally Quantified Assertions Proof Strategies sum up
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
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 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 informationCCSU Regional Math Competition, 2012 Part I
CCSU Regional Math Competition, Part I Each problem is worth ten points. Please be sure to use separate pages to write your solution for every problem.. Find all real numbers r, with r, such that a -by-r
More informationAntiderivatives! Outline. James K. Peterson. January 28, Antiderivatives. Simple Fractional Power Antiderivatives
Antiderivatives! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline Antiderivatives Simple Fractional Power Antiderivatives
More informationExample: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple
Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple of 2, that is, an integer x is even if x = 2y for some integer
More informationUse mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis.
Exercises Exercises 1. There are infinitely many stations on a train route. Suppose that the train stops at the first station and suppose that if the train stops at a station, then it stops at the next
More informationCOM S 330 Lecture Notes Week of Feb 9 13
Monday, February 9. Rosen.4 Sequences Reading: Rosen.4. LLM 4.. Ducks 8., 8., Def: A sequence is a function from a (usually infinite) subset of the integers (usually N = {0,,, 3,... } or Z + = {,, 3, 4,...
More informationLecture 4: Probability, Proof Techniques, Method of Induction Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Probability, Proof Techniques, Method of Induction Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationWriting proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases
Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases September 22, 2018 Recall from last week that the purpose of a proof
More information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
More informationIntroduction to proofs. Niloufar Shafiei
Introduction to proofs Niloufar Shafiei proofs Proofs are essential in mathematics and computer science. Some applications of proof methods Proving mathematical theorems Designing algorithms and proving
More informationFundamentals of Pure Mathematics - Problem Sheet
Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions
More informationUniform Convergence and Series of Functions
Uniform Convergence and Series of Functions James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 7, 017 Outline Uniform Convergence Tests
More informationWe want to show P (n) is true for all integers
Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to
More informationAntiderivatives! James K. Peterson. January 28, Department of Biological Sciences and Department of Mathematical Sciences Clemson University
! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline 1 2 Simple Fractional Power Abstract This lecture is going to talk
More informationMathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument.
Mathematical Reasoning Rules of Inference & Mathematical Induction Example. If I take the day off it either rains or snows 2. When It rains, my basement floods 3. When the basement floods or it snows,
More informationMath 319 Problem Set #2 Solution 14 February 2002
Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust
More informationThe Class Equation X = Gx. x X/G
The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.
More informationComplex Numbers. Rich Schwartz. September 25, 2014
Complex Numbers Rich Schwartz September 25, 2014 1 From Natural Numbers to Reals You can think of each successive number system as arising so as to fill some deficits associated with the previous one.
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 informationContradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive
More informationHomework 1 Solutions
MATH 171 Spring 2016 Problem 1 Homework 1 Solutions (If you find any errors, please send an e-mail to farana at stanford dot edu) Presenting your arguments in steps, using only axioms of an ordered field,
More informationTomáš Madaras Congruence classes
Congruence classes For given integer m 2, the congruence relation modulo m at the set Z is the equivalence relation, thus, it provides a corresponding partition of Z into mutually disjoint sets. Definition
More informationCh 3.2: Direct proofs
Math 299 Lectures 8 and 9: Chapter 3 0. Ch3.1 A trivial proof and a vacuous proof (Reading assignment) 1. Ch3.2 Direct proofs 2. Ch3.3 Proof by contrapositive 3. Ch3.4 Proof by cases 4. Ch3.5 Proof evaluations
More informationMath 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution
Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and
More informationChapter 5. Number Theory. 5.1 Base b representations
Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,
More informationMATH 2400 (Azoff) Fall Notes to Homework Assignments. Problems from Chapter 1 of Spivak (Assignment 1)
MATH 2400 (Azoff Fall 2010 Notes to Homework Assignments Problems from Chapter 1 of Spivak (Assignment 1 1(ii. The fact that y( x (yx is not an axiom. Spivak proves it near the bottom of Page 7. 2. The
More information1. Propositions: Contrapositives and Converses
Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement
More informationMathematical induction
Mathematical induction Notes and Examples These notes contain subsections on Proof Proof by induction Types of proof by induction Proof You have probably already met the idea of proof in your study of
More informationHölder s and Minkowski s Inequality
Hölder s and Minkowski s Inequality James K. Peterson Deartment of Biological Sciences and Deartment of Mathematical Sciences Clemson University Setember 10, 2018 Outline 1 Conjugate Exonents 2 Hölder
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More information