Download Methods of Proof

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Brouwer–Hilbert controversy wikipedia , lookup

Turing's proof wikipedia , lookup

Addition wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Elementary mathematics wikipedia , lookup

Collatz conjecture wikipedia , lookup

Four color theorem wikipedia , lookup

Fermat's Last Theorem wikipedia , lookup

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

Theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Mathematical proof wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Transcript
Basic Proof Methods I
Basic Proof Methods II
Proofs Involving Quantifiers
1

Consider (p  (p→q)) → q
Example: Assume you are given the
following two statements:
p
pq
q
“you are in this class”
“if you are in this class, you will get a grade”
Let p = “you are in this class”
Let q = “you will get a grade”
By Modus Ponens, you can conclude
that you will get a grade
2
Assume that we know: ¬q and p → q
We can conclude ¬p
q
pq
 p
Example: Assume you are given the
following two statements:
“you will not get a grade”
“if you are in this class, you will get a grade”
Let p = “you are in this class”
Let q = “you will get a grade”
By Modus Tollens, you can conclude that
you are not in this class
3


Addition: If you know
that p is true, then p 
q will ALWAYS be
true
Simplification: If p  q
is true, then p will
ALWAYS be true
p
pq
pq
p
4
p
q


r

s
t

“It is not sunny this afternoon and it
is colder than yesterday”
“We will go swimming only if it is
sunny”
“If we do not go swimming, then we
will take a canoe trip”
“If we take a canoe trip, then we will
be home by sunset”
¬p  q
r→p
¬r → s
s→t
t
Does this imply that “we will be
home by sunset”?
5
1.
2.
3.
4.
5.
6.
7.
8.
¬p  q
¬p
r→p
¬r
¬r → s
s
s→t
t
pq
p
1st hypothesis
Simplification using step 1
2nd hypothesis
Modus tollens using steps 2 & 3
3rd hypothesis
Modus ponens using steps 4 & 5
4th hypothesis
Modus ponens using steps 6 & 7
p
pq
q
q
pq
 p
6




p
Conjunction: if p and q are true
q
separately, then pq is true
pq
Disjunctive: If pq is true, and p
is false, then q must be true
Resolution: If pq is true, and
¬pr is true, then qr must be
true
Conditional Transitivity: If p→q
is true, and q→r is true, then
p→r must be true
pq
p
q
pq
p  r
q  r
pq
qr
pr
7



“If it does not rain or if it is not foggy, (¬r  ¬f) →
then the sailing race will be held and
(s  l)
the lifesaving demonstration will go
on”
“If the sailing race is held, then the
s→t
trophy will be awarded”
“The trophy was not awarded”
Can you conclude: “It rained”?
¬t
r
8
1.
2.
3.
4.
5.
6.
7.
8.
9.
¬t
s→t
¬s
(¬r¬f)→(sl)
¬(sl)→¬(¬r¬f)
(¬s¬l)→(rf)
¬s¬l
rf
r
p
pq
q
3rd hypothesis
2nd hypothesis
Modus tollens using steps 2 & 3
1st hypothesis
Contrapositive of step 4
DeMorgan’s law and double negation law
Addition from step 3
Modus ponens using steps 6 & 7
Simplification using step 8
p
pq
pq
p
q
pq
 p
9
(If p then q): p→q
Example: Show that the square of an even
number is an even number (i.e. if n is even,
then n2 is even)
Proof: Assume n is even
Thus, n = 2k, for some k (definition of even
numbers)
But, n2 = (2k)2 = 4k2 = 2(2k2)
As n2 is 2 times an integer, n2 is thus even
10
To show: p→q, instead show the contra positive
¬q→¬p
Example: If n2 is an odd integer then n is an odd
integer
Proof: by contrapositive, we need to show:
If n is an even integer, then n2 is an even integer
Since n is even n=2k for some integer k (definition of
even numbers)
n2 = (2k)2 = 4k2 = 2(2k2)
Since n2 is 2 times an integer, it is even
11
When do you use a direct proof versus an indirect
proof?
- If it’s not clear from the problem, try direct first,
then indirect second
- If indirect fails, try the other proofs
12

Problem:


Via direct proof





Prove that if n is an integer and n3+5 is odd, then n is
even
n3+5 = 2k+1 for some integer k (definition of odd
numbers)
n3 = 2k-4
n  3 2k  4
Then what …
So direct proof didn’t work out. Next up:
indirect proof
13

Problem:



Prove that if n is an integer and n3+5 is odd, then n is
even
Via indirect proof (Contrapositive)
Need to show: If n is odd, then n3+5 is even
Assume n is odd, and show that n3+5 is even
 n=2k+1 for some integer k (definition of odd numbers)
 n3+5 = (2k+1)3+5 = 8k3+12k2+6k+6 = 2(4k3+6k2+3k+3)
 As 2(4k3+6k2+3k+3) is 2 times an integer, it is even

14
Given a statement of the form p→q
Just consider the case where p is true and q is
false then arrive to a contradiction .

Example: Prove that if n is an integer and n3+5 is odd, then n is even
Rephrased: If n3+5 is odd, then n is even
Proof: Assume p is true and q is false.
Assume n3+5 is odd, and n is odd).
Since n is odd, n=2k+1 for some integer k (definition of odd
numbers)
But, n3+5 = (2k+1)3+5 = 8k3+12k2+6k+6 = 2(4k3+6k2+3k+3)
As 2(4k3+6k2+3k+3) is 2 times an integer, it must be even
Contradiction!
15
Consider an implication: p→q
If it can be shown that p is false, then the
implication is always true (by definition of an
implication)
Example: Consider the statement: All criminology
majors in Math 3313 are female
(i.e. If you are a criminology major and you are in
Math 3313, then you are female)
Proof: Since there are no criminology majors in
this class, the antecedent is false, and the
implication is true
16
Consider an implication: p→q
If it can be shown that q is true, then the
implication is always true by definition of an
implication
Example: Consider the statement:
If you are tall and are in Math 3313 then you
are a student
Proof: Since all people in Math 3313 are
students, the implication is true regardless
17
Show a statement is true by showing all possible
cases are true
You are showing
 p1  p2  ...  pn   q   p1  q    p2  q   ...   pn  q 
18

Prove that


a a

b b
Note that b ≠ 0
Cases:

Case 1: a ≥ 0 and b > 0
 Then |a| = a, |b| = b, and

Case 2: a ≥ 0 and b < 0
 Then |a| = a, |b| = -b, and

Case 3: a < 0 and b > 0
 Then |a| = -a, |b| = b, and

Case 4: a < 0 and b < 0
 Then |a| = -a, |b| = -b, and
a a a
 
b b b
a
a
a
a
 

b
b b b
a
a a a
 

b
b
b
b
a a a a
 

b b b b
19


This is showing the definition of a biconditional
Given a statement of the form
“p if and only if q”

Show it is true by showing
(p→q)(q→p) is true
20
Problem:
 Show that m2=n2 if and only if m=n or m=-n
(i.e. (m2=n2) ↔ [(m=n)(m=-n)] )
Proof: Need to prove two parts:
 [(m=n)(m=-n)] → (m2=n2)
 Proof by cases!
 Case 1: (m=n) → (m2=n2)
 (m)2 = m2, and (n)2 = n2, so this case is proven
 Case 2: (m=-n) → (m2=n2)
 (m)2 = m2, and (-n)2 = n2, so this case is proven
 (m2=n2) → [(m=n)(m=-n)]
 Subtract n2 from both sides to get m2-n2=0
 Factor to get (m+n)(m-n) = 0
 Since that equals zero, one of the factors must be zero
 Thus, either m+n=0 (which means m=n)
 Or m-n=0 (which means m=-n)
21


A theorem may state that only one such value
exists
To prove this, you need to show:

Existence: that such a value does indeed exist
 Either via a constructive or non-constructive existence
proof

Uniqueness: that there is only one such value
22


If the real number equation 5x+3=b has a
solution then it is unique
Existence


We can manipulate 5x+3=b to yield x=(b-3)/5
Uniqueness


If there are two such numbers, then they would
fulfill the following: b = 5x+3 = 5y+3
We can manipulate this to yield that x = y
 Thus, the one solution is unique!
23
DISPROVING a UNIVERSAL statement by a
counterexample
Example: Every positive integer is the square of another
integer
Proof: The square root of 5 is 2.236, which is not an integer
24




x P(x)
P(o)
(substitute any object o)
P(g)
(for g a general element of universe.)
x P(x)
x P(x)
P(c)
(substitute a new constant c)
P(o)
(substitute any extant object o)
x P(x)
25
“Everyone in this foundation math class has taken a course in
computer science” and “Marla is a student in this class” imply
“Marla has taken a course in computer science”
F(x): “x is in foundation math class”
C(x): “x has taken a course in computer science”
x (F(x)  C(x))
F(Marla)
 C(Marla)
26
Step
Proved by
1. x (F(x)  C(x))
Premise #1.
2. F(Marla)  C(Marla)
Univ. instantiation.
3. F(Marla)
Premise #2.
4. C(Marla)
Modus ponens on 2,3.
27
“A student in this class has not read the book” and
“Everyone in this class passed the first exam” imply
“Someone who passed the first exam has not read the book”
C(x): “x is in this class”
B(x): “x has read the book”
P(x): “x passed the first exam”
x(C(x)  B(x))
x (C(x)  P(x))
 x(P(x)  B(x))
28
Step
1. x(C(x)  B(x))
2. C(a)  B(a)
3. C(a)
4. x (C(x)  P(x))
5. C(a)  P(a)
6. P(a)
7. B(a)
8. P(a)  B(a)
9. x(P(x)  B(x))
Proved by
Premise #1.
Exist. instantiation.
Simplification on 2.
Premise #2.
Univ. instantiation.
Modus ponens on 3,5
Simplification on 2
Conjunction on 6,7
Exist. generalization
29

Proving pq





Direct proof: Assume p is true, and prove q.
Indirect proof: Assume q, and prove p.
Trivial proof: Prove q true.
Vacuous proof: Prove p is true.
Proving p
Proof by contradiction: Prove p (r  r)
(r  r is a contradiction); therefore p must be
false.


Prove (a  b)  p


Proof by cases: prove (a p) and (b p).
More …
30



A proof of a statement of the form x P(x) is
called an existence proof.
If the proof demonstrates how to actually find
or construct a specific element a such that P(a)
is true, then it is called a constructive proof.
Otherwise, it is called a non-constructive proof.
31

Theorem: There exists a positive integer n that
is the sum of two perfect cubes in two different
ways:


equal to j3 + k3 and l3 + m3 where j, k, l, m are positive
integers, and {j,k} ≠ {l,m}
Proof: Consider n = 1729, j = 9, k = 10,
l = 1, m = 12. Now just check that the equalities
hold.
32





Theorem:
“There are infinitely many prime numbers.”
Any finite set of numbers must contain a
maximal element, so we can prove the theorem
if we can just show that there is no largest prime
number.
i.e., show that for any prime number, there is a
larger number that is also prime.
More generally: For any number,  a larger
prime.
Formally: Show n p>n : p is prime.
33

Some very simple statements of number theory
haven’t been proved or disproved!
E.g. Goldbach’s conjecture: Every integer n≥2 is exactly
the average of some two primes.
 n≥2  primes p,q: n=(p+q)/2.


There are true statements of number theory (or
any sufficiently powerful system) that can never
be proved (or disproved) (Gödel).
34

Assume that we know that x P(x) is true

Then we can conclude that P(c) is true
 Here c stands for some specific constant


This is called “universal instantiation”
Assume that we know that P(c) is true for any
value of c


Then we can conclude that x P(x) is true
This is called “universal generalization”
35

Given a statement: x P(x)
We only have to show that a P(c) exists for
some value of c

Two types:



Constructive: Find a specific value of c for which P(c)
exists
Nonconstructive: Show that such a c exists, but don’t
actually find it
 Assume it does not exist, and show a contradiction
36

Show that a square exists that is the sum of two
other squares


Proof: 32 + 42 = 52
Show that a cube exists that is the sum of three
other cubes

Proof: 33 + 43 + 53 = 63
37


Problem:
Prove that either 2*10500+15 or 2*10500+16 is not a
perfect square
 A perfect square is a square of an integer
 Rephrased: Show that a non-perfect square exists in
the set {2*10500+15, 2*10500+16}
Proof: The only two perfect squares that differ by 1 are
0 and 1
 Thus, any other numbers that differ by 1 cannot both
be perfect squares
 Thus, a non-perfect square must exist in any set that
contains two numbers that differ by 1
 Note that we didn’t specify which one it was!
38

Assume that we know that x P(x) is true



Then we can conclude that P(c) is true for some
value of c
This is called “existential instantiation”
Assume that we know that P(c) is true for some
value of c


Then we can conclude that x P(x) is true
This is called “existential generalization”
39

Given the hypotheses:
“Linda, a student in this class, owns a
red convertible.”
 “Everybody who owns a red
convertible has gotten at least one
speeding ticket”


Can you conclude: “Somebody in
this class has gotten a speeding
ticket”?
40
C(Linda)
R(Linda)
x (R(x)→T(x))
x (C(x)T(x))
1.
2.
3.
4.
5.
6.
7.
x (R(x)→T(x))
R(Linda) → T(Linda)
R(Linda)
T(Linda)
C(Linda)
C(Linda)  T(Linda)
x (C(x)T(x))
3rd hypothesis
Universal instantiation using step 1
2nd hypothesis
Modes ponens using steps 2 & 3
1st hypothesis
Conjunction using steps 4 & 5
Existential generalization using
step 6
Thus, we have shown that “Somebody in this class has
gotten a speeding ticket”
41

Given the hypotheses:
“There is someone in this class who
has been to France”
 “Everyone who goes to France visits
the Louvre”


Can you conclude: “Someone in
this class has visited the
Louvre”?
42
x (C(x)F(x))
x (F(x)→L(x))
x (C(x)L(x))
1.
2.
3.
4.
5.
6.
7.
8.
9.
x (C(x)F(x))
C(y)  F(y)
1
F(y)
C(y)
x (F(x)→L(x))
F(y) → L(y)
L(y)
C(y)  L(y)
x (C(x)L(x))
1st hypothesis
Existential instantiation using step
Simplification using step 2
Simplification using step 2
2nd hypothesis
Universal instantiation using step 5
Modus ponens using steps 3 & 6
Conjunction using steps 4 & 7
Existential generalization using
step 8
Thus, we have shown that “Someone in this class
has visited the Louvre”
43


Experience!
In general, use quantifiers with statements like
“for all” or “there exists”
44