corollary if and only if converse proof by contradiction axiom implies purpose: lets define some...

14
Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Let’s Define Some Terms!!

Upload: alessandro-willetts

Post on 28-Mar-2015

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Corollary

If and only if

CONVERSEProof by

Contradiction Axiom

Implies

Purpose: Let’s Define Some Terms!!

Page 2: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Statement: If Rex is a dog then Rex is a mammal.

(True)

Converse of a Statement

Converse: If Rex is a mammal then Rex is a Dog.

(False)Algebra

3( 2) 42 16 (True)

=16 3( 2) 42 (True)

If x then x

If x then x

Page 3: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Consider the sentence below:

If the angles of the shape add up to 180o

Then the shape is a triangle.

To make the converse statement swap around the parts of the statement in the green boxes above

If

the shape is a triangle.Then

the angles of the shape add up to 180o

This is the converse

statement

(TRUE)

What is the Converse of a Theorem?

Page 4: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Not all converse statements are true.

Consider the sentence below:

If a shape is a square

Then the angles add up to 360o

Now make the converse statement.

If a shape is a square.

Then the angles add up to 360o

Can you think of a shape with angles of 360o which is not a square ?

Any closed quadrilateral.

Page 5: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

(1) If a triangle has three equal sides then it has three equal angles. (2) If a number is even then the number divides by two exactly.

(4) If you have thrown a three and a four then your total score is seven with a die.

True

True

False

False

(3) If a shape is a square then the shape has parallel sides.

Is the Converse True or False?

Page 6: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Introducing Indirect Proof: Leinster game?

Paul and Mike are driving past the Aviva Stadium. The floodlights are on.

Paul: Are Leinster playing tonight?

Mike: I don’t think so. If a game were being played right now we would see or hear a big crowd but the stands are empty and there isn’t any noise.

 

Reductio ad Absurdum: Proof by Contradiction

Page 7: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Sarah left her house at 9:30 AM and arrived at her aunts house 80 miles away at 10:30 AM.

Use an indirect proof to show that Sarah exceeded the 55 mph speed limit.

Introducing Indirect Proof

Page 8: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

2

2

2

2 2

Theorem: There is no solution to the equation

3 1

3Proof: (By Contradiction)

Suppose there a solution. Call it

3 1

3

3 1 ( 3)

3 1 3

1 0 ............Impossible

Hence,

x xx

x

IS p

p pp

p

p p p p

p p p p

no solution exists. . . .Q E D

Proof by Contradiction : Algebra

Page 9: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Proof by Contradiction: Inequalities

If Tim buys two shirts for just over €60, can you prove that at least one of the shirts cost more than €30??

. . 60 then either 30 or 30i e If x y x y

Page 10: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Assume neither shirt costs more than €30

+ +

This is a contradiction since we know Tim spent more than

€60 Our original assumption must be false

At least one of the shirts had to have cost more than €30

QED

x ≤ 30y ≤ 30

x + y ≤ 60

Page 11: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Geometry : Proof by Contradiction

Triangle ABC has no more than one right angle. Can you complete a proof by contradiction for this statement?

Assume ∠A and ∠B are right angles

We know ∠A + ∠B + ∠C = 1800

∴ ∠C = 00 which is a contradiction

∴ ∠A and ∠B cannot both be right angles

⇒ A triangle can have at most one right angle

By substitution 900 + 900 + ∠C = 1800

Page 12: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Proof by Contradiction: The Square Root of 2 is Irrational 2

1

1

To prove that 2 is irrational

Assume the contrary: 2 is rational i.e. there exists integers p and q with no common factors such that:

2q

p

22

2

q

p

(Square both sides)

2 2

2

2

p q

p is even

p is even

(Multiply both sides by )

(......it’s a multiple of 2)

(......even2 = even)

2q

Page 13: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

2 has a factor of 2 in common.

2

k p

m

p

q q

.

is even

2 for some

p

p k k

2 2 2 2

2 2

2 2

If 2

2 becomes (2 ) 2

4 2

2

p k

p q k q

k q

k q

Then similarly 2 for some q m m

This contradicts the original assumption.

2 is irrational Q.E.D.

(Divide both sides by 2)

2q

p

22

2

q

p

2 2

2

2

p q

p is even

p is even

Page 14: Corollary If and only if CONVERSE Proof by Contradiction Axiom Implies Purpose: Lets Define Some Terms!!

Click for link to external website