1015122, 920 Pat ‘Chapter 5 Class Notes Mr. Baroody’s Web Page ite-all good! we you are here > Class Notes - Chapter 5 - Lesson 5: Printable version Other Links Indirect Proof - Lesson 5-1 = Class Notes = Lesson 5-1 “Today, we learned how to do the formal structure of indirect proof. We started with the following ‘example, which shows how we always start an indect proof by assuming the opposite of what we're ‘tying to prove. We then use this, n addition to some given information, to try to contradict one of the Lesson 53 ‘ives. Ifwe can do that, then we know our assumption was erroneous, and thatthe opposite of our = Lesson 5-2 = Quiz Topics assumption (the thing we're trying to prove) is true! = Lesson 54 P oven: RPS = Lesson 55 PRis not =to OR s = Lesson 56 = = Lesson &7 Prove: RS does not bisect PRA R = Test Topics nz = @ = Either 83 bisects /PRQ or 83 does not bisect “PRA, so assume RS bisects /PRA. Statements Reasons 4, Assume: RS bisects 2PRA. 4. Assumption AZ 2PRS= cars 2. Defh. of Z bisector 3. REAPS 3. Given A. 2PSR 8 ZOGR areright 2s 4. Def. of 1 segs AS 2PSR=2asR 5. RAT RE=RS 6. Refloxive Property 7. RSA, 6,5) 3. crete 9. Given But statement 8 contradicts statement 9. Consequently, the assumption must be false. = RS does not bisect PRO. Note again, that we started by looking atthe "Prove" statement and assumed the opposite oft. That is. the key to doing indirect proofs. Start withthe opposite of what you're trying to prove and try to ‘contradict one of the other givens. We stated the procedure as shown below: Indirect-Proof Procedure 4. Arcuma that the negation of the desired conclusion ie eorroct. 2, Write a chain of reasons until you reach an impossibility. This wi contradiction of either 4) glven information or 1) a theorem, definition, or other knowm fact. 3, State the remaining possibiity as the desired conclusion, We then did the following example to soidty how to do this ype of prove. This isthe way I Ike to se {you do these types of proof. The concluding "paragraph should always say "Statement x contracts statement y. Consequently, the assumption must be incorrect. Therefore, [Prove statement goes here)" hitpsswww-baroody.orgGeometyyHonors/Class NoosiChapter S/LessonS-t/LossonS-1 hil 421015122, 920 Pat Chapter 5 Class Notes A Prove: A 1. Assume: 28=ZCED 4. Assumption 2. AC LBD 2 Given 3. BCR and ZDCE are right 2s 3 Defn. of 1 segs Aa ZaCA=veCcD 4 RAT ss 5. Given 6. ABCA= ECD 6 ASAG,5,4) 7. RB=ED 7. epere 8, ABiis not =toED & Given ‘But statement 7 contractets statement 8. Consequently, he assumption must be false. Viisnat to /CED. Given some of the really hard detour proofs we've been doing, this realy ist that bad. Just make sure to get the procedure down and the proofs should be relatively straight forward. ___] sherborn.org hitpss www baroody.orgGeometyyHonors/Class Nolos/Chapter S/LessonS-t/Lesson6-1 hil 22