Universidade Federal de Campina Grande - UFCG

Campina Grande, 12 de Agosto de 2015.

Disciplina: MA-14 - Aritm
etica - PROFMAT - Semestre 2015.2 - Turno: Manha
Professores: Alcionio e Iraponil
Aluno: Welhington Sergio da Silva
Matricula: 15112214-6.
2a Atividade Semanal MA - 14 - Aritm
etica
Problema 3.
a) Mostre que um n
umero natural a e par se, e somente se, an e par, qualquer que seja n N.
b) Mostre que an am e sempre par, quaisquer que sejam n, m N.
c) Mostre que se a e b sao mpares, entao a2 + b2 e divsvel por 2 mas nao e divisvel por 4.
Resoluc
ao: Na resolucao do problema usaremos o resultado das seguintes proposicoes:
(P1) Se x e y sao pares entao x y e par. De fato, como x = 2n, n Z e y = 2m, m Z, entao
x y = 2n 2m = 2(m n) = 2k, k = m n. Como k = m n Z, temos que x y e par.
(P2) Se x e y sao mpares entao xy e mpar. De fato, como x = 2n+1, n Z e y = 2m+1, m Z,
entao x y = (2n + 1) (2m + 1) = 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1 = 2k + 1, k =
2mn + m + n. Como k = 2mn + m + n Z, x y e mpar.
(P3) Se x e y sao pares entao x y e par. De fato, como x = 2n, n Z e y = 2m, m Z, entao
x y = 2n 2m = 2(m n) = 2k, k = m n. Como k = m n Z, temos que x y e par.
(P4) Se x e y sao mpares entao x y e par. De fato, como x = 2n + 1, n Z e y = 2m + 1, m Z,
entao x+y = 2n+1+2m+1 = 2(m+n+1) = 2k, k = m+n+1 Z e xy = 2n+12m1 =
2(n m) = 2k, k = n m Z. Logo, x y e par.
a) Se a e par entao an e par. Provemos por inducao sobre n.
Seja P (n): Se a e par entao an e par.
Para n = 1. Temos que a1 = a, o que e verdade pois a e par, por hipotese.
Admitamos que a proposicao seja valida para algum n = k natural, isto e,
ak e par, a par.
e mostremos que da decorre sua validez para n = k+1, ou seja,
ak+1 e par, a par.
Com efeito, ak+1 = ak a, da como ak e par pela hipotese de inducao e a tambem e
par pela hipotese inicial, pela proposicao (P 1) resulta que ak+1 e par. Portanto, P (n)
e valida para todo n natural.
1

Reciprocamente, Se para todo n N, an e par , entao a e par. Demonstremos por contrapositiva, ou seja, provemos que se a e mpar entao an e mpar para todo n N. Facamos mais
uma vez uso da inducao sobre n:
Seja P (n): Se a e mpar entao an e mpar.
Para n = 1. Temos que a1 = a, o que e verdade pois a e mpar, por hipotese.
Suponhamos que P (n) e verdadeira para algum n = k natural, isto e,
ak e par, a mpar.
e mostremos que P (n) continua valida para n = k+1, ou seja,
ak+1 e par, a mpar.
Com efeito, ak+1 = ak a, da como ak e mpar pela hipotese de inducao e a tambem e
mpar pela hipotese inicial, pela proposicao (P 2) resulta que ak+1 e mpar. Portanto,
P (n) e valida para todo n natural.
b) Temos dois casos a considerar:
Caso 1: a e par. Se a e par pelo item a, temos que am e an sao pares, logo pela prososicao (P 3)
conclumos que an am e par.
Caso 2: a e mpar. Se a e mpar pelo item a, temos que am e an sao mpares, logo pela prososicao
(P 4) conclumos que an am e par.
c) Sendo a = 2m + 1, m Z e b = 2n + 1, n Z, temos que
a2 + b2 = (2m + 1)2 + (2n + 1)2 = 4m2 + 4m + 1 + 4n2 + 4n + 1
= 2(2m2 + 2n2 + 2m + 2n + 1)
= 2k, k = 2m2 + 2n2 + 2m + 2n + 1,
como k = 2m2 +2n2 +2m+2n+1 Z, resulta pela definicao de divisibilidade que 2 | (a2 +b2 ).
Por outro lado, temos tambem que
a2 + b2 = (2m + 1)2 + (2n + 1)2 = 4m2 + 4m + 1 + 4n2 + 4n + 1
= 4(m2 + n2 + m + n) + 2
= 4k + 2, k = m2 + n2 + m + n,
como, k = m2 + n2 + 2m + 2n Z e 2 < 4, resulta pelo teorema da divisao euclidiana que
4 6 | (a2 + b2 ).
Problema 4.
a) Mostre que todo quadrado perfeito e da forma 5k, 5k + 1 ou 5k 1.
2

b) Se tres inteiros positivos a, b, c verificam a2 = b2 + c2 , entao entre eles ha um m

ultiplo de 2
e um m
ultiplo de 5.
c) A soma dos quadrados de dois inteiros mpares nao pode ser um quadrado perfeito.
Resoluc
ao:
a) Pelo teorema da divisao euclidiana todo n
umero inteiro a se escreve de uma das seguintes
formas: 5m, 5m + 1, 5m + 2, 5m + 3 ou 5m + 4. Da,
Se a = 5m, entao a2 = 25m2 = 5k, onde k = 5m2 ;
Se a = 5m + 1, entao a2 = 25m2 + 10m + 1 = 5k + 1, onde k = 5m2 + 2m;
Se a = 5m + 2, entao a2 = 25m2 + 20m + 4 = (25m2 + 20m + 5) 1 = 5k 1, onde
k = 5m2 + 4m + 1;
Se a = 5m + 3, entao a2 = 25m2 + 30m + 9 = (25m2 + 30m + 10) 1 = 5k 1, onde
k = 5m2 + 6m + 2;
Se a = 5m + 4, entao a2 = 25m2 + 40m + 16 = (25m2 + 40m + 15) + 1 = 5k + 1, onde
k = 5m2 + 8m + 3.
Portanto, todo quadrado perfeito e da forma 5k, 5k + 1 ou 5k 1.
b) Pelo resultado do tem c) que provaremos a seguir, para a soma b2 + c2 ser um quadrado
perfeito pelo menos um dos n
umeros b ou c tem que ser par. Logo, pelo menos um desses
n
umeros e m
ultiplo de 2.
Por outro lado, se nenhum dos n
umeros for m
ultiplo de 5, entao a2 , b2 e c2 nao sao m
ultiplos
de 5, logo, pelo tem a), sao da forma 5k + 1 ou 5k 1. Assim, a soma b2 + c2 resulta em um
n
umero da forma 5k + 2 ou 5k 2, da a2 = b2 + c2 e tambem da forma 5k + 2 ou 5k 2,
o que e uma contradicao com o tem a). Portanto, pelo menos um dos n
umeros tem que ser
m
ultiplo de 5.
c) Inicialmente provemos que nenhum quadrado perfeito e da forma 4k+2 ou 4k+3. Com efeito,
pelo teorema da divisao euclidiana todo n
umero inteiro a se escreve de uma das seguintes
formas: 4m, 4m + 1, 4m + 2 ou 4m + 3. Da,
Se a = 4m, entao a2 = 16m2 = 4k, onde k = 4m2 ;
Se a = 4m + 1, entao a2 = 16m2 + 8m + 1 = 4k + 1, onde k = 4m2 + 2m;
Se a = 4m + 2, entao a2 = 16m2 + 16m + 4 = 4k, onde k = 4m2 + 4m + 1;
Se a = 4m + 3, entao a2 = 16m2 + 24m + 9 = (16m2 + 24m + 8) + 1 = 4k + 1, onde
k = 4m2 + 6m + 2.

Logo, nenhum quadrado perfeito e da forma 4k + 2 ou 4k + 3.

O quadrado de um inteiro mpar e tambem mpar e, portanto e da forma 4k + 1, k Z.
Sendo a2 e b2 os quadrados de dois inteiros mpares podemos dizer que a2 = 4q + 1 e
b2 = 4q 0 + 1, para q e q 0 inteiros. Logo a2 + b2 = 4q + 1 + 4q 0 + 1 = 4q + 4q 0 + 2, ou seja
a2 + b2 = 4(q + q 0 ) + 2. Fazendo k = q + q 0 temos a2 + b2 = 4k + 2.
Portanto, a soma dos quadrados de dois inteiros mpares nao pode ser um quadrado perfeito por ser da forma 4k + 2.