| 
 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. 
  |