a) se n é par então n=2k e n^2 = 4k^2; como 4k^2 é obviamente
par, está provado que n^2 é par.
b) se n é ímpar então n=2k + 1, e n^2 = 4k^2 + 4k + 1; como
4k^2 + 4k é par, então 4k^2 + 4k + 1 é ímpar, então n^2 será ímpar nesse
caso.
Um abraço,
João.
|