## 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 us 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) = 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( \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 **Closure 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 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,

Going back to where we left off, in 2\left( \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 .

That means 2\left( \right) can be expressed as

where 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( \right) . Since the sum of integers is just another integer, say integer k , then

**Other proofs that might interest you:**

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

## Sum of the first N odd natural numbers

##### Hannah Masila

##### Mar 4, 2017 · 2 min read

How would you calculate the first N even/odd numbers in 5 seconds?

From my previous post the nth odd number — arithmetic progression , we proved that the nth odd number is 2n — 1

That said, is there an easy way to calculate the some of the first n natural numbers?

The sum of the first n numbers of an arithmetic sequence can be derived from this formula

- a = 1 (the first term)
- d = 2(the “common difference” between terms)
- n = 3(how many terms to add up)

Therefore, the sum of the first 3 odd numbers becomes

How would you calculate the first N even/odd numbers in 5 seconds?. “Sum of the first N odd natural numbers” is published by Hannah Masila.