# Prove: Let n be an integer. If {n^2} is odd, then n is odd.

We assume that \color{red}n is an integer. Our goal is to show that \large\color{red}n^2 is odd is a sufficient condition to justify that \large\color{red}n is odd.

Down the road, you will appreciate the result of this theorem as it will be very useful in proving the fact that the square root of 2 is irrational.

There is no need to reinvent the wheel. I have already written a proof that is very similar to this. I invite you to check it out and come back here. I promise that once you have gone over my other lesson, proving this theorem is a piece of cake. Below is the link:

**Prove:** Suppose n is an integer. If n^2 is even, then n is even.

However, I will quickly cover the prerequisites in this lesson so you may not need to visit the link above.

## REVIEW OF IMPORTANT CONCEPTS

◉ First, learn how to write the **contrapositive** of an If-Then Statement (also known as Conditional Statement).

The contrapositive of

If \color{blue}p, then \color{red}q

is

If ~\color{red}q, then ~\color{blue}p.

- The tilde symbol ~ is used to denote the negation or opposite of a statement.

- Remember that the conditional statement is logically equivalent to its contrapositive. Therefore, {\color{blue}p} \to {\color{red}q} \equiv ~\color{red}q \to ~\color{blue}p. That means if the conditional stamement is true, its contrapositive is also true. In addition, when the conditional statement is false, so is its contrapositive.

- Example: The contrapositive of the conditional statement “If a number is rational, then it can be expressed as a ratio of two integers” is “If a number cannot be expressed as a ratio of two integers, then the number is irrational”.

- Another example: The conditional statement “If \color{blue}{n^2}+1 is odd, then \color{red}n is even” is logically equivalent to its contrapositive which is “If \color{red}n is odd, then \color{blue}{n^2}+1 is even”.

◉ Secondly, recognize that an even number can be expressed as the product of 2 and an integer, that is, 2k for some integer k.

- Examples of even numbers written in the form 2k.

6=2(3)

18=2(9)

30=2(15)

## BRAINSTORM BEFORE WRITING THE PROOF

The current form of the statement will be impossible to prove using the direct proof method. It’s natural for us to seek an alternative strategy to prove it. Proof by contraposition should be your second option if direct proof fails. Though I can argue that proof by contradiction is also a viable method.

Let’s write the contrapositive of the theorem that we want to prove.

**The contrapositive of the following statement**

If n^2 is odd, then n is odd.

**is**

If n is even, then n^2 is even.

Don’t forget that if the contrapositive is proven true, the original statement must be also true.

Assume that n is even that means we can express it as n = 2k. Now, substitute the expression for n which is 2k into n^2, the conclusion.

That gives us

{n^2} = {\left( {2k} \right)^2}

{n^2} = 4{k^2}

Factor out 2 from the right hand side of the equation

{n^2} = {\color{red}2}\left( {2{k^2}} \right)

Focus your attention on the monomial inside the parenthesis. Since k is an integer, then 2k^2 must also be an integer by the Closure Property of Multiplication over the set of integers denoted by the symbol \mathbb{Z}. Let r=2k^2 so we can replace 2k^2 by r.

{n^2} = 2r

Where 2r is clearly the algebraic form of an even number.

## WRITE THE PROOF

**THEOREM:** Assume n to be an integer. If n^2 is odd, then n is odd.

**PROOF:** By contraposition: Suppose n is an integer. If n is even, then n^2 is even. Since n is an even number, we let n=2k. Substitute 2k for n into n^2. Now we have {n^2} = {\left( {2k} \right)^2} = 4{k^2}. Factor out 2 to get 4{k^2} = 2\left( {2{k^2}} \right). Since k is an integer so is 2k^2. Substitute 2k^2 by some integer r. Therefore, 4{k^2} = 2\left( {2{k^2}} \right) = 2r which is clearly an even number. We have proved the contrapositive to be true. That makes the original conditional statement true as well. Hence, we have proved that if n^2 is odd, then n is odd. ◼︎

*You might also be interested in:*