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