# Prove: The Sum of Two Odd Numbers is an Even Number

We want to show that if we add **two odd numbers**, the **sum** is always an **even number**.

Before we even write the actual proof, we need to convince ourselves that the given statement has some truth to it. We can test the statement with a few examples.

I prepared the table below to gather the results of some of the numbers that I used to test the statement.

It appears that the statement, the sum of two odd numbers is even, is true. However, by simply providing infinitely many examples do not constitute proof. It is impossible to list all possible cases.

Instead, we need to show that the statement holds true for ALL possible cases. The only way to achieve that is to express an odd number in its general form. Then, we add the two odd numbers written in general form to get a sum of an even number expressed in a general form as well.

To write the proof of this theorem, you should already have a clear understanding of the general forms of both even and odd numbers.

The number n is **even** if it can be expressed as

where k is an integer.

On the other hand, the number n is **odd** if it can be written as

such that k is some integer.

## BRAINSTORM BEFORE WRITING THE PROOF

**Note:** The purpose of brainstorming in writing proof is for you to understand what the theorem is trying to convey; and gather enough information to connect the dots, which will be used to bridge the hypothesis and the conclusion.

Let’s take two arbitrary odd numbers 2a + 1 and 2b + 1 where a and b are integers.

Since we are after the sum, we want to add 2a + 1 and 2b + 1.

\left( {2a + 1} \right) + \left( {2b + 1} \right)which gives us

\left( {2a + 1} \right) + \left( {2b + 1} \right) = 2a + 2b + 2.

Notice that we can’t combine 2a and 2b because they are not similar terms. However, we are successful in combining the constants, thus 1 + 1 = 2.

What can we do next? If you think about it, there is a common factor of 2 in 2a + 2b + 2. If we factor out the 2, we obtain 2\left( {a + b + 1} \right).

What’s next? Well, if we look inside the parenthesis, it’s obvious that what we have is just an integer. It may not appear as an integer at first because we see a bunch of integers being added together.

Recall the **Clouse Property of Addition** for the set of integers.

Suppose a and b belong to the set of integers. The sum of a and b which is {a+b} is also an integer.

In fact, you can expand this closure property of addition to more than two integers. For example, the sum of the integers -7, -1, 0, 4, and 10 is 6 which is also an integer. Thus,

(-7)+(-1)+0+4+10=6.

Going back to where we left off, in 2\left( {a + b + 1} \right), the expression inside the parenthesis is just an integer since the sum of the integers a, b and 1 is just another integer. For simplicity’s sake, let’s call it integer k.

So then,

a+b+1=kThat means 2\left( {a + b + 1} \right) can be expressed as

2\left( {a + b + 1} \right) =2kwhere 2k is the general form of an even number. It looks like we have successfully achieved what we want to show that the sum of two odds is even.

### WRITE THE PROOF

**THEOREM:** The sum of two odd numbers is an even number.

**PROOF:** Suppose 2a+1 and 2b+1 are any two odd numbers where a and b are integers. The sum of these two odd numbers is \left( {2a + 1} \right) + \left( {2b + 1} \right). This can be simplified as {2a + 2b + 2} by combining similar terms. Factor out the greatest common factor (GCF) of \bold{2} from {2a+2b+2} to get 2\left( {a + b + 1} \right). Since the sum of integers is just another integer, say integer k, then {k=a+b+1}. By substitution, we have 2\left( {a + b + 1} \right) = 2k where 2k is an even number. Therefore, the sum of two odd numbers is an even number. ◾️