slides06

# slides06 - Mathematical Induction CMSC 250 1 Logic of...

This preview shows pages 1–12. Sign up to view the full content.

1 CMSC 250 Mathematical Induction

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
2 CMSC 250 Logic of Induction Induction principle: P(1) ( 2200 n ≥ 1)[P( n ) P( n +1)] ( 2200 n ≥ 1)[P( n )]
3 CMSC 250 Logic of Induction Induction principle: P(1) ( 2200 n ≥ 2)[P( n -1) P( n )] ( 2200 n ≥ 1)[P( n )]

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4 CMSC 250 Description Inductive proofs must have: Base case: P (1) Usually easy Inductive hypothesis: Assume P ( n -1) Inductive step: Prove P ( n -1) P ( n )
5 CMSC 250 Example For all n ≥1 + = = n i n n i 1 2 ) 1 ( Proof in class

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
6 CMSC 250 Another example For all n ≥1 - = - = 1 2 2 1 0 n n k k Proof in class
7 CMSC 250 Another example- Geometric Series - - = - = 1 1 1 0 r r r n n k k Proof in class For all n ≥1 and real r ≠1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
8 CMSC 250 Another example- a divisibility property )] 3 (mod [ 3 n n Proof in class
9 CMSC 250 A sequence example Theorem Let Then [ ] 2 ) 1 ( n a n n = 2200 1 1 = a [ ] ) 1 2 ( ) 2 ( 1 - + = 2200 - n a a n n n Proof in class

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
10 CMSC 250 An example with an inequality Prove this statement: Base case ( n = 3): 7 1 6 1 ) 3 ( 2 : = + = + LHS 8 2 : 3 = RHS RHS LHS < [ ] n n Z n 2 1 2 ) ( 3 < + 2200 Proof in class
11 CMSC 250 Another example with an inequality Proof in class For all n ≥0 and real x≥0

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 12/04/2011 for the course CMSC 250 taught by Professor Staff during the Spring '08 term at Maryland.

### Page1 / 26

slides06 - Mathematical Induction CMSC 250 1 Logic of...

This preview shows document pages 1 - 12. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online