Beginning Activity Beginning Activity 2: Using Cases in a Proof
The work in Beginning Activity 1 was meant to introduce the idea of using cases in a proof. The method of using cases is often used when the hypothesis of the proposition is a disjunction. This is justified by the logical equivalency
See Theorem 2.12 and Exercise 6.
In some other situations when we are trying to prove a proposition or a theorem about an element in some set we often run into the problem that there does not seem to be enough information about to proceed. For example, consider the following proposition:
Proposition 1.
If is an integer, then is an even integer.
If we were trying to write a direct proof of this proposition, the only thing we could assume is that is an integer. This is not much help. In a situation such as this, we will sometimes use cases to provide additional assumptions for the forward process of the proof. Cases are usually based on some common properties that the element may or may not possess. The cases must be chosen so that they exhaust all possibilities for the object in the hypothesis of the original proposition. For Proposition 1, we know that an integer must be even or it must be odd. We can thus use the following two cases for the integer
1.
Complete the proof for the following proposition:
Proposition 2.
If is an even integer, then is an even integer.
Proof.
Let be an even integer. Then there exists an integer such that Substituting this into the expression yields ….
2.
Construct a proof for the following proposition:
Proposition 3.
If is an odd integer, then is an even integer.
3.
Explain why the proofs of Proposition 2 and Proposition 3 can be used to construct a proof of Proposition 1.