3 +
As proposies admitem um dos valores lgicos: Verdadeiro (V) ou Falso
(F), obedecendo aos princpios fundamentais da lgica:
1. Princpio da No Contradio: Uma proposio no pode simultanea-
mente ser verdadeira e falsa.
2. Princpio do Terceiro Excludo: Toda proposio ou s verdadeira
ou s falsa, nunca ocorrendo um terceiro caso.
As proposies podem ser simples ou compostas.
Proposio Simples: a que no contm nenhuma outra proposio como
parte integrante de si mesma; por exemplo, as proposies p, q, r e s do exem-
plo 1.1 so proposies simples.
Proposio Composta: formada por duas ou mais proposies rela-
cionadas por conectivos lgicos; por exemplo, a proposio t do exemplo 1.1
uma proposio composta. As proposies compostas so denotadas por letras
maisculas: P, Q, R, etc.
P(p, q, r, s, ...) indica que a proposio composta P formada pelas proposies
simples p, q, r, s, ...
1.1.2 Conectivos Lgicos
A partir de proposies dadas podemos construir outras por meio dos conectivos
no, e, ou, se...ento, ...se e somente se, da seguinte forma:
1.1. LGICA PROPOSICIONAL 6
Negao
Notao: p (l-se: no p)
Exemplo 1.2
p : Joo rico. p : Joo no rico.
q : O nmero 8 par. q : O nmero 8 no par.
r : tg
4
= 1 r : tg
4
,= 1
A expresso no verdade tambm usada para obter a negao de uma
proposio. Por exemplo:
p : No verdade que Joo rico.
Conjuno
Uso do conectivo e. A partir de duas proposies obtemos uma terceira.
Notao: p q (L-se: p e q)
Exemplo 1.3
p : Joo estudante.
q : Pedro professor.
p q : Joo estudante e Pedro Professor.
Exemplo 1.4
p : 2 < 3
q : 3 > 5
p q : 2 < 3 e 3 > 5
Disjuno
Com o conectivo ou, dadas duas proposies, formamos uma terceira.
Notao: p q (l-se: p ou q)
Exemplo 1.5
1.1. LGICA PROPOSICIONAL 7
p : Joo estudante.
q : Pedro professor.
p q : Joo estudante ou Pedro professor.
Exemplo 1.6
p : A = x R [ x 3
q : A = x R [ x 5
p q : A = x R [ x 3 ou A = x R [ x 5
Observao 1.2
No utilizamos o conectivo ou no sentido de excluso: ou ocorre isto ou ocorre
aquilo. Assim, por exemplo Gosto de pera ou gosto de ma verdadeira
mesmo que a pessoa em questo goste das duas frutas.
Condicional ()
Utilizando o conectivo se..., ento..., formamos uma terceira proposio.
Notao: p q (l-se: se p, ento q)
Exemplo 1.7
p : Carlos estuda.
q : Carlos passar de ano.
p q : Se Carlos estuda, ento Carlos passar de ano.
Exemplo 1.8
p : Marta rica.
q : Marta feliz.
p q : Se Marta rica, ento Marta feliz.
Na proposio condicional, a proposio p chamada de antecedente e a
proposio q chamada de conseqente, mas, sem que efetivamente q seja
conseqncia de p.
Exemplo 1.9
1.1. LGICA PROPOSICIONAL 8
p : 2 + 3 = 1
q : A Terra plana.
p q : Se 2 + 3 = 1, ento a Terra plana.
Exemplo 1.10
p : Joo magro.
q : Carlos careca.
p q : Se Joo magro, ento Carlos careca.
Bicondicional ()
Dadas duas proposies, formamos uma terceira proposio chamada bicondi-
cional, utilizando o conectivo ...se, e somente se....
Notao: p q (L-se: p se, e somente se q)
Exemplo 1.11
p : O tringulo ABC um tringulo retngulo.
q : O tringulo ABC tem um ngulo reto.
p q : O tringulo ABC um tringulo retngulo se, e somente se o tringulo
ABC tem um ngulo reto.
Exemplo 1.12
p : n um nmero par.
q : n divisvel por 2.
p q : n um nmero par se, e somente se n divisvel por 2.
Exemplo 1.13
p : A Terra plana.
q :
2 um nmero racional.
p q :
x
2
= [x[;
(e) (x y)
2
0 se, e somente se, todo tringulo equiltero issceles.
(f) Se 2 + 2 = 4, ento no verdade que 2 + 1 = 3 e 5 + 5 = 10;
(g) mdc(3, 6) = 1 8 um nmero primo ;
(h)
x = 2 x=4 ;
(i) Se 0 x < 2 ento x
2
< 8 ;
(j) Se x < 0 ento [x[ = x ;
(k) As retas de equaes 3xy =
7
2
e 6x2y = 1 so paralelas ou so
perpendiculares ;
(l) Se a equao x
3
+x
2
ax+2a = 0 tem 1 como raiz ento a = 1 ;
(m) A reta de equao
2x
3
= 2y 1 passa pelo ponto (-1,2) ou paralela
reta de equao
2x 1
3
= 2y ;
(n) No existe nmero racional
p
q
, q ,= 0 tal que
1
13
<
p
q
<
1
12
.
2. Estude os valores lgicos das proposies seguintes, se o valor lgico F,
d as negaes:
1.1. LGICA PROPOSICIONAL 23
(a) Todo paralelogramo quadrado;
(b) Algum tringulo retngulo issceles;
(c) Nenhum mltiplo de 2 7;
(d) Existe equao do segundo grau que possui 3 razes.
(e) Para qualquer nmero natural x, existe um natural y tal que x+3y =
6;
(f) Nenhum nmero real x tal que x
2
+ 1 = 0;
(g) Todo nmero real x tal que seu quadrado no negativo.
3. Sendo p: "Est chovendo", q: "Ele usa um guarda chuva", escreva na
linguagem simblica.
(a) Se est chovendo, ento ele usa um guarda chuva;
(b) Se ele usa um guarda chuva, ento est chovendo;
(c) Se no est chovendo, ento ele no usa um guarda chuva;
(d) Se ele no usa um guarda chuva, ento no est chovendo;
(e) Para ele usar um guarda chuva necessrio estar chovendo;
(f) Para ele usar um guarda chuva suciente estar chovendo;
(g) A condio necessria e suciente para ele usar um guarda chuva
estar chovendo.
4. Escreva a proposio recproca e a contrapositiva de cada proposio:
(a) Se ele um bom poeta, ento ele pobre ;
(b) Se um nmero par, ento o seu quadrado par ;
(c) Se ela estudasse, ento ela passaria de ano ;
(d) Se um polgono um quadrado, ento ele um retngulo .
5. Escreva a proposio contrapositiva de cada uma das proposies:
(a) p q ;
1.1. LGICA PROPOSICIONAL 24
(b) q p ;
(c) p q ;
(d) p q ;
(e) q p ;
(f) q p ;
(g) p q ;
(h) q p ;
(i) q p .
6. Julgue as proposies condicionais a seguir (como verdadeiras ou falsas) e
tambm as respectivas recprocas.
(a) Se x = 3 ento x
2
= 9 ;
(b) Se x um nmero inteiro, a equao 2x 5 = 0 no tem soluo ;
(c) Se x im nmero real, a sentena x =
x
2
uma identidade ;
(d) Se x > 0 um nmero real, ento
1
x
1 ;
(e) Se x > 0 e y > 0 ento x
2
< y
2
.
7. Analise se as seguintes condicionais podem ser tornadas implicaes.
(a) Se 2x + 4 = 0 ento x
2
8x + 12 = 0 ;
(b) Se x
2
1 = 8 ento 2x 1 = 5 ;
(c) Se
x + 2 = x 4 ento x + 2 = (x 4)
2
.
8. Analise se as seguintes bicondicionais podem ser tornadas equivalncias.
(a) x
4
= y
2
se, e somente se x
12
= y
6
;
(b) 3x 5 = 7 se, e somente se x
2
8x + 16 = 0 ;
(c) (x 3)
2
1 = 0 se, e somente se(x 4)
2
= 0 ;
(d)
x 3 +
x + 12 =
x + 21 se, e somente se x
2
+20x96 = 0 ;
1.2. ARGUMENTOS LGICOS 25
(e)
4x + 16
x + 1 =
: x N, y Z [ 2x+y =
6.
Com maior razo ainda, a proposio b falsa, como tambm a proposio
c.
Quanto proposio d temos uma armao verdadeira pois x = 1 e y = 4
satisfazem 2x +y = 6, por exemplo.
Exemplo 1.35
suponha agora s(x, y) : x
2
+y
2
= 1 no conjunto universo [0, 1] [0, 1], ou seja,
estamos admitindo x [0, 1] e y [0, 1].
Aqui so verdadeiras as proposies:
x [0, 1], y [0, 1] [ x
2
+y
2
= 1
x [0, 1], y [0, 1] [ x
2
+y
2
= 1
1.4. QUANTIFICADORES 34
e so falsas,
x [0, 1] [ y [0, 1], x
2
+y
2
= 1
x [0, 1], y [0, 1] [ x
2
+y
2
= 1
1.4.4 Negao de Quanticadores
Consideremos os seguintes exemplos de proposies:
p : Todo aluno da Universidade Federal mora em Trs Lagoas.
q : Existe um ms do ano que inicia com a letra p.
fcil observar que as negaes destas proposies so:
p : Existe um aluno da Universidade Federal que no mora em Trs lagoas.
q : Qualquer que seja o ms do ano, ele no inicia com a letra p.
Em geral, vale que:
A negao do quanticador o .
A negao do quanticador o .
Na prtica, se a sentena refere-se a uma propriedade P que a incgnita x
do conjunto universo A verica, digamos:
x A, x tem a propriedade P
a negao torna-se:
x A [ x no tem a propriedade P.
Da mesma forma que a negao de
x A [ x tem a propriedade P, simplesmente
x A, x no tem a propriedade P.
1.4.5 EXERCCIOS
1. Coloque V (ou F) para a proposio verdadeira (ou falsa) sendo x
0, 1, 2, 3, 4, 5.
(a) x, x + 2 > 4;
1.4. QUANTIFICADORES 35
(b) x [ 3x 1 = 14;
(c) x [ x
2
1 = 3;
(d) x, x 5 < 1;
(e) [ [ x, x 2 > 6];
(f) [ x, x + 4 < 2].
2. Sendo A = 1, 2, 3, 4, 5, 6, coloque um quanticador adequado para que
a sentena que uma proposio verdadeira.
(a) x + 4 = 8;
(b) x
2
5x + 6 = 0;
(c) 5x + 4 4;
(d) x
2
+ 8x = 0;
(e) x
2
8x < 0;
(f) 2
x
> 12.
3. Coloque o valor V ou F para cada proposio:
(a) x N , y R [ x +y = 3
(b) x N , y R [ x + 2y = 3
(c) x N , y R [ 3x y = 5
(d) [ x N , y R [ x
2
+y
2
= 25]
(e) x R , y N [ x +y = 3
(f) x R [ y N , x + 2y = 3
(g) x R [ y N , 3x y = 5
(h) [ x R [ y N , x
2
+y
2
= 25]
4. Sendo A = 2, 3, 4 e B = 1, 2, 3, 4, 5, estude as proposies:
(a) x A , y B [ 2x +y = 9
1.4. QUANTIFICADORES 36
(b) x A [ y B , 2x +y = 9
(c) x A , y B , 2x +y = 9
(d) y B [ x A , 2x +y = 9
(e) y B , x A [ 2x +y = 9
(f) y B , x A [ 2x +y = 9
5. Negue as posies:
(a) Todo aluno mau bom menino;
(b) x , x + 3 > 8
(c) x [ x 2 = 5
(d) [ x , x + 2 5] [ x [ x
2
5 = 4]
(e) [ x [ x
2
= 16] [ x , x 1 = 8]
(f) x , y , cos(x +y) = cos xcos y sin xsin y
(g) x , y [ log xy = log x. log y
(h) x , y [ x + 2y = 8
(i) [ x , p(x) q(x)]
6. Escrever simbolicamente, usando quanticadores:
(a) Todo nmero inteiro par ou mpar;
(b) Existem nmeros inteiros que so pares e mpar;
(c) Todo nmero inteiro elevado ao quadrado sempre no negativo.
7. Escreva a negao de cada proposio:
(a) Todo chins baixinho;
(b) x , x
2
2x 1 ,= 0;
(c) x Z, x + 7 < x + 3;
(d) x N [ x + 7 = 0;
1.4. QUANTIFICADORES 37
(e) x R
+
, y R
+
[
_
(xy)
2
,= [x[[y[;
(f) x R , y R , xy ,= 0;
(g) x R [ y R , x
2
= y
2
.
8. Sabemos que existem 8 maneiras de tornar uma sentena aberta de duas
variveis, por exemplo y = x
2
em RR, em uma proposio. De fato,
basta variarmos os quanticadores e com as variveis x e y. Para
nosso exemplo, julgue como verdadeira ou falsa cada uma das proposies
obtidas e justique.
9. Utilizar o quanticador de maior abrangncia possvel para as seguintes
sentenas abertas. Justique sua escolha. Atente para o conjunto universo
A de cada caso.
(a) x
2
+ 5x 6 = 0 em A = Z;
(b) 2x 3y = 6 em A = R;
(c) x
2
+ 2x + 2 < 0 em A = R;
(d) [x +y[ [x[ +[y[ em A = RR;
(e)
x+y
y+x
= 1 em A = RR;
(f)
1
x
1 em A = Z
;
(g)
x +y =
x +
y em A = R
+
R
+
;
(h)
x
2
y
3
y
2
= x
2
y em A = Z
.
OBS:
(a) Z
, onde k
um nmero
inteiro, porque k
Ser que o Teorema que acabamos de demonstrar poderia ser escrito na forma
de equivalncia: Dois nmeros inteiros so pares se, e somente se, a soma dos
dois um nmero par.
Para validar esta armao deveramos provar a recproca do Teorema 1.2
de exemplo 1.37: todas as vezes em que dois nmeros inteiros somados for par
ento tais nmeros so pares, isto
m, n N, m +n par m, n pares . (1.2)
Contudo tal armao no verdadeira. Por exemplo, m = 5 e n = 3 tornam
verdadeira a armao que m+n par, entretanto no so pares.
A tcnica de demonstrao empregada no Exemplo 1.37 foi a direta. Isto
signica que provamos que o conjunto dos nmeros inteiros pares fechado para
a operao de adio, sem usar tcnicas sosticadas.
Vejamos outra ilustrao de um Teorema cuja demonstrao pode ser feita
diretamente:
Teorema 1.3 O conjunto Q fechado para a operao de adio.
Demonstrao:
Sejam r, s Q, vericaremos que r +s Q.
Como
1.6. TEOREMAS E DEMONSTRAES 41
Q =
_
m
n
[ m, n Q, n ,= 0
_
,
temos que existem m, n, p, q Z com n ,= 0 e q ,= 0 tais que r =
m
n
e
s =
p
q
.
Da,
r +s =
mq +np
nq
,
e chamando x = mq + np e y = nq, vericamos que r + s = x/y, com
x, y Z e y ,= 0. Ou seja, r +s Q
+ 1, onde k
o nmero
inteiro k
Quando se estuda uma teoria matemtica muito comum deparar com uma
proposio antecedido da palavra Lema. Isto ocorre porque, para demonstrar
um teorema, as vezes, utilizam-se vrias armaes auxiliares. Ento, para no
carregar a demonstrao, comum enunciar estes resultados auxiliares sob a
forma de Lemas.
1.6.2 Contra-exemplos
As vezes, demonstrar que proposies so falsas requer menos trabalho que provar
a veracidade de proposies verdadeiras. Isto ocorre devido a equivalncia lgica
(p q) q p vericada anteriormente. Desta forma, para provar que
1.6. TEOREMAS E DEMONSTRAES 43
uma proposio condicional p q falsa, basta simplesmente mostrar que a
negao da tese ocorre conjuntamente com a hiptese. Ou seja que p e q
podem ser ambas verdadeiras.
Exemplo 1.38
Vericamos que a condicional
m, n N, m+npar
. .
p
m, npares
. .
q
falsa simplesmente mostrando uma ocorrncia da possibilidade q p,
tomando: m = 5 e n = 3.
O procedimento de apresentar simplesmente um exemplo para mostrar que
uma determinada proposio falsa, pode ser feito sempre que a proposio
admitir o quanticador qualquer (). Porque anal provamos que (x
A, p(x)) x A [ p(x). Foi o que ocorreu na proposio citada, j que
pode ser escrita como:
m, n N, m +n par m, n pares
e vericamos que
m, n N [ m+n par e m, n so mpares.
Consideremos agora a seguinte proposio:
Proposio 1.1 Todo nmero da forma f(n) = n
2
+n+41 onde n N um
nmero primo.
Qual ser o valor lgico desta proposio? Considerando alguns valores de n:
f(0) = 41, f(1) = 43, f(2) = 47, f(3) = 53, f(4) = 61, f(5) = 71
obtemos apenas nmeros primos.
1.6. TEOREMAS E DEMONSTRAES 44
Mas, como j observado, esta construo no suciente para provar a
proposio. Tanto que, nossa proposio , na verdade, FALSA!
Para provarmos sua falsidade bastante apresentarmos um contra-exemplo,
isto , exibirmos um nmero n tal que f(n) no primo. Observemos que
f(40) = 40
2
+ 40 + 41 = 40(40 + 1) + 41 = 41(40 + 1) = 41
2
e portanto f(40) no primo, pois divisvel por 41.
1.6.3 Demonstraes usando a Contra-positiva
Nesta seo usaremos o fato de que qualquer que seja a proposio condicional
p q ento esta equivalente sua contra-positiva q p.
Para esta prtica consideremos o seguinte exemplo:
Teorema 1.5 Se o quadrado de um nmero inteiro par, ento tal nmero
par.
A demonstrao direta desta proposio exige que, de uma igualdade do tipo
n
2
= 2k(n, k Z), possamos obter tambm n como mltiplo de 2. Tal exigncia
apresenta-se impraticvel. Porm, considerando a proposio contra-positiva da
armao do Teorema, podemos reescrev-la como:
Teorema 1.6 (Contra-positiva do Teorema 1.5) Se um nmero inteiro no
par ento seu quadrado no par.
Com este enunciado a demonstrao do nosso Teorema ca simples:
Demonstrao:
Seja n um nmero inteiro mpar, ento existe k Z tal que n = 2k + 1.
Assim, n
2
= (2k+1)
2
= 4k
2
+4k+1 = 2(2k
2
+2k)+1, ou seja n
2
um nmero
mpar. Como n um nmero inteiro arbitrrio, o Teorema est demonstrado.
2 um nmero irracional.
Podemos reescrever este Teorema na forma condicional.
Teorema 1.8 (Forma condicional do Teorema 1.7) Se 3 um nmero racional
e
2 um nmero irracional.
Demonstrao:
Suponhamos por absurdo que 3 um nmero racional,
2 um nmero irra-
cional, mas que 3 +
2 = r 3.
Portanto o nmero
2 pode ser escrito como a soma dos nmeros racionais r
e 3, e assim trata-se tambm de um nmero racional(conforme Teorema 1.7).
Uma contradio porque
2 irracional.
3 = 1 +
3.
Demonstrao:
Temos que:
_
4 + 2
3 = 1 +
3 (
_
4 + 2
3)
2
= (1 +
3)
2
4 + 2
3 = 1 + 2
3 + 3
4 + 2
3 = 4 + 2
3
0 = 0
Como a proposio 0 = 0 claramente verdadeira, tambm vai ser a proposio
inicial, ou seja,
_
4 + 2
3 = 1 +
Exemplo 1.40
1.6. TEOREMAS E DEMONSTRAES 47
Demonstrar que: n N,
n
n + 1
<
n + 1
n + 2
Temos que:
n
n + 1
<
n + 1
n + 2
n(n + 2) < (n + 1)
2
n
2
+ 2n < n
2
+ 2n + 1
0 < 1
Como 0 < 1 uma proposio verdadeira, tambm ser nossa proposio
original que arma
n
n + 1
<
n + 1
n + 2
, n N.
3
5
irracional;
(d) Todo nmero inteiro mltiplo de 6 par;
(e) Se xy = 1 onde x e y so inteiros ento x = y = 1;
(f) O produto de dois nmeros irracionais um nmero irracional;
(g) Dados quaisquer x, y R, o nmero x
2
4xy+4y
2
nunca negativo;
1.6. TEOREMAS E DEMONSTRAES 48
(h) Todo tringulo retngulo tm dois ngulos agudos ;
(i) Para quaisquer a, b R, a 2ab +b
2
nunca negativo ;
(j)
x +y =
x +
Observao 2.2
Consideremos A um conjunto e P uma propriedade relativa aos elementos de A.
Podemos construir subconjuntos de A da seguinte forma:
B = x A [ x satisfaz P .
Exemplo 2.1
(1) Seja A = Z e B = x Z [ x 0. Notemos que B = N
(2) Seja A = Z e B = x Z [ x par . Temos que
B = ..., 6, 4, 2, 0, 2, 4, 6, ..., ou ainda B = 2x [ x Z.
(3) Seja A = R e B = x R [ x
2
3x + 2 < 0, ento B o intervalo
aberto (1, 2).
2.4 Diferena entre Conjuntos
Conjunto Complementar
Denio 2.3 Sejam A e B subconjuntos de um mesmo conjunto universo U.
Ento:
2.4. DIFERENA ENTRE CONJUNTOS
CONJUNTO COMPLEMENTAR 53
(i) A diferena entre A e B por denio o seguinte conjunto:
A B = x A [ x / B .
(ii) Caso B A ento A B tambm chamado o complementar de B em
A e representado por
A
B isto A B =
A
B.
(iii) Denotamos por B
o complemento de B em U, ou seja B
=
U
B.
Observao 2.3
Note que para um conjunto B qualquer e x U arbitrrio vale uma, e
somente uma das probabilidades: x B ou B
.
Proposio 2.2 : Sejam A, B subconjuntos de um conjunto universo U, ento:
(i) Se A B ento B
.
(ii) (A
= A.
Demonstrao:
(i) Suponhamos A B e mostraremos que B
. Dado x B
, como
B
.
Provamos portanto que x B
ento x A
, o que d B
.
(ii)Provaremos inicialmente que (A
A. Se x (A
, ento x / A
.
Existem duas possibilidades para x: x A ou x A
. Como x A
contraria
o fato de que x / A
A.
Provemos agora que A (A
, de
modo que x (A
. Portanto A (A
= A
;
(ii) (A B)
= A
.
Demonstrao:
(i) Veriquemos que (AB)
. Seja x (AB)
ento x / AB.
Como A B = x U [ x A ou x B, temos que ocorre a negao
de x A ou x B, isto , temos que x / A e x / B. Assim x A
e x B
, ou seja x A
= A
, ento x A
e x B
.
Portanto A
(A B)
e em vista de (A B)
, vale a
igualdade.
(ii) Inicialmente vamos vericar que (AB)
. Dado x em (AB)
ou x B
, ou seja x A
(AB)
consideremos x A
. Ento x A
ou x B
.
Se x A
,
analogamente se x B
= (A B)
.
2.6. O CONJUNTO DAS PARTES DE UM CONJUNTO 58
n
i=1
A
i
o conjunto dos elementos x que
pertencem a pelo menos um dos A
i
, enquanto A
1
A
2
. . . A
n
=
n
i=1
A
i
o conjunto dos elementos x que pertencem a todos os A
i
, i = 1, . . . , n.
Exemplo 2.2
So exemplos de unies e intersees innitas:
(i)
_
n=0
n = N;
(ii)
i=1
(i, i) = (1, 1);
(iii)
i=1
(1/i, 1/i) = 0
Observao 2.1
(a, a) representa geralmente o intervalo aberto de extremidades a e a.
2.6 O Conjunto das Partes de um conjunto
Dado um conjunto A, podemos formar um novo conjunto que denotaremos por
(A) cujos elementos so os subconjuntos de A. A seguinte equivalncia resume
a denio de (A) :
B (A) o mesmo que dizer que B A.
(A) chama-se o conjunto das partes de A. Sempre temos (A) ,= , j
que, para todo conjunto A, A e portanto (A).
Exemplo 2.3
2.7. A CARDINALIDADE DE UM CONJUNTO 59
(i) Se A ,= ento (A) = tem 1 elemento.
(ii) Seja A = a ento (A) = , A tem 2 elementos.
(iii) Seja A = a, b ento (A) = , a , b , A tem 4 elementos.
Em geral pode-se mostrar que vale o seguinte:
Teorema 2.1 Seja A um conjunto com n elementos ento (A) tem 2
n
ele-
mentos.
Provaremos este teorema futuramente. Por enquanto vamos nos contentar
com a seguinte rvore que ilustra a construo de (A), quando A = a, b:
Figura 2.1:
2.7 A Cardinalidade de um conjunto
Dado um conjunto A indicaremos por [A[ ao nmero de elementos distintos de
A, chamado cardinalidade ou ordem de A.
Se [A[ for um nmero nito ento diremos que A um conjunto nito, do
contrrio A dito um conjunto innito.
Proposio 2.6 Sejam A e B dois subconjuntos nitos de U. Valem:
(a) Se A B = ento [A B[ = [A[ +[B[;
2.7. A CARDINALIDADE DE UM CONJUNTO 60
(b) Se A B ento [B A[ = [B[ [A[;
(c) [A B[ = [A[ +[B[ [A B[
Demonstrao:
(a) Como A e B so nitos podemos listar seus elementos, suponhamos:
A = a
1
, . . . , a
m
e B = b
1
, . . . , b
n
com a
i
,= a
j
se i ,= j e
b
i
,= b
j
se i ,= j. Pela hiptese de A B = temos tambm para todos
i e j que a
i
,= b
j
. Deste modo A B = a
1
, . . . , a
m
, b
1
, . . . , b
n
e os
elementos de A B so distintos dois a dois. Logo,
[A B[ = m+n = [A[ +[B[
(b) Suponhamos A B. Como temos B = A (B A) e A (B A) =
segue pelo item (a) que [B[ = [A (B A)[ = [A[ +[B A[, o que leva
a [B A[ = [B[ [A[.
(c) Para vericarmos (c) vamos escrever A B como a unio disjunta:
A B = (A (A B)) (B (A B)) A B.
ento, usando o item (a) duas vezes teremos:
[A B[ = [A (A B) (B (A B)[ +[A B[
= [A (A B)[ +[B (A B)[ +[A B[
Usando agora o item anterior, nalmente demonstramos (c):
[A B[ = [A[ [A B[ +[B[ [A B[ +[A B[ = [A[ +[B[ [A B[ .
(S F G)
=
[U[ [S F G[ = 1000 810 = 190.
(c) Levando os dados num diagrama de Venn (Figura 2.2) temos:
E portanto o nmero de famlias que assina somente um dos jornais :
215 + 30 + 45 = 490.
2.8. PRODUTO CARTESIANO DE CONJUNTOS 63
35 35 35
245 245
30
?
?
?
?
?
215
75 75 75
145 145 145
65 65 65
F F F
U U U
G G G
S S S
Figura 2.2:
2.8 Produto Cartesiano de Conjuntos
Da denio de conjunto sabemos que a, b = b, a. Existem ocasies, porm,
nas quais importante e necessrio distinguir, no s pelos elementos do con-
junto, mas tambm pela ordem. Neste caso passamos a considerar no conjuntos
com dois elementos (conjuntos binrios), mas pares ordenados: (a, b) e (b, a).
Para pares ordenados, distinguimos entre os dois elementos qual o primeiro
e qual o segundo. Desta forma (a, b) ,= (b, a) se a ,= b. Por exemplo (1, 2) ,=
(2, 1).
Mais precisamente, temos a seguinte denio de igualdade de pares ordena-
dos: (a, b) = (c, d) a = c e b = d.
Dados dois conjuntos no vazios A e B, ao conjunto obtido considerando
todos os pares ordenados (x, y) com x A e y B, denominamos o produto
cartesiano de A e B, cuja notao A B. Mais precisamente A B =
(a, b) [ a A e b B. O produto cartesiano tambm denido quando A =
ou B = , neste caso coloca-se por denio: AB = .
Exemplo 2.6
Suponhamos A = a, b, c e B = b, g, ento:
AB = (a, b), (a, g), (b, b), (b, g), (c, b), (c, g), enquanto
B A = (b, a), (b, b), (b, c), (g, a), (g, b), (g, c).
O exemplo acima mostra que, em geral, AB ,= BA. Ele ilustra tambm
2.9. REPRESENTAO GRFICA DO
PRODUTO CARTESIANO 64
o seguinte fenmeno, vlido sempre :
[AB[ = [A[ [B[
No caso particular em que A = B o produto cartesiano AB igual a AA
e chama-se o quadrado cartesiano do conjunto A ou simplesmente o quadrado
do conjunto A.
Notao: A
2
= AA. Desta forma, A
2
= (x, y) [ x, y A
Um subconjunto de A
2
muito utilizado o chamado conjunto diagonal de
A, denido por:
D
A
= (x, x) [ x A .
Este nome devido representao grca de D
A
.
2.9 Representao grca do
Produto Cartesiano
Suponhamos que A e B so conjuntos numricos, isto , A, B R.
O diagrama cartesiano A e B obtido considerando-se dois eixos ortogonais
0x e 0y. O conjunto A disposto no eixo horizontal 0x e B no eixo vertical
0y. Traam-se paralelas aos dois eixos pelo ponto que representam os elementos
de A e de B. Os pontos de interseo dessas paralelas representam os pares
ordenados (x, y), elementos de AB.
Exemplo 2.7
1) A = x R [ 1 x 3 e B = 2 x 4 (Figura 2.3(a)).
2) C = (1, 2) D = (1/2, 2) (3, 4) (Figura 2.3(b)).
3) E = (1, +), F = N
(Figura 2.3(c)).
4) G = 1, 2 H = 1, 3, 5 (Figura 2.3(d)).
5) Tracemos o conjunto diagonal de I = [1, 4](Figura 2.3(e)).
2.9. REPRESENTAO GRFICA DO
PRODUTO CARTESIANO 65
2
4
B
A
1 3
A B x
x
y
(a)
1
2
3
4
D
D
C -1 2
C D x
x
y
(b)
1
2
3
4
5
-1
E F x
x
y
(c)
1
3
5
1 2
H
G
x
y
(d)
4
0
-1
-1
4
x
y
I I = I x
D
(e)
Figura 2.3:
2.10. ALGUMAS PROPRIEDADES DO
PRODUTO CARTESIANO 66
(Notemos que o contorno do grco de I um quadrado).
2.10 Algumas Propriedades do
Produto Cartesiano
Enunciamos a seguir as principais propriedades do produto cartesiano:
(I) A B = A = ou B = ;
(II) A B = B A A = ou B = ou A = B;
(III) A B A C B C e C A C B;
(IV) Distributividade do produto cartesiano em relao a reunio:
(i) A(B C) = (AB) (AC)
(ii) (A B) C = (AC) (B C)
(V) Distributividade do produto cartesiano em relao a interseo:
(i) A(B C) = (AB) (AC)
(ii) (A B) C = (AC) (B C)
Demonstrao:
Faremos a demonstrao de algumas das propriedades, sendo as demais a
cargo do leitor.
(I) Se A = ou B = ento, por denio, AB = , isto mostra que
A = ou B = AB = .
Mostremos agora que A B = A = ou B = , atravs de sua
contra-positiva, isto , provaremos que A ,= e B ,= A B ,= .
Mas isto imediato, pois sendo A ,= e B ,= , ento podemos tomar
a A e b B e montar o par ordenado (a, b) AB. Assim AB ,= .
2.11. PRODUTO CARTESIANO DE VRIOS CONJUNTOS 67
(II) () Se A = ou B = ento A B = e B A = logo A B =
B A.
Alm disso, se A = B ento A B = AA = B A.
() Suponhamos agora A B = B A. Se A = ou B = ento a
demonstrao estaria encerrada. Logo, podemos supor A ,= e B ,= .
Veriquemos que A = B. Dado a A qualquer, consideremos b B (isto
possvel pois B ,= ). Assim (a, b) AB = BA, logo (a, b BA.
Em particular, (a, b) = (b
, a
) com (b
, a
) B A. Assim a = b
B.
A demonstrao que B A anloga. Portanto A = B.
(IV) Mostraremos que A (B C) = (A B) (A C). Seja (a, b)
A (B C) ento a A e b B C, isto , b B ou b C. Se
b B ento (a, b) A B e certamente (a, b) (A B) (A C).
Da mesma forma, se b C ento (a, b) A C (A B) (A C).
Logo A(B C) (AB) (AC). Para a incluso contrria, seja
(x, y) (A B) (A C), ento (x, y) A B ou (x, y) A C.
Se (x, y) A B, temos x A e y B e podemos armar que x A
e y B C, logo (x, y) A (B C). Caso (x, y) A C ento
x A e y C e podemos armar x A e y B C, de modo que
(x, y) A(B C), tambm neste caso.
i=1
A
i
.
Os conjuntos A
i
chamam-se fatores do produto cartesiano:
A
1
: Primeiro fator;
A
2
: segundo fator,
.
.
.
A
n
: n-simo fator.
A visualizao grca do produto cartesiano de n fatores dicultosa ou
at mesmo impossvel, se n 4. Para n = 3 a visualizao requer o espao
cartesiano.
Grco do Cubo cartesiano: [0, 1] [0, 1] [0, 1] (Figura 2.4)
0
-1
-1
-1
y
x
z
Figura 2.4:
2.12. SIMPLIFICAO DE EXPRESSES 69
2.12 Simplicao de Expresses
As propriedades das operaes sobre conjuntos permitem simplicar expresses
envolvendo conjuntos. Vejamos alguns exemplos:
1) Vale que A (B A
) = . De fato,
A (B A
) = A (A
B) = (A A
) B = B = . Logo,
A (B A
) = ;
2) (AB) B
= B
(AB) = (B
A) (B
B) = (B
A) U =
A B
.
Portanto, A B B
= A B
.
2.13 EXERCCIOS
Em todos os problemas, os conjuntos considerados so partes (subconjuntos) de
um mesmo conjunto universo U.
1. Vericar: Se A B ento A C B C e A C B C.
2. Vericar que as condies seguintes so equivalentes entre si:
a) A B
b) A B = A
c) A B = B
d) A B
=
e) B
Observao 2.4
Teoricamente deve-se mostrar que a b, a c, . . . , b c, b d, . . .
porm basta provar que a b c d e a.
Porque suciente provar somente estas implicaes?
2.13. EXERCCIOS 70
3. Vericar as igualdades, usando a denio.
(a) A (B A) = A = A (B A)
(b) A (A
B) = A B
(c) A (A
B) = A B
(d) A (B (A C)) = A (B C)
(e) A (B (C D)) = (A B) (A C) (A D)
(f) A B = A B
(g) (A C) (B C) = (A B) C
4. Determinar os elementos dos seguintes conjuntos:
(a) ()
(b) (())
(c) ((()))
(d) (a, b, c)
5. Verique que A B (A) (B).
6. Verdadeiro ou falso? Justicar:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
2.13. EXERCCIOS 71
7. Justicar a frmula para [A B C[ da observao 2.2.
8. Mostrar que:
(a) Se A B = A C e A B = A C ento B = C.
(b) Se A C ento A (B C) = (A B) C.
9. Provar que:
(a) (AC) (B D) = (A B) (C D).
(b) (AC) (B D) (A B) (C D).
10. Sejam A = 1, 2 e B = 3.
Determine (A A), (AB) e (B) (B).
11. Admita que (y 2, 2x + 1) = (x 1, y + 2). Encontre x e y.
12. Para todo nmero natural n ,= 0, dena o conjunto B
n
= [0, 1/n].
Encontre
nN
B
n
e
_
nN
B
n
.
13. A respeito dos conjuntos A e B sabe-se que 3 A e A B. Ento
falso ou verdadeiro armar
(i) 3 B?
(ii) Se 4 B ento 4 A? Justique.
Suponha que AB = a, b, c, d, e, f, g, h e AB = . Se AB =
a, b, c, d.
Encontre A.
14. De uma turma de 50 alunos, sabe-se que 21 obtiveram mdia em Matemtica.
Naquela turma 28 alunos conseguiram mdia em geograa e apenas 8 con-
seguiram mdia nas duas disciplinas. Pergunta-se: quantos alunos desta
turma no obtiveram mdia em matemtica nem em geograa?
2.13. EXERCCIOS 72
15. Dado o sistema da inequaos abaixo, determine para quais nmeros in-
teiros ele se verica.
_
_
_
3x7
2
5
5x + 18 >
x+7
3
Observao 2.5
Para atender um sistema (de inequaos) as duas inequaos devem valer
simultaneamente.
16. A populao de Pirandpolis consome 3 marcas de sabo em p: A, B e
C feita um pesquisa de mercado constatou-se os resultados relacionados
abaixo:
MARCA A B C A e B B e C C e A A, B e C
N
o
de consumidores 109 203 162 25 41 28 5
e nenhuma das 3 115.
Determinar:
(a) O nmero de pessoas consultadas.
(b) O nmero de pessoas que s consomem A.
(c) O nmero de pessoas que no consomem as marcas A ou C.
(d) O nmero de pessoas que consomem ao memos duas das marcas.
17. Apresente um lei de formao para os conjuntos abaixo. Veja o modelo:
(a) A = a
2
, a
3
, a
4
, a
5
, a
6
, a
7
, a
8
A = a
i
[ i N e 2 i 8
(b) B = 4, 8, 12, 16, 20, . . .
(c) C = 4, 8, 12, 16, . . .
(d) D =
_
. . . ,
1
8
,
1
4
,
1
2
, 1, 2, 4, 8, . . .
_
(e) E = 3, 11, 19, 27, 35, 43, . . .
(f) F = 0, 1, 4, 9, 16, . . .
2.13. EXERCCIOS 73
(g) G o conjunto dos mltiplos positivos de 6 menores que 1200.
(h) H o conjunto dos nmeros inteiros pares negativos maiores que
18.
18. Denidos os seguintes conjuntos por sentenas abertas:
A
1
= 2x 1, x [0, 1]
A
2
= x
2
+ 1 [ 1 x 1
A
3
= cos x [ x [/2, ]
A
4
= 2
x
1 [ x Z e [ x 1 [ 2
Descrev-los; caracterizando-os como intervalos ou enumerandos os ele-
mentos.
19. Responder e justicar as seguintes questes relacionadas aos conjuntos
A
1
, A
2
, A
3
e A
4
do exerccio anterior:
(a) 4 A
1
?
(b) 0 A
3
?
(c) 1/2 A
2
?
(d) 3 A
4
?
(e) 14 A
4
?
20. Sejam os conjuntos:
A = x [ x N e 2 < x 8
B = y [ y Z e 3y
2
9y 0;
C = z R; [ z
3
9z
2
18z = 0;
D = w Q; [ 2w
2
7w + 3 = 0.
Calcular:
(a) A B e A B
2.13. EXERCCIOS 74
(b) A (B C)
(c) AC
(d) B C
(e) B D
21. Repita o exerccio 19) para os seguintes subconjuntos de ZZ:
(a) X = (0, 0), (1, 2), (2, 4), (3, 6), (4, 8), . . .
(b) Y = (0, 0), (1, 1), (2, 4), (3, 9), . . .
(c) Z = . . . , (15, 3), (10, 2), (5, 1), (0, 0), (5, 1), (10, 2), (15, 3), . . .
(d) W = (0, 1), (1, 4), (2, 7), (3, 10), (4, 13), . . .
22. Seja T = (x, y) Z Z [ n N satisfazendo x = 3
n
1 e y = 2
2n1
2 [ a, b Q
_
,
onde Q o conjunto dos nmeros racionais.
(a) Mostrar que
2 E.
(b)
2 + 2
2 E?
(c) Mostrar que Q E
(d) Vericar que E fechado para a operao de adio, isto , mostrar
que a soma de elementos de E ainda um elemento de E.
(e) Ser E fechado para a operao de multiplicao?
(f) Mostrar que o inverso de um elemento de E continua em E.
(g)
3 E?
24. Represente no plano R
2
os seguintes subconjuntos:
2.13. EXERCCIOS 75
(a) A = (cos x, senx), x R
(b) (t, t) [ t R
(c) (2t, t), t R
(d) (t
2
, t
2
), t R
25. Descreva os conjuntos abaixo como intervalos da reta real:
(a) A = x R [ (x + 1)
5
0
(b) B = x R [ (3x + 1)
20
0
(c) C = x R [ x 2 [ 1 > 3
(d) D = x R [ x + 3 < [ x + 2 [
(e) E =
_
x R [
1
x+3
< 2
_
(f) F =
_
x R [
2x
x
2
4
1
x+2
2 < 0
_
26. Represente no plano R
2
os seguintes subconjuntos:
(a) R = (x, y) R
2
[ y
2
= x
(b) S =
_
(x, y) R
2
[ y =
x
2
+ 1
_
(c) T = (x, y) R
2
[ x y = 1
27. Encontre os conjuntos R, S, T do exerccio anterior admitindo que (x, y)
R
2
trocado por (x, y) A B onde A = 3, 1, 1, 3 e B =
0, 2, 4, 6.
28. Denamos o conjunto A da seguinte forma, A = x R [ x
1
2
Q.
Pede-se:
(a) Apresentar 5 elementos de A;
(b) Provar que Q = A.
Captulo 3
Induo Finita
Vamos estudar propriedades P que dizem respeito aos nmeros naturais e para
tanto vamos utilizar a notao P(n), n N.
Exemplo 3.1
(a) P(n) : n
2
> n;
(b) P(n) : n 2 N;
(c) P(n): Se n um nmero natural ento n par;
(d) P(n): Existe uma soluo n N para a equao n
2
= 2n.
Consideremos a seguinte proposio para N
P(n) : 2
n
> n.
Testando alguns valores de n, temos P(n) verdadeira, pois
2
0
> 0 , 2
1
> 1 , 2
2
> 2 , . . .
Porm, a experincia mostra que mesmo P(n) verdadeira para uma innidade
de valores de n, no assegura P(n) verdadeira para todo n. Uma decepo bem
conhecida nesta direo ocorre com a proposio:
P(n) : O nmero n
2
+n + 41 primo.
76
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 77
Temos P(n) verdadeira para 0 n 40, mas para n = 41 falsa visto que:
n
2
+n + 41 = 41 43
composto, neste caso.
Dada a impossibilidade de testar uma proposio P(n) para todo n N,
como assegurar a validade de uma proposio do tipo:
n, P(n) ?
a que surge a importncia do princpio de induo nita que veremos a
seguir.
3.1 Primeiro Princpio de Induo nita
O enunciado do Primeiro Princpio de Induo nita o seguinte:
Teorema 3.1 (Primeiro Princpio de Induo Finita)
Suponha n
0
N e que P(n) uma proposio denida para todo n n
0
.
Suponha que P(n) satisfaa as seguintes condies:
(i) P(n
0
) verdadeira;
(ii) Para qualquer k n
0
, a implicao P(k) verdadeiro P(k + 1) ver-
dadeiro sempre vlida.
Ento, P(n) uma proposio verdadeira para todo n n
0
.
Os princpios de induo nita (primeiro e segundo) so bastante intuitivos
e de fcil aceitao. No princpio acima, por exemplo, se seguirmos as hipteses
(i) e (ii) podemos partir do ponto inicial n
0
e provar que P(n) verdadeira para
todo n n
0
. Vejamos:
Por (i), P(n
0
) verdadeira. Assim, como n
0
+1 n
0
, vamos ter por (ii) que
P(n
0
+ 1) verdadeira. Desta forma, novamente por (ii), podemos dizer que
P(n
0
+ 2) verdadeira. Enm, aplicando sucessivas vezes (ii), teremos P(n)
verdadeira para todo n n
0
.
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 78
Resumindo o enunciado acima, podemos dizer que demonstrar por induo
consiste em realizar duas etapas:
(i) Encontrar n
0
N onde a proposio seja verdadeira;
(ii) Provar que para todo k n
0
: P(k) verdadeiro P(k + 1) verdadeiro.
A importncia de n
0
clara. Ele chamado de ponto de partida do
processo de induo.
Exemplo 3.2
Demonstrar que se n 1 um nmero inteiro no nulo, ento:
1 + 2 +. . . +n =
n(n + 1)
2
.
Soluo: Tomemos n
0
= 1 chamando,
P(n) : 1 + 2 +. . . +n =
n(n + 1)
2
vemos que P(1) verdadeiro pois se n = 1 ento 1 + 2 +. . . +n = 1
e tambm
n(n + 1)
2
= 1.
Portanto a etapa (i) da demonstrao por induo est concluda.
Suponha agora que k 1 e que P(k) verdadeiro. Isto signica que
1 + 2 +. . . +k =
k(k + 1)
2
Devemos mostrar que P(k + 1) verdadeiro, ou seja, que:
1 + 2 +. . . + (k + 1) =
(k + 1)(k + 2)
2
Mas,
1 + 2 +. . . + (k + 1) = (1 + 2 +. . . +k) + (k + 1)
=
k(k + 1)
2
+ (k + 1)
= (k + 1)
_
1 +
k
2
_
=
(k + 1)(k + 2)
2
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 79
Cumpridas as etapas (i) e (ii), est provado, pelo princpio de induo nita
que
1 + 2 +. . . +n =
n(n + 1)
2
, n 1
Observemos que acabamos de provar uma frmula para a soma dos n primeiros
nmeros inteiros naturais.
Consideremos agora o seguinte problema:
Exemplo 3.3
Encontrar uma expresso para a soma dos n primeiros nmeros inteiros pos-
itivos mpares. Provar a validade da expresso encontrada.
Soluo: Observemos que
n Soma dos n primeiros mpares
1 1 = 1
2 1+3 = 4
3 1+3+5 = 9
4 1+3+5+7= 16
A pequena tabela acima nos induz a imaginar que vale a seguinte frmula:
A soma dos n primeiros mpares positivos = n
2
Para concretizarmos a frmula precisamos expressar o n-simo nmero mpar y,
em funo de n.
fcil ver que y = 2n 1. De fato, admitindo que os pontos (n, y) seguem
uma reta e usando a equao geral da reta : y y
0
= m(xx
0
) com os pontos
(x
0
, y
0
) = (1, 1) e (2, 3), teremos:
y y
0
= m(x x
0
) y 1 = 2(x 1)
y = 2x 2 + 1
y = 2x 1
onde x = n, logo y = 2n 1
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 80
Assim, nossa frmula procurada torna-se:
1 + 3 + 5 +. . . + (2n 1) = n
2
para n 1 (3.1)
Seguindo os passos do Princpio de Induo Finita temos:
(i) n = 1 verica a igualdade 3.1, pois 1 +3 + 5 +. . . + (2n 1) = 1 = n
2
.
(ii) Supondo 3.1 verdadeira para n = k, isto , 1+3+5+. . .+(2k1) = k
2
,
provaremos 3.1 para n = k + 1.
Para tanto devemos checar que 1 + 3 + 5 +. . . + [2(k + 1) 1] = (k + 1)
2
.
De fato,
1 + 3 + 5 +. . . + [2(k + 1) 1] = 1 + 3 + 5 +. . . + (2k 1) + [2(k + 1) 1]
= k
2
+ 2(k + 1) 1 = k
2
+ 2k + 2 1
= k
2
+ 2k + 1 = (k + 1)
2
Assim est provado que 3.1 vale para todo n 1.
Exemplo 3.4
Dada uma matriz A quadrada de ordem n, denimos A
2
= A A,
A
3
= A A A. Em geral, A
n
= A A A. . . A
. .
n vezes
.
Suponha que A =
_
1 1
0 1
_
, encontre uma frmula para a potncia
n-sima de A e demonstre a frmula encontrada.
Soluo: Devemos encontrar e demonstrar uma frmula para A
n
.
Observemos que:
A
1
=
_
1 1
0 1
_
A
2
= A A =
_
1 1
0 1
_
.
_
1 1
0 1
_
=
_
1 2
0 1
_
A
3
=
_
1 1
0 1
_
.
_
1 1
0 1
_
.
_
1 1
0 1
_
=
_
1 2
0 1
_
.
_
1 1
0 1
_
=
_
1 3
0 1
_
A
4
= A
2
A
2
=
_
1 2
0 1
_
.
_
1 2
0 1
_
=
_
1 4
0 1
_
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 81
e assim por diante.
Estes resultados leva-nos a inferir que vale a seguinte expresso para A
n
:
A
n
=
_
1 n
0 1
_
n 1 (3.2)
Vamos demonstrar tal fato por induo em n.
(i) Se n = 1, a expresso 3.2 satisfeita pois neste caso:
A
n
= A =
_
1 1
0 1
_
=
_
1 n
0 1
_
.
(ii) Para qualquer k 1, supondo que A
k
=
_
1 k
0 1
_
vamos vericar que
A
k+1
=
_
1 k + 1
0 1
_
. Mas, isto fcil pois
A
k+1
= A A A. . . A
. .
(k+1) vezes
= A A A. . . A
. .
k vezes
A = A
k
A
=
_
1 k
0 1
_
.
_
1 1
0 1
_
=
_
1 k + 1
0 1
_
Vericamos portanto que para todo n 1, vale que:
A
n
=
_
1 n
0 1
_
O Princpio de Induo Finita tambm pode ser empregado para generaliza-
o de propriedades rotineiras. A ttulo de exemplo vamos vericar a seguinte
propriedade elementar:
Exemplo 3.5
Seja a um nmero inteiro xo. Ento a +a +. . . +a
. .
n vezes
= n a
Soluo:
(i) Certamente a propriedade atendida se n = 1.
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 82
(ii) Supondo agora que k 1 e que a +a +. . . +a
. .
k vezes
= k a
Temos que,
a +a +. . . +a
. .
(k+1) vezes
= a +a +. . . +a
. .
k vezes
+a = k a +a = (k + 1) a
o que mostra ser a proposio vlida tambm para k + 1. Isto , se P(k)
verdadeira temos P(k + 1) verdadeira.
Est provado portanto que P(n) vale para todo n 1.
O Princpio de Induo Finita pode ser empregado na vericao de algumas
desigualdades. Vejamos os exemplos:
Exemplo 3.6
Demonstrar que a desigualdade 2
n
> n vlida para todo n N, n 2.
(i) Para n = 2 a proposio verdadeira, j que, neste caso 2
n
= 4 e
certamente 2
n
> n quando n = 2.
(ii) Admitindo a proposio verdadeira para um k 2, isto , 2
k
> k,
vamos vericar que ela tambm vale para k + 1, ou seja, 2
k+1
> k + 1. Temos,
2
k+1
= 2
k
2 e ento, usando a hiptese de induo:
2
k
> k 2 2
k
> 2k 2
k+1
> 2k
Como desejamos obter 2
k+1
> k +1 vamos checar quando 2k > k +1, que vale
sempre quando 2k k > 1, isto , k > 1. Lembrando que k 2, podemos
ento escrever 2k > k + 1 e como 2
k+1
> 2k, teremos 2
k+1
> k + 1.
Est provado portanto que 2
n
> n para todo n 2. Uma vez que tal
proposio vale tambm para n = 0 e n = 1 podemos armar que 2
n
> n
verdadeira para todo n N.
Exemplo 3.7
Provar que para todo inteiro n 3, vale que n! > 2
n1
Supondo que P(n) : n! > 2
n1
.
(i) Ento P(3) uma proposio verdadeira, pois 3! = 6
enquanto 2
31
= 2
2
= 4
3.1. PRIMEIRO PRINCPIO DE INDUO FINITA 83
(ii)Vamos assumir que P(k) verdadeira para algum k 3 e provaremos
que P(k + 1) tambm verdadeira.
Queremos mostrar que (k + 1)! > 2
(k+1)1
(k + 1)! > 2
k
. Da hiptese
temos que k! > 2
k1
e ento multiplicando ambos os membros por (k +1) segue
(k + 1)k! > 2
k1
(k + 1), ou ainda que:
(k + 1)! > 2
k1
(k + 1) (3.3)
Se tivermos 2
k1
(k+1) > 2
k
ento certamente (k+1)! > 2
k
como desejado.
Vejamos portanto, quando ocorre 2
k1
(k + 1) > 2
k
.
Temos,
2
k1
(k + 1) > 2
k
2
k1
(k + 1) > 2
k1
2
(k + 1) > 2 k > 1
Como k 3, ento sempre verdade que 2
k1
(k + 1) > 2
k
.
Voltando em 3.3, podemos dizer que (k+1)! > 2
k
, o que representa P(k+1)
verdadeira.
Portanto, por induo vale que n! > 2
n1
para todo n 3.
Observao 3.1
O item (ii) acima pode ser vericado de outra forma. Escrevendo a proposio
P(n) como 2
n1
< n!, vamos vericar que:
P(k) P(k + 1), para todo k 3
Por hiptese, 2
k1
< k! (multiplicando ambos os membros por 2)
2 2
k1
< 2k! 2
k
< 2k!
Basta provarmos que 2k! < (k+1)! pois se assim o for, vamos ter 2
k
< (k+1)!
como procuramos.
Mas, 2k! < (k + 1)! 2k! < (k + 1) k! 2 < k + 1 k > 1, e
como k 3 sempre vale 2k! < (k + 1)!
Portanto, P(k + 1) verdadeira.
3.2. SEGUNDO PRINCPIO DE INDUO FINITA 84
Exemplo 3.8
Como outra aplicao do Algoritmo de Induo vamos vericar um fato j
conhecido:
(n) : Se um conjunto A tem n elementos ento (A) tem 2
n
elementos.
Demonstrao:
(i) A proposio verdadeira se A um conjunto com n = 0 elementos,
pois, neste caso, A = e (A) = tem 2
n
= 1 elementos.
(ii) Suponhamos agora que A um conjunto com n+1 elementos e devemos
vericar que A tem 2
k+1
subconjuntos.
Para usarmos a hiptese de induo vamos retirar um elemento A,
provisoriamente, isto , considerar o conjunto B = A . Ento B tem n
elementos e assim 2
n
subconjuntos. Todos os subconjuntos de B tambm so
de A. Para obtermos todos os subconjuntos de A basta acrescentarmos aos
subconjuntos de B. Assim,
A vai ter
2
n
..
Subconjuntos de B
+ 2
n
..
Subconjuntos de A que contem
= 2.2
n
= 2
n+1
subconjuntos.
Acabamos de vericar portanto que P(k + 1) verdadeira. Pelo Algoritmo
de Induo est demonstrado que a proposio vale para todo n N.
3.3 EXERCCIOS
1. Para que valores de n N a armao dada verdadeira?
Justique sua resposta por induo nita.
a) 3
n
< n!
b) a
n
> 1 (a > 1)
c) n
2
> n + 1
d) n! > n
2
e) 1
3
+ 2
3
+. . . +n
3
=
_
n(n+1)
2
_
2
f)
_
1
1
2
_ _
1
1
3
_
_
1
1
n
_
=
1
n
g) 4n 3 n
2
h)
1
1 2
+
1
2 3
+
1
3 4
+. . . +
1
n(n + 1)
=
n
n + 1
2. Descubra uma forma para o clculo da soma (ou produto) e, em seguida,
prove por induo nita que a frmula deduzida (se que voc deduziu!)
vlida para todo natural n n
0
. Determine tambm n
0
.
3.3. EXERCCIOS 87
(i) (ab)
n
, onde a, b R
(ii) 1 + 2 + 2
2
+. . . + 2
n
(iii)
_
cos sen
sen cos
_
n
, ou seja A
n
= A A A. . . A
. .
nvezes
onde A a matriz
2 2 A =
_
cos sen
sen cos
_
Captulo 4
Divisibilidade
Denio 4.1 Dado a , um nmero inteiro, os mltiplos de a so os nmeros
0, a, 2a, 3a, . . . , em geral ka, onde k qualquer nmero Z.
Notao: Pela denio dada, natural denotarmos o conjunto dos mlti-
plos de a por a Z, ou seja:
a Z = ax [ x Z .
Exemplo 4.1
(i) Mltiplos de 1 : (1)Z = x [ x Z e ento vemos que (1)Z = Z;
(ii) 2 Z = 2x [ x Z o conjunto dos nmeros pares.
Proposio 4.1 Se m e n so mltiplos de a ento a soma m+n e o produto
m n so mltiplos de a. (Esta proposio arma que a Z fechado para as
operaes de adio e multiplicao.)
Demonstrao: Como m e n so mltiplos de a, temos da denio de
mltiplos de a que existem k, l Z tais que m = ka e n = la Assim,
m+n = ka +la = (k +l)a
pela propriedade distributiva.
Logo, m+n = k
a onde k
a
onde l
a onde
c
= k
1
k
2
Z, o que mostra que a [ c.
Proposio 4.3 Dados os inteiros a, b, c Z tais que a [ b e a [ c ento a
divide todos os nmeros da forma bx + cy onde x, y Z. Em outras palavras
a [ (bx +cy) x, y Z.
Demonstrao: Da hiptese segue que existem inteiros d
1
e d
2
tais que
b = d
1
a e c = d
2
a. Assim, para quaisquer x, y Z tem-se bx+cy = d
1
ax+d
2
ay
e pela propriedade distributiva obtemos bx + cy = a(d
1
x + d
2
y) o que mostra
ser bx +cy divisvel por a.
Resulta da propriedade acima o seguinte corolrio:
Corolrio 4.1 .
(i) Se a [ b e a [ c ento a [ (b +c)
(ii) Se a [ b ento a [ b d d Z
Demonstrao: Como x e y na proposio anterior so quaisquer, tomando
x = y = 1 resulta que a [ (b +c), o que prova (i).
Para vericar (ii) utilizaremos novamente que a [ (ax+by) x, y Z. Basta
tomarmos x = 0 e y = d.
91
Teorema 4.1 (Algoritmo da diviso)
Dados a, b Z com b > 0 ento existem nicos q, r Z com 0 r < b tais
que a = bq +r.
Observao 4.1
Os inteiros q e r que aparecem no Teorema acima chamam-se respectivamente
quociente e resto da diviso de a por b.
Demonstrao: Primeiramente, se a mltiplo de b, digamos a = mb para
algum m Z, ento o Teorema vale, basta tomarmos q = m e r = 0.
Caso a no seja mltiplo de b ento podemos situ-lo entre dois mltiplos
consecutivos de b, digamos qb e qb +b. Ou seja, qb < a < (q + 1)b
e ento 0 < a qb < b.
Chamando r = aqb vamos ter a = bq +r, onde 0 < r < b como desejado.
Vamos provar, agora, que q e r so nicos satisfazendo esta condio. Isto
, vamos supor que existem dois pares (q
1
, r
1
) e (q
2
, r
2
) satisfazendo a condio
do Teorema e provaremos que eles so iguais.
Temos a = bq
1
+r
1
e a = bq
2
+r
2
onde 0 r
1
< b e portanto
bq
1
+r
1
= bq
2
+r
2
bq
1
bq
2
= r
2
r
1
b(q
1
q
2
) = r
2
r
1
r
2
r
1
= b(q
1
q
2
)
Queremos mostrar que r
1
= r
2
e que q
1
= q
2
. Suponhamos por absurdo que
r
1
< r
2
, ento r
2
r
1
> 0. De b(q
1
q
2
) = r
2
r
1
e b > 0 devemos ter
q
1
q
2
> 0 e portanto q
1
q
2
1.
Assim r
2
r
1
= b (q
1
q
2
)
. .
1
b, mas por outro lado r
2
r
1
r
2
< b.
Resumindo, encontramos que r
2
r
1
b e r
2
r
1
< b, isto , obtivemos
uma contradio.
Assim r
1
,< r
2
. Se supormos r
2
< r
1
encontramos um absurdo semelhante.
Logo devemos ter necessariamente r
1
= r
2
e voltando na igualdade r
2
r
1
=
b(q
1
q
2
) vamos ter b(q
1
q
2
) = 0 e como b > 0 segue que q
1
q
2
= 0 e que
q
1
= q
2
.
Provamos portanto que o quociente e o resto so nicos.
4.1. CONGRUNCIA MDULO N 92
Exemplo 4.3
Dados os inteiros a e b vamos aplicar o algoritmo da diviso aos seguintes
casos:
(i) a = 19 e b = 5
fcil ver que 19 = 3(5) + 4, isto , q = 3 e r = 4
(ii) a = 5 e b = 19
Neste caso devemos ter 5 = 0(19) + 5, ou seja, quociente q = 0 e o resto
o prprio a, logo r = 5.
(iii) a = 13 e b = 4
Aplicaremos primeiramente o algoritmo da diviso para 13 e 4.
Temos,
13 = 3(4) + 1 13 = 3(4) 1 13 = 3(4) 4 + 4 1
. .
3
13 = (3 1)4 + 3 13 = 4(4) + 3.
Assim o quociente da diviso de 13 por 4 q = 4 e o resto r = 3 < 4.
(iv) a = 17 e b = 7
Temos,
17 = 2(7) + 3 17 = 2(7) 3 17 = 2(7) 7 + 7 3
. .
4
17 = (2 1)(7) + 4 17 = 3(7) + 4
Logo, neste caso, q = 3 e r = 4.
4.1 Congruncia mdulo n
Vimos anteriormente que os nmeros inteiros podem ser classicados em pares
ou mpares. Vimos que um nmero inteiro a, sendo par, tem a forma 2k e que
4.1. CONGRUNCIA MDULO N 93
um nmero inteiro b, sendo mpar, tem a forma 2k + 1. Podemos observar que
estas representaes, par e mpar, decorrem do algoritmo da diviso, vejamos:
a = 2k + 0 b = 2k + 1
Percebemos que na verdade nmeros pares so aqueles que deixam resto zero,
quando divididos por 2, e nmeros mpares, os que deixam resto 1.
Assim podemos dizer que todos os nmeros pares so congruentes entre si,
o mesmo vale para os nmeros mpares. Veremos tambm que se quisermos
podemos classicar os nmeros inteiros em vrias categorias, no apenas em par
ou mpar. A denio seguinte nos d a ferramenta necessria para isto.
Denio 4.3 Dados a, b Z e n N
, ento:
a b (mod n) n [ (b a).
Demonstrao: Provemos inicialmente que a b (mod n) n [ (b a).
Partindo de a b (mod n), sabemos que a e b tm o mesmo resto r quando
divididos por n.
Isto signica que existem q
1
, q
2
Z tais que a = q
1
n +r e b = q
2
n +r.
Assim, r = a q
1
n e como b = q
2
n +r obtemos
b = q
2
n + (a q
1
n) b a = n(q
2
q
1
) n [ (b a)
Provaremos agora que n [ (b a) a b (mod n).
Como n [ (b a) temos b a = qn onde q Z. Seja r o resto da diviso
de a por n, ento q
1
Z tal que a = q
1
n +r onde 0 r < n.
Substituindo na igualdade b = a +qn obteremos
b = q
1
n +r +qn b = (q
1
+q)n +r
Uma vez que 0 r < n vemos que q
1
+q e r cumprem a condio de quociente e
resto na diviso de b por n. E como quociente e resto so nicos neste processo,
resulta que r tambm o resto na diviso de b por n.
Portanto a e b tem o mesmo resto r na diviso por n como desejamos provar.
Observao 4.2
claro que se n [ (b a) ento n [ (a b), logo a proposio acima pode
ser escrita na seguinte forma alternativa:
Proposio 4.5 a b (mod n) n [ (a b)
Exemplo 4.5
Vamos vericar as proposio anterior voltando aos exemplos anteriores.
4.1. CONGRUNCIA MDULO N 95
(i) Temos 27 6 (mod 3) porque 3 [ (27 6), isto , 3 [ 21.
(ii) Temos 27 6 (mod 7) porque 7 [ (27 6), isto , 7 [ 21.
(iii) Temos 5 9 (mod 7) porque 7 [ (5 9), isto , 7 [ 14.
(iv) Temos 11 3 (mod 4) porque 4 [ (11 (3)), isto , 4 [ 8.
Nas proposies seguintes, estudaremos algumas propriedades da congrun-
cia.
Proposio 4.6 Para todos os inteiros a, b, c e n onde n > 0 valem:
(i) a a (mod n) (Propriedade reexiva)
(ii) Se a b (mod n) ento b a (mod n) (Propriedade simtrica)
(ii) Se a b (mod n) e b c (mod n) ento a c (mod n)
(Propriedade Transitiva)
Demonstrao:
(i) Pela proposio anterior, vamos ter a a (mod n) se, e somente
n [ (a a). Mas a a = 0 e n [ 0 para todo n.
Logo sempre vale que a a (mod n).
(ii) Suponhamos que a b (mod n), pela proposio anterior isto signica
que n [ (b a). Da n [ (b a), ou seja, n [ (b + a) que o mesmo
que n [ (ab) e novamente pela proposio anterior podemos armar que
b a (mod n). Logo a b (mod n) b a (mod n) como desejado.
(iii) Suponhamos que a b (mod n) e b c (mod n). Isto o mesmo que
armar n [ (a b) e n [ (b c). Pelo item (i) do corolrio 4.1 podemos
escrever n [ (ab+bc) e ento que n [ (ac) e isto signica exatamente
que a c (mod n).
Proposio 4.7 Sejam a, b, c e m inteiros com m > 0, tais que
a b (mod m) e c d (mod m). Ento:
4.1. CONGRUNCIA MDULO N 96
(i) a +c (b +d)(mod m)
(ii) ac bd(mod m)
Demonstrao: Como a b (mod m) e c d (mod m) temos respectiva-
mente m [ (a b) e m [ (c d). Assim, resulta do corolrio que
m [ (a b) + (c d), ou ainda m [ (a +c) (b +d).
Da proposio acima, isto signica exatamente que a +c b +d (mod m).
Para provarmos (ii) notemos que da condio m [ (a b) podemos escrever
m [ (a b)c (veja item (ii) corolrio 4.1), isto m [ (ac bc). Da mesma
forma da condio m [ (c d) podemos concluir que m [ (c d)b, isto , que
m [ (bcbd). Juntando as duas concluses temos m [ (acbc) e m [ (bcbd), o
que d m [ (acbc+bcbd), ou seja m [ (acbd) e isto signica precisamente
que ac bd (mod m).
Corolrio 4.2 Sejam a
1
, a
2
, . . . , a
n
e b
1
, b
2
, . . . , b
n
duas seqencias quaisquer
de nmeros inteiros satisfazendo a
i
b
i
(mod m) i = 1, . . . , n onde m 1
inteiro.
Ento,
(i) (a
1
+a
2
+. . . +a
n
) (b
1
+b
2
+. . . + b
n
) (mod m).
(ii) (a
1
a
2
. . . a
n
) (b
1
b
2
. . . b
n
) (mod m).
Demonstrao: Demonstramos (i) por induo nita sobre nmero natural n.
Para n = 1 a armao (i) vale pois, neste caso, ela representa simplesmente
que a
1
b
1
(mod m), que vlido por hiptese.
Suponhamos agora que a proposio vale para n = k, isto representa
(a
1
+ . . . + a
k
) (b
1
+ . . . + b
k
) (mod m). Devemos provar que (i) vale para
n = k + 1, ou seja, que
(a
1
+. . . +a
k
+a
k+1
) (b
1
+. . . +b
k
+b
k+1
) (mod m) (4.1)
Temos (a
1
+. . . +a
k
) (b
1
+. . . +b
k
) (mod m) e a
k+1
b
k+1
(mod m) e pela
proposio anterior podemos somar estas duas congruncias.
4.2. APLICAES DE CONGRUNCIAS 97
Segue assim que (a
1
+. . . +a
k
) +a
k+1
(b
1
+. . . +b
k
) +b
k+1
(mod m) o
que prova 4.1, isto , que a proposio (i) vale para n = k + 1.
A frmula (ii) (para o produto) demonstra-se analogamente.
Corolrio 4.3 Se a b (mod m) ento para todo n 1,
a
n
b
n
(mod m) e na nb (mod m)
Demonstrao: Vamos escrever a congruncia a b (mod m), n vezes e
em seguida aplicaremos o corolrio 4.1:
n vezes
_
_
a b(mod m)
a b(mod m)
.
.
.
a b(mod m)
a a . . . a
. .
n vezes
(b b . . . b
. .
n vezes
)mod m
a +a . . . +a
. .
n vezes
b +b . . . +b
. .
n vezes
mod m
Da,
a
n
b
n
mod m
na nb mod m
4.2 Aplicaes de congruncias
Algumas aplicaes imediatas de congruncias so dadas nos seguintes exemplos:
1) fcil calcular o resto da diviso de 260 por 6.
Como 260 = (26)(10) e vale que 26 2 (mod 6) e 10 4 (mod 6) resulta
pela proposio 4.7 que 260 8 (mod 6). Pela denio de congruncia
isto quer dizer que 260 e 8 tem o mesmo resto na diviso por 6. Como
8 2 (mod 6), 8 tem resto 2 quando dividido por 6 e assim ocorre com
260.
4.2. APLICAES DE CONGRUNCIAS 98
2) Vamos determinar o resto da diviso de 37
13
por 17.
Temos 37 3 (mod 17), logo, pelo corolrio 4.3, 37
13
3
13
(mod 17).
Logo, nosso problema foi transferido ao clculo de 3
13
um nmero bem
menor.
Notemos que 3
13
= (3
4
)
3
3 e ainda 3
4
13 (mod 17) o que possibilita:
(3
4
)
3
13
3
(mod 17) (3
4
)
3
3 = (13)
3
3 (mod 17).
Mas 13
3
3 = 13
2
(13 3) = (169)(39) e desde que 169 16 (mod 17) e
39 5 (mod 17) temos que 13
3
3 (16)(5) (mod 17), isto
3
13
80 (mod 17). Como 80 12 (mod 17) teremos nalmente
3
13
12 (mod 17). Esta seqencia de clculos pode ser assim resumida,
onde o smbolo indica congruncia mdulo 17.
3
13
= (3
4
)
3
3 13
3
3 = (169)(39) (16)(5) = 80 12.
3) Pode-se vericar facilmente que o algarismo das unidades de um nmero
inteiro no sistema decimal o resto da sua diviso por 10. Assim, podemos
determinar, sem muitos clculos, o algarismo das unidades de 2
83
, basta
considerar as congruncias sucessivas mdulo 10:
2
83
= 2
5(16)
2
3
2
16
2
3
= (2
5
)
3
2
4
2
3
2
4
= 2
5
2
2
= 2
3
= 8.
onde foi utilizado que 2
5
= 32 2 (mod 5).
Dados n, a Z com n > 0, sabemos que existem n possibilidades para o
resto da diviso de a por n:
resto 0 q Z tal que a = qn
resto 1 q Z tal que a = qn + 1
.
.
.
.
.
.
.
.
.
.
.
.
resto n 1 q Z tal que a = qn + (n 1)
4.3. EXERCCIOS 99
Escritas em termos de congruncia estas possibilidades representam respec-
tivamente:
a 0 (mod n), a 1 (mod n), . . . , a (n 1) (mod n).
Como so em nmeros nito, podemos testar estas possibilidades caso a caso.
Tal procedimento pode ser til na soluo de alguns problemas da Teoria dos
nmeros inteiros. Vejamos os exemplos:
Exemplo 4.6
Para qualquer a Z o nmero a
3
a divisvel por 3.
Temos a
3
a = a(a
2
1) = a(a 1)(a + 1) para qualquer a Z. As
possibilidades para o inteiro a so: a 0 (mod 3), a 1 (mod 3) ou
a 2 (mod 3), j que os restos possveis da diviso de a por 3 so 0, 1 ou 2.
Se a 0 (mod 3) ento 3 [ a o que d a = 3x onde x Z e neste caso
a
3
a = 3x(a 1)(a + 1) = 3y onde y = x(a 1)(a + 1) mostrando que
3 [ (a
3
a). No caso em que a 1 (mod 3) temos 3 [ (a 1) ou ainda
a 1 = 3x com x Z e vamos ter a
3
a = a(3x)(a +1) = 3(a)x(a +1) = 3y
onde y = (x)(a)(a + 1), ou seja, 3 [ (a
3
a) tambm neste caso. Finalmente a
ltima possibilidade para a que a 2 (mod 3). Se isto ocorrer 3 [ (a 2) e
ento a 2 = 3x, x Z. Neste caso tambm
a
3
a = a(a 1)(3x + 3) = 3a(a 1)(x + 1) = 3y
onde y Z e 3 [ (a
3
a).
Portanto seja qual for o inteiro a vale que a
3
a divisvel por 3.
4.3 Exerccios
1. Mostrar que para todo a R, a ,= 1 vale
a
n
1 = (a 1)(1 +a +a
2
+. . . +a
n1
) de duas formas:
(i) Desenvolvendo o segundo membro da igualdade;
(ii) Induo nita sobre n.
4.3. EXERCCIOS 100
2. Utilize o exerccio anterior para encontrar o valor da soma dos termos de
uma P.G. nita de razo a.
3. Aplique o problema 1) para mostrar que para quaisquer a, b Z e n N,
a b divisor de a
n
b
n
.
(Dica: Se b = 0 imediato e caso b ,= 0 use a igualdade
a
n
b
n
= b
n
[(
a
b
)
n
1]).
4. Prove de duas formas:
(i) Induo nita e
(ii) Exerccios anteriores que
(a) 9 [ (10
n
1)
(b) 3 [ (10
n
7
n
)
(c) 13 [ (9
2n
4
2n
)
5. Para cada par de inteiros a e b dado abaixo, encontrar o quociente e o
resto satisfazendo o algoritmo da diviso.
(i) a = 59, b = 6
(ii) a = 71, b = 5
(iii) a = 48, b = 7
6. Ache a soluo geral e a menor soluo positiva de cada congruncia
abaixo.(Expresse a soluo geral como um conjunto).
(a) x 2 (mod 3)
(b) x 7 (mod 3)
(c) 3x + 2 0 (mod 7)
(d) x 1(mod 6)
7. Para quais valores de n a propriedade abaixo vale? Demonstre.
4.3. EXERCCIOS 101
(i) (1 +a)
n
1 +na, a R, a 1.
(ii) 2 [ (n
2
+n).
(iii) 19
8n
1 divisvel por 17.
(iv) 1 2
2
+ 3
2
4
2
+. . . + (1)
n1
n
2
= (1)
n1
n(n + 1)
2
8. Use induo nita para provar que a soma dos cubos de trs nmeros
consecutivos divisvel por 9.
9. Seja a Z um nmero no divisvel por 5, mostra que o resto da diviso
de a
4
por 5 sempre 1.
(Dica: Usar congruncia mdulo 5).
10. Determinar:
(a) O ltimo algarismo do nmero (2)
5
80
.
(b) O resto da diviso de 5
20
por 7.
(c) O resto da diviso de 10
135
por 7.
(d) O resto da diviso de 3
64
por 31.
11. Use congruncias para vericar que 89 [ (2
44
1).
12. Se a, b, c so nmeros inteiros no nulos vericar que a [ b ac [ bc.
13. possvel encontrar dois nmeros inteiros, ambos divisveis por 7, tais que
a diviso de um pelo outro deixe resto 39? Por que?
14. Seja m um nmero inteiro cujo resto da diviso por 6 e 5. Mostre que o
resto da diviso de m por 3 2.
15. Suponha que m um inteiro mpar. Mostrar que o resto da diviso de m
por 4 1 ou 3.
16. Dena (x
n
) uma seqencia de nmeros reais da seguinte forma x
1
= 0 e
para todo n 0 natural x
n+1
=
2 +x
n
.
4.4. SISTEMAS NUMRICOS DE BASE B, ONDE B 2 102
(i) Encontre cinco termos desta seqencia.
(ii) Mostre por induo nita que x
n
< 2, n N
17. Dados , R com ,= , suponhamos que u
1
=
2
2
e
u
2
=
3
3
e u
k
= ( + )u
k1
u
k2
para todo nmero natural
K > 2. Provar que u
n
=
n+1
n+1
.
4.4 Sistemas numricos de base b, onde b 2
Nosso sistema numrico comumente usado o decimal. Isto quer dizer que, dado
qualquer inteiro a > 0, existem n inteiros positivos, a
0
, a
1
, a
2
, . . . , a
n
tais que:
a = a
0
+a
1
10 +a
2
10
2
+. . . +a
n
10
n
e 0 a
i
< 10, i
Alm disso, os nmeros a
i
so nicos com esta propriedade e so chamados
os algarismos de a.
Ocorre, que o papel desempenhado pelo 10 em nosso sistema numrico
meramente uma questo opcional. Propriedades semelhantes s ilustradas acima
valem se 10 for trocado por um nmero inteiro b 2. Ou seja vale a seguinte
proposio:
Proposio 4.8 Seja b 2 um nmero inteiro. Dado qualquer a N existem
a
0
, a
1
, a
2
, . . . , a
n
tais que: a = a
0
+a
1
b+a
2
b
2
+. . . +a
n
b
n
e 0 a
i
< b, i.
O que a proposio acima arma que todo nmero inteiro admite uma
representao na base b (representao b-dica). A demonstrao da proposio
acima utiliza o algoritmo da diviso. Ao invs de demonstr-la vamos nos con-
tentar em ver como esta representao funciona na prtica:
1) O nmero 7 na base 2 (base binria) representado por 111. Isto pode
ser visto aplicando duas vezes o algoritmo da diviso por 2:
7 = 3 2 + 1 7 = (2 1 + 1)2 + 1 7 = 1 2
2
+ 1 2 + 1
4.5. CRITRIOS DE DIVISIBILIDADE 103
2) Quem o nmero cuja representao na base 5 123.
Sendo 123 a representao do nmero a na base 5 sabemos ento que
a = 3 + 2 5 + 1 5
2
= 38.
3) Vamos expressar o nmero 216 na base 4. Temos 216 = 4(54) e
54 = 4(13) + 2 e 13 = 4 3 + 1, de onde segue que:
216 = 4[4(13) +2] = 4
2
(13) +8 = 4
2
(4 3 +1) +2 4 = 3 4
3
+4
2
+2 4
Logo, 216 na base 4 3120.
4.5 Critrios de divisibilidade
A representao numrica na base 10 explica porque alguns critrios de divisibi-
lidade funcionam:
Proposio 4.9 (Critrio de divisibilidade por 2)
Um nmero inteiro divisvel por 2 se, e somente se, seu algarismo da unidade
for um nmero par.
Demonstrao: () Vamos provar primeiramente a volta isto , se o
algarismo da unidade de um nmero inteiro a par ento a divisvel por 2.
Ento para algum n > 0
a = a
0
+a
1
10 +a
2
10
2
+. . . +a
n
10
n
onde a
0
= 2k para algum k > 0
Da a = 2k +a
1
10 +a
2
10
2
+. . . +a
n
10
n
= 2(k + 5a
1
+. . . + 5a
n
10
n1
) = 2x onde x = k + 5a
1
+. . . + 5a
n
10
n1
Portanto a par.
() Suponhamos agora que a seja um nmero par. Digamos a = 2r com
r Z. Suponhamos que a = a
0
+a
1
10+a
2
10
2
+. . .+a
n
10
n
seja a representao
de a na base b-dica.
Ento
a
0
= a a
1
10 a
2
10
2
. . . a
n
10
n
= 2r a
1
10 a
2
10
2
. . . a
n
10
n
= 2(r 5a
1
5a
2
10 . . . 5a
n
10
n1
)
4.5. CRITRIOS DE DIVISIBILIDADE 104
Ou seja 2 [ a
0
. A demonstrao da proposio est concluda.
Proposio 4.10 (Critrio de divisibilidade por 3)
Um nmero inteiro divisvel por 3 se, e somente se, a soma de seus alga-
rismos for divisvel por 3.
Demonstrao: Seja a Z e suponhamos que sua representao decimal
seja a = a
0
+a
1
10 + a
2
10
2
+. . . +a
n
10
n
.
Na primeira parte da demonstrao vericaremos que se a
0
+a
1
+a
2
+. . .+a
n
for divisvel por 3, assim tambm ser a.
Temos a = a
0
+a
1
(1 + 9) +a
2
(1 + 99) +. . . +a
n
(1 + 10
n
1)
a = (a
0
+a
1
+a
2
+. . . +a
n
) + 9a
1
+ 99a
2
+. . . + (10
n
1)a
n
(4.2)
Como a
0
+a
1
+a
2
+. . . +a
n
e 9a
1
+ 99a
2
+. . . + (10
n
1)a
n
so ambos
divisveis por 3, ento tambm a ser divisvel por 3 como a soma dos nmeros
divisveis por 3.
Suponhamos agora que a seja um nmero divisvel por 3 e vamos provar que
a soma de seus algarismos: a
0
+ a
1
+ a
2
+ . . . + a
n
tambm divisvel por 3.
Mas isto resulta tambm da igualdade 4.2 pois segue de l que
a
0
+a
1
+a
2
+. . . +a
n
= a [9a
1
+ 99a
2
+. . . + (10
n
1)a
n
]
isto , a
0
+a
1
+a
2
+. . . +a
n
a diferena de nmeros divisveis por 3 e portanto
3 [ (a
0
+a
1
+a
2
+. . . +a
n
).
4.5.1 Mximo Divisor Comum
Seja a Z, vamos denir D(a) como o conjunto formado por todos os divisores
de a. Notemos que D(a) ,= e que D(a) nito se a ,= 0.
Diremos que c um divisor comum de a e b se c D(a) D(b), isto o
mesmo que exigir que c [ a e c [ b.
Supondo a e b no nulos ento D(a) e D(b) so nitos e assim D(a) D(b)
nito. Tem sentido portanto a seguinte:
Denio 4.4 Sejam a, b Z
com d
[ a e d
[ b tem-se d
[ d.
Demonstrao: Seja d = mdc(a, b) e vamos mostrar que d cumpre as
condies (i), (ii) e (iii) acima. A prpria denio de mdc garante que d j
satisfaz (i) e (ii). Resta vericarmos (iii). Para tanto consideraremos d
Z
satisfazendo d
[ a e d
[ d.
4.5. CRITRIOS DE DIVISIBILIDADE 108
Agora mostraremos que vlidas (i), (ii) e (iii) ento necessariamente
d = mdc(a, b). Como d [ a e d [ b ento pela denio de mdc(a, b) devemos
ter d mdc(a, b), j que mdc(a, b) o maior inteiro que divide ambos, a e
b. Alm disso, sabemos que mdc(a, b) [ a e mdc(a, b) [ b e ento (iii) diz que
mdc(a, b) [ d. Em particular como mdc(a, b) e d so positivos mdc(a, b) d
Como j tnhamos d mdc(a, b) segue que d = mdc(a, b).
Z e d
[ a e d
[ a
1
ento d
[ mdc(a
1
, a
2
)
Como mdc(a
1
, a
2
) o mximo divisor comum de a
1
e a
2
a condio (i)
assegurada, bem como a condio mdc(a
1
, a
2
) [ a
1
j vale pela denio de
mdc(a
1
, a
2
). Alm disso, mdc(a
1
, a
2
) [ a
2
e assim por 4.4 temos mdc(a
1
, a
2
) [ a.
Resta provarmos somente (iii): Supondo d
Z tal que d
[ a e d
[ a
1
, segue
de 4.4 que d
[ a
2
. Assim d
[ a
1
e d
[ a
2
e ento d
[ mdc(a
1
, a
2
) pela denio
de mdc(a
1
, a
2
).
Portanto, mdc(a
1
, a
2
) cumpriu as condies para ser mdc(a, a
1
) e ento vale
4.4.
Z e d
[ a e d
[ b ento d
_
mdc(105, 72) = 3.
Pelo Teorema de Bezout existem r, s Z tais que 105 r +72 s = 3. Quem
so r e s? Provavelmente r > 0 e s < 0.
Temos de () que:
3 = 33 6 5 = 33 (72 33 2)5
= 11(33) 5(72) = 11(105 72) 5(72)
= 11(105) + (11 5)(72) = (11)(105) + (16)(72)
4.5. CRITRIOS DE DIVISIBILIDADE 111
Portanto, 3 = 105(11) + 72(16), ou seja r = 11 e s = 16.
4.5.2 Mnimo Mltiplo Comum
Dado a A denamos por M
+
(a) o conjunto de todos os nmeros inteiros
positivos e mltiplos de a.
O mnimo mltiplo comum de dois inteiros a e b denido como o menor
elemento do conjunto M
+
(a) M
+
(b) e denotado por mmc(a, b).
Lembrando que M
+
(a) = M
+
(a), observemos que, para efeito de mmc
abordaremos somente nmeros inteiros no negativos. Alm disso, claro que,
para a > 0, mmc(a, 0) = a, j que todo inteiro positivo mltiplo de 0.
Exemplo 4.12
Suponhamos a, b N
Z tal que a [ m
e b [ m
ento m [ m
.
Demonstrao:
() Suponhamos que m = mmc(a, b), ento (i) e (ii) fazem parte da
denio de m. Para vericarmos (iii), consideremos m
Z tal que a [ m
e b [ m
por m, ento m
= qm+r onde q Z
e 0 r < m. Temos r = m
qm. Como a [ m
e a [ m ento a [ r e da mesma
forma b [ r, ou seja r um mltiplo comum de a e b. Logo, pela denio de
m ser o mmc(a, b) a condio 0 r < m, s poder valer se r = 0. Portanto
m [ m
4.6 EXERCCIOS
1. Mostrar que o nmero 111...11
. .
300 vezes
divisvel por 3.
2. Calcule mdc(648, 140) e encontre os coecientes do Teorema de Bezout.
3. O nmero decimal 8285 quando escrito na base b representado por 104.
Encontre b.
4.6. EXERCCIOS 114
4. Prove que:
Em todo sistema de numerao de base b o nmero 121 um quadrado
perfeito, enquanto 1331 um cubo perfeito.
5. Quantos nmeros h num sistema de numerao de base b, formados de
n algarismos?
6. Calcule mmc(648, 140). Sugesto: Use o exerccio 2
7. Enuncie e demonstre um critrio de divisibilidade por 9.
8. Demonstre que um nmero divisvel por 4 se, e somente se, o nmero
formado pelos seus dois ltimos algarismos o for.
9. Se a e b so divisores de c e mdc(a, b) = 1 ento ab [ c. Provar.
10. Prove que mdc(n, 2n + 1) = 1, n N.
11. Sejam a, b N