Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P...
-
Upload
colin-morton -
Category
Documents
-
view
221 -
download
6
description
Transcript of Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P...
![Page 1: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/1.jpg)
Proof Methods & strategies
Section 1.7
![Page 2: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/2.jpg)
Proof by Cases• We use the rule of inference
P1 P2 ... Pn q (P1 q) (P2 q) .. (Pn q)
![Page 3: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/3.jpg)
Exhaustive Proof• A special type of proof by cases
where each case can be checked by examining an example.
• Good for computers.
![Page 4: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/4.jpg)
Examples(n+1)3 3n, for n=1, 2, 3, 4Proof: (Exhaustive)• For n=1, 23 = 8 3• For n=2, 33 = 27 32 =9• For n=3, 43 = 64 33 =27• For n=4, 53 = 125 34 = 81
![Page 5: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/5.jpg)
ExamplesThe only consecutive positive integers < 100
that are perfect powers are 8 and 9Proof:• Perfect squares < 100 are 1, 4, 9, 16, 25,
36, 49, 64, 81• Perfect cubes < 100 are 1, 8, 27, 64• Perfect 4th powers < 100 are 1, 16, 81• Perfect 5th powers < 100 are 1, 32• Perfect 6th powers < 100 are 1, 64• So all perfect powers < 100 are
1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 81• So the consecutive perfect powers are 8 &
9
![Page 6: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/6.jpg)
Examplesn2 n for all integers.Proof:• Case I: when n=0, then n2=0 n
=0• Case II: when n 1, then n2=n x n n x 1 =n• Case III: when n -1, then n2 0 -1 n
![Page 7: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/7.jpg)
Examples x, y R, |x y | = |x| |y|Proof:• Case I: x 0 & y 0, then
|x y | =x y= |x| |y|• Case II: x 0 & y <0, then
|x y | = - x y= x (-y)= |x| |y|• Case III: x < 0 & y 0, then same as II• Case IV: x < 0 & y < 0, then
|x y | = x y= (-x) (-y)= |x| |y|
![Page 8: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/8.jpg)
Common Error• Not all cases are considered.• Example: if x R, then x2 > 0• Case I: x> o, then ..• Case II: x< 0, then ..
• But Case III is forgotten!
![Page 9: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/9.jpg)
Uniqueness ProofExistence first, then uniqueness
! x P(x) x (P(x) y ( yx
P(y)) )
![Page 10: Proof Methods & strategies Section 1.7. Proof by Cases We use the rule of inference P 1 P 2 ... P n q (P 1 q) (P 2 q) .. (P n q)](https://reader036.fdocuments.us/reader036/viewer/2022082723/5a4d1af67f8b9ab059981756/html5/thumbnails/10.jpg)
ExampleIf a, bR & a0, then
! r R s.t. a r + b = 0Proof:• Clearly r=-b/a (existence)• Suppose as+b =0, then
ar+b=as+b, i.e. as = ab, and hence s=r because a 0.