f2006lecNotesWeek04 - 11 11.1 Proof in Mathematics (cont.)...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
11 Proof in Mathematics (cont.) — Mathematical Induction 11.1 Proof by contradiction •§ 3.6 in Epp here, to prove that p is true, we show that assuming p leads to a contradiction classic example: prove that 2 is irrational 11.2 Comparing methods of proof many possible approaches to proving theorems no guarantee that any will work sometimes many approaches work an example prove that x R , if x 2 - 5 x +4 < 0 then x> 0 a direct proof if x 2 - 5 x +4 < 0 then x 2 +4 < 5 x 5 x>x 2 +4 > 0 5 x> 0 x> 0 an indirect proof — using contrapositive show that x R , if x 0 , then x 2 - 5 x +4 0 if x 0 then x - 1 0 and x - 4 0 ( x - 1)( x - 4) 0 x 2 - 5 x +4 0 a proof by contradiction suppose x 2 - 5 x +4 < 0 and x 0 then x 2 < 5 x - 4 but if x 0 5 x 0 5 x - 4 < 0 so x 2 < 0 but x R ,x 2 0 we have a contradiction 11.3 Existence proofs •§ 3.1 in Epp useful for proving theorems of the form: x, P ( x ) constructive existence proofs explain e.g. there is at least one positive integer whose value is the sum of its positive divisors (other than itself) 6=1+2+3 25
Background image of page 1

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

View Full DocumentRight Arrow Icon
non-constructive existence proofs explain e.g. show that there exist irrational numbers x and y such that x y is rational consider x = 2 and y = 2 recall division into cases: ( p q ) ( p r ) ( q r ) r 11.4 Proof by Counterexample useful for proving theorems of the form: ∼∀ x, P ( x ) these theorems can be rephrased in the equivalent form: x, P ( x ) we only need Fnd one x for which P ( x ) is false such an x is called a counterexample e.g. Prove that the expression n 2 - n + 41 where n Z + is not always prime. show that it is prime for many values
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/19/2008 for the course ECE 190 taught by Professor Carter during the Fall '06 term at University of Toronto- Toronto.

Page1 / 6

f2006lecNotesWeek04 - 11 11.1 Proof in Mathematics (cont.)...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online