Recitation 7: Existence Proofs and Mathematical Induction

Similar documents
a + 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

(3,1) Methods of Proof

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Homework 3: Solutions

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

Basic Proof Examples

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

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

Midterm Preparation Problems

Fall 2017 Test II review problems

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

Math 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Math 3000 Section 003 Intro to Abstract Math Homework 6

MATH10040: Numbers and Functions Homework 1: Solutions

MATH 271 Summer 2016 Practice problem solutions Week 1

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

MATH CSE20 Homework 5 Due Monday November 4

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

M381 Number Theory 2004 Page 1

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

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

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.

Proof by Contradiction

MATH 2200 Final LC Review

Discrete Math I Exam II (2/9/12) Page 1

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

Homework #2 solutions Due: June 15, 2012

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

Chapter 1 : The language of mathematics.

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

Writing Assignment 2 Student Sample Questions

Solutions to Practice Final

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Since the two-sided limits exist, so do all one-sided limits. In particular:

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

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

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

Quiz 1. Directions: Show all of your work and justify all of your answers.

1. Propositions: Contrapositives and Converses

Midterm 2 Sample Introduction to Higher Math Fall 2018 Instructor: Linh Truong

1 Take-home exam and final exam study guide

Written Homework # 4 Solution

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

n f(k) k=1 means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other words: n f(k) = f(1) + f(2) f(n). 1 = 2n 2.

0 Sets and Induction. Sets

Math 319 Problem Set #2 Solution 14 February 2002

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.

Math 3450 Homework Solutions

Solutions to Assignment 1

Complete Induction and the Well- Ordering Principle

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

Some Review Problems for Exam 1: Solutions

10.1 Radical Expressions and Functions Math 51 Professor Busken

Midterm Exam Solution

Homework 5 Solutions

We want to show P (n) is true for all integers

ASSIGNMENT 1 SOLUTIONS

Math 110 HW 3 solutions

MATH FINAL EXAM REVIEW HINTS

Practice Test III, Math 314, Spring 2016

Proof by contrapositive, contradiction

Math 473: Practice Problems for Test 1, Fall 2011, SOLUTIONS

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

REVIEW FOR THIRD 3200 MIDTERM

CCSU Regional Math Competition, 2012 Part I

Johns Hopkins Math Tournament 2018 Proof Round: Sequences

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Section 0. Sets and Relations

Problem Set 5 Solutions

Fall 2014 CMSC250/250H Midterm II

Solutions for Homework Assignment 2

Math 10850, fall 2017, University of Notre Dame

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4

Mathematics 228(Q1), Assignment 3 Solutions

Writing Mathematical Proofs

COT 2104 Homework Assignment 1 (Answers)

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

Math 230 Final Exam, Spring 2009

Notes on Systems of Linear Congruences

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

Continuity. Chapter 4

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

PRACTICE PROBLEMS: SET 1

Mathematical Reasoning & Proofs

Carmen s Core Concepts (Math 135)

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

Math 230 Final Exam, Spring 2008

Discussion Summary 10/16/2018

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Continuity. Chapter 4

CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions

1. multiplication is commutative and associative;

Transcription:

Math 299 Recitation 7: Existence Proofs and Mathematical Induction Existence proofs: To prove a statement of the form x S, P (x), we give either a constructive or a non-contructive proof. In a constructive proof, one proves the statement by exhibiting a specific x S such that P (x) is true. In a non-constructive proof, one proves the statement using an indirect proof such as a proof by contradiction. Thus, one might prove that the negation x S, P (x) is false by deriving a contradiction. Example of a constructive proof: Suppose we are to prove n N, n is equal to the sum of its proper divisors. Proof: Let n = 6. The proper divisors of 6 are 1, 2, and 3. Since 1 + 2 + 3 = 6, we have proved the statement. Exercise 1: Give another proof of this statement by finding a different example. (Hint: The smallest example larger than 6 happens to be a number between 25 and 30.) An integer which is equal to the sum of its proper divisors is called a perfect number. An open problem is to prove or disprove the following statement: there exists an odd perfect integer. Example of a non-constructive proof: Suppose we are to prove x Q n N, x n. Proof: Suppose, by way of contradition, that there exists an x Q such that x > n for every n N. Since 1 N, we have that x > 1. Therefore, x = a/b for some a, b N such that a > b. Since a N, a/b > a. This implies that 1/b > 1; and thus 1 > b, which is a contradiction (since b N). Exercise 2: The statement in the previous example can be proved by giving a construction. Give a constructive proof that x Q n N, x n. Intermediate Value Theorem. Suppose that f(x) is a continuous function on an interval [a, b]. If y is a real number between f(a) and f(b), then there exists c (a, b) such that f(c) = y. Exercise 3: Apply the intermediate value theorem to give a non-constructive proof that for every y [ 1, 1], there exists an x [ π/2, π/2] such that sin x = y. You may assume that f(x) = sin x is continuous. 1

Disproving existence statements: To disprove a statement of the form x S, P (x), we prove the negation, x S, P (x). Example of disproving an existence statement: Suppose we are to disprove that there exists an n Z such that n 2 3 (mod 7). Proof: We prove that for every n Z, n 2 is not congruent to 3 modulo 7. Let n Z. Then n = 7k + r for some k Z and some r {0, 1,..., 6}. Thus, n r. We consider the six cases: n n 2 (mod 7) 0 0 1 1 2 4 3 2 4 2 5 4 6 1 Therefore, n 2 is not congruent to 3 modulo 7. Exercise 4 Disprove the following statement: there exists a real solution to the equation x 4 2x 2 = 2. Principle of Mathematical Induction: Let n N and let P (1), P (2), be statements. Suppose that (1) P (1) is true, and (2) n N, the implication P (n) = P (n + 1) is true. Then P (n) is true for all n N. Caution: Both (1) and (2) must hold. Exercise 5 Find the error in the following proof : If n+1 < n, then by adding 1 to both sides, n+2 < n+1. Therefore, by mathematical induction, n + 1 < n for every n N. Exercise 6 Find the error in the following proof : Let n = 1. Then n < 100. Now let n N. Suppose that n 1 < 100. Since n is an integer, we have that n 1 99. Therefore, n 100. Hence, by mathematical induction, n N, n 100. Example of Proof by Mathematical Induction: Let a R and let b 1, b 2,, b n R. We will prove that a(b 1 + b 2 + + b n ) = ab 1 + ab 2 + + ab n. Proof: Let n = 1. Then a(b 1 ) = ab 1 is true. Let n = 2. Then a(b 1 + b 2 ) = ab 1 + ab 2 by the distributive property: x, y, z R, x(y + z) = xy + xz. 2

Assume that a(b 1 + b 2 + + b n ) = ab 1 + ab 2 + ab n. (This is called the inductive hypothesis.) Then, a(b 1 + b 2 + + b n+1 ) = a(b 1 + b 2 + + b n ) + ab n+1 by the distributive property (using b 1 + b 2 + b n in the role of y). hypothesis, By the inductive a(b 1 + b 2 + + b n ) + ab n+1 = ab 1 + ab 2 + + ab n + ab n+1. Therefore, by the principle of mathematical induction, n N, a(b 1 + b 2 + + b n ) = ab 1 + ab 2 + + ab n. Comments on the Proof: We verified n = 1 separately as this was an exceptional case. We verified n = 2 using the distributive property. This method also worked to prove the implication P (n) = P (n + 1). This situation is not uncommon. Sometimes a statement is not true for the first positive integers or these statements might be true but for exceptional reasons. The Principle of Mathematical Induction applies if you have a sequence of statements P (n) for all n greater than or equal to some k Z (possibly a negative integer). Refer to section 6.2 for additional discussion. Exercise 7 Let x and y be nonnegative real numbers such that x y. Use mathematical induction to prove that n N, x n y n. Exercise 8 Use induction to prove that for every positive integer n, n! n n. Additional Exercises: 1. Prove that there exists and irrational number in the interval (10 2014, 10 2013 ). 2. Generalize the previous exercise: prove that every nonempty open interval contains an irrational number. 3

Math 299 Quiz 7 Please answer each question in the space provided. Use complete sentences and correct mathematical notation to write your answers. You have 20 minutes to complete this quiz. 1. (5 points) Use induction to prove that for each n N, 1 + 2 +... + n = n(n + 1). 2 2. (5 points) Prove or disprove the statement: The number 1 + n + n 2 is odd for every integer n.

3. (5 points) Let x R and assume that x 1. Use induction to prove that for each nonnegative integer n, 1 + x + x 2 + + x n = 1 xn+1 1 x. You must use induction to receive full credit.