Thread: -1^n = 1 or -1

Okay, this might be a little bit stupid question...
I'm studying ross elementary analysis.
And I'm trying to get some skills in writing formal proofs, instead of intuitive ideas.

I want to proof that the sequence (-1)^n = 1 or -1.
But how do I give a real proof for this ?

Originally Posted by kasper90

Okay, this might be a little bit stupid question...
I'm studying ross elementary analysis.
And I'm trying to get some skills in writing formal proofs, instead of intuitive ideas.

I want to proof that the sequence -1^n = 1 or -1.
But how do I give a real proof for this ?

-1^n = -1, since you need to do the exponentiation before the negation.

I actually meant to say (-1)^n.
sorry for that

(-1)^n = 1 if n is even, and (-1)^n = -1 if n is odd.

Okay, but how do I prove that ?

Originally Posted by kasper90

Okay, but how do I prove that ?

If is even, then .

If is odd, then (WHAT?)

Okay, I'll try:
If n is even,
than ∃k∈N : n = 2k,
than (-1)^n = (-1)^2k=[(-1)^2]^k = 1^k

If n is uneven,
than ∃k∈N : n=2k-1,
than (-1)^n = (-1)^[2k-1] = -1^k,

Induction (prove that 1^k =1)
1^1
if 1^k = 1, than 1^(k+1)=1^k * 1 = 1^k = 1
By induction, 1^k =1 for all natural numbers.

Plato posted his post just before I did,
but I think I got the idea, right ?

Is this a valid proof ?

Originally Posted by kasper90

Plato posted his post just before I did,
but I think I got the idea, right ? Is this a valid proof ?

You have proved that so use it.
.