Skip to main content
Mathematics LibreTexts

3.9: A Review of Methods of Proof

  • Page ID
    80512
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    One of the major goals of this chapter is to acquaint the reader with the key concepts in the nature of proof in logic, which of course carries over into all areas of mathematics and its applications. In this section we will stop, reflect, and “smell the roses,” so that these key ideas are not lost in the many concepts covered in logic. In Chapter 4 we will use set theory as a vehicle for further practice and insights into methods of proof.

    Concepts in Proof

    All theorems in mathematics can be expressed in form “If \(P\) then \(C\)” (\(P \Rightarrow C\)), or in the form “\(C_1\) if and only if \(C_2\)” (\(C_1 \Leftrightarrow C_2\)). The latter is equivalent to “If \(C_1\) then \(C_2\text{,}\)” and “If \(C_2\) then \(C_1\text{.}\)”

    In “If \(P\) then \(C\text{,}\)” \(P\) is the premise (or hypothesis) and \(C\) is the conclusion. It is important to realize that a theorem makes a statement that is dependent on the premise being true.

    There are two basic methods for proving \(P \Rightarrow C\text{:}\)

    • Directly: Assume \(P\) is true and prove \(C\) is true.
    • Indirectly (or by contradiction): Assume \(P\) is true and \(C\) is false and prove that this leads to a contradiction of some premise, theorem, or basic truth.

    The method of proof for “If and only if” theorems is found in the law \((P\leftrightarrow C) \Leftrightarrow ((P \rightarrow C) \land (C \rightarrow P))\text{.}\) Hence to prove an “If and only if” statement one must prove an “if . . . then ...” statement and its converse.

    The initial response of most people when confronted with the task of being told they must be able to read and do proofs is often “Why?” or “I can't do proofs.” To answer the first question, doing proofs or problem solving, even on the most trivial level, involves being able to read statements. First we must understand the problem and know the hypothesis; second, we must realize when we are done and we must understand the conclusion. To apply theorems or algorithms we must be able to read theorems and their proofs intelligently.

    To be able to do the actual proofs of theorems we are forced to learn:

    • the actual meaning of the theorems, and
    • the basic definitions and concepts of the topic discussed.

    For example, when we discuss rational numbers and refer to a number \(x\) as being rational, this means we can substitute a fraction \(\frac{p}{q}\) in place of \(x\text{,}\) with the understanding that \(p\) and \(q\) are integers and \(q\neq 0\text{.}\) Therefore, to prove a theorem about rational numbers it is absolutely necessary that you know what a rational number “looks like.”

    It's easy to comment on the response, “I cannot do proofs.” Have you tried? As elementary school students we may have been awe of anyone who could handle algebraic expressions, especially complicated ones. We learned by trying and applying ourselves. Maybe we cannot solve all problems in algebra or calculus, but we are comfortable enough with these subjects to know that we can solve many and can express ourselves intelligently in these areas. The same remarks hold true for proofs.

    Proving \(P \Rightarrow C\)

    First one must completely realize what is given, the hypothesis. The importance of this is usually overlooked by beginners. It makes sense, whenever you begin any task, to spend considerable time thinking about the tools at your disposal. Write down the premise in precise language. Similarly, you have to know when the task is finished. Write down the conclusion in precise language. Then you usually start with \(P\) and attempt to show that \(C\) follows logically. How do you begin? Basically you attack the proof the same way you solve a complicated equation in elementary algebra. You may not know exactly what each and every step is but you must try something. If we are lucky, \(C\) follows naturally; if it doesn't, try something else. Often what is helpful is to work backward from \(C\text{.}\) Finally, we have all learned, possibly the hard way, that mathematics is a participating sport, not a spectator sport. One learns proofs by doing them, not by watching others do them. We give several illustrations of how to set up the proofs of several examples. Our aim here is not to prove the statements given, but to concentrate on the logical procedure.

    Example \(\PageIndex{1}\): The Sum of Odd Integers

    We will outline a proof that the sum of any two odd integers is even. Our first step will be to write the theorem in the familiar conditional form: If \(x\) and \(y\) are odd integers, then \(x+y\) is even. The premise and conclusion of this theorem should be clear now. Notice that if \(x\) and \(y\) are not both odd, then the conclusion may or may not be true. Our only objective is to show that the truth of the premise forces the conclusion to be true. Therefore, we can express the integers \(x\) and \(y\) in the form that all odd integers take; that is:

    \begin{equation*} n \in \mathbb{Z} \textrm{ is odd implies that } (\exists m\in \mathbb{Z}) (n = 2m + 1) \end{equation*}

    This observation allows us to examine the sum \(x+y\) and to verify that it must be even.

    One final important point: This example involves two odd integers that may or may not be equal. If we use the fact that \(x\) is odd and infer that \(x=2m+1\) for some integer \(m\text{,}\) we can do a similar thing with \(y\text{.}\) However, in this context we cannot write \(y=2m+1\) since we have already linked \(m\) to \(x\text{.}\) We need to use a different variable, maybe \(q\) or \(m'\) - any other symbol that is not already used in our discussion.

    Example \(\PageIndex{2}\): The Square of an Even Integer

    Let \(n \in \mathbb{Z}\text{.}\) We will outline a proof that \(n^2\) is even if and only if \(n\) is even.

    Outline of a proof: Since this is an “If and only if” theorem we must prove two things:

    1. (\(\Rightarrow \)) If \(n^2\) is even, then \(n\) is even. To do this directly, assume that \(n^{2 }\) is even and prove that \(n\) is even. To do this indirectly, assume \(n^2\) is even and that \(n\) is odd, and reach a contradiction. It turns out that the latter of the two approaches is easiest here.
    2. (\(\Leftarrow \)) If \(n\) is even, then \(n^2\) is even. To do this directly, assume that \(n\) is even and prove that \(n^2\) is even.

    Now that we have broken the theorem down into two parts and know what to prove, we proceed to prove the two implications. The final ingredient that we need is a convenient way of describing even integers. When we refer to an integer \(n\) (or \(m\text{,}\) or \(k\text{,.}\) . . ) as even, we can always replace it with a product of the form \(2q\text{,}\) where \(q\) is an integer (more precisely, \(\left.(\exists q) _{\mathbb{Z}} (n = 2q)\right)\text{.}\) In other words, for an integer to be even it must have a factor of two in its prime decomposition.

    Example \(\PageIndex{3}\): \(\sqrt{2}\) is Irrational

    Our final example will be an outline of the proof that the square root of 2 is irrational (not an element of \(\mathbb{Q}\)). This is an example of the theorem that does not appear to be in the standard \(P \Rightarrow C\) form. One way to rephrase the theorem is: If \(x\) is a rational number, then \(x^2\neq 2\text{.}\) A direct proof of this theorem would require that we verify that the square of every rational number is not equal to 2. There is no convenient way of doing this, so we must turn to the indirect method of proof. In such a proof, we assume that \(x\) is a rational number and that \(x^2=2\text{.}\) This will lead to a contradiction. In order to reach this contradiction, we need to use the following facts:

    • A rational number is a quotient of two integers.
    • Every fraction can be reduced to lowest terms, so that the numerator and denominator have no common factor greater than 1.
    • If \(n\) is an integer, \(n^2\) is even if and only if \(n\) is even.

    Exercises

    Exercise \(\PageIndex{1}\)

    Prove that the sum of two odd positive integers is an even positive integer. You might want to read Example \(\PageIndex{1}\) before attempting this.

    Answer

    The given statement can be written in if \(\dots\) , then \(\dots\) format as: If \(x\) and \(y\) are two odd positive integers, then \(x+y\) is an even integer.

    Proof: Assume \(x\) and \(y\) are two positive odd integers. It can be shown that \(x+y=2 \cdot \textrm{(some positive integer)}\text{.}\)

    \(x\) odd and positive \(\Rightarrow x=2m+1\) for some \(m \geq 0\text{,}\)

    \(y\) odd and positive \(\Rightarrow y=2n+1\) for some \(n \geq 0\text{.}\)

    Then,

    \begin{equation*} x+y=(2m+1)+(2n+1)=2((m+n)+1)=2\cdot\textrm{(some positive integer)} \end{equation*}

    Therefore, \(x+y\) is an even positive integer. \(\square\)

    Exercise \(\PageIndex{2}\)

    Write out a complete proof that if \(n\) is an integer, \(n^2\) is even if and only if \(n\) is even.

    Exercise \(\PageIndex{3}\)

    Write out a complete proof that \(\sqrt{2}\) is irrational.

    Answer

    Proof: (Indirect) Assume to the contrary, that \(\sqrt{2}\) is a rational number. Then there exists \(p,q\in \mathbb{Z}, (q\neq 0)\) where \(\frac{p}{q}=\sqrt{2}\) and where \(\frac{p}{q}\) is in lowest terms, that is, \(p\) and \(q\) have no common factor other than 1.

    \begin{equation*} \begin{split} \frac{p}{q}=\sqrt{2} & \Rightarrow \frac{p^2}{q^2}=2\\ &\Rightarrow p^2=2 q^2 \\ &\Rightarrow p^2 \textrm{ is an even integer}\\ &\Rightarrow p \textrm{ is an even integer (see Exercise 2)}\\ &\Rightarrow \textrm{4 is a factor of }p^2\\ &\Rightarrow q^2 \textrm{ is even}\\ &\Rightarrow q \textrm{ is even}\\ \end{split} \end{equation*}

    Hence both \(p\) and \(q\) have a common factor, namely 2, which is a contradiction. \(\square\)

    Exercise \(\PageIndex{4}\)

    Prove that the cube root of 2 is an irrational number.

    Exercise \(\PageIndex{5}\)

    Prove that if \(x\) and \(y\) are real numbers such that \(x + y \leq 1\text{,}\) then \(x\leq \frac{1}{2}\) or \(y\leq \frac{1}{2}\text{.}\)

    Answer

    Proof: (Indirect) Assume \(x,y\in \mathbb{R}\) and \(x+y\leqslant 1\text{.}\) Assume to the contrary that \(\left(x\leqslant \frac{1}{2}\textrm{ or } y\leqslant \frac{1}{2}\right)\) is false, which is equivalent to \(x>\frac{1}{2}\textrm{ and } y>\frac{1}{2}\text{.}\) Hence \(x+y>\frac{1}{2}+\frac{1}{2}=1\text{.}\) This contradicts the assumption that \(x+y\leqslant 1\text{.}\) \(\square\)

    Exercise \(\PageIndex{6}\)

    Use the following definition of absolute value to prove the given statements: If \(x\) is a real number, then the absolute value of \(x\text{,}\) \(\lvert x \rvert\text{,}\) is defined by:

    \begin{equation*} \lvert x \rvert = \begin{cases} \hfill x \hfill & \text{ if }x \geq 0 \\ \hfill -x \hfill & \text{ if }x \lt 0 \\ \end{cases} \end{equation*}

    1. For any real number \(x\text{,}\) \(\lvert x \rvert\geq 0\text{.}\) Moreover, \(\lvert x \rvert = 0\) implies \(x = 0\text{.}\)
    2. For any two real numbers \(x\) and \(y\text{,}\) \(\lvert x \rvert\cdot \lvert y \rvert=\lvert x y \rvert\text{.}\)
    3. For any two real numbers \(x\) and \(y\text{,}\) \(\lvert x + y \rvert\leq \lvert x \rvert + \lvert y \rvert\text{.}\)

    This page titled 3.9: A Review of Methods of Proof is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Al Doerr & Ken Levasseur via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?