Sample Problems. Lecture Notes Proof by Induction page 1. Prove each of the following statements by induction.

Size: px
Start display at page:

Download "Sample Problems. Lecture Notes Proof by Induction page 1. Prove each of the following statements by induction."

Transcription

1 Lecture Notes Proof by Induction page Sample Problems Prove each of the following statements by induction.. For all natural numbers n; n (n + ) a) ::: + n. b) ::: + n n (n + ) (n + ). c) ::: + n 3 n (n + ).. For all natural numbers n; ::: + n (n + ) n n For all natural numbers n; :::: + n n ( + (n ) n ).. For all natural numbers n 5; n n : 5. Prove that for all natural number n; 0 n can be written as a sum of two perfect squares.. Recall (F n ) is the Fibonacci sequence, de ned as F ; F ; and F n+ F n + F n+ Prove each of the following statements for all natural numbers n. a) F + F + F 3 + ::: + F n F n+ b) F + F + F 3 + ::: + F n F n F n+ c) F + F 3 + ::: + F n F n c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

2 Lecture Notes Proof by Induction page Sample Problems - Solutions. a) For all natural numbers n; ::: + n Part : We check for the rst few values of n. If n, then If n, then If n 3, then So the statement is true for n ; and 3. Part. n (n + ). LHS and RHS LHS + 3 and RHS LHS and RHS Suppose that k is a positive integer for which ::: + k Let us add k + to both sides. and the right hand side becomes k (k + ) RHS k + k + k + k (k + ) + (k + ) ( + ) ( + ) 3 (3 + ) ::: + k + (k + ) k (k + ) k + 3k + So we have proved that for all positive integers k, if 3 This is the inductional hypotheses (k + ) k (k + ) + (k + ) + (k + ) (k + ) (k + ) ((k + ) + ) then ::: + k ::: + k + (k + ) k (k + ) is true (k + ) ((k + ) + ) c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

3 Lecture Notes Proof by Induction page 3 b) For all natural numbers n; ::: + n Part : We check for the rst few values of n. If n, then If n, then If n 3, then LHS and RHS LHS + 5 and RHS n (n + ) (n + ). ( + ) ( + ) ( + ) ( + ) 30 5 LHS and RHS So the statement is true for n ; and 3. Part. Suppose that k is a positive integer for which 3 (3 + ) ( 3 + ) ::: + k k (k + ) (k + ) This is the inductional hypotheses Let us add (k + ) to both sides ::: + k + (k + ) and the right hand side becomes We factor out k + RHS k (k + ) (k + ) + (k + ) k (k + ) (k + ) + (k + ) RHS k (k + ) (k + ) k + + (k + ) k + k + k + k + k + (k (k + ) + (k + )) k + 7k + and so happens k + 7k + factors as (k + ) (k + 3). So we have RHS k + k + 7k + k + (k + ) (k + 3) (k + ) ((k + ) + ) ( (k + ) + ) So we have proved that for all positive integers k, if (k + ) (k + ) (k + 3) then ::: + k ::: + k + (k + ) k (k + ) (k + ) (k + ) ((k + ) + ) ( (k + ) + ) c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

4 Lecture Notes Proof by Induction page c) For all natural numbers n; ::: + n 3 n (n + ) Part : We check for the rst few values of n. If n, then If n, then If n 3, then LHS 3 and RHS ( + ) LHS and RHS ( + ) 3 9 LHS and RHS 3 (3 + ) 3 So the statement is true for n ; and 3. Part. Suppose that k is a positive integer for which ::: + k 3 k (k + ) This is the inductional hypotheses Let us add (k + ) 3 to both sides ::: + k 3 + (k + ) 3 and the right hand side becomes RHS k (k + ) + (k + ) 3 k (k + ) + (k + ) k + (k + ) (k + ) So we have proved that for all positive integers k, if then (k + )3 k + k ::: + k 3 k (k + ) factor out (k + ) is true (k + ) ::: + k 3 + (k + ) 3 (k + ) ((k + ) + ) (k + ) (k + ) (k + + ) c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

5 Lecture Notes Proof by Induction page 5. For all natural numbers n; Induction on n: Part. If n ; then If n ; then Part ::: + n (n + ) LHS LHS Suppose that k is a natural number such that n n +. and RHS + and RHS ::: + k (k + ) k k + (Induction hypothesis) We will add (k + ) (k + + ) (k + ) (k + ) to both sides ::: + k (k + ) + (k + ) (k + ) k k + + (k + ) (k + ) Let us simplify the right hand side k k + + (k + ) (k + ) k (k + ) (k + ) (k + ) + k (k + ) + (k + ) (k + ) (k + ) (k + ) k + k + (k + ) (k + ) (k + ) (k + ) (k + ) k + k + Thus we have that from the induction hypotheses ::: + k (k + ) k k + the statement ::: + (k + ) (k + ) k + k + follows. This completes our proof. 3. For all natural numbers n; :::: + n n ( + (n ) n ). Part. If n ; then LHS and RHS + ( ) If n ; then LHS + 0 and RHS + ( ) 5 0 Part. Suppose that k is a natural number such that :::: + k k + (k ) k (Induction hypothesis) Let us add (k + ) k+ to both sides. LHS :::: + k k + (k + ) k+ c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

6 Lecture Notes Proof by Induction page and the right-hand side becomes RHS + (k ) k + (k + ) k+ + (k ) k + (k + ) k + k k + k k+. For all natural numbers n 5; n n + (k ) k + (k + ) k factor out + k k k + k k + k Note: this is a very interesting example illustrating how induction works, how we need both parts to work together to form a logically sound proof. The statement seems to be true immediately at n but then surprisingly, it will be false for a few values of n. Part. If n ; then If n 3; then If n ; then If n 5; then If n ; then If n ; then LHS and RHS and > is true LHS and RHS and > is false! LHS 3 8 and RHS 3 9 and 8 > 9 is false! LHS and RHS and > is false! LHS 5 3 and RHS 5 5 and 3 > 5 is true LHS and RHS 3 and > 3 is true At this point we have a sense that the statement will stay true because the left-hand side doubles when we go from k to k + while the right-hand side just increases from k to (k + ). The proof in part will formalize this idea, that between the two types of growth, doubling is much faster. All we need to show is that moving from k to (k + ) is a smaller increment than doubling. In short, that (k + ) < k k + k + < k subtract k k + < k This should be easy to prove for most positive integers. We can either solve the quadratic inequality or be a little bit sloppy or generous and say that if k is greater than, then and if k is greater than 3, then < k add k k + < k + k k + < 3k 3 < k multiply by k > 0 3k < k c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

7 Lecture Notes Proof by Induction page 7 In short, if k > 3, then k + < 3k < k and so This will be the core of the proof in part. Part. k + < k add k to both sides k + k + < k (k + ) < k Suppose that k is a natural number such that k > k (Induction hypothesis) Let us multiply both sides by. LHS k k+ and the right-hand side becomes So we have RHS k If k > 3; then k > k k+ > k k+ > k k + k > k + 3k > k + k + (k + ) and so we have that if k > k is true AND k > 3, then k+ > (k + ). So we could easily prove the inheritance property for all integers greater than 3 but the statement itself is NOT true for n 3: Both components of the proof work together starting at n 5. statement inheritance to the next number n true false n false false n 3 false true (but we didn t prove it) n false true n 5 true true This table illustrates why induction only works here for n 5. For more documents like this, visit our page at and click on Lecture Notes. questions or comments to mhidegkuti@ccc.edu. c copyright Hidegkuti, Powell, 0 Last revised: November 3, 03

Factoring out the GCF and the Difference of Squares Theorem

Factoring out the GCF and the Difference of Squares Theorem Lecture Notes Factoring A page 1 Factoring out the GCF and the Difference of Squares Theorem Sample Problems 1. Completely factor each of the following. a) 3x 1 c) 3a 1 b) x y d) 3a 1a e) x 1 f) x + 1

More information

Lecture Notes Basic Functions and their Properties page 1

Lecture Notes Basic Functions and their Properties page 1 Lecture Notes Basic Functions and their Properties page De nition: A function f is (or injective) if for all a and b in its domain, if a = b, then f (a) = f (b). Alternative de nition: A function f is

More information

Sample Problems. Practice Problems

Sample Problems. Practice Problems Lecture Notes Graphs of Factored Polnomials page Sample Problems. Plot the graph of f () = ( + ) ( ).. Plot the graph of f () = ( ) ( + ) ( ) ( ) (6 ) ( + ). Practice Problems Plot the graph of each of

More information

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

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

More information

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.

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. Solutions Quiz 9 Nov. 8, 2010 1. Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

Mathematical Induction

Mathematical Induction Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)

More information

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

More information

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

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

More information

Lecture 5. x 1,x 2,x 3 0 (1)

Lecture 5. x 1,x 2,x 3 0 (1) Computational Intractability Revised 2011/6/6 Lecture 5 Professor: David Avis Scribe:Ma Jiangbo, Atsuki Nagao 1 Duality The purpose of this lecture is to introduce duality, which is an important concept

More information

Math 1302 Notes 2. How many solutions? What type of solution in the real number system? What kind of equation is it?

Math 1302 Notes 2. How many solutions? What type of solution in the real number system? What kind of equation is it? Math 1302 Notes 2 We know that x 2 + 4 = 0 has How many solutions? What type of solution in the real number system? What kind of equation is it? What happens if we enlarge our current system? Remember

More information

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page. Formal Methods Name: Key Midterm 2, Spring, 2007 Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.. Determine whether each of

More information

To solve a radical equation, you must take both sides of an equation to a power.

To solve a radical equation, you must take both sides of an equation to a power. Topic 5 1 Radical Equations A radical equation is an equation with at least one radical expression. There are four types we will cover: x 35 3 4x x 1x 7 3 3 3 x 5 x 1 To solve a radical equation, you must

More information

Ch 3.2: Direct proofs

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

More information

Section 3.7: Solving Radical Equations

Section 3.7: Solving Radical Equations Objective: Solve equations with radicals and check for extraneous solutions. In this section, we solve equations that have roots in the problem. As you might expect, to clear a root we can raise both sides

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 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

More information

Online Courses for High School Students

Online Courses for High School Students Online Courses for High School Students 1-888-972-6237 Algebra I Course Description: Students explore the tools of algebra and learn to identify the structure and properties of the real number system;

More information

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright

More information

Discrete Math, Spring Solutions to Problems V

Discrete Math, Spring Solutions to Problems V Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose

More information

Bob Brown, CCBC Essex Math 163 College Algebra, Chapter 1 Section 7 COMPLETED 1 Linear, Compound, and Absolute Value Inequalities

Bob Brown, CCBC Essex Math 163 College Algebra, Chapter 1 Section 7 COMPLETED 1 Linear, Compound, and Absolute Value Inequalities Bob Brown, CCBC Essex Math 163 College Algebra, Chapter 1 Section 7 COMPLETED 1 What is the following symbol? < The inequality symbols < > are used to compare two real numbers. The meaning of anyone of

More information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.RUPNATHJI( DR.RUPAK NATH ) Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology

More information

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition

More information

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs. Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4 INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!

More information

Unit 4 Systems of Equations Systems of Two Linear Equations in Two Variables

Unit 4 Systems of Equations Systems of Two Linear Equations in Two Variables Unit 4 Systems of Equations Systems of Two Linear Equations in Two Variables Solve Systems of Linear Equations by Graphing Solve Systems of Linear Equations by the Substitution Method Solve Systems of

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

Appendix G: Mathematical Induction

Appendix G: Mathematical Induction Appendix G: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

More information

We extend our number system now to include negative numbers. It is useful to use a number line to illustrate this concept.

We extend our number system now to include negative numbers. It is useful to use a number line to illustrate this concept. Negative Numbers.1 Negative Numbers We extend our number system now to include negative numbers. It is useful to use a number line to illustrate this concept. 1 9 8 7 6 5 4 2 1 1 2 4 5 6 7 8 9 1 Note:

More information

Archdiocese of Washington Catholic Schools Academic Standards Mathematics

Archdiocese of Washington Catholic Schools Academic Standards Mathematics ALGEBRA 1 Standard 1 Operations with Real Numbers Students simplify and compare expressions. They use rational exponents, and simplify square roots. A1.1.1 A1.1.2 A1.1.3 A1.1.4 A1.1.5 Compare real number

More information

2-7 Solving Absolute-Value Inequalities

2-7 Solving Absolute-Value Inequalities Warm Up Solve each inequality and graph the solution. 1. x + 7 < 4 2. 14x 28 3. 5 + 2x > 1 When an inequality contains an absolute-value expression, it can be written as a compound inequality. The inequality

More information

Equations. Rational Equations. Example. 2 x. a b c 2a. Examine each denominator to find values that would cause the denominator to equal zero

Equations. Rational Equations. Example. 2 x. a b c 2a. Examine each denominator to find values that would cause the denominator to equal zero Solving Other Types of Equations Rational Equations Examine each denominator to find values that would cause the denominator to equal zero Multiply each term by the LCD or If two terms cross-multiply Solve,

More information

What can you prove by induction?

What can you prove by induction? MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................

More information

It is true that 12 > 10. All the other numbers are less than 10.

It is true that 12 > 10. All the other numbers are less than 10. Name Solving Equations and Inequalities - Step-by-Step Lesson a) Is v = 8 a solution to the inequality below? v < 6 b) A > 10 Which value for A would make the inequality true? i) 5 ii) 0 iii) 12 iv) 9

More information

5.2 Polynomial Operations

5.2 Polynomial Operations 5.2 Polynomial Operations At times we ll need to perform operations with polynomials. At this level we ll just be adding, subtracting, or multiplying polynomials. Dividing polynomials will happen in future

More information

Rational Numbers CHAPTER. 1.1 Introduction

Rational Numbers CHAPTER. 1.1 Introduction RATIONAL NUMBERS Rational Numbers CHAPTER. Introduction In Mathematics, we frequently come across simple equations to be solved. For example, the equation x + = () is solved when x =, because this value

More information

Mathematics Textbook Correlation to the 2016 Algebra I Standards of Learning and Curriculum Framework

Mathematics Textbook Correlation to the 2016 Algebra I Standards of Learning and Curriculum Framework and Curriculum Framework Publisher: McGraw-Hill School Education Text: Algebra 1 Copyright date 2018 A.1 The student will a) represent verbal quantitative situations algebraically; and TE: 5-9, 23-29,

More information

Revision Topic 8: Solving Inequalities Inequalities that describe a set of integers or range of values

Revision Topic 8: Solving Inequalities Inequalities that describe a set of integers or range of values Revision Topic 8: Solving Inequalities Inequalities that describe a set of integers or range of values The inequality signs: > greater than < less than greater than or equal to less than or equal to can

More information

x y = 2 x + 2y = 14 x = 2, y = 0 x = 3, y = 1 x = 4, y = 2 x = 5, y = 3 x = 6, y = 4 x = 7, y = 5 x = 0, y = 7 x = 2, y = 6 x = 4, y = 5

x y = 2 x + 2y = 14 x = 2, y = 0 x = 3, y = 1 x = 4, y = 2 x = 5, y = 3 x = 6, y = 4 x = 7, y = 5 x = 0, y = 7 x = 2, y = 6 x = 4, y = 5 List six positive integer solutions for each of these equations and comment on your results. Two have been done for you. x y = x + y = 4 x =, y = 0 x = 3, y = x = 4, y = x = 5, y = 3 x = 6, y = 4 x = 7,

More information

Problem Set 1 Solutions

Problem Set 1 Solutions 18.014 Problem Set 1 Solutions Total: 4 points Problem 1: If ab = 0, then a = 0 or b = 0. Suppose ab = 0 and b = 0. By axiom 6, there exists a real number y such that by = 1. Hence, we have a = 1 a = a

More information

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

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B. Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets

More information

Twitter: @Owen134866 www.mathsfreeresourcelibrary.com Prior Knowledge Check 1) Simplify: a) 3x 2 5x 5 b) 5x3 y 2 15x 7 2) Factorise: a) x 2 2x 24 b) 3x 2 17x + 20 15x 2 y 3 3) Use long division to calculate:

More information

LOGARITHMS. Examples of Evaluating Logarithms by Using the Definition:

LOGARITHMS. Examples of Evaluating Logarithms by Using the Definition: LOGARITHMS Definition of Logarithm: Given: a is a (real) number > 0 but a 1, called the base of the logarithm, and x is a (real) number > 0. log a x is defined to be the number y such that: y is the exponent

More information

Gomory Cuts and a little more

Gomory Cuts and a little more Gomory Cuts and a little more Hi, Mita and I are here to introduce a tutorial on cutting planes. Cutting planes are a useful technique that, in conjunction with branch and bound, enable us to solve integer

More information

6-3 Solving Systems by Elimination

6-3 Solving Systems by Elimination Another method for solving systems of equations is elimination. Like substitution, the goal of elimination is to get one equation that has only one variable. To do this by elimination, you add the two

More information

5.1 Increasing and Decreasing Functions. A function f is decreasing on an interval I if and only if: for all x 1, x 2 I, x 1 < x 2 = f(x 1 ) > f(x 2 )

5.1 Increasing and Decreasing Functions. A function f is decreasing on an interval I if and only if: for all x 1, x 2 I, x 1 < x 2 = f(x 1 ) > f(x 2 ) 5.1 Increasing and Decreasing Functions increasing and decreasing functions; roughly DEFINITION increasing and decreasing functions Roughly, a function f is increasing if its graph moves UP, traveling

More information

Day 28 linear functions Day 29 linear functions. integers Day 30 non-linear functions Day 31 non-linear functions. Multiply and divide integers Day

Day 28 linear functions Day 29 linear functions. integers Day 30 non-linear functions Day 31 non-linear functions. Multiply and divide integers Day Algebra 1 Credits:1 Prerequisite:Pre-algebra Recommended:8th, 9th Course Description:Students will engage in real world and hands-on problem solving while using their developing skills in algebra. Students

More information

Name: Block: Unit 2 Inequalities

Name: Block: Unit 2 Inequalities Name: Block: Unit 2 Inequalities 2.1 Graphing and Writing Inequalities 2.2 Solving by Adding and Subtracting 2.3 Solving by Multiplying and Dividing 2.4 Solving Two Step and Multi Step Inequalities 2.5

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

14:332:231 DIGITAL LOGIC DESIGN. Why Binary Number System?

14:332:231 DIGITAL LOGIC DESIGN. Why Binary Number System? :33:3 DIGITAL LOGIC DESIGN Ivan Marsic, Rutgers University Electrical & Computer Engineering Fall 3 Lecture #: Binary Number System Complement Number Representation X Y Why Binary Number System? Because

More information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Explain the steps in a proof by (strong) mathematical induction Use (strong) mathematical induction

More information

Section 1.2: Conditional Statements

Section 1.2: Conditional Statements Section 1.2: Conditional Statements In this section, we study one of the most important tools in logic - conditional statements. Loosely speaking, conditional statements are statements of the form if p

More information

Notes on arithmetic. 1. Representation in base B

Notes on arithmetic. 1. Representation in base B Notes on arithmetic The Babylonians that is to say, the people that inhabited what is now southern Iraq for reasons not entirely clear to us, ued base 60 in scientific calculation. This offers us an excuse

More information

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers:

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers: 1. Revision Description Reflect Review Teasers Answers Recall of Rational Numbers: A rational number is of the form, where p q are integers q 0. Addition or subtraction of rational numbers is possible

More information

Order of Operations. Real numbers

Order of Operations. Real numbers Order of Operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply and divide from left to right. 4. Add

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

Math 283 Spring 2013 Presentation Problems 4 Solutions

Math 283 Spring 2013 Presentation Problems 4 Solutions Math 83 Spring 013 Presentation Problems 4 Solutions 1. Prove that for all n, n (1 1k ) k n + 1 n. Note that n means (1 1 ) 3 4 + 1 (). n 1 Now, assume that (1 1k ) n n. Consider k n (1 1k ) (1 1n ) n

More information

Problems. HW problem 5.7 Math 504. Spring CSUF by Nasser Abbasi

Problems. HW problem 5.7 Math 504. Spring CSUF by Nasser Abbasi Problems HW problem 5.7 Math 504. Spring 2008. CSUF by Nasser Abbasi 1 Problem 6.3 Part(A) Let I n be an indicator variable de ned as 1 when (n = jj I n = 0 = i) 0 otherwise Hence Now we see that E (V

More information

Investigating Inequalities:

Investigating Inequalities: Investigating Inequalities: Choose roles: Record each group member s name next to their role: Anuncer: Recorder: Walker A: Walker B: Set-up: use the number cards to construct a number line on the floor.

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Integrated Math III. IM3.1.2 Use a graph to find the solution set of a pair of linear inequalities in two variables.

Integrated Math III. IM3.1.2 Use a graph to find the solution set of a pair of linear inequalities in two variables. Standard 1: Algebra and Functions Students solve inequalities, quadratic equations, and systems of equations. They graph polynomial, rational, algebraic, and piece-wise defined functions. They graph and

More information

Section - 9 GRAPHS. (a) y f x (b) y f x. (c) y f x (d) y f x. (e) y f x (f) y f x k. (g) y f x k (h) y kf x. (i) y f kx. [a] y f x to y f x

Section - 9 GRAPHS. (a) y f x (b) y f x. (c) y f x (d) y f x. (e) y f x (f) y f x k. (g) y f x k (h) y kf x. (i) y f kx. [a] y f x to y f x 44 Section - 9 GRAPHS In this section, we will discuss graphs and graph-plotting in more detail. Detailed graph plotting also requires a knowledge of derivatives. Here, we will be discussing some general

More information

EXPONENTIAL AND LOGARITHMIC FUNCTIONS

EXPONENTIAL AND LOGARITHMIC FUNCTIONS Mathematics Revision Guides Exponential and Logarithmic Functions Page 1 of 14 M.K. HOME TUITION Mathematics Revision Guides Level: A-Level Year 1 / AS EXPONENTIAL AND LOGARITHMIC FUNCTIONS Version : 4.2

More information

Sample Problems. Lecture Notes Related Rates page 1

Sample Problems. Lecture Notes Related Rates page 1 Lecture Note Related Rate page 1 Sample Problem 1. A city i of a circular hape. The area of the city i growing at a contant rate of mi y year). How fat i the radiu growing when it i exactly 15 mi? (quare

More information

Mathematical Induction

Mathematical Induction Mathematical Induction Let s motivate our discussion by considering an example first. What happens when we add the first n positive odd integers? The table below shows what results for the first few values

More information

Module 1: Introduction to Finite Difference Method and Fundamentals of CFD Lecture 7:

Module 1: Introduction to Finite Difference Method and Fundamentals of CFD Lecture 7: file:///d:/chitra/nptel_phase2/mechanical/cfd/lecture7/7_1.htm 1 of 1 6/20/2012 12:26 PM The Lecture deals with: Errors and Stability Analysis file:///d:/chitra/nptel_phase2/mechanical/cfd/lecture7/7_2.htm

More information

0.Axioms for the Integers 1

0.Axioms for the Integers 1 0.Axioms for the Integers 1 Number theory is the study of the arithmetical properties of the integers. You have been doing arithmetic with integers since you were a young child, but these mathematical

More information

NCERT solution for Integers-2

NCERT solution for Integers-2 NCERT solution for Integers-2 1 Exercise 6.2 Question 1 Using the number line write the integer which is: (a) 3 more than 5 (b) 5 more than 5 (c) 6 less than 2 (d) 3 less than 2 More means moving right

More information

Example: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple

Example: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple of 2, that is, an integer x is even if x = 2y for some integer

More information

Solving Quadratic Equations

Solving Quadratic Equations Solving Quadratic Equations MATH 101 College Algebra J. Robert Buchanan Department of Mathematics Summer 2012 Objectives In this lesson we will learn to: solve quadratic equations by factoring, solve quadratic

More information

Mathematical Fundamentals

Mathematical Fundamentals Mathematical Fundamentals Sets Factorials, Logarithms Recursion Summations, Recurrences Proof Techniques: By Contradiction, Induction Estimation Techniques Data Structures 1 Mathematical Fundamentals Sets

More information

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument.

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument. Mathematical Reasoning Rules of Inference & Mathematical Induction Example. If I take the day off it either rains or snows 2. When It rains, my basement floods 3. When the basement floods or it snows,

More information

Lecture 2: Proof Techniques Lecturer: Lale Özkahya

Lecture 2: Proof Techniques Lecturer: Lale Özkahya BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 2: Proof Techniques Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete Mathematics and App. cs.colostate.edu/

More information

California: Algebra 1

California: Algebra 1 Algebra Discovering Algebra An Investigative Approach California: Algebra 1 Grades Eight Through Twelve Mathematics Content Standards 1.0 Students identify and use the arithmetic properties of subsets

More information

Finals: Solutions. ECS 20 (Fall 2009) Patrice Koehl May 20, 2016

Finals: Solutions. ECS 20 (Fall 2009) Patrice Koehl May 20, 2016 Finals: Solutions ECS 20 (Fall 2009) Patrice Koehl koehl@cs.ucdavis.edu May 20, 2016 Part I: Logic Exercise 1 On a distant island, every inhabitant is either a Knight or Knave. Knights only tell the truth.

More information

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

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

Algorithms CMSC The Method of Reverse Inequalities: Evaluation of Recurrent Inequalities

Algorithms CMSC The Method of Reverse Inequalities: Evaluation of Recurrent Inequalities Algorithms CMSC 37000 The Method of Reverse Inequalities: Evaluation of Recurrent Inequalities László Babai Updated 1-19-2014 In this handout, we discuss a typical situation in the analysis of algorithms:

More information

Algebra II. A2.1.1 Recognize and graph various types of functions, including polynomial, rational, and algebraic functions.

Algebra II. A2.1.1 Recognize and graph various types of functions, including polynomial, rational, and algebraic functions. Standard 1: Relations and Functions Students graph relations and functions and find zeros. They use function notation and combine functions by composition. They interpret functions in given situations.

More information

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

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof: Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a

More information

CSE 311: Foundations of Computing. Lecture 14: Induction

CSE 311: Foundations of Computing. Lecture 14: Induction CSE 311: Foundations of Computing Lecture 14: Induction Mathematical Induction Method for proving statements about all natural numbers A new logical inference rule! It only applies over the natural numbers

More information

1. When applied to an affected person, the test comes up positive in 90% of cases, and negative in 10% (these are called false negatives ).

1. When applied to an affected person, the test comes up positive in 90% of cases, and negative in 10% (these are called false negatives ). CS 70 Discrete Mathematics for CS Spring 2006 Vazirani Lecture 8 Conditional Probability A pharmaceutical company is marketing a new test for a certain medical condition. According to clinical trials,

More information

The following are steps to an algorithm. Determine what that algorithm is. Hint: it is a formula from your AIMS reference sheet.

The following are steps to an algorithm. Determine what that algorithm is. Hint: it is a formula from your AIMS reference sheet. Purposes of Algorithms : Algorithms can be used for a variety of purposes. They can be used to simplify expressions, solve equations and inequalities, and evaluate expressions. You have already used algorithms

More information

Mathematical Induction

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

More information

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University U Kang 1 In This Lecture Set concepts and notation Logarithms Summations Recurrence Relations Recursion Induction Proofs

More information

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

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. 2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say

More information

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 3000 Section 003 Intro to Abstract Math Homework 6 Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are

More information

SOLUTION OF QUADRATIC EQUATIONS LESSON PLAN. A3 Topic Overview ALGEBRA

SOLUTION OF QUADRATIC EQUATIONS LESSON PLAN. A3 Topic Overview ALGEBRA ALGEBRA A Topic Overview A SOLUTION OF QUADRATIC EQUATIONS This topic describes three methods of solving Quadratic equations. assumes you understand and have practised using the algebraic methods described

More information

Earthquake Model Investigations

Earthquake Model Investigations Earthquake Model Investigations Name Part 1 Pre Lab Worksheet Watch as your teacher demonstrates how the Earthquake model works. In this pre lab, you will predict what you think will be the relationship

More information

Correlation: California State Curriculum Standards of Mathematics for Grade 6 SUCCESS IN MATH: BASIC ALGEBRA

Correlation: California State Curriculum Standards of Mathematics for Grade 6 SUCCESS IN MATH: BASIC ALGEBRA Correlation: California State Curriculum Standards of Mathematics for Grade 6 To SUCCESS IN MATH: BASIC ALGEBRA 1 ALGEBRA AND FUNCTIONS 1.0 Students write verbal expressions and sentences as algebraic

More information

2301 Assignment 1 Due Friday 19th March, 2 pm

2301 Assignment 1 Due Friday 19th March, 2 pm Show all your work. Justify your solutions. Answers without justification will not receive full marks. Only hand in the problems on page 2. Practice Problems Question 1. Prove that if a b and a 3c then

More information

Written Assignment #1 - SOLUTIONS

Written Assignment #1 - SOLUTIONS Written Assignment #1 - SOLUTIONS Question 1. Use the definitions of continuity and differentiability to prove that the function { cos(1/) if 0 f() = 0 if = 0 is continuous at 0 but not differentiable

More information

MA103 STATEMENTS, PROOF, LOGIC

MA103 STATEMENTS, PROOF, LOGIC MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking

More information

Chapter 2: Switching Algebra and Logic Circuits

Chapter 2: Switching Algebra and Logic Circuits Chapter 2: Switching Algebra and Logic Circuits Formal Foundation of Digital Design In 1854 George Boole published An investigation into the Laws of Thoughts Algebraic system with two values 0 and 1 Used

More information

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Theoretical Cryptography, Lecture 13

Theoretical Cryptography, Lecture 13 Theoretical Cryptography, Lecture 13 Instructor: Manuel Blum Scribe: Ryan Williams March 1, 2006 1 Today Proof that Z p has a generator Overview of Integer Factoring Discrete Logarithm and Quadratic Residues

More information

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S. 1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for

More information

Recitation 7: Existence Proofs and Mathematical Induction

Recitation 7: Existence Proofs and Mathematical Induction Math 299 Recitation 7: Existence Proofs and Mathematical Induction Existence proofs: To prove a statement of the form x S, P (x), we give either a constructive or a non-contructive proof. In a constructive

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

1. Propositions: Contrapositives and Converses

1. Propositions: Contrapositives and Converses Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement

More information