Processing math: 100%
Foundational Proof Techniques – IMT DeCal

Foundational Proof Techniques

by Fahad Kamran, Suraj Rampure
Last modified: March 21, 2019



Throughout this note, we will introduce some of the more common proof techniques that are used to verify the truth of a mathematical statement. Remember, all of these techniques assume you have some basic information present and attempt to use the information you have to arrive at the correct conclusion. It’s important that you’re familiar with the basics of propositional logic before proceeding.

In this article, we’ll introduce the symbol for “divides”. a|b means “a divides b”. Formally, a|b means there is some integer c such that b=ca; in other words, this means b is an integer multiple of a. For example, we could say 8|24, but ¬(5|24).

Additionally, we often use 2k, kZ, to refer to an arbitrary even number, and 2k+1 to represent an arbitrary odd number. This means all integers can be written as either 2k or 2k+1. Similarly, we can say all integers can be written as 3k, 3k+1 or 3k+2, where 0,1,2 represent the possible remainders when we divide by 3. This is an idea we will study further when we get to number theory.

But first – what is a proof?

Formally, a mathematical proof is a finite sequence of valid steps which, when combined in a specific order, indicate the truth of a specific statement. Though, we don’t need to be so formal – at its core, a proof is an argument to convice someone that a statement is true.


Direct Proof


The direct proof is the simplest type of proof. In a direct proof, given certain information, we determine the validity of some other information. Direct proofs are often used in mathematical formulas, where simple arithmetic manipulations of given information can get us where we need to be.

Example

Consider x,y,zZ+. Prove that if x|y and x|z, then x|(y+z).

The first step in each proof is representing the information that we are allowed to assume, using precise mathematical notation. We are given that x divides y and that x divides z. In mathematical notation, this means that there are integers a1 and a2 such that a1x=y and a2x=z. Furthermore, since we are told x,y and z all belong to the set of positive integers, we know that a1,a2 must also be positive. There is not much more information we can garner from this now, so we look at what we are trying to prove.

By writing out equations relating x and y (and x and z), we have concrete information that we can use in our proof. Then:

y+z=a1x+a2x=(a1+a2)x

We have shown that y+z can be written as some positive integer – precisely, a1+a2 – multiplied by x. Therefore, we have proven that under the given conditions, x|(y+z).

This example gives us the natural flavor of direct proofs – we assume and work with the information we have, and reformulate it to match what we want to prove in some capacity.


Example

Prove that nN,3|(n3n).

Essentially, we’re required to show that we can write n3n=3k, where k is some integer. We can start by factoring n3n:

n3n=n(n21)=n(n1)(n+1)=(n1)n(n+1)

In the second line, we used the difference of squares, which says x2y2=(xy)(x+y).

Now, we’ve written n3n as the product of three consecutive integers, starting with n1. A property that we can now leverage is the fact that in any three consecutive integers, one of them will be a multiple of three! We will eventually get to a stage where we can rigorously prove this. Skipping ahead a little, though: let’s consider the three possible cases for n:

Therefore, it is always the case that one of our three consecutive integers is a multiple of 3, and so the product (n1)n(n+1) will always be a multiple of 3. The only edge case that we need to look out for is n=1, which gives n3n=0, but that’s fine – every number divides 0, as we can say 30=0.

Therefore, we can say 3|(n3n).

Note: You will notice in these proofs that we often have a concluding sentence. This is a good practice to follow.


Proof by Contradiction


Proofs by contradiction stem from a really nice observation. The problem statement remains the same; we are trying to prove that some statement S is true. We begin by assuming ¬S – that is, that S is false - and make a series of implications. One of these implications will state something that contradicts that S is false. Since our initial assumption was that S was false, we know this cannot be the case (since S and ¬S cannot be equal), thus S must be true, proving our statement.

The contradiction can come about in many ways. For example, showing two things that cannot be equal as equal – such as 0=2 – or showing some given information (which was told to us to be true) is false if statement S is false. Whatever the contradiction might be, this proof technique presents a relatively straightforward way to prove the validity of the statement without worrying about the specific reason why the statement it holds. In specific, proofs by contradiction are powerful when trying to prove a statement which implies non-existence of some entity.

Example

Prove that there is no greatest even integer.

Let’s start by assuming that there is a greatest even integer. Let us call this greatest even integer m. Define n to be m+2. Then, n is an even integer and it is strictly greater than m. Hence, m is not the greatest even integer, which contracts our earlier assumption. This means that there is no greatest even integer.


Example

Prove that 2 is irrational.

This is a classic example of a statement that is proved with a contradiction. Let’s start by assuming that 2 is rational, meaning that we can write 2=ab for a,bZ. Furthermore, let’s assume that this is the reduced form of the fraction, i.e. that gcd(a,b)=1 (this is a crucial step in the proof). Then:

2=ab2=a2b22b2=a2

Since we have a2=2b2, we know that a2 must be even (as it can be written as 2(some integer)). If a2 is even, then we must have that a is even (if you don’t believe it, you can prove it yourself!). This means we can say a=2k for kZ. Then:

2b2=(2k)22b2=4k2b2=2k2

Same logic applies: we now have that b2 is even, and therefore b is even.

Stop for a moment: can you spot the contradiction?

If both a,b are even, then gcd(a,b) is at least 2. This contradicts what we stated earlier – we assumed that gcd(a,b)=1. This implies that our original assumption was false, thus proving that 2 is indeed irrational.


Example

Prove that in any set of n real numbers, there is at least one number that is less than or equal to the mean.

Again, let’s proceed by contradiction. The contradiction of “there is at least one number” is “there is no number”. Our statement then reads, “there is no number that is less than or equal to the mean”, which we can rewrite (using De Morgan’s Laws!) as “all numbers are greater than the mean.”

Let’s suppose our numbers are x1,x2,,xn. Then, the mean is x1+x2++xnn. If each xi,i[1,n] is greater than the mean, we can then say

x1>x1+x2++xnnx2>x1+x2++xnnxn>x1+x2++xnn

Taking the sum of both sides of the inequality:

x1+x2++xn>x1+x2++xn

This is a contradiction! No number is greater than itself. This means our assumption was incorrect. Since our assumption was that there is no number less than or equal to the mean, we’ve proven that in a set of n numbers there is at least one number less than or equal to the mean.

Contradicting Implications


Just because our problem statement looks like an implication, doesn’t mean we need to use a proof by contraposition.

Our initial statement that we negate can also be an implication! Suppose we want to show that PQ. This is equivalent to showing that ¬PQ is always true. To show a contradiction, we can start by assuming ¬(¬PQ), i.e. P¬Q, and showing a contradiction.

Example

Prove that if x2 is even, then x is even.

We want to show that (x2 is oddx is even) always holds a true value. The negation of this looks like x2 is evenx is odd.

If we assume the negation to be true, we have that x2 is even and x is odd. If we suppose x is odd, we can write it as 2k+1,kZ, and we can write x2=(2k+1)2=4k2+4k+1=2(2k2+2k)+1. This shows that we can write x2 as 2(some integer)+1. This proves that x2 must be odd if x is odd, meaning that the assumption x2 is evenx is odd was false. Thus, the original statement (x2 is oddx is even), i.e. x2 is evenx is even, is true.


Example

Prove that if A,B,C are odd integers, then there are no rational solutions to ax2+bx+c=0.

The negation of this statement is “A,B,C are odd integers and there exist rational solutions to ax2+bx+c=0.” Let’s assume the negation to be true.

If there are rational solutions, then we can factor ax2+bx+c into (Ax+B)(Cx+D) (implying that the two solutions are BA and DC, but this isn’t relevant to the problem). Then,

ax2+bx+c=(Ax+B)(Cx+D)=ACx2+(AD+BC)x+BD

This implies that we have the following equalities:

a=ACb=AD+BCc=BD

Since a is odd, this means that A and C are both odd. Similarly, since c is odd, this means that B and D are both odd. Putting these facts together, we have that A,B,C,D all must be odd.

Now, let’s consider b=AD+BC. The products AD and BC are both odd, and when we add two odd numbers, our result is even. This means that b must be even. This is a contradiction, since we assumed a,b,c were all odd.

Therefore, by contradiction, we have that the proposition holds.


Proof by Contraposition


Recall from Chapter 1.4, the contrapositive of an implication PQ is ¬Q¬P. Implications and their contrapositives are logically equivalent statements. Contrapositives are useful in cases where we are asked to prove some statement Q from some set of information P: instead of proceeding with a direct proof, we can instead assume that Q is false (¬Q) and make a series of logical deductions that imply that P is false (¬P). In many cases, this is easier to do than proving that P implies Q directly.

Example

Prove that if x26x+5 is odd, then x is even.

First, we’ll prove the statement directly. To proceed, we can factor x26x+5 into (x1)(x5). If this product is odd, then each of x1 and x5 has to be odd (the only way for a product of two integers to be odd is if both integers are odd; this is a fact you can prove on your own).

Now, if x1 is odd, we have that x is even, since adding two odd numbers yields an even number. The same holds for x5. To be more rigorous, since x1 is odd, we can say x1=2k1+1, where k1Z. Then, x=2k+2=2(k+1), therefore x is even. The same applies with x5: x5=2k2+1x=2k2+6=2(k2+3) (note, we used two different ks, as both conditions need to be satisfied at the same time).

Therefore, if x26x+5 is odd, x must be even.


Now, let’s prove the statement using a proof by contraposition. The contrapositive of this statement is, “if x is odd, then x26x+5 is even”. If x is odd, we can write x=2k+1 for kZ. Then:

x26x+5=(2k+1)26(2k+1)+5=4k2+4k+112k6+5=2(2k24k)

We’ve shown that when x is odd, x26x+5 can be written as 2(some integer), therefore by contraposition, the original statement holds.


Example: Proving If and Only If


Note: Proving statements of the form “if and only if” isn’t a “proof technique” on its own.

When the statement that we’re required to prove is of the form “P if and only if Q”, we essentially need to perform two separate proofs. We need to independently prove PQ (i.e. “if P, then Q”), and prove QP. For each of these separate proofs, we can use whichever proof technique we’d like.

Example

Given a,b,x,yN such that A=a+1x, B=b+1y, y divides a, and x divides b, prove that the product of A and B is an integer if and only if x=y=1.

We need to prove both of the following (given the initial conditions):

Let’s first prove the first statement (sometimes referred to as the “forward direction”). If x=y=1, then A=a+1 and B=b+1 by subsitution. Then, we have

AB=(a+1)(b+1)=ab+a+b+1

The sum and product of several integers is also an integer. Therefore, we’ve proven the forward direction.

Now, let’s prove the second statement, or the “reverse direction”. Firstly, let’s expand the product AB:

AB=(a+1x)(b+1y)=ab+bx+ay+1xy

Using the initial condition that y divides a and that x divides b, we know that bx and ay are both integers. Now, since the first three pieces of the above sum are integers, we just need to show that 1xy is an integer.

Since x,y are natural numbers, we have that xy1. If xy is anything other than 1, 1xy will be a non-integer rational number between 0 and 1. Therefore, in order for 1xy to be an integer, we need xy=1, which (under the naturals) is only satisfied by x=y=1. This proves the reverse direction.

Therefore, since we’ve proven both directions, we’ve proven the entire proposition.


Proof by Cases


In many instances, we may find it easier to view a statement as the combination of many sub-cases. By proving each possible sub-case, we can prove the validity of the full statement. The technique we use for each sub-case can be any one of the above. This is a consequence of the following equivalance (which we also provide a truth table for):

(P1P2)Q(P1Q)(P2Q)

P1 P2 Q (P1P2)Q (P1Q)(P2Q)
T T T T T
T T F F F
T F T T T
T F F F F
F T T T T
F T F F F
F F T T T
F F F T T

What’s important is that our cases cover all of the possible variables under consideration. Otherwise, we don’t have a complete proof!

Example

Prove that the cube of any integer is either a multiple of 9, 1 more than a multiple of 9, or one less than a multiple of 9.

The cases we break this proof into may seem rather arbitrary, but the more we practice this sort of proof, the more natural it will seem. Our proof revolves around the fact that when dividing an integer by 3, there are 3 possible remainders – 0, 1, or 2. We can write every integer as either 3k, 3k+1 or 3k+2.

We have considered three cases, and these three cases make up the whole universe of integers. Either an integer is divisible by 3, one more than a multiple of 3, or 2 more than a multiple of 3 (and consequently, 1 less than some other multiple of 3). The statement holds for these three cases, so it holds for every integer.


Counterexamples and Vacuous Proofs


We’ve now covered the foundational proof techniques that we need to (other than induction, which we will look at next). Now, we’ll look at a few oddities and things to note regarding proofs.

Counterexamples


“Proof by Counterexample” isn’t a proof technique. Instead, we use counterexamples to show that statements aren’t true. For example, to prove that not all dogs are labradors, we would have to show there exists at least one dog that isn’t a labrador.

Example

Prove or disprove: All Pythagorean triplets are of the form (3k,4k,5k) for kR.

Consider the triplet (8,15,17). We have that 82+152=172, but (8,15,17)(3k,4k,5k) for any real number k. This is a counterexample, so the original statement is not true.


Vacuous Proofs


Remember, implications are nothing but logical expressions with a truth value. By proving an implication, we are proving that the truth value of an implication is true. Many of the proof statements that we’ve seen so far require us to prove something of the form PQ, and we assume that P is true. The only way for PQ to have a value of true when P is true, is for Q to be true.

P Q PQ ¬PQ
T T T T
T F F F
F T T T
F F T T

However, the implication PQ is also true whenever P is false. Consider the following statement:

If the earth is flat, then all dogs can fly.

The truth value of this implication, is true! This is because the earth is certainly not flat. If we let P represent “the earth is flat” and Q represent “all dogs can fly”, since P is false, it doesn’t matter what Q is: PQ is a true value.

One way to think of this is, if the left hand side P is true, the laws of our universe don’t hold. But if the laws of our universe don’t hold, then anything is possible – it doesn’t matter if Q is true or false.

Example

Prove that if 2x24x+2<0, for xR, then 5>7.

Usually, we assume the left hand side to be true, but let’s look a little further here. The quadratic 2x24x+2 can be written as 2(x1)2, which sits on the x-axis. Therefore, it has a minimum value of 0, and is never less than 0. This means the left hand side is always false, thus the implication is always true.

This may seem a little confusing – we’re not proving 5>7. We’re only showing that if 2(x1)2<0 (for some real x), then 5>7, i.e. that the implication holds.


Faulty Proofs and Logic


Here are some common flaws to look out for in proofs:

Let’s look at a few examples.

Example

Prove 1=2.

Proof: Let x=y. Then:

x2=xyx2y2=xyy2(x+y)(xy)=y(xy)x+y=y2y=y2=1

Where did we go wrong?


Example

Prove that if n is an integer and 2n+2 is even, then n is odd.

Proof: Proceed by contraposition. Assume that n is odd. We will now prove that 2n+2 is even. Clearly, 2n must be an even number, since it is divisible by 2. Furthermore, 2 is an even number, so 2n+2 must be even. This concludes the proof.

Where did we go wrong? Here, we did took the converse, instead of the contrapositive. “Proof by converse” is not a proof technique. If we actually took the contrapositive, which states “if n is even, then 2n+2 is odd”, we would see that it’s impossible to show 2n+2 to be odd, as it is the sum of two even numbers.


Example

Prove that 1 is the greatest whole number.

Proof: Let nN be the greatest whole number. Since it is the largest, its square n2 must be less than or equal to it. We can then say n2n, or equivalently, n(n1)0. This inequality has two whole solutions, n=0 and n=1. Since 1>0, we have that n is the greatest whole number.

Where did we go wrong? Here, we assumed the existence of a greatest whole number, which is not true.


Some of these examples may have more obvious flaws than others. In practice, though, flaws in proofs may not be as easy to spot.


In closing, there are (almost always) multiple ways to prove any one proposition. They may all use the same “proof technique” from the above, but use the given information differently. In the next article, we will round out our proof toolbox with a more involved proof technique – mathematical induction.