Skip to main content

Chapter 5 Using Cases in Proofs

The method of using cases in a proof is often used when the hypothesis of a proposition is a disjunction. This is justified by the logical equivalency

\begin{equation*} [ ( P \vee Q ) \to R ] \equiv [ ( P \to R ) \wedge ( Q \to R )]\text{.} \end{equation*}

This is one of the logical equivalencies in TheoremĀ 1.1. In some other situations when we are trying to prove a proposition or a theorem about an element \(x\) in some set \(U\text{,}\) we often run into the problem that there does not seem to be enough information about \(x\) to proceed. For example, consider the following proposition:

Proposition.

If \(n\) is an integer, then \((n^2 + n)\) is an even integer.

If we were trying to write a direct proof of this proposition, the only thing we could assume is that \(n\) is an integer. This is not much help. In a situation such as this, we will sometimes construct our own cases to provide additional assumptions for the forward process of the proof. Cases are usually based on some common properties that the given 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 proposition. For the Proposition, we know that an integer must be even or it must be odd. We can thus use the following two cases for the integer \(n\text{:}\)

  • The integer \(n\) is an even integer; or

  • The integer \(n\) is an odd integer.

Proof.

We assume that \(n\) is an integer and will prove that \((n^2 + n)\text{.}\) Since we know that any integer must be even or odd, we will use two cases. The first is the \(b\) is an even integer, and the second is that \(n\) is an odd integer.

In the case where \(n\) is an even integer, there exists an integer \(m\) such that

\begin{equation*} n = 2m\text{.} \end{equation*}

Substituting this into the expression \((n^2 + n)\) yields

\begin{align*} n^2 + n \amp = (2m)^2 + 2m\\ \amp = 4m^2 + 2m\\ \amp = 2 (2m^2 + m) \end{align*}

By the closure properties of the integers, \(2m^2 + m\) is an integer, and hence \(n^2 + n\) is even. So this proves that when \(n\) is an even integer, \(n^2 + n\) is an even integer.

In the case where \(n\) is an odd integer, there exists an integer \(k\) such that

\begin{equation*} n = 2k + 1\text{.} \end{equation*}

Substituting this into the expression \(n^2 + n\) yields

\begin{align*} n^2 + n \amp = (2k + 1)^2 + (2k + 1)\\ \amp = (4k^2 + 4k + 1) + 2k + 1\\ \amp = (4k^2 + 6k + 2)\\ \amp = 2 (2k^2 + 3k + 1) \end{align*}

By the closure properties of the integers, \(2k^2 + 3k + 1\) is an integer, and hence \(n^2 + n\) is even. So this proves that when \(n\) is an odd integer, \(n^2 + n\) is an even integer.

Since we have proved that \(n^2 + n\) is even when \(n\) is even and when \(n\) is odd, we have proved that if \(n\) is an integer, then \(n^2 + n\) is an even integer.