Basic Proof Techniques

Similar documents
Proof Techniques 1. Math Camp n = (1 = n) + (2 + (n 1)) ( n 1. = (n + 1) + (n + 1) (n + 1) + n + 1.

Introduction to Real Analysis

Constrained Optimization

Proof by Contradiction

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

MATH CSE20 Homework 5 Due Monday November 4

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Basic Proof Examples

means 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.

Multi Variable Calculus

Solutions for Homework Assignment 2

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Lecture Notes: Mathematical/Discrete Structures

Some Review Problems for Exam 1: Solutions

(3,1) Methods of Proof

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

CSE 20. Final Review. CSE 20: Final Review

PROBLEM SET 3: PROOF TECHNIQUES

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

Proofs. Joe Patten August 10, 2018

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Proofs. Chapter 2 P P Q Q

Writing Mathematical Proofs

1 Take-home exam and final exam study guide

In N we can do addition, but in order to do subtraction we need to extend N to the integers

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Meaning of Proof Methods of Proof

The Process of Mathematical Proof

Homework 5 Solutions

THE REAL NUMBERS Chapter #4

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Homework 5 Solutions

MATH 271 Summer 2016 Practice problem solutions Week 1

Dynamical Systems. August 13, 2013

In 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

CITS2211 Discrete Structures Proofs

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Definitions Chapter 1 Proof Technique (Pg.1): Proof (Pg.2): Statement (Pg.2): Conditional Statement/Implication (Pg3.): Hypothesis(Pg.

Section Summary. Proof by Cases Existence Proofs

Example: 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

In N we can do addition, but in order to do subtraction we need to extend N to the integers

MATH 135 Fall 2006 Proofs, Part IV

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

1. Mathematical Proofs

Hence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ

Solutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa

MI 4 Mathematical Induction Name. Mathematical Induction

Math1a Set 1 Solutions

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Lecture 5 : Proofs DRAFT

Methods of Proof. Zach Wagner Department of Mathematics University of California, Los Angeles Los Angeles, California USA.

Solutions to Homework Set 1

Introduction to Induction (LAMC, 10/14/07)

Example ( x.(p(x) Q(x))) ( x.p(x) x.q(x)) premise. 2. ( x.(p(x) Q(x))) -elim, 1 3. ( x.p(x) x.q(x)) -elim, x. P(x) x.

Math 3450 Homework Solutions

At least one of us is a knave. What are A and B?

MAT115A-21 COMPLETE LECTURE NOTES

One side of each sheet is blank and may be used as scratch paper.

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Recitation 7: Existence Proofs and Mathematical Induction

CSE 1400 Applied Discrete Mathematics Proofs

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

Exercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <

MATH 2200 Final LC Review

Proofs. Chapter 2 P P Q Q

A lower bound for X is an element z F such that

3.6. Disproving Quantified Statements Disproving Existential Statements

Homework 3: Solutions

Mathematical Induction

Sec$on Summary. Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs

Linear Algebra: Linear Systems and Matrices - Quadratic Forms and Deniteness - Eigenvalues and Markov Chains

The natural numbers. The natural numbers come with an addition +, a multiplication and an order < p < q, q < p, p = q.

(4) Using results you have studied, show that if x, y are real numbers,

- involve reasoning to a contradiction. 1. Emerson is the tallest. On the assumption that the second statement is the true one, we get: 2. 3.

Proof techniques (section 2.1)

1 Proof by Contradiction

Mathematical Writing and Methods of Proof

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers

In 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: cos(3 n x) 2 n. sin(3 n x), 2

Summer HSSP Week 1 Homework. Lane Gunderman, Victor Lopez, James Rowan

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Mathematical Reasoning & Proofs

Homework 7 Solutions to Selected Problems

Mathematical Induction

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

COT 2104 Homework Assignment 1 (Answers)

Math 104: Homework 1 solutions

1 The Well Ordering Principle, Induction, and Equivalence Relations

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Homework 3 Solutions, Math 55

Techniques for Proof Writing

Contents. 1 Introduction to Dynamics. 1.1 Examples of Dynamical Systems

CMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Proof Templates 1

DISCRETE MATH: FINAL REVIEW

Mat 243 Exam 1 Review

Lecture 1. Econ 2001: Introduction to Mathematical Methods (a.k.a. Math Camp) 2015 August 10

Transcription:

Basic Proof Techniques Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Basic Notation The following is standard notation for proofs: A B. A implies B. A B. B implies A. Note that A B does not mean B A. Example: If (A) a person eats two hot dogs, she also (B) eats one hot dog. However, if (B) a person eats one hot dog, that does not imply that she also (A) eats two hot dogs. A B. A implies B and B implies A. Another way of saying this is that A holds if and only if (i) B holds, or that A is equivalent to B. A. Not A, or the negation of A. Example: If A is the event that x 10, then A is the event that x > 10. It is common to use mathematical symbols for words while writing proofs in order to write faster. The following are commonly used symbols: For all, for any There exists Is contained in, is an element of Such that, contains as an element Is a subset of QED Latin for quod erat demonstandum, or which was to be proven. A common way to signal to the reader that you have successfully concluded your proof. 2 Proofs We seek for ways to prove that A B. 1

2 Basic Proof Techiniques 2.1 Direct Proofs 2.1.1 Deductive Reasoning A direct proof by deductive reasoning is a sequence of accepted axioms or theorems such that A 0 A 1 A 2 A n 1 A n, where A = A 0 and B = A n. The diculty is nding a sequence of theorems or axioms to ll the gaps. Example: Prove the number three is an odd number. Proof: A number q is odd if there exists an integer m such that q = 2m + 1. Let m = 1. Then 2m + 1 = 3. Therefore three is an odd number. QED 2.1.2 Contrapositive A contrapositive proof is just a direct proof of the negation. It makes use of the fact that the statement A B is equivalent to the statement B A. For example, if (A) all people with driver's licenses are (B) at least 16 years old, then if you are not ( B) 16 years old, then you do not ( A) have a driver's license. So proving A B is really the same as proving B A. Example: Let x and y be two positive numbers. Prove that if xy > 9, then x > 3 or y > 3. Proof: Suppose that both x 3 and y 3. Then xy 9. QED (Here A: xy > 9, B: x > 3 or y > 3. In order to prove A B we proved B A.) 2.2 Indirect Proofs 2.2.1 Contradiction Suppose that we are trying to prove a proposition A, and we cannot prove it directly. However, we can show that all other alternatives to A are impossible. Then we have indirectly proved that A must be true. Therefore, the we can prove A B by rst assuming that A B and nding a contradiction. In other words, we start o by assuming that A is true but B is not. If this leads to a contradiction, then either B was actually true all along, or A was actually false. But since we assume A is true, then it must be that B is true, and we have a proof by contradiction. Example: Prove that 2 is an irrational number. Proof: Suppose not. Then 2 is a rational number, so it can be expressed in the form p q, where p and q are integers which are not both even. This implies that 2 = p2 q 2 2q2 = p 2, which implies that p 2 is even, which in turn implies that q 2 is not even. The fact that p 2 is even also implies that p is even, so there exists a integer m such that 2m = p. This implies which means that q is even, a contradiction. QED 4m 2 = p 2 = 2q 2 q 2 = 2m 2, 2.2.2 Induction Induction can only be used for propositions about integers or indexed by integers. Consider a list of statements indexed by the integers. Call the rst statement P (1), the second P (2), and the nth

Math Camp 3 statement P (n). If we can prove the following two statements about the sequence, then every statement in the entire sequence must be true: 1. P (1) is true. 2. If P (k) is true, then P (k + 1) is true. Induction works because by 1., P (1) is true. By 2., P (2) is true since P (1) is true. Then P (3) is true by 2. again, and so is P (4) and P (5) and P (6), until we show that all the P 's are true. Notice that the number of propositions need not be nite. Example: Prove that the sum of the rst n natural numbers is 1 2n(n + 1). Proof: Let n = 1. Then 1 2 1(1+1) = 1 j=1 j = 1. Now let n = k, and assume that k j=1 j = 1 2 k(k+1). We add k + 1 to both sides to get QED k+1 j = 1 ( ) 1 2 k(k + 1) + k + 1 = 2 k + 1 (k + 1) = 1 (k + 1) ((k + 1) + 1). 2 j=1 2.3 Epsilon-Delta Arguments A lot of denitions and proofs in real analysis use the "ɛ and δ" concept. For example, recall the denition of the limit of a function: We write lim x p f(x) = q if for every ɛ > 0 we can nd δ > 0 such that f(x) q < ɛ for all x for which x p < δ. It is important to get the quantiers correct: For every ɛ there exists δ such that... This means that δ will change with ɛ - for some value ɛ 1 we'll be able to nd δ 1 so that the statement holds, and for some other value ɛ 2 we'll nd δ 2 which may dierent from δ 1. The opposite would be "there exists δ such that for every ɛ it holds that...". Here there is only one δ which has to t all dierent values of ɛ. When we prove a statement involving an ɛ-δ denition, we start by ascribing a xed, but unknown, value to ɛ ("x ɛ > 0"). Then we try to nd value of δ that makes the statement in question come true. This δ will usually be a function of ɛ. This completes the proof since ɛ could have been anything: For every ɛ we have found a δ such that the statement holds. When we want to show that a certain ɛ-δ statement does not hold, we usually choose one particular ɛ for which the statement should not be true ("Let ɛ = 0.5"). Then we proceed by contradiction: We pretend there exists some δ that ts our ɛ and show that this leads to a contradiction. Ergo, no δ can t our particular ɛ. Therefore it is not true that for all ɛ we can nd a tting δ. Example 1 Prove that lim x 0 x 2 + 1 = 1. Proof: Fix ɛ > 0. How small does δ have to be such that (x 2 + 1) 1 = x 2 < ɛ for all x for which x < δ? δ = ɛ works: If x < ɛ then x 2 < ( ɛ) 2. x 2 = x 2 and ( ɛ) 2 = ɛ, therefore x 2 < ɛ. QED. Example 2 Show that f(x) = { 1 if x 0 1 if x < 0 is not continuous. Recall that f is continuous at a point p if for every ɛ > 0 we can nd δ > 0 such that f(x) f(p) < ɛ for all x for which x p < δ. f is probably not continuous is at 0. We therefore take p = 0 and show that the above denition of continuity does not hold. It suces to show that for one particular ɛ we

4 Basic Proof Techiniques cannot nd a tting δ. We prove this by contradiction. Proof: Let ɛ = 1. Suppose there exists δ such that f(x) f(0) < ɛ for all x for which x < δ. Plugging in, this means f(x) 1 < 1 for all x for which x < δ. Set x = δ 2. Then x < δ but f(x) 1 = 1 1 = 2 which is not < 1. This contradicts f(x) 1 < 1 for all x for which x < δ. Therefore there exists not δ such that the denition of continuity becomes true. f is not continuous at 0 and therefore not a continuous function. QED. Exercises 1. Negate the denition of convergence for a sequence. (The denition is in Real Analysis part.) 2. Negate the denition of continuity. { 1 if x 0 3. Let f(x) =. Prove that f is not continuous at 0. 1.1 if x = 0 1 4. Prove that lim x 0 x K for any number K. 5. Let f and g be two continuous functions from R to R. Show that f + g is continuous.

Math Camp 5 3 Homework Prove the following by direct proof. 2. The sum of the rst n natural numbers is 1 2n(n + 1). 3. If 6x + 9y = 101, then either x or y is not an integer. Prove the following by contrapositive. 2. If x + y > 100, then either x > 50 or y > 50. Prove the following by contradiction. 2. 3 is an irrational number. 3. There are innitely many prime numbers. Prove the following by induction. 2. 2n 2 n. 3. n i=1 i2 = 1 6n (n + 1) (2n + 1). 4. The sum of the rst n odd integers is n 2 (This is the rst known proof by mathematical induction, attributed to Francesco Maurolico. Just in case you were interested.) Find the error in the following argument, supposedly by induction: If there is only one horse, then all the horses are of the same color. Now suppose that within any set of n horses, they are all of the same color. Now look at any set of n + 1 horses. Number them 1, 2, 3,..., n, n + 1. Consider the sets {1, 2, 3,..., n} and {2, 3, 4,..., n + 1}. Each set is a set of n horses, therefore they are all of the same color. But these sets overlap, therefore all horses are the same color. Prove the following (solution in Analysis solution sheet): 1. Let f and g be functions from R k to R m which are continuous at x. Then h = f g is continuous at x. 2. Let f and g be functions from R k to R m which are continuous at x. Then h = fg is continuous at x. In rst semester micro you will be introduced to preference relations. We say that x y, (read x is weakly preferred to y) if x is at least as good as y to the agent. From this, we can derive two important relations:

6 Basic Proof Techiniques The strict preference relation,, dened by x y x y but not y x. The strict preference relation is read x is strictly preferred to y. The indierence relation,, dened by x y x y and y x. The indierence relation is read x is indierent to y. We say that a preference relation is rational if: x, y, either x y or y x. x, y, z, if x y and y z, then x z. Prove the following two statements given that preferences are rational: 1. If x y and y z, then x z. 2. If x y and y z, then x z.