HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

Similar documents
Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

3 The language of proof

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

CS 124 Math Review Section January 29, 2018

Direct Proof and Counterexample I:Introduction

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

Solving with Absolute Value

Mathematical Induction

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

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.

Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Note 2

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

Some Review Problems for Exam 1: Solutions

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Introduction to Basic Proof Techniques Mathew A. Johnson

HOW TO CREATE A PROOF. Writing proofs is typically not a straightforward, algorithmic process such as calculating

A Brief Introduction to Proofs

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

For all For every For each For any There exists at least one There exists There is Some

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

Introducing Proof 1. hsn.uk.net. Contents

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

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

Proving languages to be nonregular

Discrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction

CHAPTER 1. REVIEW: NUMBERS

Mathematical induction

CHAPTER 0. Introduction

We will work with two important rules for radicals. We will write them for square roots but they work for any root (cube root, fourth root, etc.).

1.2 The Well-Ordering Principle

What is a proof? Proofing as a social process, a communication art.

Proofs. Chapter 2 P P Q Q

MATHEMATICAL INDUCTION

What is proof? Lesson 1

Section 1.1: Logical Form and Logical Equivalence

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

Direct Proofs. the product of two consecutive integers plus the larger of the two integers

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Proof techniques (section 2.1)

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

Proof Techniques (Review of Math 271)

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

Math 24 Spring 2012 Questions (mostly) from the Textbook

Proofs Not Based On POMI

Fibonacci mod k. In this section, we examine the question of which terms of the Fibonacci sequence have a given divisor k.

Writing Mathematical Proofs

DR.RUPNATHJI( DR.RUPAK NATH )

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

MA103 STATEMENTS, PROOF, LOGIC

Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 2

Tutorial on Mathematical Induction

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

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham

Math 144 Summer 2012 (UCR) Pro-Notes June 24, / 15

Mathmatics 239 solutions to Homework for Chapter 2

Solving Equations by Adding and Subtracting

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic

Mathematical Preliminaries. Sipser pages 1-28

Supplementary Notes on Inductive Definitions

CONSTRUCTION OF THE REAL NUMBERS.

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

CSE 105 THEORY OF COMPUTATION

Cool Results on Primes

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

, p 1 < p 2 < < p l primes.

MI 4 Mathematical Induction Name. Mathematical Induction

One-to-one functions and onto functions

PGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.

Introduction to Metalogic

Logic, Sets, and Proofs

irst we need to know that there are many ways to indicate multiplication; for example the product of 5 and 7 can be written in a variety of ways:

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Proofs Not Based On POMI

Gödel s Incompleteness Theorem. Overview. Computability and Logic

Equivalent Forms of the Axiom of Infinity

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

Techniques for Proof Writing

ASSIGNMENT 1 SOLUTIONS

Lecture Notes on Inductive Definitions

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

COM S 330 Lecture Notes Week of Feb 9 13

Mat Week 8. Week 8. gcd() Mat Bases. Integers & Computers. Linear Combos. Week 8. Induction Proofs. Fall 2013

G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

The Inductive Proof Template

Divisibility = 16, = 9, = 2, = 5. (Negative!)

A Little History Incompleteness The First Theorem The Second Theorem Implications. Gödel s Theorem. Anders O.F. Hendrickson

Student Responsibilities Week 8. Mat Section 3.6 Integers and Algorithms. Algorithm to Find gcd()

Preparing for the CS 173 (A) Fall 2018 Midterm 1

1 Modular Arithmetic Grade Level/Prerequisites: Time: Materials: Preparation: Objectives: Navajo Nation Math Circle Connection

Homework 1 (revised) Solutions

Ch 3.2: Direct proofs

PROBLEM SET 3: PROOF TECHNIQUES

Matrix Multiplication

Transcription:

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 why the claim is true, based on the known facts (theorems, propositions, lemmas, etc). It is also a method of communicating a mathematical truth to another person who also speaks the language. So, use mathematical language as much as you can! The most two important things a proof must possess are clarity and backup: be sure that your statements are clear and they are each backed up with a legal(logical) reason. A. Know What Exactly You Need to Prove. In order to do a proof, you first must know what exactly you need to prove. A statement you need to prove often stated as follows: If A is true, then B is true, or Assume A, then B. Here A is often called hypothesis, and B is called the conclusion. For example, in the statement Let n = p a 1 k, where p 1,..., p k are distinct primes. Prove that each of a 1,..., a k is even, then n is a perfect square, the fact that n = p a 1 k, where p 1,..., p k are distinct primes, and a 1,..., a k are even numbers is the hypothesis (assumption, or known fact), the statement of n is a perfect square is the conclusion, i.e. the part you need to prove. B. Several Fundamental Proof Techniques. The Forward-Backward Method. When proving A implies B, you are given that A is true and you must somehow use this information to reach the conclusion that B is true. When you write the proof, you use the forward process, i.e. start from the assumption A to reach the conclusion B by going through several clear and logical arguments. However, In attempting to figure out just how to reach the conclusion, the trick is to go through a backward process. 1

In the backward process you begin by asking How or when can I conclude that the statement B is true? By asking such question, you can call on the information provided in the assumption, together with your general knowledge(specially the theorems you have learned), thus allowing you to focus on those aspects of the problem that really seem to matter! Once you have posted the key question, the next step in the backward process is to answer it. Sometimes it might take several (backwards) steps to eventually make use the assumptions in A. The steps can be as follows: In order to prove B, we can instead to prove B 1 (i.e. if B 1 is true then B is true), instead of proving B 1, we need to prove B 2, you keep moving towards to match the information contained in A. The backward process is only some analysis of how to reach the conclusion B. It can be written on a scratch paper. However, to write the proof, you need to translate your analysis to a rigorous proof: starting from the statement A, which are given to be true, and deriving from it by going through several clear and logical steps to conclude that B is true. This process is called the forward process! Example 1. Show that It n is an even integer, then n 2 is an even integer. Backward Process (written it on a scratch paper, don t turn it in): You should ask How can I show that n 2 is even? By the definition, you need to show that n 2 = 2k for some integer k. The problem is then how to find such k. Well, of course, you need to go back to see what n looks like. We find that we are given that n is an even number, i.e. n = 2k 1. We then square it, we get n 2 = 4k 2 1 = 2(2k 2 1) which is still an even number. Is it a proof? It is not. But it is an analysis tells you why n 2 is an even number by using the facts that are given (and using the theorems you have learned). You still need to write a clear and logical proof (forward process). Proof of example 1 (forward process): Since n is even, we have n = 2k 1 where k 1 is some integer. Hence n 2 = 4k 2 1 = 2(2k 2 1), where 2k 2 1 is still an integer. Hence n 2 is an even integer. This finishes the proof. 2

Here is another example taken from the HW problem. Example 2. Let n = p a 1 k, where p 1,..., p k are distinct primes. Prove that each of a 1,..., a k is even, then n is a perfect square. What you need to prove: You are asked to prove the following claim(fact): n is a perfect square! Here n is a perfect square means that n = m 2 for some integer m. Hence you need to show that n = m 2 for some integer m (this is statement B). What are given: Here you are given two facts are: (i) n = p a 1 k, where p 1,..., p k are distinct primes; (ii) a 1,..., a k are even numbers. (these are statements A). What you are supposed to do: You need to write several steps, based on the facts (i) and (ii) and together with the theorems and results you have learned(use them as you need), in a logical(legal) way, to show that you can find an integer m such that n = m 2 (this means that n is a perfect number). Backward Process (written it on a scratch paper, don t turn it in): Remember the goal is show that n is a perfect number. This is the same to find an m such that n = m 2. How to find such m?(key question!) Well, of course, you need to go back to see what n looks like. The fact (i) tells us that n = p a 1 k, and (ii) tells us a 1,..., a k are even numbers. Now do you have any clue to find m? If not, let us see what does a 1,..., a k are even numbers mean. It means that a 1,..., a k all have number 2 as a factor, in other words: a 1 = 2b 1,..., a k = 2b k for some integers b 1,..., b k (we don t know what they are, but we don t care about it, as long as we make sure they are integers). Now, try to plug a 1 = 2b 1,..., a k = 2b k into n = p a 1 k. What we find is: n = p2b 1 1 p 2b 2 2 p 2b k k, this is the same as: n = (p b 1 k ) 2 (why? I believe you know it why!). Now do you see what m is supposed to be? Yes: m = p b 1 k. In this way, we find what m is! Is it a proof? Of course, it is not. But it is an analysis tells you why n is a perfect number by using the facts that 3

are given and using the theorems you have learned. You still need to write a clear and logical proof (forward process). Remark: The bridge connecting A to B is n = p a 1 k. It links the facts a 1,..., a k are even numbers to your destination (i.e. n is a perfect number). Proof of Example 2 (Forward Process): Since a 1, a 1,..., a k are even numbers (we are given in the problem), a 1 = 2b 1,..., a k = 2b k for some integers b 1,..., b k. We also know that n = p a 1 k. Hence n = pa 1 k = p 2b 1 1 p 2b 2 2 p 2b k k = (p b 1 k ) 2. So, if we let m = p b 1 k, then n = m 2. Hence n is a perfect number. So the claim is true. This finishes the proof. The Construction Technique. If you see the word there is in B, you need, in general, use this technique (in the backward process). The idea is to construct the desired object (Remember the construction of the object does not, by itself, constitute the proof; rather it is used in the backward process, the proof needs to show that the object you constructed is in fact the correct one). How you actually construct the desired object is not at all clear. Sometimes it will be by trial and error; sometimes an algorithm can be designed to produce the desired object-it all depends on the particular problem. In almost all cases, the information in statement A will be used to help accomplish the task! In the proof of the example 2 above, we actually used the Construction Technique. In fact, to show that n is a perfect number. It is the same to show that there is an m such that n = m 2. We constructed m = p b 1 k in the proof of Example 2. Here is another example. Example 3. Prove that if a, b and c are integers for which a b and b c, then a c. Backward Process: What we need to prove is a c. The (key) question is How can I show that an integer (namely, a) divides another integer 4

(namely, c)? By definition, it is equivalent to show that there is an integer k such that c = ak. How do we find such k? Use the Construction Technique! To find such k, we need to see what a, b and c look like? Well, we are given that a b and b c, i.e. b = ak 1, c = bk 2, where k 1, k 2 are two integers. Hence, it follows that c = bk 2 = ak 1 k 2. In this way, we found k! In fact k = k 1 k 2. Proof of Example 3 (Backward Process): Since a b and b c, we have b = ak 1, c = bk 2, where k 1, k 2 are two integers. Hence, it follows that c = bk 2 = ak 1 k 2. So a c. The Choose Technique If you see the word for all in B, you need, in general, use this technique (in the backward process). To show that a statement is true for all the objects that have the certain property. One way you might be able to do is to list all of them. When the list is finite, this might be a reasonable way to proceed; however, more often than not, this approach will not be practicable because the list is too long, or even infinite. The Choose method can be thought as a proof machine that, rather than actually checking that something happen for each and every object having the certain property, has the capability of doing so. The Choose Technique shows you how to design the inner working of the proof machine so that it will have this capability. Here is how it works: You choose one object that has the certain property. Then, by using the forward-backward method, you must conclude that, for the chosen object, the something happen. If you are successful, your proof machine will have the capability of repeating the same proof for any of the objects having the certain property. Example 4. Let S = { real numbers x : (x 2 3x + 2) 0}, T = { real numbers x : 1 x 2}. Prove that S = T. Backward Process: The (key) question is How can I show that two sets (namely, S and T ) are equal? We need to prove two things: S T and T S. To prove that S T, the (key) question is How 5

can I show that a set (namely, S) is a subset of another (namely, T )? The answer is that you must show that for all element x in S, x is in T. Thus, it indicates you should proceed with the choose method. To do so, you must choose an object having the certain property(in our case the certain property is x in S ). In this case, you should choose an element, say x in S. Once you chose such x, you need to show such x is also in T (this part of analysis is omitted)! Proof of Example 4(forward Process): We need to prove two things: S T and T S. To see that S T, we use the Choose Technique. Let x be in S (the use of word let in condensed proofs frequently indicates that the choose method has been invoked!). Consequently, (x 2 3x + 2) 0, and so (x 2)(x 1) 0. This means that either (x 2) 0 and (x 1) 0, or else that, (x 2) 0 and (x 1) 0. The former cannot happen because, if it did, x 2 and x 1. Hence it must be that x 2 and x 1, which means that x T. This proves that S is a subset of T. The proof that T is a subset of S is omitted. The Induction Technique: A separate proof of technique, to prove the statement B containing for all, is known as mathematical induction. Proof by Contradiction Method: With all the proof techniques you have learned so far, you may well find yourself unable to complete a proof for one reason or another. As powerful as the forward-backward method is, it may not always lead to a successful proof. Let us look at this example: Prove that if n is an integer and n 2 is even, then n is even. The forward-backward method gives rise to the key question How can I show that an integer (namely, n) is even? One answer is to show that there is an integer k such that n = 2k. The word there is suggests the construction method. How to find(construct) such k? Look back to see what we 6

are given. We are given that n 2 is even, so n 2 = 2k 1 for some positive integer k 1. It natural to take the square root to obtain n = 2k 1. But how can you rewrite n = 2k 1 as n = 2k? It would seem that the forward-backward method has failed! Fortunately, there are several other techniques that you might want to try before you five up. One of them is the Proof by Contradiction Method. This is how it works: With the Proof by Contradiction Method, you begin by assuming that A is true, just as you would do in the forward-backward method. However, to reach the desired conclusion that B is true, you proceed by asking yourself a simple question Why can t B false? After all, if B is supposed to be true, then there must be some reason why B cannot be false. The objective of the method is to discover that reason. In other words, the idea of the Proof by Contradiction Method is to assume that A is true and B is false, and see why this cannot happen. So what does it mean to see why this cannot happen? Suppose, for example, that as a result of assume that A is true and B is false, you were somehow able to reach the conclusion that 1 = 0! Would that not convince you that it is impossible for A is true and B is false simultaneously? Thus, in a Proof by Contradiction, you assume that A is true and B is not true. You must use this information to reach a contradiction to something that you absolutely know to be true. Example 5. Prove that if n is an integer and n 2 is even, then n is even. Backward Process: You use the Proof by Contradiction Method. So you assume that A is true and B is NOT true. In this case, you assume that n is an integer, n 2 is even (A) and n is NOT even (B is NOT true). A contradiction must now be reached by using this information. Let us analysis how to reach the contradiction. First we use the information that n is not even, so n is odd. Hence we can write it as n = 2k +1. Now we want to the information about n 2. So we take the square for n = 2k + 1 to get n 2 = 4k 2 + 4k + 1. By the information about n 2, we also know that n 2 is even. So 2 n 2. Hence 2 (4k 2 +4k+1). It follows that 2 1 which is a contradiction! Proof of Example 5(forward Process): We use the method of 7

Proof by contradiction. Assume, to the contrary, that n is not even. Then n is odd. Hence we can write it as n = 2k + 1. Hence n 2 = 4k 2 +4k +1. By the assumption, we also know that n 2 is even. So 2 n 2. Hence 2 (4k 2 + 4k + 1). It follows that 2 1 which is a contradiction. This contradiction establishes the claim. C. The if and only if statements. Some of the most useful statements in mathematics come in the form of an if and only if statement. In this case, it asks you to prove both directions. For example, in the statement A holds if and only if B holds, it asks you to prove if A, then B and if B, then A. Homework #3 in chapter 1 provides such example. D. Several Warnings! Examples supporting a statement do not constitute a proof!: Here is an example, if you asked to prove that The sum of any two even integers is always an even integer, you wrote like this: since 2 + 4 = 6, 28 + 12 = 40, 123456 + 765432 = 888888, hence the sum of any two even integers is always an even integer. This is not a proof! This only helps you to increase your confidence to believe that this statement should be true. Use the mathematical languages as much as you can!: Here is an example, if you asked to prove that The sum of any two even integers is always an even integer, you wrote like this: Any even integer has 2 as its divisor, so when you add two even integers, we still get a number which has 2 as an divisor, hence it is still an even integer. Is the proof correct? May be. But you better write it by using mathematical languages as much as you can! Here is what you should write: Let n 1, n 2 be two even integers. Then n 1 = 2k 1, n 2 = 2k 2, hence n 1 + n 2 = 2(k 1 +k 2 ) which is also an even integer. This proves the statement that The sum of any two even integers is always an even integer. E. More example: 8

Example 6. Suppose that n = p a 1 k, where p 1,..., p k are distinct primes. Prove that n is a perfect square if and only if each of a 1,..., a k is even. This problem actually consists of two problems: Problem (I): Suppose that n = p a 1 k. Prove that if n is a perfect square, then each of a 1,..., a k is even. (In this problem, the facts that are given are: (i) n = p a 1 k, (ii) n is a perfect square. (The claim you need to prove is: each of a 1,..., a k is even. ). Problem (II): Suppose that n = p a 1 k. Prove that if each of a 1,..., a k is even, then n is a perfect square. ((In this problem, the facts that are given are: (i) n = p a 1 k, (ii) each of a 1,..., a k is even. The claim you need to prove is: n is a perfect square ). The problem (II) has been proved in Example 1. We now consider problem (I). What you need to prove: You need to prove that you can find some distinct prime numbers p 1,..., p k and even numbers a 1,....a k such that n = p a 1 k. What are given: You know(you are given) that n is a perfect number. Also, please don t forget use the theorems we have learned(all these theorems also become facts!). What you are supposed to do: You need to write several steps (statements), based on the fact that n is a perfect number and the theorems you have learned, to show that n = p a 1 k, where p 1,..., p k are distinct primes and a 1,....a k are even numbers. Backward Process: Remember that your goal is to show that n = p a 1 k, where p 1,..., p k are distinct primes and a 1,....a k are even numbers. What you know(you are given) is that n is a perfect number. Of course, this piece of information seems not enough. What do we do? We need help! Where do we get help? From the results we have learned! Think it about carefully: The statement we need to prove involves factorization! Agree? If you agree, then let us find what result we have learned about factorization. It is the following result Fundamental Theorem of Arithmetic: 9

each integer n > 1 can be expressed as a product of powers of primes in the form n = p a 1 k, where p 1,..., p k are distinct primes and a 1,....a k are positive integers. Apply the Fundamental Theorem of Arithmetic to n we get n = p a 1 k. Are we done? No!. In fact, if you compare it with what we need to show, you ll see that it remains to show that a 1,..., a k are even numbers. How do we show that, we still need to use what we are given : n is a perfect number, i.e., n = m 2 for some integer m. How to use it? Well, here is the trick: since n = m 2, why don t we apply Fundamental Theorem of Arithmetic to m (remember we want to get powers being even). Let us try: apply the Fundamental Theorem of Arithmetic to m, we have m = p b 1 k (note: since eventually we need n = p a 1 k, so here we use b 1,..., b k as powers for m). Then n = m 2 = (p b 1 k ) 2 = p 2b 1 1 p 2b 2 2 p 2b k k. Woo! we get it, since a 1 = 2b 1,..., a k = 2b k, they are even numbers! Remark: Here I think the bridge is the Fundamental Theorem of Arithmetic which links n is a perfect number and the destination n = p a 1 k, where p 1,..., p k are distinct primes and a 1,....a k are even numbers. The facts we used are (i) n is a perfect number, (ii) Fundamental Theorem of Arithmetic. Based on the analysis, the writing of proof becomes quite simple. Proof of Example 6(forward process): This is a if and only if statement. This problem actually consists of two problems: Problem (I)( ): Suppose that n = p a 1 k. Prove that if n is a perfect square, then each of a 1,..., a k is even. Problem (II) ( ): Suppose that n = p a 1 k. Prove that if each of a 1,..., a k is even, then n is a perfect square. The part have been proved in Example 2. So we only need to prove the part. In fact, by assumption(the fact we are given), n is a perfect number. So n = m 2, where m is an integer. We can assume that m is a positive integer(since n = m 2 = ( m) 2 ). If m = 1, then n = 1 = p 2 0 so the claim is true. Now assume that m > 1, then by the Fundamental Theorem of Arithmetic, m = p b 1 k, where p 1,..., p k are distinct primes and b 1,....b k are positive integers. Hence n = m 2 = (p b 1 k ) 2 = p 2b 1 1 p 2b 2 2 p 2b k k. Let a 1 = 2b 1,..., a k = 2b k, then a 1,..., a k are even numbers and n = p a 1. Hence the claim holds. This finishes the claim. k 10