ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

Similar documents
THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

CHAPTER 7 FUNCTIONS. Alessandro Artale UniBZ - artale/

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

SET THEORY. Disproving an Alleged Set Property. Disproving an Alleged Set. Example 1 Solution CHAPTER 6

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

THE LOGIC OF QUANTIFIED STATEMENTS

THE LOGIC OF QUANTIFIED STATEMENTS

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

Direct Proof and Counterexample I:Introduction

3.3 Dividing Polynomials. Copyright Cengage Learning. All rights reserved.

Section 3.1: Direct Proof and Counterexample 1

Number Theory and Proof Methods

Group 5. Jeremy Gutierrez. Jesus Ochoa Perez. Alvaro Gonzalez. MATH 170: Discrete Mathematics. Dr. Lipika Deka. March 14, 2014.

1 Predicates and Quantifiers

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

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MCS-236: Graph Theory Handout #A4 San Skulrattanakulchai Gustavus Adolphus College Sep 15, Methods of Proof

More examples of mathematical. Lecture 4 ICOM 4075

11.4 The Comparison Tests. Copyright Cengage Learning. All rights reserved.

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:

Chapter 2: The Logic of Quantified Statements. January 22, 2010

Infinite Series. Copyright Cengage Learning. All rights reserved.

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

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

LECTURE 1. Logic and Proofs

Analytic Trigonometry. Copyright Cengage Learning. All rights reserved.

Proofs. Methods of Proof Divisibility Floor and Ceiling Contradiction & Contrapositive Euclidean Algorithm. Reading (Epp s textbook)

THE LOGIC OF QUANTIFIED STATEMENTS. Statements with Multiple Quantifiers. Statements with Multiple Quantifiers CHAPTER 3 SECTION 3.

Math 13, Spring 2013, Lecture B: Midterm

Intro to Algebra Today. We will learn names for the properties of real numbers. Homework Next Week. Due Tuesday 45-47/ 15-20, 32-35, 40-41, *28,29,38

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

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic

Analytic Trigonometry. Copyright Cengage Learning. All rights reserved.

2.3 Differentiation Formulas. Copyright Cengage Learning. All rights reserved.

Assignment 2.1. Exponent Properties: The Product Rule

Section Summary. Section 1.5 9/9/2014

Section 4.2: Mathematical Induction 1

Integration. Antiderivatives and Indefinite Integration 3/9/2015. Copyright Cengage Learning. All rights reserved.

CSC165. Larry Zhang, October 7, 2014

3 The language of proof

7.6 The Inverse of a Square Matrix

CH 59 SQUARE ROOTS. Every positive number has two square roots. Ch 59 Square Roots. Introduction

CHAPTER 6. Copyright Cengage Learning. All rights reserved.

MA103 STATEMENTS, PROOF, LOGIC

THE LOGIC OF COMPOUND STATEMENTS

A Guide to Proof-Writing

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

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

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

5.3 SOLVING TRIGONOMETRIC EQUATIONS

Multiplying and dividing integers Student Activity Sheet 2; use with Exploring Patterns of multiplying and dividing integers

Solving Equations by Adding and Subtracting

THE LOGIC OF COMPOUND STATEMENTS

Basic Logic and Proof Techniques

Notes on arithmetic. 1. Representation in base B

Quantifiers. P. Danziger

1. Prove that the number cannot be represented as a 2 +3b 2 for any integers a and b. (Hint: Consider the remainder mod 3).

Definition For a set F, a polynomial over F with variable x is of the form

Connectives Name Symbol OR Disjunction And Conjunction If then Implication/ conditional If and only if Bi-implication / biconditional

( ) y 2! 4. ( )( y! 2)

Chapter 1 : The language of mathematics.

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017

Eureka Lessons for 6th Grade Unit FIVE ~ Equations & Inequalities

SPEAKING MATHEMATICALLY. Prepared by Engr. John Paul Timola

Elementary Algebra - Problem Drill 01: Introduction to Elementary Algebra

1 Completeness Theorem for First Order Logic

Limits and Infinite Series Lecture Notes for Math 226. Department of Mathematics Western Washington University

Alex s Guide to Word Problems and Linear Equations Following Glencoe Algebra 1

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

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

Unit 2: Polynomials Guided Notes

Name Date Class California Standards Prep for 4.0. Variables and Expressions

Outline Goals and Assumptions Real Numbers Rational and Irrational. L11: Numbers. Alice E. Fischer

Chapter 2: The Logic of Quantified Statements

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

Introducing Proof 1. hsn.uk.net. Contents

Propositional Logic. Spring Propositional Logic Spring / 32

Mathematical Statements

Inference and Proofs (1.6 & 1.7)

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

Recitation 4: Quantifiers and basic proofs

Logic and Proofs. (A brief summary)

Lecture 3. Logic Predicates and Quantified Statements Statements with Multiple Quantifiers. Introduction to Proofs. Reading (Epp s textbook)

Section 2.7 Solving Linear Inequalities

Ch. 12 Rational Functions

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

Divisibility of Natural Numbers

Lesson 24: True and False Number Sentences

MATH CSE20 Homework 5 Due Monday November 4

3.6. Disproving Quantified Statements Disproving Existential Statements

Finding Divisors, Number of Divisors and Summation of Divisors. Jane Alam Jan

Polynomials. This booklet belongs to: Period

THE LOGIC OF QUANTIFIED STATEMENTS

1. Introduction to commutative rings and fields

Official GRE Quantitative Reasoning Practice Questions, Volume 1

Infinite Series. Copyright Cengage Learning. All rights reserved.

Prerequisites. Copyright Cengage Learning. All rights reserved.

Unit 2: Polynomials Guided Notes

Lesson 7: Classification of Solutions

Transcription:

CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved.

SECTION 4.3 Direct Proof and Counterexample III: Divisibility Copyright Cengage Learning. All rights reserved.

Direct Proof and Counterexample III: Divisibility The notion of divisibility is the central concept of one of the most beautiful subjects in advanced mathematics: number theory, the study of properties of integers. 3

Example 1 Divisibility a. Is 21 divisible by 3? b. Does 5 divide 40? c. Does 7 42? d. Is 32 a multiple of 16? e. Is 6 a factor of 54? f. Is 7 a factor of 7? 4

Example 1 Solution a. Yes, 21 = 3 7. b. Yes, 40 = 5 8. c. Yes, 42 = 7 6. d. Yes, 32 = ( 16) ( 2). e. Yes, 54 = 6 9. f. Yes, 7 = 7 ( 1). 5

Direct Proof and Counterexample III: Divisibility Two useful properties of divisibility are (1) that if one positive integer divides a second positive integer, then the first is less than or equal to the second, and (2) that the only divisors of 1 are 1 and 1. 6

Example 1 Divisibility of Algebraic Expressions a. If a and b are integers, is 3a + 3b divisible by 3? b. If k and m are integers, is 10km divisible by 5? Solution: a. Yes. By the distributive law of algebra, 3a + 3b = 3(a + b) and a + b is an integer because it is a sum of two integers. b. Yes. By the associative law of algebra, 10km = 5 (2km) and 2km is an integer because it is a product of three integers. 7

Direct Proof and Counterexample III: Divisibility When the definition of divides is rewritten formally using the existential quantifier, the result is Since the negation of an existential statement is universal, it follows that d does not divide n (denoted ) if, and only if, integers k, n dk, or, in other words, the quotient n/d is not an integer. 8

Example 4 Checking Nondivisibility Does 4 15? Solution: No,, which is not an integer. 9

Proving Properties of Divisibility 10

Proving Properties of Divisibility One of the most useful properties of divisibility is that it is transitive. If one number divides a second and the second number divides a third, then the first number divides the third. 11

Example 6 Transitivity of Divisibility Prove that for all integers a, b, and c, if a b and b c, then a c. Solution: Since the statement to be proved is already written formally, you can immediately pick out the starting point, or first sentence of the proof, and the conclusion that must be shown. Starting Point: Suppose a, b, and c are particular but arbitrarily chosen integers such that a b and b c. 12

Example 6 Solution cont d To Show: a c. You need to show that a c, or, in other words, that But since a b, And since b c, Equation 4.3.2 expresses c in terms of b, and equation 4.3.1 expresses b in terms of a. 13

Example 6 Solution cont d Thus if you substitute 4.3.1 into 4.3.2, you will have an equation that expresses c in terms of a. But (ar)s = a(rs) by the associative law for multiplication. Hence Now you are almost finished. 14

Example 6 Solution cont d You have expressed c as a (something). It remains only to verify that that something is an integer. But of course it is, because it is a product of two integers. This discussion is summarized as follows: 15

Example 6 Solution cont d Proof: Suppose a, b, and c are [particular but arbitrarily chosen] integers such that a divides b and b divides c. [We must show that a divides c.] By definition of divisibility, By substitution 16

Example 6 Solution cont d Let k = rs. Then k is an integer since it is a product of integers, and therefore Thus a divides c by definition of divisibility. [This is what was to be shown.] 17

Proving Properties of Divisibility 18

Counterexamples and Divisibility 19

Counterexamples and Divisibility To show that a proposed divisibility property is not universally true, you need only find one pair of integers for which it is false. 20

Example 7 Checking a Proposed Divisibility Property Is the following statement true or false? For all integers a and b, if a b and b a then a = b. Solution: This statement is false. Can you think of a counterexample just by concentrating for a minute or so? The following discussion describes a mental process that may take just a few seconds. It is helpful to be able to use it consciously, however, to solve more difficult problems. 21

Example 7 Solution cont d To discover the truth or falsity of the given statement, start off much as you would if you were trying to prove it. Starting Point: Suppose a and b are integers such that a b and b a. Ask yourself, Must it follow that a = b, or could it happen that a b for some a and b? Focus on the supposition. What does it mean? By definition of divisibility, the conditions a b and b a mean that 22

Example 7 Solution cont d Must it follow that a = b, or can you find integers a and b that satisfy these equations for which a b? The equations imply that Since b a, b 0, and so you can cancel b from the extreme left and right sides to obtain In other words, k and l are divisors of 1. But, by Theorem 4.3.2, the only divisors of 1 are 1 and 1. Thus k and l are both 1 or are both 1. If k = l = 1, then b = a. 23

Example 7 Solution cont d But if k = l = 1, then b = a and so a b. This analysis suggests that you can find a counterexample by taking b = a. Here is a formal answer: 24

The Unique Factorization of Integers Theorem 25

The Unique Factorization of Integers Theorem The most comprehensive statement about divisibility of integers is contained in the unique factorization of integers theorem. Because of its importance, this theorem is also called the fundamental theorem of arithmetic. The unique factorization of integers theorem says that any integer greater than 1 either is prime or can be written as a product of prime numbers in a way that is unique except, perhaps, for the order in which the primes are written. 26

The Unique Factorization of Integers Theorem 27

The Unique Factorization of Integers Theorem Because of the unique factorization theorem, any integer n > 1 can be put into a standard factored form in which the prime factors are written in ascending order from left to right. 28

Example 9 Using Unique Factorization to Solve a Problem Suppose m is an integer such that Does 17 m? Solution: Since 17 is one of the prime factors of the right-hand side of the equation, it is also a prime factor of the left-hand side (by the unique factorization of integers theorem). But 17 does not equal any prime factor of 8, 7, 6, 5, 4, 3, or 2 (because it is too large). Hence 17 must occur as one of the prime factors of m, and so 17 m. 29