# How does expanding $(2s+1)^2$ help us prove “$n^2$ even $\implies$ $n$ even”?

How can $n^2 = (2s + 1)^2= 4s^2 + 4s + 1$ help in proving "If $n^2$ is even then $n$ is even"?

-
what's the question? – Riccardo.Alestra Mar 12 '12 at 8:29
Do you mean to write $(2s+1)^2 = (2s)^2 + 4s + 1$? Or did you actually mean to write $(2s+1)^2 = 2s^2 + 4s + 1$? (One of these is correct, and the other is not.) – arjafi Mar 12 '12 at 8:32
– M'vy Mar 12 '12 at 9:11
The question is absurd. – Kirthi Raman Mar 12 '12 at 11:39
I think the question is clear and makes sense. – Michael Hardy Sep 2 '12 at 18:40

Based on your comment on Lazar Ljubenović answer, here is an attempt to explain how to expand $(2s+1)^2$.

First let us rewrite $(2s+1)^2$ as $(2s+1)(2s+1)$. For the sake of this explanation let us rewrite $(2s+1)(2s+1)$ as $c(2s+1)$ where $c=2s+1$.

Using the distributive law $a(b+c)=ab+ac$ we know $$c(2s+1)=c\cdot 2s+c\cdot 1=c\cdot 2s+c$$

Now if we substitute back $c$ we get

$$2s\cdot (2s+1)+(2s+1)$$

If we use the distributive law once again we get:

$$(2s)\cdot (2s)+2s\cdot 1+2s+1=2\cdot2\cdot s\cdot s+2s+2s+1$$ Which is

$$4s^2+4s+1$$

As for the question: how can this help prove that if $n$ is odd, $n^2$ is also odd?

Since any even number plus 1 is odd, any odd number can be written in the form $2n+1$ where $n$ is an integer. If we square $2n+1$ we get $(2n+1)^2=4n^2+4n+1$. Note that this can be simplified to $4(n^2+n)+1$. Since $4(n^2+n)$ is always even, $4(n^2+n)+1$ must be odd.

-
It's very useful to remember the general formula $(a+b)^2=a^2+2ab+b^2$, which you can prove yourself using this answer as example. – Lazar Ljubenović Mar 12 '12 at 18:25

Hint $\$ If $\rm\:n\:$ is odd then $\rm\:n = 2s+1,\:$ so expanding $\rm\:n^2 = (2s+1)^2\:$ shows $\rm\: n\ odd\:\Rightarrow\:n^2\ odd,\:$ or, contrapositively, $\rm\:n^2\ not\ odd\:\Rightarrow\: n\ not\ odd,\:$ i.e. $\rm\:n^2\ even\:\Rightarrow\:n\ even.$

-

If I understand your question correctly:

Let $n=2s+1$. That's and odd number because it's greater than even number ($2s$) by one. So, when you square it, you get: $(2s+1)^2=4s^2+4s+1=4(s^2+s)+1$. This is also an odd number, because it's a number you get when you add $1$ to even number $4(s^2+s)$.

With this, your proof that if $n$ is odd, then $n^2$ is odd as well is done.

-
When you say "This is also an even number" I think you mean "This is also an odd number" – Henry Mar 12 '12 at 8:35
OK, But I am asking about the square: $n^2=(2s+1)^2$ $n^2=2s^2+4s+1$ – Franceia Mar 12 '12 at 8:36
@Lazar : I think I asked incorrectly, How to solve the square with the variable s? $(2s+1)^2$ step by step because I am confused from where did the 4s came? – Franceia Mar 12 '12 at 8:39
Whoops, my mistake. Sorry for confusion and thanks Henry to correction. – Lazar Ljubenović Mar 12 '12 at 18:23

An odd number is a number of the form $(2\cdot\text{something})+1$.

So the square of an odd number is $$(2s+1)^2 = 4s^2+4s+1 = 2\Big(2s^2+2s\Big) + 1 = (2\cdot\text{something})+1.$$

Therefore the square of an odd number is odd.

Beyond that, you need to know that every integer is either odd or even.

-

Michael Hardy has the key observation: "you need to know that every integer is either odd or even."

On the Peano level, this seems non-trivial. My attempt is this (where $s$ is the successor function):

Base case: 1 is odd; s(1) is even.

Induction: If n is even, s(s(n)) is even; if n is odd, s(s(n)) is odd.

It seems to me we have to show that (1) every integer is even or odd; (2) no integer is both even or odd. To do this, we have to show that (1) if n is even, s(n) is odd; if n is odd, s(n) is even.

Then, I think, we can prove these by looking at the smallest integer that is neither even or odd and getting a contradiction; the same for the smallest integer that is both even and odd.

Am I making too much of this, or is there a simple way to do this?

-