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

Save this PDF as:

Size: px
Start display at page:

Download "Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24"

## Transcription

1 Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall / 24

2 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using Cases 6 Proof Exercises MAT231 (Transition to Higher Math) Direct Proof Fall / 24

3 What is a proof? One thing that high-school and college students often say they appreciate about mathematics is that answers are either right or wrong. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

4 What is a proof? One thing that high-school and college students often say they appreciate about mathematics is that answers are either right or wrong. While this isn t always true, it is the case that a large part of mathematics is focused on knowing if something is always true, sometimes true, or never true. This knowledge is without ambiguity we can know it for certain. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

5 What is a proof? The proof of a proposition is an argument that will convince any reader with suitable background that the proposition is always true. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

6 What is a proof? The proof of a proposition is an argument that will convince any reader with suitable background that the proposition is always true. Mathematical proofs are often written in a formal style, but that is not required. Proofs can come in many different forms, but mathematicians writing proofs often strive for conciseness and clarity... MAT231 (Transition to Higher Math) Direct Proof Fall / 24

7 What is a proof? The proof of a proposition is an argument that will convince any reader with suitable background that the proposition is always true. Mathematical proofs are often written in a formal style, but that is not required. Proofs can come in many different forms, but mathematicians writing proofs often strive for conciseness and clarity......well, at least they should be clear to other mathematicians. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

8 Theorems Definition A theorem is a statement that is true and has been proved to be true. Not surprisingly, some theorems are more significant than others. Arithmetic, Algebra, and Calculus all have theorems named The fundamental theorem of... From arithmetic we have Theorem (The Fundamental Theorem of Arithmetic) Every positive integer greater than 1 can be represented in exactly one way (apart from rearrangement) as a product of one or more primes. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

9 Types of Theorems Our text uses the term proposition to mean a statement which is true, but not important enough to be called a theorem. (In other contexts, a proposition can merely be a statement which is either true or false; at least until it is proved true). A lemma is a theorem whose main purpose is to help prove a more substantial theorem. A corollary to a theorem is a result that can be established easily once the theorem is proved. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

10 The Chicken and Egg Problem Proving a theorem often involves making deductions using the rules of inference. These deductions move us from some statement or statements known to be true to one or more new statements that we can know are true. To use this approach, however, we need to start somewhere... Our starting points will be definitions and axioms (also called postulates). MAT231 (Transition to Higher Math) Direct Proof Fall / 24

11 Definitions We begin with some key definitions that we will use frequently. Definition An integer n is even if n = 2a for some integer a Z. Definition An integer n is odd if n = 2a + 1 for some integer a Z. Definition Two integers have the same parity if they are both even or they are both odd. Otherwise they have opposite parity. As noted in our text, definitions are often worded to sound like an implication (if-then), but really they should be treated like a biconditional (if-and-only-if). MAT231 (Transition to Higher Math) Direct Proof Fall / 24

12 Closure Definition Let S be a set of numbers. S is closed under addition if the sum of any two elements in S is a member of S. Similar definitions exist for closure under subtraction, multiplication, and division. N is closed under what operations? MAT231 (Transition to Higher Math) Direct Proof Fall / 24

13 Closure Definition Let S be a set of numbers. S is closed under addition if the sum of any two elements in S is a member of S. Similar definitions exist for closure under subtraction, multiplication, and division. N is closed under what operations? addition and multiplication, but not subtraction or division. Z is closed under what operations? MAT231 (Transition to Higher Math) Direct Proof Fall / 24

14 Closure Definition Let S be a set of numbers. S is closed under addition if the sum of any two elements in S is a member of S. Similar definitions exist for closure under subtraction, multiplication, and division. N is closed under what operations? addition and multiplication, but not subtraction or division. Z is closed under what operations? addition, subtraction, and multiplication, but not division. Q is closed under what operations? MAT231 (Transition to Higher Math) Direct Proof Fall / 24

15 Closure Definition Let S be a set of numbers. S is closed under addition if the sum of any two elements in S is a member of S. Similar definitions exist for closure under subtraction, multiplication, and division. N is closed under what operations? addition and multiplication, but not subtraction or division. Z is closed under what operations? addition, subtraction, and multiplication, but not division. Q is closed under what operations? all four, if we disallow division by zero. R is closed under what operations? MAT231 (Transition to Higher Math) Direct Proof Fall / 24

16 Closure Definition Let S be a set of numbers. S is closed under addition if the sum of any two elements in S is a member of S. Similar definitions exist for closure under subtraction, multiplication, and division. N is closed under what operations? addition and multiplication, but not subtraction or division. Z is closed under what operations? addition, subtraction, and multiplication, but not division. Q is closed under what operations? all four, if we disallow division by zero. R is closed under what operations? all four, if we disallow division by zero. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

17 Divisibility Definition Suppose a and b are integers. We say that a divides b, written a b, if b = ac for some c Z. We say a is a divisor of b and b is a multiple of a. To say a does not divide b, we write a b. Be careful; a b is not the same as a/b. a b is a statement that means a divides b; it is either true or false. a/b is a mathematical operation that yields a numerical result. Note that if a b, then b/a is an integer. Example Finding the set of divisors of 10 means finding every a such that a 10. The set is {a : a 10} = { 10, 5, 2, 1, 1, 2, 5, 10}. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

18 Prime Numbers Definition A natural number n is prime if it has exactly two positive divisors, 1 and n. An integer m is composite if it factors as n = ab where a, b > 1. Note: 1 is not prime because it has only one divisor, itself. 2 is the only even prime number. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

19 Division Algorithm Definition (The Division Algorithm) Given integers a and d with d > 0, there exist unique integers q and r for which a = dq + r and 0 r < d. We call d the divisor, q is the quotient, and r is the remainder. Note: The remainder r is zero if d a, otherwise it is a positive number strictly less than the divisor d. If the division algorithm is applied to 56 20, we have 56 = so the quotient is 2 and the remainder is 16. Be careful with negative numbers! Remember the remainder must always be non-negative: 31 7 gives 31 = 7 ( 5) + 4. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

20 GCD and LCM Definition The greatest common divisor (GCD) of integers a and b, denoted gcd(a, b), is the largest integer that divides both a and b. The least common multiple (LCM) of non-zero integers a and b, denoted lcm(a, b), is the smallest positive integer that is a multiple of both a and b. While the GCD of a and b is relative easy to find if the prime factorizations of both a and b are available. If not, one can use the Euclidean Algorithm. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

21 Euclidean Algorithm to find the GCD The Euclidean Algorithm is based upon the following lemma: Lemma Let a = bq + r where a, b, q, and r are integers with b > 0, and 0 r < b. Then gcd(a, b) = gcd(b, r). Proof. Suppose d divides both a and b. Then d divides bq and also divides a bq = r. Thus, d divides both b and r. Now suppose that d divides b and r. Then d also divides bq + r = a and so d divides both a and b. Since every divisor of a and b is also a divisor of b and r and vice versa, the sets of divisors for these two pairs are identical and the must share the same greatest value. Therefore gcd(a, b) = gcd(b, r). MAT231 (Transition to Higher Math) Direct Proof Fall / 24

22 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r MAT231 (Transition to Higher Math) Direct Proof Fall / 24

23 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = MAT231 (Transition to Higher Math) Direct Proof Fall / 24

24 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = = MAT231 (Transition to Higher Math) Direct Proof Fall / 24

25 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = = = MAT231 (Transition to Higher Math) Direct Proof Fall / 24

26 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = = = = MAT231 (Transition to Higher Math) Direct Proof Fall / 24

27 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = = = = = MAT231 (Transition to Higher Math) Direct Proof Fall / 24

28 Euclidean Algorithm to find the GCD Lets use the Euclidean Algorithm to find gcd(38, 22). The colors show how the numbers move from one line to the next based on the lemma we just proved. a = b q + r 38 = = = = = The last non-zero remainder 2 is the GCD of both 2 and 4. By our lemma it is also the GCD of 4 and 6, and of 6 and 16, etc., all the way back to our original pair 38 and 22. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

29 Direct Proof During our study of proofs, we will use several approaches. The most straight forward, called direct proof, proves the a proposition in the form If P, then Q by assuming P (called the hypothesis) is true and, through a sequence of logical deductions, shows that Q (the conclusion) must be true. Some hints: Be sure you are convinced the proposition you are trying to prove seems true. Try some examples and look for patterns you can exploit. Be sure you know what the conclusion should be. Think of proofs as like doing a problem where you know what the answer should be you are trying to work toward it. In a very real sense you re trying to build a bridge from the hypothesis to the conclusion. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

30 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Some things to consider: First question: do we believe this proposition? = 5, = 465, = 85 all confirm the proposition. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

31 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Some things to consider: First question: do we believe this proposition? = 5, = 465, = 85 all confirm the proposition. It may be helpful to reword the proposition as an implication. Something like If a is an even integer and b is an odd integer, then a + b is odd. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

32 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Some things to consider: First question: do we believe this proposition? = 5, = 465, = 85 all confirm the proposition. It may be helpful to reword the proposition as an implication. Something like If a is an even integer and b is an odd integer, then a + b is odd. We want to start with the hypothesis a is an even integer and b is an odd integer and work our way to the conclusion: a + b is odd. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

33 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Some things to consider: First question: do we believe this proposition? = 5, = 465, = 85 all confirm the proposition. It may be helpful to reword the proposition as an implication. Something like If a is an even integer and b is an odd integer, then a + b is odd. We want to start with the hypothesis a is an even integer and b is an odd integer and work our way to the conclusion: a + b is odd. What does it mean for a to be even? From our definition, we know that a = 2m for some integer m. Similarly, we know that if b is odd, then b = 2n + 1 for some integer n. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

34 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Some things to consider: First question: do we believe this proposition? = 5, = 465, = 85 all confirm the proposition. It may be helpful to reword the proposition as an implication. Something like If a is an even integer and b is an odd integer, then a + b is odd. We want to start with the hypothesis a is an even integer and b is an odd integer and work our way to the conclusion: a + b is odd. What does it mean for a to be even? From our definition, we know that a = 2m for some integer m. Similarly, we know that if b is odd, then b = 2n + 1 for some integer n. We know the result we need: a + b is odd. Working backward, we need to find that a + b = 2c + 1 for some integer c. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

35 Direct Proof Example 1 Proposition The sum of an even integer and an odd integer is odd. Proof. Suppose a is an even integer and b is an odd integer. Then, by our definitions of even and odd numbers, we know that integers m and n exist so that a = 2m and b = 2n + 1. Then a + b = (2m) + (2n + 1) = 2(m + n) + 1 = 2c + 1 where c = m + n is an integer by the closure property of addition. We have shown that a + b = 2c + 1 for an integer c so a + b must be odd. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

36 Direct Proof Example 2 Proposition Suppose a, b, c Z. If a b and b c, then a c. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

37 Direct Proof Example 2 Proposition Suppose a, b, c Z. If a b and b c, then a c. Our strategy will be to work forward from the hypothesis and work backward from the conclusion, trying to link the ends of the argument together. We start with a b and b c. This means that b = am and c = bn for some m, n Z. Working backward from a c, we have that c = ak for some k Z. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

38 Direct Proof Example 2 Proposition Suppose a, b, c Z. If a b and b c, then a c. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

39 Direct Proof Example 2 Proposition Suppose a, b, c Z. If a b and b c, then a c. Proof. Let a, b, c Z. If a b and b c then by the definition of divisibility there are integers m and n for which b = am and c = bn. In this case c = bn = (am)n = a(mn) = ak where k = mn. Since c is a multiple of a, by the definition of divisibility we see that a c. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

40 Proof by Cases Sometimes it is not possible to construct a single path from hypothesis to conclusion. In such cases we can use a proof by cases. Consider the following proposition: Proposition For any integer n, n 2 + n is even. This could be restated as If n Z, then n 2 + n is even. How can we start with an integer n and work to show n 2 + n is even? We know we need to end up with n 2 + n = 2q for some integer q, but how do we get there? MAT231 (Transition to Higher Math) Direct Proof Fall / 24

41 Proof by Cases Sometimes it is not possible to construct a single path from hypothesis to conclusion. In such cases we can use a proof by cases. Consider the following proposition: Proposition For any integer n, n 2 + n is even. This could be restated as If n Z, then n 2 + n is even. How can we start with an integer n and work to show n 2 + n is even? We know we need to end up with n 2 + n = 2q for some integer q, but how do we get there? We ll try two cases: n even and then n odd. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

42 Proof by Cases Example 1 Proposition For any integer n, n 2 + n is even. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

43 Proof by Cases Example 1 Proposition For any integer n, n 2 + n is even. Proof. Suppose n Z. Case 1. If n is even we can write n = 2q for some q Z. In this case n 2 + n = 4q 2 + 2q = 2(2q 2 + q) which, by definition, is even. Case 2. If n is odd then n = 2q + 1 for some q Z. Now n 2 + n = (4q 2 + 4q + 1) + (2q + 1) = 2(2q 2 + 3q + 1) which is also even. We find that n is even when n is even and when n is odd. Therefore n 2 + n must be even for any integer n. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

44 Proof by Cases Example 2 Proposition Suppose n Z. If n is not divisible by 3, then n is divisible by 3. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

45 Proof by Cases Example 2 Proposition Suppose n Z. If n is not divisible by 3, then n is divisible by 3. Proof. Let n Z be given. By the Division Algorithm we can write n = 3q + r for some q, r Z with 0 r < 3. If r = 0 then 3 n, so we consider the other two cases, r = 1 and r = 2. Case 1. Suppose r = 1 so n = 3q + 1, which is not divisible by 3. However, n = 9q 2 + 6q + 3 = 3(3q 2 + 2q + 1), so n is divisible by 3. Case 2. Now suppose r = 2 so n = 3q + 2. As before, this is not divisible by 3. On the other hand, 3 does divide n since n = 9q q = 3(3q 2 + 4q + 1). Reviewing these cases, we see that whenever 3 n, we find 3 (n 2 + 2), completing the proof. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

46 Proof Exercises Write proofs for the following propositions. 1 If the integers m and n are both divisible by 3, then the number mn is divisible by 9. 2 Suppose a, b Z. If a b, then a 2 b 2. 3 Every perfect square is either a multiple of 4 or of the form 4q + 1 for some integer q. 4 The sum of any two rational numbers is a rational number. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

### Chapter 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

### Ch 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

### Ch 4.2 Divisibility Properties

Ch 4.2 Divisibility Properties - Prime numbers and composite numbers - Procedure for determining whether or not a positive integer is a prime - GCF: procedure for finding gcf (Euclidean Algorithm) - Definition:

### not 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

### 3 The language of proof

3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

### Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

### Math 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

### Number Theory Proof Portfolio

Number Theory Proof Portfolio Jordan Rock May 12, 2015 This portfolio is a collection of Number Theory proofs and problems done by Jordan Rock in the Spring of 2014. The problems are organized first by

### Wednesday, February 21. Today we will begin Course Notes Chapter 5 (Number Theory).

Wednesday, February 21 Today we will begin Course Notes Chapter 5 (Number Theory). 1 Return to Chapter 5 In discussing Methods of Proof (Chapter 3, Section 2) we introduced the divisibility relation from

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

### Math 110 FOUNDATIONS OF THE REAL NUMBER SYSTEM FOR ELEMENTARY AND MIDDLE SCHOOL TEACHERS

4-1Divisibility Divisibility Divisibility Rules Divisibility An integer is if it has a remainder of 0 when divided by 2; it is otherwise. We say that 3 divides 18, written, because the remainder is 0 when

### Modular Arithmetic Instructor: Marizza Bailey Name:

Modular Arithmetic Instructor: Marizza Bailey Name: 1. Introduction to Modular Arithmetic If someone asks you what day it is 145 days from now, what would you answer? Would you count 145 days, or find

### Applied Cryptography and Computer Security CSE 664 Spring 2017

Applied Cryptography and Computer Security Lecture 11: Introduction to Number Theory Department of Computer Science and Engineering University at Buffalo 1 Lecture Outline What we ve covered so far: symmetric

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

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic Bezout s Lemma Let's look at the values of 4x + 6y when x and y are integers. If x is -6 and y is 4 we

### 1. multiplication is commutative and associative;

Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.

### Section 3.1: Direct Proof and Counterexample 1

Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion

### 4. Number Theory (Part 2)

4. Number Theory (Part 2) Terence Sim Mathematics is the queen of the sciences and number theory is the queen of mathematics. Reading Sections 4.8, 5.2 5.4 of Epp. Carl Friedrich Gauss, 1777 1855 4.3.

### CHAPTER 1 REAL NUMBERS KEY POINTS

CHAPTER 1 REAL NUMBERS 1. Euclid s division lemma : KEY POINTS For given positive integers a and b there exist unique whole numbers q and r satisfying the relation a = bq + r, 0 r < b. 2. Euclid s division

### CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

### Elementary Properties of the Integers

Elementary Properties of the Integers 1 1. Basis Representation Theorem (Thm 1-3) 2. Euclid s Division Lemma (Thm 2-1) 3. Greatest Common Divisor 4. Properties of Prime Numbers 5. Fundamental Theorem of

### Divisibility of Natural Numbers

10-19-2009 Divisibility of Natural Numbers We now return to our discussion of the natural numbers. We have built up much of the mathematical foundation for the natural numbers (N = 1, 2, 3,...). We used

### 2. 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

### Contribution of Problems

Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

### Integers and Division

Integers and Division Notations Z: set of integers N : set of natural numbers R: set of real numbers Z + : set of positive integers Some elements of number theory are needed in: Data structures, Random

### MATH 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

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

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

CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed

### Primes and Modular Arithmetic! CSCI 2824, Fall 2014!!

Primes and Modular Arithmetic! CSCI 2824, Fall 2014!!! Scheme version of the algorithm! for finding the GCD (define (gcd a b)! (if!(= b 0)!!!!a!!!!(gcd b (remainder a b))))!! gcd (812, 17) = gcd(17, 13)

### 2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

### Proofs. Chapter 2 P P Q Q

Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

### 2.2 Inverses and GCDs

34 CHAPTER 2. CRYPTOGRAPHY AND NUMBER THEORY 2.2 Inverses and GCDs 2.2.1 Inverses mod p In the last section we explored the multiplication in Z n. We saw in the special case with n =12 and a = 4 that if

### Rings and modular arithmetic

Chapter 8 Rings and modular arithmetic So far, we have been working with just one operation at a time. But standard number systems, such as Z, have two operations + and which interact. It is useful to

### 2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

### MATH 145 Algebra, Solutions to Assignment 4

MATH 145 Algebra, Solutions to Assignment 4 1: a) Find the inverse of 178 in Z 365. Solution: We find s and t so that 178s + 365t = 1, and then 178 1 = s. The Euclidean Algorithm gives 365 = 178 + 9 178

### Commutative Rings and Fields

Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

### A Brief Introduction to Proofs

A Brief Introduction to Proofs William J. Turner October, 010 1 Introduction Proofs are perhaps the very heart of mathematics. Unlike the other sciences, mathematics adds a final step to the familiar scientific

### Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

### Standard forms for writing numbers

Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,

### Direct Proof Divisibility

Direct Proof Divisibility Lecture 15 Section 4.3 Robb T. Koether Hampden-Sydney College Fri, Feb 7, 2014 Robb T. Koether (Hampden-Sydney College) Direct Proof Divisibility Fri, Feb 7, 2014 1 / 23 1 Divisibility

### Constructing and Writing Proofs in Mathematics

Chapter 3 Constructing and Writing Proofs in Mathematics 3.1 Direct Proofs Preview Activity 1 (Definition of Divides, Divisor, Multiple) In Section 1.2, we studied the concepts of even integers and odd

### . As the binomial coefficients are integers we have that. 2 n(n 1).

Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

### This is a recursive algorithm. The procedure is guaranteed to terminate, since the second argument decreases each time.

8 Modular Arithmetic We introduce an operator mod. Let d be a positive integer. For c a nonnegative integer, the value c mod d is the remainder when c is divided by d. For example, c mod d = 0 if and only

Proof by contrapositive, contradiction Margaret M. Fleck 9 September 2009 This lecture covers proof by contradiction and proof by contrapositive (section 1.6 of Rosen). 1 Announcements The first quiz will

### CITS2211 Discrete Structures Proofs

CITS2211 Discrete Structures Proofs Unit coordinator: Rachel Cardell-Oliver August 13, 2017 Highlights 1 Arguments vs Proofs. 2 Proof strategies 3 Famous proofs Reading Chapter 1: What is a proof? Mathematics

### PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

### Contradiction 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

### and LCM (a, b, c) LCM ( a, b) LCM ( b, c) LCM ( a, c)

CHAPTER 1 Points to Remember : REAL NUMBERS 1. Euclid s division lemma : Given positive integers a and b, there exists whole numbers q and r satisfying a = bq + r, 0 r < b.. Euclid s division algorithm

### Algebra 1. Standard 1: Operations With Real Numbers Students simplify and compare expressions. They use rational exponents and simplify square roots.

Standard 1: Operations With Real Numbers Students simplify and compare expressions. They use rational exponents and simplify square roots. A1.1.1 Compare real number expressions. A1.1.2 Simplify square

### Chapter 5.1: Induction

Chapter.1: Induction Monday, July 1 Fermat s Little Theorem Evaluate the following: 1. 1 (mod ) 1 ( ) 1 1 (mod ). (mod 7) ( ) 8 ) 1 8 1 (mod ). 77 (mod 19). 18 (mod 1) 77 ( 18 ) 1 1 (mod 19) 18 1 (mod

### MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

Table of Contents Chapter 1 What is Number Theory? 1 Chapter Pythagorean Triples 5 Chapter 3 Pythagorean Triples and the Unit Circle 11 Chapter 4 Sums of Higher Powers and Fermat s Last Theorem 16 Chapter

### Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

### MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

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

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION The Peano axioms The following are the axioms for the natural numbers N. You might think of N as the set of integers {0, 1, 2,...}, but it turns

### Introduction to Basic Proof Techniques Mathew A. Johnson

Introduction to Basic Proof Techniques Mathew A. Johnson Throughout this class, you will be asked to rigorously prove various mathematical statements. Since there is no prerequisite of a formal proof class,

### Mathematical Induction

Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical

### Four Basic Sets. Divisors

Four Basic Sets Z = the integers Q = the rationals R = the real numbers C = the complex numbers Divisors Definition. Suppose a 0 and b = ax, where a, b, and x are integers. Then we say a divides b (or

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

Direct Proofs A direct proof uses the facts of mathematics and the rules of inference to draw a conclusion. Since direct proofs often start with premises (given information that goes beyond the facts of

### SEVENTH EDITION and EXPANDED SEVENTH EDITION

SEVENTH EDITION and EXPANDED SEVENTH EDITION Slide 5-1 Chapter 5 Number Theory and the Real Number System 5.1 Number Theory Number Theory The study of numbers and their properties. The numbers we use to

### Introduction to Abstract Mathematics

Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of

### 30. TRANSFORMING TOOL #1 (the Addition Property of Equality)

30 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not

### Chapter 3: Polynomial and Rational Functions

Chapter 3: Polynomial and Rational Functions 3.1 Polynomial Functions and Their Graphs A polynomial function of degree n is a function of the form P (x) = a n x n + a n 1 x n 1 + + a 1 x + a 0 The numbers

### The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct

### Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018

The principle of mathematical induction is a useful tool for proving that a certain predicate is true for all natural numbers. It cannot be used to discover theorems, but only to prove them. If we have

### Some Facts from Number Theory

Computer Science 52 Some Facts from Number Theory Fall Semester, 2014 These notes are adapted from a document that was prepared for a different course several years ago. They may be helpful as a summary

### 8. TRANSFORMING TOOL #1 (the Addition Property of Equality)

8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change

### 3 - Induction and Recursion

November 14, 2017 3 - Induction and Recursion William T. Trotter trotter@math.gatech.edu Using Recurrence Equations (1) Basic Problem How many regions are determined by n lines that intersect in general

### University of Ottawa CSI 2101 Midterm Test Instructor: Lucia Moura. February 9, :30 pm Duration: 1:50 hs. Closed book, no calculators

University of Ottawa CSI 2101 Midterm Test Instructor: Lucia Moura February 9, 2010 11:30 pm Duration: 1:50 hs Closed book, no calculators Last name: First name: Student number: There are 5 questions and

### Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

### Mathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring

Mathematical Induction EECS 203: Discrete Mathematics Lecture 11 Spring 2016 1 Climbing the Ladder We want to show that n 1 P(n) is true. Think of the positive integers as a ladder. 1, 2, 3, 4, 5, 6,...

### ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2006 2 This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair ISBN 1 57766

### CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

### We 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.

### Finding Prime Factors

Section 3.2 PRE-ACTIVITY PREPARATION Finding Prime Factors Note: While this section on fi nding prime factors does not include fraction notation, it does address an intermediate and necessary concept to

### INFINITY: CARDINAL NUMBERS

INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex

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

MATH 4 Summer 011 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

### Number Theory. Zachary Friggstad. Programming Club Meeting

Number Theory Zachary Friggstad Programming Club Meeting Outline Factoring Sieve Multiplicative Functions Greatest Common Divisors Applications Chinese Remainder Theorem Throughout, problems to try are

### Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative

Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license. 201,

### Factorisation CHAPTER Introduction

FACTORISATION 217 Factorisation CHAPTER 14 14.1 Introduction 14.1.1 Factors of natural numbers You will remember what you learnt about factors in Class VI. Let us take a natural number, say 30, and write

### p, p or its negation is true, and the other false

Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime.

### Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

### cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska LECTURE 12 CHAPTER 4 NUMBER THEORY PART1: Divisibility PART 2: Primes PART 1: DIVISIBILITY Basic Definitions Definition Given m,n Z, we say

### The Fundamental Theorem of Arithmetic

Chapter 1 The Fundamental Theorem of Arithmetic 1.1 Primes Definition 1.1. We say that p N is prime if it has just two factors in N, 1 and p itself. Number theory might be described as the study of the

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

Introduction to Induction (LAMC, 10/14/07) Olga Radko October 1, 007 1 Definitions The Method of Mathematical Induction (MMI) is usually stated as one of the axioms of the natural numbers (so-called Peano

### MATH 2200 Final Review

MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

### A FIRST COURSE IN NUMBER THEORY

A FIRST COURSE IN NUMBER THEORY ALEXANDRU BUIUM Contents 1. Introduction 2 2. The integers 4 3. Induction 6 4. Finite sets, finite sums, finite products 7 5. The rationals 8 6. Divisibility and Euclid

### = 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2

BEGINNING ALGEBRAIC NUMBER THEORY Fermat s Last Theorem is one of the most famous problems in mathematics. Its origin can be traced back to the work of the Greek mathematician Diophantus (third century

### AQA Level 2 Further mathematics Further algebra. Section 4: Proof and sequences

AQA Level 2 Further mathematics Further algebra Section 4: Proof and sequences Notes and Examples These notes contain subsections on Algebraic proof Sequences The limit of a sequence Algebraic proof Proof

### Supplementary Material for MTH 299 Online Edition

Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think

### Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

### University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018

University of California, San Diego Department of Computer Science and Engineering CSE 20 Solutions to Midterm Exam Winter 2018 Problem 1 (30 points) a. The boolean function f(p, q) = (q p) ( q p) is specified

### At the start of the term, we saw the following formula for computing the sum of the first n integers:

Chapter 11 Induction This chapter covers mathematical induction. 11.1 Introduction to induction At the start of the term, we saw the following formula for computing the sum of the first n integers: Claim

### ACCUPLACER MATH 0310

The University of Teas at El Paso Tutoring and Learning Center ACCUPLACER MATH 00 http://www.academics.utep.edu/tlc MATH 00 Page Linear Equations Linear Equations Eercises 5 Linear Equations Answer to

### An Algorithm for Prime Factorization

An Algorithm for Prime Factorization Fact: If a is the smallest number > 1 that divides n, then a is prime. Proof: By contradiction. (Left to the reader.) A multiset is like a set, except repetitions are

### IF A PRIME DIVIDES A PRODUCT... ζ(s) = n s. ; p s

IF A PRIME DIVIDES A PRODUCT... STEVEN J. MILLER AND CESAR E. SILVA ABSTRACT. One of the greatest difficulties encountered by all in their first proof intensive class is subtly assuming an unproven fact

### I will update this document after every lecture to keep track of what we covered. Textbook refers to the book by Diane Herrmann and Paul Sally.

Math 11200/20 lectures outline I will update this document after every lecture to keep track of what we covered Textbook refers to the book by Diane Herrmann and Paul Sally Intro to Cryptography refers