MATH 2200 Final Review

Similar documents
MATH 2200 Final LC Review

Chapter 1 : The language of mathematics.

Math 13, Spring 2013, Lecture B: Midterm

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

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

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

Math 109 September 1, 2016

MATH 363: Discrete Mathematics

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Part IA Numbers and Sets

MATH FINAL EXAM REVIEW HINTS

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

MAS114: Exercises. October 26, 2018

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Proofs. Joe Patten August 10, 2018

Basic Proof Examples

1 Take-home exam and final exam study guide

Exam Practice Problems

MATH 361: NUMBER THEORY FOURTH LECTURE

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

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

Logic. Facts (with proofs) CHAPTER 1. Definitions

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

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

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

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

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

CS280, Spring 2004: Prelim Solutions

Math 109 HW 9 Solutions

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

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

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

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

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635

CS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

Solutions to Practice Final

Discrete Mathematics. Thomas Goller. January 2013

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

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

MATH1240 Definitions and Theorems

7.2 Applications of Euler s and Fermat s Theorem.

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

Fundamentals of Pure Mathematics - Problem Sheet

COT 2104 Homework Assignment 1 (Answers)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Modular Arithmetic Instructor: Marizza Bailey Name:

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005

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

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

All numbered readings are from Beck and Geoghegan s The art of proof.

CSE 1400 Applied Discrete Mathematics Proofs

MATH 13 FINAL EXAM SOLUTIONS

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3

MATH 113 FINAL EXAM December 14, 2012

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

Contribution of Problems

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?

Number Theory Homework.

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

Review 3. Andreas Klappenecker

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

0 Sets and Induction. Sets

MATH10040: Numbers and Functions Homework 1: Solutions

Chapter 5. Number Theory. 5.1 Base b representations

Fall 2017 Test II review problems

DISCRETE MATH: FINAL REVIEW

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

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

Beautiful Mathematics

Notation Index. gcd(a, b) (greatest common divisor) NT-16

MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST

MATH CSE20 Homework 5 Due Monday November 4

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

CHAPTER 3. Congruences. Congruence: definitions and properties

Introducing Proof 1. hsn.uk.net. Contents

2 Elementary number theory

Name: Mathematics 1C03

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

Number Theory Proof Portfolio

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Part IA Numbers and Sets

Review Sheet for the Final Exam of MATH Fall 2009

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

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

Fall 2014 CMSC250/250H Midterm II

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

Number Theory and Graph Theory. Prime numbers and congruences.

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

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

Transcription:

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 Here is a (not necessarily complete) list of key topics (1) Types of Proofs Direct proof Proof by contrapositive Proof by contradiction Proof by induction () Sets and functions Key set definitions: set, subset, union, intersection Key function definitions: function, injective, surjective, bijective, composition of functions, invertible Key theorems: a function is invertible if and only if it is bijective (3) Number theory Key divisibility definitions: divide, prime factorization Key modular arithmetic definitions: congruent, Fermat s little theorem Key theorems: division algorithm, fundamental theorem of arithmetic (prime factorization), linear combination corollary to Euclidean algorithm (4) Graph theory Key definitions: graph, subgraph, union of subgraphs, intersection of subgraphs, walk, connected, complete, simple, bipartite, planar Key theorems: inductive construction of connected graphs, Euler s formula 1

3 How to Prove a Theorem (1) Think about whether the theorem is plausible Check cases Try to construct a counterexample If the theorem seems true, proceed to the next step () Write the assumptions (premises) at the top of your page and the conclusion you want to deduce at the bottom (3) Try to use the assumptions to deduce the conclusion This may involve: Direct proof Apply definitions to the assumptions and maybe invoke some theorems to directly deduce the conclusion If this doesn t work, consider: Proof by contrapositive If the theorem is of the form if P, then Q, try to prove if Q, then P instead Proof by contradiction Add the negation of the conclusion to your assumptions and try to derive a contradiction Proof by induction If some integer associated to the theorem ranges over all Z 0 (or Z 1, or Z, etc), and if the theorem is easier to prove when that integer is small, then consider using induction on that value (4) If you found an argument that yields the conclusion, write it out in precise crisp English sentences! Label it Proof and draw your favorite symbol at the end (5) If nothing is working, think hard about whether the theorem is false! Try to construct a counterexample based on where you are getting stuck in your attempted proofs If you find a counterexample, write The theorem is false! and give your counterexample 4 Example Problems Beware! Many of the theorems are false! Before plunging into a proof, think about whether it is plausible Checking some cases is always a good idea Many of the theorems come from lecture, homework, and quizzes Some of them (especially in the graph theory section) are quite difficult! Don t feel pressured to do them all, but familiarize yourself with the terms that keep popping up 41 Induction Theorem 1 Let n Z 1 Then: (a) The sum of the first n positive integers is n(n+1), namely 1 + + + n = n(n+1) (b) The sum of the first n even positive integers is n(n + 1), namely + 4 + + n = n(n + 1) (c) The sum of the first n odd positive integers is n, namely 1 + 3 + 5 + + (n 1) = n (d) 1 1! +! + + n n! = (n + 1)! 1 (e) 1 + 3 + ( 1) n 1 n = ( 1) n 1 n(n+1) (f) 1 + 3 + + n(n + 1) = n(n+1)(n+) 3 (g) 1 3 + 3 + + n 3 = n (n+1) 4

4 Sets and functions Theorem Let n Z >0 Then n = n j=0 ( n j) (Hint: use the binomial theorem) Theorem 3 Let n Z 0 The number of subsets of a set with n elements is n Theorem 4 Let A f B be a function (a) There is a subset A A such that restricting the domain of f to A yields an injective function A f B (b) There is a subset B B such that restricting the codomain of f to B yields a surjective function A f B Theorem 5 Let A, B, C be sets, let A f B and B g C be functions, and let A g f C be the composition of f and g Then: (a) If f and g are injective, then g f is injective (b) If f and g are surjective, then g f is surjective (c) If g f is injective, then f is injective (d) If g f is injective, then g is injective (e) If g f is surjective, then f is surjective (f) If g f is surjective, then g is surjective 43 Number theory Theorem 6 Let n Z Then n is even if and only if n if and only if n 0 (mod ) Theorem 7 Let m, n Z, let d Z 1, and let p Z be prime Then: (a) If n is odd, then mn is odd (b) If m and n are odd, then mn is odd (c) m and n are odd if and only if mn is odd (d) n is odd if and only if n is odd (e) n is odd if and only if n d is odd (f) If d n, then d mn (g) If d mn, then d m or d n (h) If p mn, then p m or p n Theorem 8 There are infinitely many primes Theorem 9 (Key lemma for the Euclidean algorithm) Let a = bq +r, where a, b, q, r Z Then gcd(a, b) = gcd(b, r) Theorem 10 Let a, b, c Z with a 0 Then (a) If a b and a c, then a (b + c) 3

(b) If a b, then a bc for all integers c (c) If a b and b c, then a c Theorem 11 (Theorem that makes computation modulo m easy) Let m Z >0 If a b (mod m) and c is any integer, then a + c b + c (mod m) and ac bc (mod m) Theorem 1 Let a Z 0 and let D be the sum of the digits of a Then 3 a if and only if 3 D 44 Graph theory Theorem 13 Let H be a subgraph of a graph G (a) If G is simple, then H is simple (b) If G is a complete graph, then H is a complete graph (c) If G is connected, then H is connected (d) If G is bipartite, then H is bipartite (e) If G is planar, then H is planar (f) The number of connected components of H is less than or equal to the number of connected components of G (g) The number of connected components of H is greater than or equal to the number of connected components of G Theorem 14 Let H 1, H be subgraphs of a connected graph G Then: (a) H 1 H is connected (b) If H 1 H is non-empty, then H 1 H is connected (c) H 1 H is connected (d) If H 1 H is non-empty, then H 1 H is connected Theorem 15 Let G = (V, E, φ) be a graph (a) v V deg(v) = E (b) The number of vertices in G with odd degree must be even (c) E ( ) V (d) If G is simple, then E ( ) V (e) If G is bipartite, then every walk that starts and ends at the same vertex has an even number of edges (f) If G is bipartite, then E V 4 (g) If G is simple and bipartite, then E V 4 Here are some challenge problems (you will need to use Euler s formula): Theorem 16 Let G = (V, E, φ) be a planar graph Set v = V and e = E Let r be the number of regions of a planar drawing of G Then: (a) The number of connected components of G is v e + r 1 (b) If G is connected, simple, and v 3, then e 3v 6 (c) If G is connected, simple, v 3, and G has no subgraph isomorphic to the complete graph K 3, then e v 4 4

5 Hints to Example Problems Theorem 1: Theorem : proved in notes Theorem 3: follows from Theorem Theorem 4: Theorem 5: two of these are false! Theorem 6: just understand the definitions Theorem 7: two of these are false! Some of these are very easy if you use congruences Theorem 8-1: proved in notes Theorem 13: four of these are false! Theorem 14: three of these are false! Theorem 15: two of these are false! Theorem 16 (a): use the fact that all connected components share the same infinite region Theorem 16 (b): since G has no loops or multiple edges, every region has at least 3 edges on its boundary Every edge appears on the boundary of two regions Theorem 16 (c): Like (b) except that every region has at least 4 edges on its boundary 5