Universidade Federal de Campina Grande - UFCG

Campina Grande, 02 de Setembro 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.
5a Atividade Semanal MA - 14 - Aritm
etica
Problema 1. Mostre que
(a) Se (13, a) = (13, b) = 1, entao 13 divide a12 b12 .
(b) Se (91, a) = (91, b) = 1, entao 91 divide a12 b12 .
Resoluc
ao:
(a) Note inicialmente que a12 b12 = (a12 1) (b12 1). Supondo que (13, a) = (13, b) = 1,
temos que 13 - a e 13 - b, da pelo corolario do pequeno teorema de Fermat (Corolario 7.18),
conclumos, respectivamente, que
13 | a131 1 = (a12 1),
13 | b131 1 = (b12 1).

(1)
(2)

Por (1) e (2) segue que

13 | (a12 1) (b12 1),
ou seja,
13|a12 b12 ,
como queramos demonstrar.
(b) Note inicialmente que a12 b12 = ((a2 )6 1) ((b2 )6 1). Supondo (7 13, a) = (91, a) = 1,
temos que 7 - a, consequentemente 7 - a2 . Analogamente, conclumos pelo fato de (713, b) =
(91, b) = 1, que 7 - b2 . Da, como 7 - a2 e 7 - b2 , pelo corolario do pequeno teorema de Fermat,
conclumos, respectivamente, que
7 | (a2 )6 1) = (a12 1),
7 | (b2 )6 1) = (a12 1).

(3)
(4)

Por (3) e (4) segue que

7|(a12 1) (b12 1),
ou seja,
7|a12 b12 .
Da, como 13|a12 b12 (vide tem (a)), 7|a12 b12 e (7, 13) = 1, segue que 7 13|a12 b12
(problema 2.2(a), pag. 99), isto e, 91|a12 b12 . Como queramos demonstrar.
Problema 3. Nosso objetivo neste problema e determinarmos todos os ternos ordenados (a, b, c)
de inteiros positivos tais que a2 c4 = 2b .
1

a) Usando o Teorema Fundamental da Aritmetica argumente que existem dois naturais m e n

com m > n tais que m + n = b, a c2 = 2n e a + c2 = 2m .
b) Mostre que c2 = 2n1 (2mn 1).
c) Prove que 2n1 e 2mn 1 sao primos entre si.
d) Mostre que 2n1 e 2mn 1 sao quadrados perfeitos.
e) Prove que m n = 1.
f) Faca n 1 = 2t, sendo t natural, e conclua, que todas as solucoes da equacao enunciada sao
da forma (a, b, c) = (3 22t , 4t + 3, 2t ) com t N.
Resoluc
ao:
a) Note Inicialmente que a2 c4 = 2b (a + c2 )(a c2 ) = 2b . O Teorema Fundamental da
Aritmetica nos assegura que 2b admite uma decomposicao u
nica em fatores primos, ou seja,
existem dois naturais m e n, univocamentene determinados, com m > n, tais que m + n = b,
a c2 = 2n e a + c2 = 2m .
b) Subtraindo as equacoes a c2 = 2n e a + c2 = 2m membro a membro, obtemos
a + c2 (a c2 ) = 2m 2n

2c2 = 2m 2n
c2 = 2m1 2n1
c2 = 2n1 2mn 2n1
c2 = 2n1 (2mn 1).

Como queramos demonstrar.

c) A fim de mostrarmos que 2n1 e 2mn 1 sao primos entre si devemos mostrar que
(2n1 , 2mn 1) = 1.
Demonstracao: Inicialmente notemos que como 2mn e par (problema 2.4(a), pag. 58), temos
que 2mn 1 e mpar. Seja d0 = (2n1 , 2mn 1) e suponhamos, por contradicao, que d0 6= 1.
Note que d(2n1 ) = {1, 2, 22 , . . . , 2n1 }, assim, sendo d0 6= 1 temos que d0 {2, 22 , . . . , 2n1 },
absurdo (d0 par divide 2mn 1 que e mpar). Portanto, devemos ter d0 = (2n1 , 2mn 1) = 1.
Como queramos demonstrar.
d) Pelo tem a) temos que 2n1 (2mn 1) = c2 , isto e, o produto de 2n1 e 2mn 1 e um
quadrado perfeito. Pelo, Teorema Fundamental da Aritmetica, temos que
2n1 = 22t = (2t )2 , t N, e
1
r
1 = p2
p2
= (p1 1 )2 (pr r )2 = (p1 1 pr r )2 ,
1
r

mn

com p1 , . . . , pr primos diferentes de 2 (pois, (2n1 , 2mn 1) = 1), e 1 , . . . r N. Note que,

2n1 e 2mn 1 sao ambos quadrados perfeitos. Como queramos demonstrar.
2

e) Como 2mn 1 e mpar segue pelo tem anterior que 2mn 1 = (2k 1)2 , k N. Da,
2mn 1 = (2k 1)2 = 4k 2 4k + 1 2mn = 4(k 2 k) + 2,
Observe que 2 | 2mn , mas 4 - 2mn o que obriga termos m n = 1, pois caso contrario
(m n > 1) teramos que 4 | 2mn .
f) Como m n = 1 e n 1 = 2t, t N (vide tens (d) e (e)), segue que n = 2t + 1 e
m = 1 + n = 1 + 2t + 1 = 2t + 2. Da,
c2 = 2n1 (2mn 1) c2 = 22t (2 1) c2 = (2t )2 c = 2t ,
b = m + n b = 2t + 2 + 2t + 1 b = 4t + 3, e

(5)

(5)

a c2 = 2n a 22t = 22t+1 a = 2 22t + 22t a = 3 22t .

Portanto, todas as solucoes da equacao a2 c4 = 2b sao da forma (a, b, c) = (3 22t , 4t + 3, 2t )
com t N.