Elementos de Matematica Finita (2012-2013)

Exerccios Resolvidos
1. Vericar que os conjuntos
, {}, {{}}, {, {}}
s ao todos diferentes.
Resolucao: = {} uma vez que o segundo conjunto tem um elemento, o
conjunto vazio , enquanto que o primeiro e o conjunto vazio e portanto n ao
tem elementos. O mesmo raciocnio mostra que cada um dos outros conjuntos
e diferente do conjunto vazio.
Deduz-se que tambem {} = {{}}, pois cada um dos conjuntos tem um s o
elemento e esses elementos s ao diferentes. E do mesmo modo cada um destes
conjuntos e diferente de {, {}}, j a que este ultimo contem um elemento que
n ao est a em cada um deles.
2. Mostrar que para quaisquer conjuntos X, Y e Z
X (Y Z) = (X Y ) (X Z); X (Y Z) = (X Y ) (X Z).
Resolucao: Seja x X (Y Z) e suponhamos que x / (X Y ); como
x X isso signica que x / Y . Mas x Y Z logo tem que pertencer a (pelo
menos) um dos conjuntos e portanto x Z, donde se conclui que
x X Z (X Y (X Z)
e
X (Y Z) (X Y ) (X Z).
Por outro lado, se x X Y ent ao x X e x Y Z, logo x X (Y Z).
Se x X Z o raciocnio e identico e ca assim provada a outra inclus ao.
A segunda igualdade demonstra-se de modo semelhante.
1
3. Dena-se a diferenca simetrica de dois conjuntos como
A B = A \ B B \ A
Mostrar que
(A B) C = A (B C)
A (B C) = (A B) (A C)
Resolucao: Podemos tomar A, B e C como subconjuntos de um conjunto
U (basta, por exemplo, denir U = A B C). Dene-se entao A
c
= U \ A.
Com essa nota cao
A B = (A B
c
) (A
c
B);
Temos entao, usando as chamadas leis de Morgan
(A B)
c
= A
c
B
c
, (A B)
c
= A
c
B
c
,
bem como o exerccio anterior,
(A B) C = [((A B
c
) (A
c
B)) C
c
] [((A B
c
) (A
c
B))
c
C] =
= [(A B
c
C
c
) (A
c
B C
c
)] [(A B
c
)
c
(A
c
B)
c
C] =
= [(A B
c
C
c
) (A
c
B C
c
)] [(A
c
B) (A B
c
) C] =
= [(A B
c
C
c
) (A
c
B C
c
)] [(((A
c
B) A) ((A
c
B) B
c
)) C] =
= [(A B
c
C
c
) (A
c
B C
c
)] [(B A) (A
c
B
c
)) C] =
= (A B
c
C
c
) (A
c
B C
c
) (A B C) (A
c
B
c
C)
Uma vez que a diferenca simetrica e obviamente comutativa, a expressao no
segundo lado da equa cao obtem-se da do lado esquerdo trocando A com C;
mas essa troca n ao altera a ultima express ao a que cheg amos, pelo que se
conclui a igualdade do enunciado.
De modo semelhante,
A (B C) = A ((B C
c
) (B
c
C)) = (A B C
c
) (A B
c
C),
2
enquanto que
(A B) (A C) = ((A B) (A C)
c
) ((A B)
c
(A C)) =
= ((A B) (A
c
C
c
)) ((A
c
B
c
) (A C)) =
= (A B C
c
) (B
c
A C)
4. Quantas func oes f : existem?
Resolucao: Para se compreender porque e que a resposta e 1, temos que
recordar que uma func ao f : X Y e uma relac ao entre X e Y (ou seja, um
subconjunto R X Y ) satisfazendo a condic ao
x X, y, y

Y, (x, y) R (x, y

) R = y = y

.
Existe uma unica relac ao denida no conjunto vazio ja que e o unico sub-
conjunto de . E esta relac ao satisfaz (trivialmente) aquela condic ao: se
n ao, existiria algum x para o qual a condic ao n ao era satisfeita.
O mesmo raciocnio mostra que, para qualquer conjunto A, existe uma unica
func ao f : A.
Por outro lado, se A = , nao existe nenhuma funcao f : A .
5. Dado um conjunto X mostrar que
a) existe uma bijecc ao entre o conjunto P(X) dos subconjuntos de X e o
conjunto {f : X {0, 1}} das func oes com domnio X e contradomnio
{0, 1}.
b) nao existe uma funcao f : X P(X) sobrejectiva.
Sugest ao: considerar o conjunto {x X|x / f(X)} P(X).
Resolucao: a) Considere-se a func ao
: P(X) {f : X {0, 1}}
3
denida do seguinte modo: dado um subconjunto Y X, (Y ) e a funcao
f
Y
: X {0, 1} denida por
f(x) =
_
1 se x Y
0 se x / Y
.
e injectiva porque se Y e Z s ao dois subconjuntos de X diferentes, existe
x Y \ Z Z \ Y ; suponhamos que x Y \ Z (o outro caso e identico); entao
f
Y
(x) = 1 = 0 = f
Z
(x)
e portanto (Y ) = (Z).
e tambem sobrejectiva pois, se f : X {0, 1} e Y = f
1
(1) = {x X :
f(x) = 1}, temos obviamente f = f
Y
ou seja f = (Y ).
Note-se que se |X| = n, o conjunto {f : X {0, 1}} pode ser identicado
com o conjunto das sequencias de comprimento n formadas por 0 e 1; e uma
consequencia imediata do resultado anterior e que nesse caso
|P(X)| = 2
n
.
b) se f : X P(X) e sobrejectiva, o subconjunto {x X|x / f(X)} tem
que ser a imagem por f de algum a X, ou seja f(a) = {x X|x / f(X)};
podemos entao perguntar se a {x X|x / f(X)}. Se a resposta for
armativa entao a f(a) mas isso e uma contradic ao com a pr opria denic ao
deste conjunto; mas se a / {x X|x / f(X)} ent ao isso signicaria que
a f(a) = {x X|x / f(X)}, que e de novo uma contradi cao!
Conclumos que f n ao pode ser sobrejectiva.
A conclus ao da alnea b) traduz-se intuitivamente na ideia de que para
qualquer conjunto X, P(X) tem mais elementos do que X. No caso de X
ser nito, essa ideia e conrmada pela alnea anterior, ja que
n < 2
n
.
Esta ideia generaliza-se atraves do conceito, referido nas aulas, de cardinali-
dade.
4
6. Dada uma funcao f : X Y e A, B X, quais as relac oes entre
f(A B) e f(A) f(B)?
E entre f(A B) e f(A) f(B)?
Resolucao: No primeiro caso tem-se igualdade:
y f(A B) x A B : y = f(x) x A : y = f(x) x B : y = f(x)
y f(A) y f(B) y f(A) f(B)
J a no segundo caso temos apenas uma inclus ao:
y f(A B) = y f(A) f(B)
mas a outra inclus ao nao se verica em geral, mesmo que AB = : considere-
se o exemplo
f : {a, b, c} {0, 1}, f(a) = f(c) = 0, f(b) = 1
e os conjuntos
A = {a, b}, B = {b, c}.
7. Mostrar que, se {A
i
: i N} e {B
i
: i N} s ao famlias de conjuntos
satisfazendo
A
i
A
i+1
, B
i
B
i+1
, i N
ent ao

iN
(A
i
B
i
) =

iN
A
i

iN
B
i
Sem aquela condicao esta igualdade verica-se ou n ao?
Resolucao: Vamos mais uma vez mostrar que se vericam as duas in-
clus oes. A inclusao e obvia e nao depende da condicao no enunciado: se
x

iN
A
i
ent ao, para todo o i, x A
i
B
i
e portanto x

iN
(A
i
B
i
);
se x

iN
B
i
o raciocnio e o mesmo.
Reciprocamente, seja x

iN
(A
i
B
i
); se x

iN
A
i
n ao ha nada a demon-
strar, portanto suponhamos que x /

iN
A
i
; isso signica que existe pelo
5
menos um ndice i tal que x / A
i
, e portanto, como A
i
A
i+1
A
i+2
,
temos que x / A
j
, para todo o j i; mas, tendo em conta a hip otese feita so-
bre x, isso implica que x B
j
para todo o j i e, como B
1
B
2
B
i
,
temos x

iN
B
i
.
Se a condi cao das inclusoes n ao se vericar, o resultado nao e v alido em
geral: basta pensar no exemplo em que A
i
= {0} para i mpar e A
i
= {1} para
i par, enquanto que B
i
= {1} para i mpar e B
i
= {0} para i par. Tem-se
nesse caso

iN
(A
i
B
i
) = {0, 1},

iN
A
i

iN
B
i
= .
8. Adivinhar, calculando os primeiros casos, uma f ormula para cada uma
das seguintes somas e demonstre-as :
a) 1
3
+ 2
3
+ 3
3
+ + n
3
=
n

k=1
k
3
;
b) 1 + 3 + 5 + + (2n 1) =
n

k=1
(2k 1) ;
Resolucao: Os primeiros casos
1
3
= 1, 1
3
+2
3
= 9 = 3
2
, 1
3
+2
3
+3
3
= 36 = 6
2
, 1
3
+2
3
+3
3
+4
3
= 100 = 10
2
sugerem que a soma dos cubos dos primeiros n naturais e um quadrado per-
feito, mais precisamente
n

k=1
k
3
=
_
n(n + 1)
2
_
2
.
Provamos que de facto assim e por induc ao; o caso n = 1 ja foi vericado;
6
supondo que a igualdade se verica para um certo n
n+1

k=1
k
3
=
n

k=1
k
3
+ (n + 1)
3
=
_
n(n + 1)
2
_
2
+ (n + 1)
3
=
=
n
2
(n + 1)
2
4
+ (n + 1)
3
=
n
2
(n + 1)
2
+ 4(n + 1)
3
4
=
(n + 1)
2
(n
2
+ 4n + 4)
4
=
=
(n + 1)
2
(n + 2)
2
4
=
_
(n + 1)(n + 2)
2
_
2
como se queria demonstrar.
A alnea b) resolve-se de modo semelhante, notando que
1 = 1, 1 +3 = 4 = 2
2
, 1 +3 +5 = 9 = 3
2
, 1 +3 +5 +7 = 16 = 4
2
.
9. Demonstrar por indu cao nita que
n

k=1
k!k = (n + 1)! 1, n 1
Resolucao: A igualdade verica-se para n = 1:
1!1 = 2! 1
Para concluir a demonstrac ao, temos que vericar que se a igualdade se
verica para um certo n tambem se verica para n + 1: temos
n

k=1
k!k = (n + 1)! 1
como hipotese de induc ao e
n+1

k=1
k!k =
n

k=1
k!k + (n + 1)!(n + 1) = por hip. de ind.
= (n + 1)! 1 + (n + 1)!(n + 1) = (n + 1)!(1 + n + 1) 1 = (n + 2)! 1
7
como queramos demonstrar.
10. Mostrar, usando inducao, que 4
2n
1 e divisvel por 15, para todo o
n > 0.
Resolucao: Para n = 1 o resultado e evidente; suponhamos que para um
certo n, 4
2n
1 e m ultiplo de 15; entao
4
2(n+1)
1 = 4
2
4
2n
1 = 4
2
(4
2n
1 + 1) 1 = 4
2
(4
2n
1) + 4
2
1
e cada uma das parcelas e divisvel por 15.
11. Analisar a seguinte dedu cao da formula
n

k=1
k =
n(n + 1)
2
justicando cada um dos passos:
n+1

k=1
k
2
=
n

k=0
(k + 1)
2
=
n

k=1
k
2
+ 2
n

k=1
k + n + 1
Portanto
2
n

k=1
k = (n + 1)
2
(n + 1) = n(n + 1)
Calcular, usando o mesmo metodo, os valores da seguinte soma:
S
n
=
n

k=0
k
2
;
Resolucao:
a)
n+1

k=1
k
3
=
n

k=0
(k+1)
3
=
n

k=0
_
k
3
+ 3k
2
+ 3k + 1
_
=
n

k=0
k
3
+3
n

k=0
k
2
+3
n

k=0
k+n+1
8
e portanto, como
n+1

k=1
k
3
=
n

k=0
k
3
+ (n + 1)
3
obtemos
(n + 1)
3
= 3
n

k=0
k
2
+ 3
n

k=0
k + n + 1 = 3
n

k=0
k
2
+ 3
n(n + 1)
2
+ n + 1
e nalmente
n

k=0
k
2
=
1
3
_
(n + 1)
3
3
n(n + 1)
2
(n + 1)
_
=
n(n + 1)(2n + 1)
6
12. (N umeros de Fibonacci) Considerar a sucess ao de inteiros denida por
recorrencia por
F
1
= 1; F
2
= 1;
F
n
= F
n1
+ F
n2
, n > 2.
F
n
e chamado o nesimo n umero de Fibonacci.
a) Provar que
(i) : F
1
+ F
2
+ F
3
+ + F
n
= F
n+2
1;
(ii) : F
1
+ F
3
+ F
5
+ + F
2n1
= F
2n
;
b) Adivinhar identidades e demonstra-las para as seguintes express oes:
F
2
+ F
4
+ F
6
+ + F
2n
=???;
F
2
n+1
F
n
F
n+2
=???.
9
Resolucao: a) i Como F
3
= 2 o caso n = 1 e evidente; supondo que a
igualdade se verica para um certo n, temos
n+1

k=1
F
k
=
n

k=1
F
k
+ F
n+1
= F
n+2
1 + F
n+1
= F
n+3
1
usando a hip otese de inducao na segunda igualdade e a deni cao dos n umeros
de Fibonacci na terceira.
b) No primeiro caso podemos usar as igualdades demonstradas em a):
n

k=1
F
2k
=
2n+1

k=1
F
k

n+1

k=1
F
2k1
= F
2n+3
1 F
2n+2
= F
2n+1
1
No segundo vemos que
F
2
2
F
1
F
3
= 1; F
2
3
F
2
F
4
= 1
e usando a denic ao dos n umeros de Fibonacci
F
2
n+2
F
n+1
F
n+3
= F
2
n+2
F
n+1
(F
n+2
+ F
n+1
) = F
n+2
(F
n+2
F
n+1
)F
2
n+1
= F
n+2
F
n
F
2
n+1
pelo que conclumos que a express ao do enunciado toma os valores 1 e 1
alternadamente;
F
2
n+1
F
n
F
n+2
= (1)
n
13. Consegue provar por inducao em n que
n N :
1
2
3
4

2n 1
2n
=
n

k=1
2k 1
2k
<
1

3n
?
E se f or
n N :
1
2
3
4

2n 1
2n
=
n

k=1
2k 1
2k
<
1

3n + 1
?
10
Resolucao:Na primeira desigualdade, o caso n = 1 e de verica cao imediata
porque
1

k=1
2k 1
2k
=
1
2
<
1

3
;
para completarmos a demonstra cao por induc ao, tomamos como hip otese que
a desigualdade do enunciado se verica para um certo n e procuramos deduzir,
a partir dessa hip otese, que ela tambem se verica para n + 1. Ora
n+1

k=1
2k 1
2k
=
_
n

k=1
2k 1
2k
_
2(n + 1) 1
2(n + 1)
;
por hip otese de induc ao, o produto do lado direito e majorado por
1

3n
e
portanto
n+1

k=1
2k 1
2k
<
1

3n
2(n + 1) 1
2(n + 1)
=
1

3n
2n + 1
2(n + 1)
;
se provarmos que o lado direito desta desigualdade e majorado por
1

3(n+1)
,
completamos a demonstracao.
Mas e a que surgem problemas:
1

3n
2n + 1
2(n + 1)

1
_
3(n + 1)
(2n + 1)
_
3(n + 1) 2(n + 1)

3n (2n + 1)
2
(3n + 3) 4(n + 1)
2
3n
(4n
2
+ 4n + 1)(n + 1) 4(n
2
+ 2n + 1)n 4n
3
+ 8n
2
+ 5n + 1 4n
3
+ 8n
2
+ 4n
e esta ultima desigualdade e obviamente falsa.
J a se tentamos a mesma abordagem para a outra desigualdade, notamos
que o caso n = 1 nao se verica (tem-se igualdade e n ao desigualdade estrita);
mas para n = 2 j a se tem a desigualdade:
1
2
3
4
=
3
8
<
1

3 2 + 1
=
1

7
.
11
Se repetirmos o raciocnio feito anteriormente para provar o resultado por
induc ao, somos conduzidos a demonstrar a desigualdade
1

3n + 1
2n + 1
2(n + 1)

1
_
3(n + 1) + 1
que se verica, seguindo calculos identicos aos feitos acima, ser verdadeira.
Portanto a segunda desigualdade do enunciado verica-se para todo o n 2.
O ponto interessante e que se conclui ent ao que a primeira desigualdade
tambem se verica, uma vez que obviamente
1

3n + 1
<
1

3n
;
quer isto dizer que, embora n ao consegussemos provar por induc ao uma de-
sigualdade, j a o conseguimos fazer para uma outra desigualdade mais forte,
que implica a primeira.
Isto acontece porque, no passo de induc ao, podemos usar tambem a desigual-
dade mais forte.
14. Mostrar que, dados n quadrados, e possvel recorta-los em polgonos de
modo a formar com estes um novo quadrado.
Sugestao: O unico caso difcil e n = 2;
Resolucao: Se soubermos resolver o caso n = 2, podemos raciocinar por
induc ao: suponhamos que sabemos resolver o problema com n quadrados; da-
dos n+1 quadrados, podemos formar um novo quadrado com n deles e depois
formar um quadrado a partir deste e do quadrado restante.
Suponhamos entao que temos dois quadrados, um com lado a e o outro com
lado b e seja a < b (o caso em que a = b resolve-se por uma versao simpli-
cada deste procedimento). A ideia guia e que o quadrado nal ter a que ter
obrigatoriamente lado

a
2
+ b
2
.
Comecamos por cortar no quadrado de lado b um rect angulo ab e cortamo-lo
ao longo de uma diagonal. O rect angulo restante (de medidas (b a) b) e
12
cortado num quadrado (ba) (ba) e num rectangulo (ba) a. Juntando
este ultimo rect angulo ao quadrado de lado a obtemos um novo rectangulo
com medidas a b que pode ser de novo cortado ao longo de uma diagonal.
Temos ent ao polgonos que formam quatro tri angulos rect angulos com um
cateto de comprimento a e o outro de comprimento b, e um quadrado (b
a) (b a). Os quatro triangulos podem ser dispostos de modo a que as suas
hipotenusas sejam os lados de um quadrado, tendo no meio o espaco para o
quadrado.
15. Demonstrar, por indu cao em n, que
n N (b
i
> 0 i n
n

i=1
b
i
= 1)
n

i=1
b
i
n
Nota:

n
i=1
b
i
designa o produto dos b
i
, com 1 i n.
Sugest ao: Se b
i
= 1i, o resultado e evidente; caso contr ario, notar que: i) se
b
1
, b
2
, b
3
, , b
n+1
s ao n+1 reais positivos tais que

n+1
i=1
b
i
, ent ao b
1
b
2
, b
3
, , b
n+1
s ao n reais positivos cujo produto e 1; podemos sup or que, por exemplo,
b
1
< 1 < b
2
; Mostrar que se 0 < a < 1 < b, entao ab < a + b 1.
Resolucao: Se n = 1 n ao ha nada a provar. Vamos ent ao assumir como
hip otese de inducao que dados quaisquer n reais positivos cujo produto e igual
a 1, a sua soma e maior ou igual a n. Dados reais positivos
b
1
, b
2
, b
3
, , b
n+1
tais que
n+1

i=1
b
i
,
podemos supor que nao todos iguais a 1 (caso contrario, o resultado e evidente)
e portanto que se tem b
1
< 1 < b
2
. Ent ao
0 < (b
2
1)(1 b
1
) = b
2
+ b
1
1 b
1
b
2
13
ou seja, b
1
b
2
< b
2
+ b
1
1.
Ora,
b
1
b
2
, b
3
, , b
n+1
s ao n reais positivos cujo produto e 1 e portanto, pela hipotese de inducao
b
1
b
2
+ b
3
+ + b
n+1
n;
usando a desigualdade anterior, obtemos
(b
1
+ b
2
1) + b
3
+ + b
n+1
n
n+1

i=1
b
i
n + 1
como queramos mostrar.
16. Usar o resultado do problema anterior para demonstrar o seguinte:
dados n n umeros reais positivos a
i
, 1 i n, vericam-se as desigualdades
n
1
a
1
+
1
a
2
+ +
1
a
n

a
1
a
2
a
n

a
1
+ a
2
+ + a
n
n
ou seja, usando a notac ao para somat orios e produtos,
n

n
i=1
1
a
i

_
n

i=1
a
i

n
i=0
a
i
n
As f ormulas acima representam, respectivamente, as medias harm onica, geometrica
e aritmetica dos n umeros a
i
, 1 i n, e estas desigualdades sao uteis em
muitas ocasioes.
Resolucao: Aplicamos o exerccio anterior aos reais denidos por
b
i
=
a
i
n
_

n
i=1
a
i
;
14
e evidente que

n
i=1
b
i
= 1 e portanto

n
i=1
b
i
n, ou seja, pondo em evidencia
1
n
_

n
i=1
a
i
,
n

i=1
a
i
n
n

_
n

i=1
a
i
que e a desigualdade entre as media aritmetica e geometrica. A outra desigual-
dade prova-se de modo semelhante, substituindo os a
i
pelos seus inversos.
Nota: Estas desigualdades podem ser demonstradas sem o uso do resultado
contido no exerccio anterior, nomeadamente aplicando de outras maneiras o
Princpio de Induc ao Finita.
17. O menor m ultiplo comum de dois n umeros inteiros a, b dene-se como
o inteiro positivo mmc(a, b) que e m ultiplo de ambos e tal que
a|c b|c = mmc(a, b)|c
Mostrar que para a, b positivos se tem
mmc(a, b) =
ab
mdc(a, b)
Resolucao: A primeira solu cao usa directamente a denicao de m aximo
divisor comum e mnimo m ultiplo comum. Seja d = mdc(a, b); em primeiro
lugar, e obvio que
ab
d
e m ultiplo de a e de b; se c e um m ultiplo comum de a e
b, temos que mostrar que
ab
d
divide c; mas a | c e
b
d
| c e a e
b
d
s ao primos entre
si, por denic ao de m aximo divisor comum; isso implica que o seu produto
tambem divide c:
temos
c = la = j
b
d
;
15
e existem inteiros x e y tais que
ax +
b
d
y = 1.
Logo
j
b
d
x = cx = lax = l(1
b
d
y)
e portanto
l = (jx + ly)
b
d
e
c = (jx + ly)
b
d
a.
A segunda solu cao usa o Teorema Fundamental da Aritmetica: se p
i
designa
o i-esimo primo, todo o inteiro positivo pode ser escrito na forma

i
p
l
i
i
com
l
i
= 0 excepto para um n umero nito de ndices. Entao, se
a =

i
p
k
i
i
, b =

i
p
j
i
i
,
as denic oes de m aximo divisor comum e mnimo m ultiplo comum sao equiv-
alentes a
mdc(a, b) =

i
p
min{k
i
,j
i
}
i
, mmc(a, b) =

i
p
max{k
i
,j
i
}
i
A igualdade no enunciado equivale a

i
p
min{k
i
,j
i
}
i

i
p
max{k
i
,j
i
}
i
=

i
p
k
i
i

i
p
j
i
i
ou seja, a

i
p
min{k
i
,j
i
}+max{k
i
,j
i
}
i
=

i
p
k
i
+j
i
i
que e claramente verdadeira. Note-se que, mais uma vez como consequencia
do Teorema Fundamental da Aritmetica, a vericac ao desta igualdade se reduz
16
a vericar a igualdade dos expoentes para cada primo p
i
, ou seja a comprovar
que para quaisquer inteiros x e y se tem
max{x, y} + min{x, y} = x + y.
18. Provar que o m aximo divisor comum de n > 2 inteiros a
1
, a
2
, , a
n
satisfaz a seguinte recorrencia:
mdc(a
1
, a
2
, , a
n
) = mdc(mdc(a
1
, a
2
, , a
n1
), a
n
)
Justicar que se d = mdc(a
1
, a
2
, , a
n
), existem inteiros x
1
, x
2
, , x
n
tais
que
d = a
1
x
1
+ a
2
x
2
+ + a
n
x
n
Resolucao: Provamos a primeira igualdade usando repetidamente a denic ao
de m aximo divisor comum: d e o maximo divisor comum de a
1
, a
2
, , a
n
se
divide cada um destes inteiros e se, dado um outro inteiro positivo c tal que
c | a
i
para todo o 1 i n, entao c | d.
mdc(a
1
, a
2
, , a
n
) divide cada um dos a
i
e portanto divide mdc(a
1
, a
2
, , a
n1
)
e a
n
, logo tem que dividir mdc(mdc(a
1
, a
2
, , a
n1
), a
n
).
Reciprocamente, mdc(mdc(a
1
, a
2
, , a
n1
), a
n
), divide a
n
e como divide mdc(a
1
, a
2
, , a
n1
)
tem que dividr cada um dos a
i
; mas entao, de novo pela deni cao, divide
mdc(a
1
, a
2
, , a
n
).
noindent Assim,
mdc(a
1
, a
2
, , a
n
) e mdc(mdc(a
1
, a
2
, , a
n1
), a
n
)
s ao dois inteiros positivos que se dividem mutuamente e tem portanto que ser
iguais.
A segunda parte pode ser justicada raciocinando por induc ao: o caso n = 2
foi provado usando o algoritmo de Euclides; suponhamos que para quaisquer
n 1 inteiros a
1
, , a
n1
, existem inteiros y
i
tais que
mdc(a
1
, a
2
, , a
n1
) = a
1
y
1
+ + a
n1
y
n1
;
17
A formula de recorrencia da primeira parte da pergunta da-nos ent ao
mdc(a
1
, a
2
, , a
n
) = mdc(a
1
y
1
+ + a
n1
y
n1
, a
n
);
mas o caso n = 2 garante que existem inteiros z e w tais que
mdc(a
1
y
1
+ + a
n1
y
n1
, a
n
) = (a
1
y
1
+ + a
n1
y
n1
)z + a
n
w
e portanto
mdc(a
1
, a
2
, , a
n
) = a
1
y
1
z + + a
n1
y
n1
z + a
n
w
19. Mostrar que, dado a N, se verica
mdc (a
m
1, a
n
1) = a
mdc(m,n)
1
Resolucao: Se m = qn + r com 0 r < n, entao
a
m
1 = a
qn+r
1 = a
r
(a
qn
1) + a
r
1 =
= a
r
(1 + a
n
+ + a
n(q1)
)(a
n
1) + a
r
1
e 0 a
r
1 < a
n
1.
Isso mostra que cada passo na aplicac ao do algoitmo de Euclides a m e n
corresponde a um passo na sua aplica ao a a
m
1 e a
n
1: se na i-esima
iterac ao da primeira aplicac ao temos r
i2
= q
i
r
i1
+ r
i
, obtemos para o outro
caso
a
r
i2
1 = Q
i
(a
r
i1
1) + (a
r
i
1)
onde
Q
i
= a
r
i
(1 + a
r
i1
+ + a
r
i1
(q
i
1)
).
E portanto se ao m de t iterac oes se tem r
t2
= q
t
d onde d = mdc(m, n),
temos tambem
a
r
t2
1 = Q
t
(a
d
1).
20. Uma tripla pitag orica (x, y, z) e um triplo de naturais tais que
x
2
+ y
2
= z
2
.
Uma tripla pitag orica diz-se primitiva se mdc(x, y, z) = 1.
18
a) Mostrar que se n > m > 0 sao naturais primos entre si, em que um e par
e o outro e mpar, entao (n
2
m
2
, 2nm, n
2
+ m
2
) e uma tripla pitagorica
primitiva.
b) Mostrar que se (x, y, z) e uma tripla pitag orica primitiva, ent ao um de
entre x e y e par e o outro, bem como z, e mpar.
c) Suponhamos que y = 2k e o termo par; deduzir que
k
2
=
z x
2
z + x
2
e que os factores do lado direito sao inteiros primos entre si.
d) Deduzir que cada um daqueles dois factores e um quadrado perfeito e
concluir que todas as triplas pitagoricas primitivas (a menos de uma troca
entre x e y) sao da forma dada na alnea a).
Resolucao: a) Que aqueles tres inteiros positivos s ao uma tripla pitag orica
decorre de um c alculo simples:
(n
2
m
2
)
2
+ (2nm)
2
= n
4
2n
2
m
2
+ m
4
+ 4n
2
m
2
= (n
2
+ m
2
)
2
Um primo p que seja factor comum dos tres elementos da tripla
(n
2
m
2
, 2nm, n
2
+ m
2
)
tem que ser mpar, porque divide os mpares n
2
m
2
e n
2
+ m
2
; e ter a
tambem que dividir a sua soma 2n
2
e diferenca 2m
2
; mas ent ao tem que
dividir quer n quer m, contradizendo a hipotese de estes serem primos
entre si.
b) Se x e y fossem ambos pares, tambem z seria par e a tripla nao seria
primitiva; suponhamos que x = 2t+1 e y = 2s+1 s ao mpares (e portanto
z = 2u e par); ent ao por um lado
z
2
= (2u)
2
= 4u
2
0 mod 4
e por outro
z
2
= x
2
+y
2
= (2t+1)
2
+(2s+1)
2
= 4t
2
+4t+1+4s
2
+4s+1 2 mod 4
19
conduzindo a uma contradicao.
c) Se y = 2k,
4k
2
= y
2
= z
2
x
2
= (z x)(z + x)
e portanto
k
2
=
z x
2
z + x
2
Como x e z s ao mpares, quer z x quer z +x s ao pares e portanto os dois
factores do lado direito da ultima igualdade s ao inteiros; se eles tivesse
um factor primo comum p, ele dividiria tambem a soma z e a diferenca x;
alem disso teramos que p
2
| k
2
e portanto p | k e p| y, contradizendo o
facto de (x, y, z) ser uma tripla pitagorica.
d) Sejam
z x
2
=

i
p
l
i
i
,
z + x
2
=

i
p
j
i
i
, k =

i
p
h
i
i
as factorizac oes em factores primos com expoentes l
i
, j
i
, h
i
0 para todo
o i; como os dois primeiros inteiros s ao primos entre si, sabemos que
j
i
> 0 l
i
= 0; se p
i
divide, por exemplo,
zx
2
temos que l
i
e o expoente
de p
i
em k
2
que e igual a 2h
i
e portanto par; o mesmo se passa para
os expoentes n ao nulos na factorizac ao de
z+x
2
. Conclumos que todos os
expoentes na factorizacao em factores primos de
zx
2
e de
z+x
2
s ao pares e
portanto estes inteiros s ao quadrados perfeitos
z x
2
= m
2
,
z + x
2
= n
2
Temos entao k = mn e
x = n
2
m
2
, y = 2mn, z = n
2
+ m
2
.
Alem disso, m e n tem que ter paridade diferente, porque x e z s aompares,
e sao primos entre si porque, caso contr ario, x , y e z teriam um factor
comum.
21. Neste exerccio usamos a notac ao abreviada (a
1
, a
2
, , a
n
) para des-
ignar o maximo divisor comum dos inteiros a
1
, a
2
, , a
n
(cuja existencia
20
se prova de modo an alogo ao caso n = 2).
O menor m ultiplo comum e designado por [a
1
, a
2
, , a
n
].
Recorde-se igualmente que a|b signica a divide b.
i) Provar que se c e um m ultiplo comum de a e b ent ao [a, b]|c.
Sugest ao: c = q[a, b] + r com 0 r < [a, b].
ii) Provar que se vericam as seguintes identidades ou dar um contra-
exemplo:
a) (ma, mb) = m(a, b) e [ma, mb] para m N;
b) ((a, b), (a, c)) = (a, b, c) e [[a, b], [a, c]] = [a, b, c];
c) (a, b)(c, d) = (ac, ad, bc, bd);
d) (a, b, c) = ((a, b), c);
e) (a, b)[a, b] = ab; Sugestao: considerar primeiro o caso (a, b) = 1;
f) (ab, ac, b, c)[a, b, c] = abc;
Resolucao: i) de acordo com a sugest ao c = q[a, b] + r, e se c e um
m ultiplo comum de a e b, tambem r o e; mas, pela denic ao de menor
m ultiplo comum, isso implica r = 0.
ii) a) Sejam d = (a, b) e c = (ma, mb); existem inteiros x, y tais que md =
m(xa +yb) = x(ma) +y(mb), e portanto md tem que ser um m ultiplo de
c. Mas por outro lado existem t, s tais que c = t(ma)+s(mb) = m(ta+sb)
e portanto c e um m ultiplo de md.
A igualdade an aloga para os menores m ultiplos comuns prova-se do mesmo
modo.
c) Sejam m = (a, b), n = (c, d); e claro que mn divide qualquer um
dos produtos ac, ad, bc, bd e portanto mn (ac, ad, bc, bd). Mas, aplicando
a) repetidamente, este ultimo n umero divide ac e ad e portanto divide
(ac, ad) = a(c, d), e do mesmo modo divide b(c, d); entao divide tambem
21
(a(c, d), b(cd)) = (a, b)(c, d) = mn.
d) Por um lado (a, b, c) divide a e b e portanto divide (a, b), e como tambem
divide c, tem que dividir ((a, b), c); mas por outro este ultimo e um divisor
(positivo) dos tres inteiros a, b, c logo tem que ser menor ou igual do que
(a, b, c).
e) seja primeiro (a, b) = 1; por i), como ab e um m ultiplo comum de a, b,
temos que [a, b]|ab ou seja, existe u tal que ab = [a, b]u; mas [a, b] = ta = sb
e portanto como a e b s ao n a nulos
a = su b = tu
ou seja u e um divisor comum de a e b e portanto divide (a, b) = 1.
o caso geral deduz-se escrevendo
d = (a, b), a = a

d, b = b

d
pelo resultado anterior a

= [a

, b

] e pela alnea a)
ab = d
2
a

= d
2
[a

, b

] = d[a, b] = (a, b)[a, b]

.
Nota: Nas resoluc oes apresentadas, usaram-se apenas as propriedades
mais simples do maximo divisor comum (a, b) de dois n umeros a e b: qual-
quer divisor de a e b divide (a, b); existem inteiros t, s tais que (a, b) =
ta + sb; usando por sua vez os resultados a) e c), por exemplo, e racioci-
nando por indu cao, pode-se provar que estas propriedades se general-
izam: qualquer divisor de a
1
, a
2
, , a
n
divide (a
1
, a
2
, , a
n
) e existem
t
1
, t
2
, , t
n
tais que (a
1
, a
2
, , a
n
) =

n
k=1
t
k
a
k
.
Estas identidades podem ser tambem demonstradas usando as decom-
posic oes dos v arios inteiros em factores primos.
Para isso e conveniente escrever
a =

p
a
i
i
22
em que o produto se faz com todos os primos p
i
e a
i
0; como a
i
=
0 excepto para um n umero nito de ndices, n ao ha problema em usar
produtos innitos (com a convenc ao de que 1

= 1).
Ent ao, se
a =

p
a
i
i
, b =

p
b
i
i
deduz-se que
(a, b) =

p
min{a
i
,b
i
}
i
, [a, b] =

p
max{a
i
,b
i
}
i
22. Com quantos zeros termina a expansao decimal de 100!? Sugestao:
comecar por resolver para 10! e considerar a factorizac ao em factores pri-
mos.
Resolucao: o n umero de zeros pedido e dado exactamente pela maior
potencia de 10 que divide 100!. Como 100! = 2
j
5
k
(outros factores
primos), conlumos que essa potencia sera min{j, k}.
Para calcular k, como 100! =

100
n=1
n, procuramos os 1 n 100 em que
5 aparece como factor, isto e 5, 10, 15, etc.
Como existem 20 = 100/5 m ultiplos de 5 entre 1 e 100, 5 aparece como
factor 20 vezes; mas temos que contar tambem os m ultiplos de 5
2
menores
que 100 em que 5 aparece como factor duas vezes, e temos 4 = 100/25.
Logo k = 24.
Do mesmo modo, podemos calcular j como a soma do n umero de m ultiplos
de 2, de 2
2
, de 2
3
, etc., que existem entre 1 e 100:
j =
_
100
2
_
+
_
100
2
2
_
+ +
_
100
2
6
_
= 50 + 25 + 12 + 6 + 3 + 1 = 97
Como era de esperar esta potencia e muito maior que a de 5.
Em geral, portanto, dado um natural N e um primo p, o expoente k de p
na factorizac ao em primos de N! e dada por
k =
r

i=1
_
N
p
i
_
23
em que r e denido por p
r
N < p
r+1
.
23. Determinar o m aximo divisor comum d de 2163 e 910 e inteiros x, y
tais que
d = 2163x + 910y
com x > 0.
Resolucao: A tabela seguinte descreve a aplicacao do algoritmo de Eu-
clides a a = 2163 e b = 910, com o c alculo simult aneo dos x
i
e y
i
que
satisfazem
r
i
= ax
i
+ by
i
:
r
i
q
i
x
i
y
i
2163 1 0
910 0 1
2163 = 2 910 + 343 343 2 1 2
910 = 2 343 + 224 224 2 2 5
343 = 1 224 + 119 119 1 3 7
224 = 1 119 + 105 105 1 5 12
119 = 1 105 + 14 14 1 8 19
14 = 2 11 + 0
Conclui-se portanto que mdc(1859, 737) = 11 e que
11 = 1859 23 737 58
Como o enunciado pede y > 0, tmeos que usar a f ormula mais geral
11 = 1859 (23 k
737
11
) + 737 (58 + k
1859
11
).
Fazendo, por exemplo, k = 1 ja obtemos
11 = 1859 44 + 737 111
24