This section demonstrates some different techniques of proving some general statements.


 Brianne Stokes
 1 years ago
 Views:
Transcription
1 Section 4. Number Theory 4.. Introduction This section demonstrates some different techniques of proving some general statements. Examples: Prove that the sum of any two odd numbers is even. Firstly you should check a few examples to confirm (for yourself) that the statement is true = 8; = 6; 7 + = 8 Write down what you are asked to prove in mathematical language (if it is not already). a, b, a, b are odd a + b is even Next, write down everything you know [related to the problem] and what they mean. Note that this also includes what you can assume such as Claim(k) in Mathematical Induction. a is odd k, a = 2k + () b is odd l, b = 2l + (2) WUCT2 Numbers 74
2 Write down what you are trying to prove, and what that means (i.e. what you have to get to ). Prove that a + b is even, that is s, a + b = 2s What you do at this point varies from proof to proof. Whenever you have an equality, it is often best to start with the LHS and work to the RHS. LHS = a + b = = 2 ( 2k + ) + ( 2l + ) = 2l + 2k + 2 ( l + k + ) = 2s s = RHS a + b is even by (), (2) Distributivity = l + k + WUCT2 Numbers 75
3 Prove that 2 is the only even prime. Clearly, 2 is an even number and a prime number. To prove that 2 is the only even prime requires a proof by contradiction. We must suppose the opposite of what we are proving, then follow the logical arguments to arrive at a contradictory statement. Suppose there exists another even prime, n, such that n > 2. Then, k, n = 2k. Now, 2 > 0 and 2. Also, k > 0 (as n > 2) and k. [If k were equal to, then n = 2. However, we know that n > 2.] Therefore, we have positive numbers 2 and k where and k, 2. n = 2k Thus, by definition, n is composite. This is a contradiction, as we said n is prime. Therefore, there does not exist an even prime n such that n > 2, and so 2 is the only even prime. WUCT2 Numbers 76
4 Exercise: Determine if the following statements are true or false. In each case prove your answer n, n is prime n is odd a, b, a = b a = b 2 2 Note: You MUST give a counterexample. A general disproof doesn t work as the values a = b = 0 are a counterexample to the disproof. WUCT2 Numbers 77
5 4.2. Divisibility Definition: Divisibility If n and d are integers and d 0, then n is divisible by d if and only if n = d k for some k. We write d n and say that d is a divisor of n. Alternative expressions include: d is a factor of n. d divides n. n is a multiple of d. n is divisible by d. When n is not divisible by d we write Exercise: d / n Write the definition of divisibility using logic notation. WUCT2 Numbers 78
6 Examples: Is 6 a divisor of 32? Yes. 32 = 6 ( 2), 2. If l and l 0, does l 0? Yes. 0 = l 0, 0. Find all values of a such that a. We need to show k, = ak a =. k Need k = ± giving a = = ±. k ± What is the relationship between a and b if a b and b a, for a, b? b a = bl = b k ak = bl kl = ( k = l = ) ( k = l = ) ( k = l = ) ( a = b) ( k = l = ) ( a = b) a = ± b a = b k = kl WUCT2 Numbers 79
7 Exercises: If a, b, is 3 a + 3b divisible by 3? Let a, b, c, x, y. If b a and b c, does ( ax cy) b +? Why? a, b, is it true that a b implies a b? Does 4 5? WUCT2 Numbers 80
8 Definition: Transitivity of Divisibility For all integers a, b and c, if a b and b c, then a c. Exercise: Write the definition of transitivity of divisibility using logic notation. Proof: We know: a b k, b = ka b c l, c = bl ( ) ( 2) Show that a c, that is, find m such that c = ma. Now, c = = bl ( ka) l = ( kl) a = ma a c by(2) by() by associativity and commutativity wherem = kl WUCT2 Numbers 8
9 Theorem: Divisibility by a Prime Every integer n > is divisible by some prime number. Exercise: Write the theorem of divisibility by a prime using logic notation. Proof: We need to show: Let n, n >. n,( n > a primenumber p, p n) Then there are two possibilities: a. If n is prime, let p = n. Then p n and the result follows. b. If n is not prime, then r, s, < r < n and < s < n n = r. s WUCT2 Numbers 82
10 Consider r, again there are two possibilities: > A. If r is prime, let p = r. Then p r and r n so p n by transitivity of divisibility B. If r is not prime, then r, < s < r 2 s2, < r 2 < r and r =. r2 s2 Consider r, again there are two possibilities 2 > A. If r 2 is prime, let p = r 2. Then p r 2 and r 2 r and r n so p n by transitivity of divisibility. B. If r 2 is not prime, then we factorise as with r and n. We continue in this way until we find a prime factor. This process will finish after a finite number of steps because each new factor is less than the previous one and greater than. 2 WUCT2 Numbers 83
11 Thus, we obtain the listr r 2 r 3, K, r k where n > r K > > r 2 > r 3 > r k and each n The list ends when r k is prime. r i. Therefore, let p = r k, then p n and the result follows. Example: Find a prime factor of = and 77 are not prime Let r = 9 9 = is prime Let p = 3 Exercise: Find a prime factor of 48. WUCT2 Numbers 84
12 Theorem: Infinite Number of Primes The number of primes is infinite. Proof: Suppose there is a finite number of primes; that is, we can list all prime numbers as follows: Therefore, p n is the largest prime number. Consider X p p p K p. Clearly Since = 2 3 n + X > pn. p =, p = 3,, 2 2 K pn p n is the largest prime, X must be composite so, by the Theorem of Divisibility by a Prime, X is divisible by a prime. Consider: Similarly, X p X p 2 = p2 p3 K pn + p. p 2 2, so p / X = p p3 K pn +., so p 2 / X p p p 3 / X. p 4 / X,, p n / X. Therefore, no prime number divides X. This is a contradiction, so our assumption must be incorrect. Therefore, since the number of primes is not finite, it must be infinite. WUCT2 Numbers 85
13 4.3. Quotient Remainder Theorem Exercise: Evaluate the following division without using decimals. (Nor a calculator!) 4 We can express the previous division as = Note that the remainder, 3, is less than Theorem: The QuotientRemainder Theorem. If n and d > 0 are both integers, then there exist unique integers q and r such that n = dq + r and 0 r < d. Proof: We know that n, d, and d > 0. The proof of this theorem involves proving two main things: WUCT2 Numbers 86
14 A. Existence: Prove that: q, r, n = dq + r, 0 r < d. Let S = { n dk n dk 0, k } :. We want to show S is nonempty. If n 0, we can select k = 0: n 0 d = n 0 d n S 0 If n < 0, we can select k = n: ( d ) n n d = n 0, since n < 0 and d 0 n n d S Therefore S is nonempty. Note that S 0 and that 0 is wellordered. Therefore by the wellordering principle, S contains a least element r. Then for some specific integer n dq = r n = dq + r k = q WUCT2 Numbers 87
15 We prove Suppose r < d by contradiction. r d. n d( q + ) = n dq d = r d 0 Since n dq = r, n d( q +) would be a nonnegative integer in S that would be smaller than r. But r is the smallest integer in S. We have a contradiction. Therefore our assumption, r < d. r d, was wrong, and so B. Uniqueness: Prove that for n = dq + r, r and q are unique. Suppose that: n n = = dq + r dq + r q q, r r (2) () 0 = d( q q d( q q ) + r r ) = r r () (2) Now q,q and q q q q.. WUCT2 Numbers 88
16 r r d since r r (3) i.e. and r 0 r < d d < r 0 0 r d < r r < d < d r < d This contradicts (3), so our assumption is wrong. q = q r =, r Therefore for n = dq + r, r and q are unique. Summary of Proof: The proof of this theorem involved proving two main things: Existence: q, r, n = dq + r, 0 r < d Let S = { n dk n dk 0 and k } :. Apply wellordering to get a least value r with corresponding k = q, so that n dq = r. Prove that r < d by assuming r d and showing that this gives a smaller element of S, which contradicts the fact that r is the least element of S. WUCT2 Numbers 89
17 Uniqueness: For n = dq + r, r and q are unique. (i.e. the only ones). Assume that there are two values each for q and r, and prove by contradiction that the values are really the same. The QuotientRemainder Theorem says that when we divide any integer n by any positive integer d, there will be a quotient q and a remainder r, where 0 r < d. Example: Find values for q, r, such that n = dq + r, 0 r < d, for the following: n = 54, d = 4 54 = q = 3, r = 2 n = 32, d = 9 32 = 9 ( 4) + 4 q = 4, r = 4 WUCT2 Numbers 90
18 Exercises: Find values for q, r, such that n = dq + r, 0 r < d, for the following: n = 54, d = 4 n = 54, d = 70 WUCT2 Numbers 9
19 Result: Even or Odd Every integer is either even or odd. Proof: We must prove the statement n, n is even n is odd i.e. n, ( k, n = 2k) ( l, n = 2l + ) Let n. Now, n and 2 > 0 are integers, so we apply the Quotient Remainder Theorem to get: q, r, n = 2q + r, 0 r < 2. For 0 r < 2 to be true, r = 0 or r =. Therefore, n = 2 q + 0 = 2q or n = 2 q + and the result follows. WUCT2 Numbers 92
20 4.4. The Fundamental Theorem of Arithmetic Theorem: The Fundamental Theorem of Arithmetic If a and a > then a can be factorised in a unique way in the form where p p, a = p p α p α2 2 p α α p k k, 2, K k are each prime numbers and α i for each i =, 2, K, k. Example: Write the following numbers in terms of their prime factors = WUCT2 Numbers 93
21 = Exercises: Write the following numbers in terms of their prime factors. 300 WUCT2 Numbers 94
22 WUCT2 Numbers 95
23 4.5. Finding Prime Numbers Algorithm: The Sieve of Eratosthenes. The Sieve of Eratosthenes is a method of finding primes up to n as follows. A. List all the primes up to n B. Write down all integers from to n, noting the listed primes C. Delete all multiples of the listed primes D. The remaining values are the prime numbers up to n. Note: x is the floor function and is defined as: x is the greatest integer that is less than or equal to x. That is x = n, where n, n x < n + Example: 7 = 0.82 = 0 Exercise: Find 200 WUCT2 Numbers 96
24 Example: Find all primes between and 00. A. 00 = 0. Primes to 0 are: 2, 3, 5, 7 B. List the numbers 00 noting the primes 2, 3, 5, WUCT2 Numbers 97
25 C. (i) Delete multiples of (ii) Delete multiples of WUCT2 Numbers 98
26 (iii) Delete multiples of (iv) Delete multiples of WUCT2 Numbers 99
27 D. Primes: 2, 3, 5, 7,, 3, 7, 9, 23, 29, 3, 37, 4, 43, 47, 53, 59, 6, 67, 7, 73, 79, 83, 89, 97. Exercise: Find all primes between 0 and 200. A. B. C D. WUCT2 Numbers 00
WOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology MidSession Test Summer Session 00800
More informationElementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationTheorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that. a = bq + r and 0 r < b.
Theorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that a = bq + r and 0 r < b. We re dividing a by b: q is the quotient and r is the remainder,
More informationChapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1
Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes
More information54 Prime and Composite Numbers
54 Prime and Composite Numbers Prime and Composite Numbers Prime Factorization Number of Divisorss Determining if a Number is Prime More About Primes Prime and Composite Numbers Students should recognizee
More informationProof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.
Math 232  Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On wellordering and induction: (a) Prove the induction principle from the wellordering principle. (b) Prove the wellordering
More informationChapter 3: Elementary Number Theory and Methods of Proof. January 31, 2010
Chapter 3: Elementary Number Theory and Methods of Proof January 31, 2010 3.4  Direct Proof and Counterexample IV: Division into Cases and the QuotientRemainder Theorem QuotientRemainder Theorem Given
More information2. Integers and Algorithms Euclidean Algorithm. Euclidean Algorithm. Suppose a and b are integers
2. INTEGERS AND ALGORITHMS 155 2. Integers and Algorithms 2.1. Euclidean Algorithm. Euclidean Algorithm. Suppose a and b are integers with a b > 0. (1) Apply the division algorithm: a = bq + r, 0 r < b.
More informationMathematical induction & Recursion
CS 441 Discrete Mathematics for CS Lecture 15 Mathematical induction & Recursion Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Proofs Basic proof methods: Direct, Indirect, Contradiction, By Cases,
More information1.3 Induction and Other Proof Techniques
4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.
More informationLecture 1: Elementary Number Theory
Lecture 1: Elementary Number Theory The integers are the simplest and most fundamental objects in discrete mathematics. All calculations by computers are based on the arithmetical operations with integers
More informationMathematics is the queen of sciences and number theory is the queen of mathematics.
Number Theory Mathematics is the queen of sciences and number theory is the queen of mathematics. But why is it computer science? It turns out to be critical for cryptography! Carl Friedrich Gauss Division
More informationMODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on
More information5.1 Text HW Number Theory Math 210 pbf8 1. Illustrate = 34 as in theorem 1.5 [i.e. showing that EVEN + EVEN = EVEN!].
.1 Text HW Number Theory Math 10 pbf8 1. Illustrate 1+18 = 4 as in theorem 1. [i.e. showing that EVEN + EVEN = EVEN!]. 1 18 4 11 48. Illustrate + 449 = 781 as in theorem 1.: EVEN + ODD = ODD 449 781 4a.
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationNew Zealand Mathematical Olympiad Committee. Divisibility and Primes Arkadii Slinko
New Zealand Mathematical Olympiad Committee Divisibility and Primes Arkadii Slinko 1 Introduction The theory of numbers is devoted to studying the set N = {1, 2, 3, 4, 5, 6,...} of positive integers, also
More informationp 2 1 (mod 6) Adding 2 to both sides gives p (mod 6)
.9. Problems P10 Try small prime numbers first. p p + 6 3 11 5 7 7 51 11 13 Among the primes in this table, only the prime 3 has the property that (p + ) is also a prime. We try to prove that no other
More informationChapter 1 Basic Number Concepts
Draft of September 2014 Chapter 1 Basic Number Concepts 1.1. Introduction No problems in this section. 1.2. Factors and Multiples 1. Determine whether the following numbers are divisible by 3, 9, and 11:
More informationELEMENTARY NUMBER THEORY AND METHODS OF PROOF
CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF SECTION 4.4 Direct Proof and Counterexample IV: Division into Cases and the QuotientRemainder Theorem Copyright Cengage Learning. All rights reserved.
More informationClimbing an Infinite Ladder
Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder and the following capabilities: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder,
More informationToday s Topics. Primes & Greatest Common Divisors
Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime
More informationAlgebra for Digital Communication
EPFL  Section de Mathématiques Algebra for Digital Communication Fall semester 2008 Solutions for exercise sheet 1 Exercise 1. i) We will do a proof by contradiction. Suppose 2 a 2 but 2 a. We will obtain
More informationOh Yeah? Well, Prove It.
Oh Yeah? Well, Prove It. MT 43A  Abstract Algebra Fall 009 A large part of mathematics consists of building up a theoretical framework that allows us to solve problems. This theoretical framework is built
More informationELEMENTARY NUMBER THEORY AND METHODS OF PROOF
CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.4 Direct Proof and Counterexample IV: Division into Cases and the QuotientRemainder Theorem
More informationCS 2336 Discrete Mathematics
CS 2336 Discrete Mathematics Lecture 5 Proofs: Mathematical Induction 1 Outline What is a Mathematical Induction? Strong Induction Common Mistakes 2 Introduction What is the formula of the sum of the first
More informationCS103X: Discrete Structures Homework Assignment 2: Solutions
CS103X: Discrete Structures Homework Assignment 2: Solutions Due February 1, 2008 Exercise 1 (10 Points). Prove or give a counterexample for the following: Use the Fundamental Theorem of Arithmetic to
More information4. 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.
More informationThere are 8000 registered voters in Brownsville, and 3 8. of these voters live in
Politics and the political process affect everyone in some way. In local, state or national elections, registered voters make decisions about who will represent them and make choices about various ballot
More informationDiscrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof. Harper Langston New York University
Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof Harper Langston New York University Proof and Counterexample Discovery and proof Even and odd numbers number n from Z is called
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationINTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS
INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28
More informationKevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm
MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following
More informationEven Number: An integer n is said to be even if it has the form n = 2k for some integer k. That is, n is even if and only if n divisible by 2.
MATH 337 Proofs Dr. Neal, WKU This entire course requires you to write proper mathematical proofs. All proofs should be written elegantly in a formal mathematical style. Complete sentences of explanation
More informationMathematical Induction
Mathematical S 0 S 1 S 2 S 3 S 4 S 5 S 6 S 7 S 8 S 9 S 10 Like dominoes! Mathematical S 0 S 1 S 2 S 3 S4 S 5 S 6 S 7 S 8 S 9 S 10 Like dominoes! S 4 Mathematical S 0 S 1 S 2 S 3 S5 S 6 S 7 S 8 S 9 S 10
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationReview for Final Exam
Review for Final Exam Note: Warning, this is probably not exhaustive and probably does contain typos (which I d like to hear about), but represents a review of most of the material covered in Chapters
More informationIt is time to prove some theorems. There are various strategies for doing
CHAPTER 4 Direct Proof It is time to prove some theorems. There are various strategies for doing this; we now examine the most straightforward approach, a technique called direct proof. As we begin, it
More informationLESSON 1 PRIME NUMBERS AND FACTORISATION
LESSON 1 PRIME NUMBERS AND FACTORISATION 1.1 FACTORS: The natural numbers are the numbers 1,, 3, 4,. The integers are the naturals numbers together with 0 and the negative integers. That is the integers
More informationTopics in Number Theory
Chapter 8 Topics in Number Theory 8.1 The Greatest Common Divisor Preview Activity 1 (The Greatest Common Divisor) 1. Explain what it means to say that a nonzero integer m divides an integer n. Recall
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationCHAPTER 5: MODULAR ARITHMETIC
CHAPTER 5: MODULAR ARITHMETIC LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we will consider congruence modulo m, and explore the associated arithmetic called
More informationIntegers and division
CS 441 Discrete Mathematics for CS Lecture 12 Integers and division Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Symmetric matrix Definition: A square matrix A is called symmetric if A = A T.
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationPrime Numbers. Chapter Primes and Composites
Chapter 2 Prime Numbers The term factoring or factorization refers to the process of expressing an integer as the product of two or more integers in a nontrivial way, e.g., 42 = 6 7. Prime numbers are
More informationMathematical Induction
Mathematical Induction Victor Adamchik Fall of 2005 Lecture 2 (out of three) Plan 1. Strong Induction 2. Faulty Inductions 3. Induction and the Least Element Principal Strong Induction Fibonacci Numbers
More information15 Prime and Composite Numbers
15 Prime and Composite Numbers Divides, Divisors, Factors, Multiples In section 13, we considered the division algorithm: If a and b are whole numbers with b 0 then there exist unique numbers q and r such
More informationMathematical Induction
MCS236: Graph Theory Handout #A5 San Skulrattanakulchai Gustavus Adolphus College Sep 15, 2010 Mathematical Induction The following three principles governing N are equivalent. Ordinary Induction Principle.
More informationReading 7 : Program Correctness
CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Instructors: Beck Hasti, Gautam Prakriya Reading 7 : Program Correctness 7.1 Program Correctness Showing that a program is correct means that
More information4.1. Definitions. A set may be viewed as any well defined collection of objects, called elements or members of the set.
Section 4. Set Theory 4.1. Definitions A set may be viewed as any well defined collection of objects, called elements or members of the set. Sets are usually denoted with upper case letters, A, B, X, Y,
More informationPlaying with Numbers
Playing with Numbers Chapter 3 3.1 Introduction Ramesh has 6 marbles with him. He wants to arrange them in rows in such a way that each row has the same number of marbles. He arranges them in the following
More informationCSCI 246 Class 5 RATIONAL NUMBERS, QUOTIENT REMAINDER THEOREM
CSCI 246 Class 5 RATIONAL NUMBERS, QUOTIENT REMAINDER THEOREM Quiz Questions Lecture 8: Give the divisors of n when: n = 10 n = 0 Lecture 9: Say: 10 = 3*3 +1 What s the quotient q and the remainder r?
More informationCourse Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction.
Course Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction. February 21, 2006 1 Proof by Induction Definition 1.1. A subset S of the natural numbers is said to be inductive if n S we have
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 016 MAT30 (Discrete Math) Mathematical Induction Fall 016 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
More informationCourse notes on Number Theory
Course notes on Number Theory In Number Theory, we make the decision to work entirely with whole numbers. There are many reasons for this besides just mathematical interest, not the least of which is that
More informationIntegers and Rational Numbers
Chapter 6 Integers and Rational Numbers In this chapter, we will see constructions of the integers and the rational numbers; and we will see that our number system still has gaps (equations we can t solve)
More informationHomework 5 Solutions
Homework 5 Solutions 4.2: 2: a. 321 = 256 + 64 + 1 = (01000001) 2 b. 1023 = 512 + 256 + 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = (1111111111) 2. Note that this is 1 less than the next power of 2, 1024, which
More informationNew Zealand Mathematical Olympiad Committee. Induction
New Zealand Mathematical Olympiad Committee Induction Chris Tuffley 1 Proof by dominoes Mathematical induction is a useful tool for proving statements like P is true for all natural numbers n, for example
More information8 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.
More informationInduction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition
Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing
More information3.3 Proofs Involving Quantifiers
3.3 Proofs Involving Quantifiers 1. In exercise 6 of Section 2.2 you use logical equivalences to show that x(p (x) Q(x)) is equivalent to xp (x) xq(x). Now use the methods of this section to prove that
More informationIntegers: applications, base conversions.
CS 441 Discrete Mathematics for CS Lecture 14 Integers: applications, base conversions. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Modular arithmetic in CS Modular arithmetic and congruencies
More informationPlaying with Numbers. factors and multiples
3 Playing with Numbers IN T H I S CH A P T E R, Y O U W I L L LEARN: Factors and multiples of a natural number Common factors and common multiples Types of natural numbers even and odd numbers, prime and
More information1. R In this and the next section we are going to study the properties of sequences of real numbers.
+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real
More informationIntroduction to mathematical arguments
Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math
More informationGrade 6 Math Circles March 10/11, 2015 Prime Time Solutions
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Lights, Camera, Primes! Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions Today, we re going
More informationTheorem 2. If x Q and y R \ Q, then. (a) x + y R \ Q, and. (b) xy Q.
Math 305 Fall 011 The Density of Q in R The following two theorems tell us what happens when we add and multiply by rational numbers. For the first one, we see that if we add or multiply two rational numbers
More information5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1
MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationChapter 11 Number Theory
Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationDirect Proofs. CS 19: Discrete Mathematics. Direct Proof: Example. Indirect Proof: Example. Proofs by Contradiction and by Mathematical Induction
Direct Proofs CS 19: Discrete Mathematics Amit Chakrabarti Proofs by Contradiction and by Mathematical Induction At this point, we have seen a few examples of mathematical proofs. These have the following
More informationMAT2400 Analysis I. A brief introduction to proofs, sets, and functions
MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take
More informationPrime Factorization 0.1. Overcoming Math Anxiety
0.1 Prime Factorization 0.1 OBJECTIVES 1. Find the factors of a natural number 2. Determine whether a number is prime, composite, or neither 3. Find the prime factorization for a number 4. Find the GCF
More informationMore Mathematical Induction. October 27, 2016
More Mathematical Induction October 7, 016 In these slides... Review of ordinary induction. Remark about exponential and polynomial growth. Example a second proof that P(A) = A. Strong induction. Least
More informationGCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!
GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!!! Challenge Problem 2 (Mastermind) due Fri. 9/26 Find a fourth guess whose scoring will allow you to determine the secret code (repetitions are
More informationAn Insight into Division Algorithm, Remainder and Factor Theorem
An Insight into Division Algorithm, Remainder and Factor Theorem Division Algorithm Recall division of a positive integer by another positive integer For eample, 78 7, we get and remainder We confine the
More information(Refer Slide Time: 1:41)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture # 10 Sets Today we shall learn about sets. You must
More informationALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION
ALGEBRAIC APPROACH TO COMPOSITE INTEGER FACTORIZATION Aldrin W. Wanambisi 1* School of Pure and Applied Science, Mount Kenya University, P.O box 55350100, Kakamega, Kenya. Shem Aywa 2 Department of Mathematics,
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationTests for Divisibility, Theorems for Divisibility, the Prime Factor Test
1 Tests for Divisibility, Theorems for Divisibility, the Prime Factor Test Definition: Prime numbers are numbers with only two factors, one and itself. For example: 2, 3, and 5. Definition: Composite numbers
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More information2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.
2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then
More informationThe Fundamental Theorem of Arithmetic
MODULE 3 The Fundamental Theorem of Arithmetic 1. Sieve of Eratosthenes Two is the only odd prime. Every even number > 2 is composite because it is divisible by 2. Similarly, all multiples of 3 6 are composite;
More information2.3 Bounds of sets of real numbers
2.3 Bounds of sets of real numbers 2.3.1 Upper bounds of a set; the least upper bound (supremum) Consider S a set of real numbers. S is called bounded above if there is a number M so that any x S is less
More informationPractice Problems for First Test
Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the human mind will never penetrate.
More informationMAT Mathematical Concepts and Applications
MAT.1180  Mathematical Concepts and Applications Chapter (Aug, 7) Number Theory: Prime and Composite Numbers. The set of Natural numbers, aka, Counting numbers, denoted by N, is N = {1,,, 4,, 6,...} If
More information2 The Euclidean algorithm
2 The Euclidean algorithm Do you understand the number 5? 6? 7? At some point our level of comfort with individual numbers goes down as the numbers get large For some it may be at 43, for others, 4 In
More informationSection 4.2: The Division Algorithm and Greatest Common Divisors
Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948
More informationAlgebraic Systems, Fall 2013, September 1, 2013 Edition. Todd Cochrane
Algebraic Systems, Fall 2013, September 1, 2013 Edition Todd Cochrane Contents Notation 5 Chapter 0. Axioms for the set of Integers Z. 7 Chapter 1. Algebraic Properties of the Integers 9 1.1. Background
More informationChapter 6. Number Theory. 6.1 The Division Algorithm
Chapter 6 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,
More informationNumber Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may
Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationMath/CSE 1019: Discrete Mathematics for Computer Science Fall Suprakash Datta
Math/CSE 1019: Discrete Mathematics for Computer Science Fall 2011 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 4167362100 ext 77875 Course page: http://www.cse.yorku.ca/course/1019 1
More informationFinding Prime Factors
Section 3.2 PREACTIVITY 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
More information