Presentation on theme: "Purpose: Let’s Define Some Terms!! Proof by Contradiction"— Presentation transcript:
1Purpose: Let’s Define Some Terms!! Proof by Contradiction CONVERSECorollaryProof by ContradictionTerms to be defined in syllabus. In booklet as definitions but understanding is key. Have shown up in exams already.If and only ifAxiomImplies
2Converse of a Statement Statement: If Rex is a dogthen Rex is a mammal. (True)Converse: If Rex is a mammalthen Rex is a Dog (False)Converse of a statement first.Could be introduced to 1st years when solving equations-preparing groundwork again for later.
3What is the Converse of a Theorem? Consider the sentence below:IfIfthe angles of the shape add up to 180othe angles of the shape add up to 180oThenThenthe shape is a triangle.the shape is a triangle.To make the converse statement swap around theparts of the statement in the green boxes aboveIf Then approach could be taken when introducing all theoremsThis is the converse statement(TRUE)
4Not all converse statements are true. Consider the sentence below:IfIfa shape is a square.a shape is a squareThenThenthe angles add up to 360othe angles add up to 360oNow make the converse statement.Ask teachers to get converse of some theorems on the course themselves and say whether true or notCan you think of a shape with angles of 360o which is not a square ?Any closed quadrilateral.
5Is the Converse True or False? (1) If a triangle has three equal sides then it has three equal angles.True(2) If a number is even then the number divides by two exactly.True(3) If a shape is a square then the shape has parallel sides.False(4) If you have thrown a three and a four then your total score is seven with a die.False
6Introducing 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.Mike is arguing that there is no game going on by supposing that there is a game in the stadium. This leads him to his contradiction and therefore his supposition must be incorrect.Note on proof by contradiction: Assume a statement is not true and show that this assumption leads to a contradiction – called reduction as absurdum (reduction to absurdity) in Latin)Reductio ad Absurdum: Proof by Contradiction
7Introducing Indirect Proof 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.
8Proof by Contradiction : Algebra Again students need to meet these ideas way before Geometry.
9Proof 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??
10QED x ≤ 30 y ≤ 30 x + y ≤ 60 Assume neither shirt costs more than €30 y ≤ 30x + y ≤ 60This is a contradiction since we know Tim spent more than€60Our original assumption must be falseAt least one of the shirts had to have cost more than €30QED
11Geometry : 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 anglesWe know ∠A + ∠B + ∠C = 1800By substitution ∠C = 1800∴ ∠C = 00 which is a contradiction∴ ∠A and ∠B cannot both be right anglesAsk teachers for their own proof by contradiction examples⇒ A triangle can have at most one right angle
12Proof by Contradiction: The Square Root of 2 is Irrational 21To prove that 2 is irrationalAssume the contrary: 2 is rationali.e. there exists integers p and q with no common factors such that:(Square both sides)(Multiply both sides by )Considered one of the classic proofs by contradiction.Proof attributed to Aristotle.Run through in class then get students to try themselves.(......it’s a multiple of 2)(......even2 = even)
13This contradicts the original assumption. (Divide both sides by 2).This contradicts the original assumption.2 is irrational Q.E.D.
14Click for link to external website Proof sorting activity. Proof could be asked like this in the exam.