I want to prove the following statements:
An odd positive integer raised to a positive power results in an odd number.
And,
An even positive integer raised to a positive power results in an even number.
However, I am not sure how to do this mathematically. Specifically, for the first statement, I can explain it’s true because no matter how many times you multiply odd numbers, you will continue getting odd numbers, but this doesn’t seem very rigorous.
For the second statement, my proof is more rigorous as I say that
(2m)$^n$ = 2$^n$m$^n$, which must be even as 2$^n$ is always even.
Any comments regarding whether these proofs are valid would be great.
Best Answer
An alternative to induction for your interest (although the induction proof is better in many ways). Consider any odd number $n=2k+1$ where $k=0,1,2,...$. And let $m$ be any positive integer. Then you want to guarantee that $$ n^m = (2k + 1)^m \mbox{ is odd}$$ Well we can use a famous result known as Binomial Theorem, which states that $$ (x + y)^m = \sum_{j=0}^{m} {m \choose k} x^{j} y^{m-j}, \qquad {m \choose k}=\frac{m!}{k!(m-k)!}$$ To see that $$ (2k + 1)^m = \sum_{j=0}^{m} {m \choose k} (2k)^{j} 1^{m-j} = 1 + 2 \left( \sum_{j=1}^{m} 2^{j-1} k^j \right)$$ which the right hand side is clearly odd