Algebra 1

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL
Cmpus de Trs Lagoas - CPTL

Departamento de Cincias Exatas - DEX
ALGEBRA I
Prof. JOS BERTOLOTO JUNIOR.
2007
.
BERTOLOTO Jr.; Jos
ALGEBRA I
Jos Bertoloto Junior, Trs Lagoas/MS 2007
Baseado em notas de aulas do Prof. Dr. Antonio Carlos Tamarozzi e
Prof. Dra. Eugenia Brunilda Opazo Uribe.
Universidade Federal de Mato Grosso do Sul.
1.Lgica; 2.Conjuntos; 3.Nmeros Inteiros.
Resumo
Introduo Lgica Matemtica
Lgica proposicional - Sentenas abertas - Quanticadores, Argumentos, Tc-
nicas de demonstrao.
Teoria Elementar dos Conjuntos
Conceitos, Relao de Pertinncia e Relao de incluso
Operaes com conjuntos e suas propriedades.
Nmeros Inteiros
Propriedades dos inteiros, Princpio de induo Aritmtica em Z (Mltiplos
e divisores), Algoritmo da diviso, Congruncias, Mximo divisor comum, M-
nimo mltiplo comum, Nmeros primos, Teorema Fundamental da Aritmtica,
Equaes Diofantinas.
Sumrio
1 Introduo Lgica Matemtica 4
1.1 Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 Proposio . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Conectivos Lgicos . . . . . . . . . . . . . . . . . . . . . 5
1.1.3 Tabelas-Verdade . . . . . . . . . . . . . . . . . . . . . . 9
1.1.4 Tautologias e Contradies . . . . . . . . . . . . . . . . 13
1.1.5 Implicao Lgica e Equivalncia Lgica. . . . . . . . . . 15
1.1.6 Recproca, Contrria e Contrapositiva de uma Proposio
Condicional . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.7 Negao de Operaes Lgicas . . . . . . . . . . . . . . 19
1.1.8 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2 Argumentos Lgicos . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2.1 Valor Lgico de um Argumento . . . . . . . . . . . . . . 25
1.2.2 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . 27
1.3 Sentenas Abertas . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.4 Quanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.4.1 Quanticador Existencial . . . . . . . . . . . . . . . . . . 31
1.4.2 Quanticador Universal . . . . . . . . . . . . . . . . . . 32
1.4.3 Quanticao em sentenas de duas variveis . . . . . . . 33
1.4.4 Negao de Quanticadores . . . . . . . . . . . . . . . . 34
1.4.5 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . 34
1.5 Condies Necessria e suciente . . . . . . . . . . . . . . . . . 38
1.6 Teoremas e Demonstraes . . . . . . . . . . . . . . . . . . . . 39
1
SUMRIO 2
1.6.1 Corolrios e Lemas . . . . . . . . . . . . . . . . . . . . . 41
1.6.2 Contra-exemplos . . . . . . . . . . . . . . . . . . . . . . 42
1.6.3 Demonstraes usando a Contra-positiva . . . . . . . . . 44
1.6.4 Demonstrao por reduo ao absurdo . . . . . . . . . . 45
1.6.5 Demonstrao por equivalncias . . . . . . . . . . . . . . 46
1.6.6 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . 47
2 Uma introduo a Teoria dos Conjuntos 49
2.1 Conjunto universo e conjunto vazio . . . . . . . . . . . . . . . . 50
2.2 Incluso de Conjuntos. Subconjuntos . . . . . . . . . . . . . . . 50
2.3 Igualdade de Conjuntos . . . . . . . . . . . . . . . . . . . . . . 51
2.4 Diferena entre Conjuntos
Conjunto Complementar . . . . . . . . . . . . . . . . . . . . . . 52
2.5 Operao com Conjuntos:
Unio e interseco . . . . . . . . . . . . . . . . . . . . . . . . 54
2.6 O Conjunto das Partes de um conjunto . . . . . . . . . . . . . . 58
2.7 A Cardinalidade de um conjunto . . . . . . . . . . . . . . . . . . 59
2.8 Produto Cartesiano de Conjuntos . . . . . . . . . . . . . . . . . 63
2.9 Representao grca do
Produto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . 64
2.10 Algumas Propriedades do
Produto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . 66
2.11 Produto Cartesiano de vrios Conjuntos . . . . . . . . . . . . . . 67
2.12 Simplicao de Expresses . . . . . . . . . . . . . . . . . . . . 69
2.13 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3 Induo Finita 76
3.1 Primeiro Princpio de Induo nita . . . . . . . . . . . . . . . . 77
3.2 Segundo Princpio de Induo Finita . . . . . . . . . . . . . . . . 84
3.3 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
SUMRIO 3
4 Divisibilidade 88
4.1 Congruncia mdulo n . . . . . . . . . . . . . . . . . . . . . . . 92
4.2 Aplicaes de congruncias . . . . . . . . . . . . . . . . . . . . 97
4.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.4 Sistemas numricos de base b, onde b 2 . . . . . . . . . . . . 102
4.5 Critrios de divisibilidade . . . . . . . . . . . . . . . . . . . . . . 103
4.5.1 Mximo Divisor Comum . . . . . . . . . . . . . . . . . . 104
4.5.2 Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . . 111
4.6 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Captulo 1
Introduo Lgica
Matemtica
1.1 Lgica Proposicional
1.1.1 Proposio
Denio 1.1
Proposio uma sentena declarativa que deve exprimir um pensamento de
sentido completo.
Observao 1.1
Uma Proposio pode ser escrita na forma simblica ou na linguagem
usual.
As proposies que consideraremos so aquelas perfeitamente declarativas,
arma-se ou nega-se. Desta forma no consideraremos as interrogativas,
as exclamativas, as imperativas, etc.
Designaremos as proposies por letras minsculas: p, q, r, etc.
Exemplo 1.1
1. So Proposies:
4
1.1. LGICA PROPOSICIONAL 5
p : Joo rico. q : O nmero 8 par.
r : 3 + 4 = 7 s : tg

4
= 1
t :
3 < e < 5 u : A terra plana.

2. No so proposies:
p : Onde voc vai? q : Ele foi diretor da escola.
r : Os estudantes jogam bola. s : 3x
2
x = 2
t :
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:
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
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
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 :
2 um nmero racional se, e somente se a Terra plana.

1.1.3 Tabelas-Verdade
Tabela-verdade uma tabela onde guram todos os possveis valores lgicos das
proposies.
Para uma nica proposio simples p, temos os valores lgicos possveis V ou
F:
p
V
F
Quando lidamos com duas proposies, as combinaes possveis so as
seguintes:
p q
V V
V F
F V
F F
Negao
Regra: p verdadeira (falsa) sempre que p falsa (verdadeira).
p p
V F
F V
Como ca a tabela verdade de uma proposio composta que surgiu de duas
outras atravs de conectivos? Vejamos.
Conjuno
Regra: A conjuno de duas proposies (p q) verdade sempre que p e q
so verdadeiras, do contrrio ser falsa. A tabela-verdade :
p q p q
V V V
V F F
F V F
F F F
Disjuno
Regra: A disjuno de duas proposies (p q) falsa se, e somente se, p e q
so falsas. A tabela-verdade :
p q p q
V V V
V F V
F V V
F F F
Notemos que (p q) ser verdadeira se ao menos uma das proposies, p ou
q, o for.
Condicional
Regra: A condicional (p q) falsa se, e somente se, p verdadeira e q
falsa. A tabela-verdade :
p q p q
V V V
V F F
F V V
F F V
Bicondicional
Regra: A bicondicional (p q) verdadeira se, e somente se, p e q so
verdadeiras ou se p e q so falsas. A tabela-verdade :
p q p q
V V V
V F F
F V F
F F V
Exemplos
Exemplo 1.14
1. Construir a Tabela verdade das seguintes proposies compostas:
(a) p q
p q q p q
V V F F
V F V V
F V F F
F F V F
(b) (p q) ( p q)
p q p q p q p q (p q) ( p q)
V V F F F V V
V F F V V F F
F V V F F V V
F F V V F V V
(c) (p q) p
p q p q (p q) p
V V V V
V F F V
F V V F
F F V F
(d) (p q) (r r)
p q r q r p q r r (p q) (r r)
V V V F F F V F
V V F F V F V F
V F V V F V V V
V F F V V V V V
F V V F F F V F
F F V V F F V F
F V F F V F V F
F F F V V F V F
2. Sabendo que p verdadeira, q verdadeira e r falsa, determinar os
valores lgicos das seguintes proposies:
(a) (p (q r)) (p (r q))
p q r q r p (q r) r q p (r q) (p (q r)) (p (r q))
V V F V V V V V
(b) (q r) ( q r)
q r q q r q r (q r) ( q r)
V F F F F V
1.1.4 Tautologias e Contradies
Denio 1.2
Tautologia uma proposio composta cujo valor lgico sempre a verdade,
quaisquer que sejam os valores lgicos das proposies que a compe.
Exemplo 1.15
A proposio (p p) uma tautologia, como pode ser visto na tabela-verdade:
p p p p
V F V
F V V
Denio 1.3
Contradio uma proposio composta cujo valor lgico sempre falso, quais-
quer que sejam os valores lgicos das proposies que a compe.
Exemplo 1.16
A proposio (p p) uma contradio, como pode ser visto na tabela-
verdade:
p p p p
V F F
F V F
Observao 1.3
Uma proposio composta que no uma tautologia e no uma contradio,
ser chamada de indeterminao.
Exemplo 1.17
Construa a tabela verdade das proposies compostas a seguir e verique se
as mesmas so tautologias, contradies ou indeterminaes:
(a) ((p q) p) (q p)
p q p p q q p (p q) p ((p q) p) (q p)
V V F V V F V
V F F V F F V
F V V V F V F
F F V F F V F
A proposio dada uma indeterminao.
(b) (p q) ( p q)
p q p q p q (p q) p q (p q) ( p q)
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V
A proposio dada uma tautologia.
(c) ( (p q)) ( p q)
p q p q p q (p q) ( (p q)) p q ( (p q)) p q
V V F F V F V F F
V F F V F V F V F
F V V F F V F V F
F F V V F V F V F
A proposio dada uma contradio.
1.1.5 Implicao Lgica e Equivalncia Lgica.
Dadas as proposies compostas P e Q, diz-se que ocorre uma implicao
lgica entre P e Q quando a proposio condicional P Q uma tautologia.
Notao: P Q (l-se: P implica Q, ou Se P ento Q).
Observao 1.4
Os smbolos () e () tem signicados diferentes:
O primeiro () representa uma operao entre proposies, dando origem
a uma nova proposio p q cuja tabela-verdade contm tanto V como F.
Enquanto que, o smbolo () indica uma relao entre duas proposies, e
neste caso a tabela verdade tem sempre o valor lgico V.
Exemplo 1.18
1. Podemos mostrar que (p q) p, analisando a tabela verdade:
p q p q (p q) p
V V V V
V F F V
F V F V
F F F V
2. Mostraremos que (p q) (p q)
p q p q p q (p q) (p q)
V V V V V
V F F V V
F V F V V
F F F F V
Dadas as proposies compostas P e Q, diz-se que ocorre uma equivalncia
lgica entre P e Q (ou que P e Q so logicamente equivalentes) quando
suas tabelas-verdade forem idnticas. Neste caso representamos por P Q.
Exemplo 1.19
1. Mostrar que (p q) (q p) e p q so equivalentes.
p q p q q p (p q) (q p) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
2. Mostrar que p p, isto , a dupla negao equivale armao.
p p p
V F V
F V F
1.1.6 Recproca, Contrria e Contrapositiva de uma Proposio
Condicional
Consideremos a proposio condicional p q. Podemos formar outras proposies
condicionais contendo p e q:
q p, p q, q p
Estas so chamadas de recproca, contrria (ou inversa) e contrapositiva da
proposio condicional p q, respectivamente.
Note que a contrapositiva a recproca da contrria.
Exemplo 1.20
Seja T um tringulo. Consideremos as proposies:
p : T equiltero.
q : T issceles.
A partir delas, podemos formar as seguintes condicionais:
p q : Se T equiltero, ento T issceles.
q p : Se T issceles, ento T equiltero.
p q : Se T no equiltero, ento T no issceles.
q p : Se T no issceles, ento T no equiltero.
Vejamos a tabela-verdade destas quatro proposies:
p q p q q p p q p q q p
V V V V F F V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
A tabela verdade acima mostra que so logicamente equivalentes:
(a) Uma proposio condicional (p q) e a sua contrapositiva ( q p),
isto ,
(p q) ( q p)
(a) A recproca (q p) e a contrria ( p q) de uma proposio condi-
cional (p q), isto ,
(q p) ( p q)
A mesma tabela-verdade mostra tambm que uma proposio condicional
(p q) e sua recproca (q p) ou a sua contrria ( p q) no so
logicamente equivalentes.
1.1.7 Negao de Operaes Lgicas
Negao da Negao
A negao da negao de uma proposio equivalente prpria proposio.
De fato, construindo a tabela-verdade vericamos tal equivalncia:
p p p
V F V
F V F
Assim podemos escrever que ( p) p.
Exemplo 1.21
Dizer: No verdade que 3 no um nmero primo.
o mesmo que dizer: 3 um nmero primo.
Negao da conjuno
A negao de uma conjuno logicamente equivalente a uma disjuno. Pode-
mos comprovar este fato pela seguinte tabela-verdade:
p q p q p q (p q) p q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Logo podemos escrever: (p q) p q.
Exemplo 1.22
Sejam as proposies:
p : Pedro estuda matemtica.
q : Pedro estuda fsica.
p q : Pedro estuda matemtica e fsica.
(p q) : No verdade que pedro estuda matemtica e fsica.
p q : Pedro no estuda matemtica ou Pedro no estuda fsica.
A negao da Disjuno
A negao de uma disjuno logicamente equivalente a uma conjuno:
p q p q p q (p q) p q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V
Assim, podemos escrever (p q) p q.
Exemplo 1.23
Admitindo as proposies p e q do exemplo 1.22. Ento:
p q : Pedro estuda matemtica ou fsica.
(p q) : No verdade que pedro estuda matemtica ou fsica.
p q : Pedro no estuda matemtica e Pedro no estuda fsica.
Negao da Condicional
A negao da condicional logicamente equivalente a uma conjuno. De fato,
dado uma condicional p q pela tabela-verdade mostramos que esta equiva-
lente a (p q), veja:
p q p q q p q (p q)
V V V F F V
V F F V V F
F V V F F V
F F V V F V
Comprovado que realmente p q (p q) e considerando que
(p q) ( (p q)), e a equivalncia, ( (p q)) p q,
podemos concluir que:
(p q) p q
Ou seja, a negao de uma condicional uma disjuno formada pela partida
da condicional e a negao de sua chegada.
Exemplo 1.24
Sejam (p : Marta rica.) e (q : Marta feliz.). Temos (p q : Se marta
rica ento Marta feliz.) e a negao desta condicional ca da seguinte forma:
( (p q) : Marta rica e Marta no feliz.)
Negao da Bicondicional
Mostraremos atravs da tabela abaixo que (p q) p q.
Esta provado, ento, que (p q) p q, porm isto no signica
que podemos estabelecer uma nica equivalncia entre negaes de proposies
lgicas. Tente encontrar outras equivalncias, por exemplo, para a negao da
bicondicional.
p q q p q (p q) p q
V V F V F F
V F V F V V
F V F F V V
F F V V F F
1.1.8 EXERCCIOS
1. Dizer o valor lgico de cada sentena abaixo:
(a) 2 + 5 ,= 6 ou 3 1 = 25;
(b) Se 2 + 4 = 8 ento 2 + 6 = 9;
(c) Se x
2
8x + 48 = 0 ento x 2 = 4;
(d) x R , x
2
0 e x R ,
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:
(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 ;
(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 =
9 x se, e somente se 20x

2
+ 16x = 0 ;
9. Simplicar:
(a) (p q) ;
(b) ( p q) ;
(c) ( p q).
10. Vericar que vale a lei associativa (p q) r p (q r) .
11. Escreva a operao de disjuno p q em termos de e .
12. Vericar se a operao condicional distributiva em relao conjuno,
isto , ser verdade que: p (q r) (p q) (p r) ?
1.2 Argumentos Lgicos
A partir de uma seqncia de proposies p
1
, p
2
, . . . , p
n
, muitas vezes
possvel estabelecer uma nova proposio q chamada de concluso.
A este processo chamamos de argumentao lgica, e denotamos por
p
1
, p
2
, . . . , p
r
q (1.1)
onde as proposies p
1
, . . . , p
r
so chamadas premissas e q a concluso
do argumento.
Um argumento portanto um sistema da forma (1.1), onde se admitem as
proposies p
1
, . . . , p
r
verdadeiras e estuda-se a possibilidade de q tambm
ser verdadeira.
1.2.1 Valor Lgico de um Argumento
Dizemos que o valor lgico de um argumento p
1
, p
2
, . . . , p
r
q
verdadeiro (ou vlido) se todas as vezes que as premissas p
1
, . . . , p
r
forem
simultaneamente verdadeiras ento q tambm verdadeira. Do contrrio temos
um argumento chamado falso (ou sosma). Em outras palavras, admite-se que o
argumento sempre verdadeiro, exceto quando existir duas ou mais proposies
contraditrias, ento analisa-se se a concluso pode ser considerada verdadeira,
caso seja ento temos o valor lgico vlido, caso no seja temos o valor lgico
falso ou sosma.
Exemplo 1.25
O argumento p , p q q vlido.
De fato, supondo p e p q verdadeiras, ento q ser tambm verdadeira
(concluso). Lembrando que em uma condicional se a partida p verdadeira para
que a condicional seja verdadeira devemos ter a chegada q tambm verdadeira.
Ento podemos concluir que q verdadeira.
Exemplo 1.26
p q p
Tendo p q verdadeiro, ento , por denio de conjuno, p e q so ambas
verdadeiras, em particular p verdadeiro, que a nossa concluso.
Exemplo 1.27
p q p q
Ns temos p q uma proposio verdadeira, ou seja p e q so ambas ver-
dadeiras. Assim, por exemplo, q verdadeira. Da, decorre da denio de
disjuno, que p q verdadeira.
Exemplo 1.28
J o argumento p q p q um sosma.
De fato, considerando p uma proposio falsa e q uma proposio verdadeira,
temos as premissas p q verdadeira enquanto que a concluso p q falsa.
A linha seguinte resume nossa argumentao:
p q p q p q
F V V F
1.2.2 EXERCCIOS
1. Testar a validade dos argumentos seguintes e justicar:
(a) Se eu estudar ento no serei reprovado em matemtica.
Se eu no jogar basquete ento estudarei.
Fui reprovado em matemtica.
CONCLUSO: Joguei basquete.
(b) Se gosto de matemtica ento estudarei.
Ou estudo ou sou reprovado.
CONCLUSO: Se eu reprovo ento no gosto de matemtica.
(c) Se Londres no ca na Dinamarca ento Paris no ca na Frana.
Paris ca na Frana.
CONCLUSO: Londres ca na Dinamarca.
(d) Se no chover eu no tomo banho.
Choveu.
CONCLUSO: Tomei banho.
(e) Se eu vou s compras ento no faz sol.
Se lavo o carro faz sol.
Lavei o carro.
CONCLUSO: No fui s compras.
(f) No aniversrio de minha esposa trago-lhe ores.
aniversrio de minha esposa ou eu trabalho at tarde.
Eu no trouxe ores para minha esposa hoje.
CONCLUSO: Hoje trabalhei at tarde.
2. Repetir o problema anterior para os seguintes argumentos:
(a) p q , r q (r p);
(b) t r , t v, r s ;
(c) p q, q r, p r ( q r) ;
(d) q p, ( p) q ;
(e) p (q p) p q ;
3. Quando possvel, estabelecer uma concluso para cada grupo de proposies
abaixo (premissas):
(a) Se eu ligar o rdio no ouo o telefone.
Se no ligar o rdio toca a campainha.
No tocou a campainha.
(b) Se uma planta for arbusto ento ela no produz or.
Se a planta no faz rvore ento ento arbusto.
A planta produziu or.
(c) Se o sol no est quente ento vou praia.
O sol est quente.
4. Provar que x = 0 dadas as seguintes premissas:
(a) x ,= 0 ento x = y ;
(b) x = y ento x = z ;
(c) x ,= z .
5. Provar a"dadas as premissas: a b , b c , c.
6. Provar a v dadas as premissas: t a , v t , a m , v
m.
7. Provar t dadas as hipteses (premissas): p s , p q , s r
t , q r.
8. Demonstrar s dadas as hipteses: t r , r , t s.
9. Admitindo p q e r q, verique p r.
1.3. SENTENAS ABERTAS 29
1.3 Sentenas Abertas
Consideremos sentenas do tipo: x um nmero primo, ele joga bola, etc. No
podemos dar-lhes um valor lgico, h uma certa indeterminao. Desta forma
estas sentenas no so proposies. Elas tornam-se proposies se substituirmos
as variveis x, y, z, ele, ela, etc. por um valor ou nome conhecido.
Chama-se sentena aberta com uma varivel em um conjunto A ou
apenas sentena aberta em A, uma expresso s(x) tal que s(a) falsa ou
verdadeira para todo a A. Em outras palavras, s(x) uma sentena aberta em
A se, e somente se, s(x) admite um valor lgico (verdadeiro ou falso) sempre que
substituirmos a varivel x por qualquer elemento a do conjunto A. O conjunto
A chamado de conjunto universo ou domnio da varivel x. Dado um
elemento a de A, se s(a) torna-se verdadeira, ento dizemos que a satisfaz ou
verica s(x). A sentena aberta com uma varivel em A chamada de funo
proposicional em A
Exemplo 1.29
(a) x + 1 > 8
(b) x + 5 = 9
(c) x + 7 < 5
(d) x primo.
(e) x um mltiplo de 3.
(f) x
2
5x + 6 = 0.
Chama-se conjunto verdade (ou conjunto soluo) de uma sentena aberta
s(x) em um conjunto A, o conjunto de todos os elementos a A que satisfazem
s(x), isto , tais que s(a) uma proposio verdadeira. Este conjunto representa-
se por V .
V = x [ x A e s(x) verdadeira A
1.3. SENTENAS ABERTAS 30
Exemplo 1.30
(a) s(x) : x + 1 > 8, A = N
V = x [ x N e x + 1 > 8 = x [ x N e x > 7 = 8, 9, 10, ...
(b) s(x) : x + 5 = 9, A = N
V = x [ x N e x + 5 = 9 = 4
(c) s(x) : x + 7 < 5, A = N
V = x [ x N e x + 7 < 5 =
(d) s(x) : x primo , A = N
V = x [ x N e x primo
(e) s(x) : x um multiplo de 3 , A = N
V = x [ x N e x multiplo de 3 = 0, 3, 6, 9, ...
(f) s(x) : x
2
5x + 6 = 0, A = N
V = x [ x N e x
2
5 + 6 = 0 = 2, 3
Observao 1.5
1. O Conjunto Verdade de um sentena aberta depende do universo adotado.
Mudando o universo, o conjunto verdade pode mudar tambm.
2. Podem ocorrer trs casos:
(a) s(x) verdadeira para todo x A, neste caso, diremos que s(x)
exprime uma condio universal. (V = A)
(b) s(x) verdadeira para algum x A, neste caso, diremos que s(x)
exprime uma condio possvel. (V A)
(c) s(x) falsa para todo x A, neste caso, diremos que s(x) exprime
uma condio impossvel. (V = )
1.4. QUANTIFICADORES 31
3. As sentenas abertas podem ser denidas com mais de uma varivel.
Exemplo 1.31
x +y = 10, onde A = RR
x
2
+ 2y + 3z = 18, onde A = R
3
4. Em Matemtica, as equaes e as inequaes so sentenas abertas que
exprimem relao de igualdade e desigualdade, respectivamente, entre duas
expresses com variveis. Mas, o conceito de sentena aberta muito mais
amplo que o conceito de equao ou inequao; assim, x divide y, x
primo com y, y mltiplo de x, etc., so sentenas abertas, sem serem
equaes nem inequaes.
1.4 Quanticadores
Vimos que uma sentena aberta carece de valor lgico V ou F. Mas podemos
transformar uma sentena aberta em proposio utilizando quanticadores.
1.4.1 Quanticador Existencial
O quanticador algum ou existe chamado quanticador existencial. Indica-
se com o smbolo precedendo a sentena aberta: x, s(x) ou x A, s(x).
O smbolo ( x) pode ser lido como:
Existe x, existe algum elemento x ou existe pelo menos um x.
Exemplo 1.32
(a) s(x) : x > x
2
, A = R (no tem valor lgico)
x R, x > x
2
(tem valor lgico verdade)
V = x [ x R e x > x
2
= (0, 1) A
(b) s(x) : x
2
9
x R, x
2
9 (V)
V = x [ x R e x
2
9 = [3, 3] A
(c) x
2
4
x R, x
2
4 (V)
V = x [ x R e x
2
4 = (, 2) (2, ) A
Observao 1.6
O quanticador existencial indica que a sentena aberta possui pelo menos um
elemento do conjunto que a torna verdadeira, podendo eventualmente ter outros
elementos.
1.4.2 Quanticador Universal
O quanticador para todo ou para qualquer chamado quanticador univer-
sal. Indica-se com o smbolo precedendo a sentena aberta: x, s(x) ou
x A, s(x).
O smbolo x pode ser lido: para qualquer x... ou para todo x...
Exemplo 1.33
(a) s(x) : n + 3 > 2, A = N
n N, n + 3 > 2 (V)
V = n [ n N e n + 3 > 2 = N
(b) s(x) : x
2
0, A = R
x R, x
2
0 (V)
V = x [ x R e x
2
0 = R
1. s(x) :
1
x
1, A = R
x R,
1
x
1 (F)
V = x [ x R e
1
x
1 = (, 0) (1, ) = R/[0, 1]
1.4.3 Quanticao em sentenas de duas variveis
Podemos quanticar as sentenas da forma s(x, y) de maneira anloga ao caso
de uma varivel. Porm, cada varivel exige um quanticador.
Exemplo 1.34
Para a sentena 2x + y = 6 no conjunto universo N N, podemos obter as
seguintes proposies:
a : x N, y N [ 2x +y = 6
b : x N [ y N, 2x +y = 6
c : x N [ y N, 2x +y = 6
d : x N [ y N, 2x +y = 6
A proposio a acima falsa, porque, por exemplo para x = 4 impossvel
obter algum y N que satisfaa 2x + y = 6. Uma forma de tornar a uma
proposio verdadeira, escrever a proposio a
: 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
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;
(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
(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;
(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
signica os inteiros no nulos.

(b) R
+
signica os reais no negativos.
1.5. CONDIES NECESSRIA E SUFICIENTE 38
1.5 Condies Necessria e suciente
Uma implicao lgica P Q lida como P implica Q. Mas comum
tambm utilizarmos as seguintes nomenclaturas:
P condio suciente para Q
Q condio necessria para P
Suponhamos que a proposio P seja uma condio suciente para a proposio
Q, de acordo com o que foi dito acima, devemos ter P Q, verdadeiro. Agora
se a mesma P for tambm uma condio necessria para Q, temos P Q
verdadeira. Desta maneira, temos que a armao P necessria e suciente
para Q signica que vale a equivalncia lgica P Q.
Muitos resultados na matemtica aparecem sob a forma:
Teorema 1.1 Uma condio necessria e suciente para P Q.
Vejamos os exemplos a seguir:
Exemplo 1.36
(i) Uma condio necessria e suciente para um nmero a ser positivo que
a seja negativo.
(ii) Seja x um nmero inteiro. Uma condio necessria e suciente para
x
2
ser um nmero inteiro que x seja par.
(iii) Uma condio necessria e suciente para que [x[ k que k x k.
Notemos que em todos estes exemplos (e em todas as armaes que en-
volvem o termo necessrio e suciente) temos duas armaes condicionais.
No exemplo 1.36, tem (iii) acima, tais armaes so as seguintes:
Se [x[ k ento k x k e
Se k x k ento [x[ k.
1.6. TEOREMAS E DEMONSTRAES 39
1.6 Teoremas e Demonstraes
Teoremas so proposies matemticas compostas e que, em geral, so dadas
nas formas de implicao ou equivalncia lgica:
P Q ou P Q.
P dita a hiptese do teorema enquanto Q a tese.
Sabemos que P Q (P Q) (Q P), o que mostra que todo
teorema consiste em proposies na forma condicional P Q.
Demonstrar um Teorema na forma P Q signica apresentar um argu-
mento vlido cuja concluso seja P Q. Portanto, demonstrar um Teorema
na forma P Q consiste em mostrar que, em todas as situaes em que P for
verdadeira, Q tambm ser verdadeira.
Exemplo 1.37
Teorema 1.2 Se dois nmeros inteiros so pares ento sua soma par.
Sejam m e n dois nmeros inteiros pares quaisquer. Estudando alguns casos
particulares de m e n, observamos que a armao satisfeita:
m n m+n
2 2 4
2 4 6
4 6 10
10 8 18
Mas esta vericao de alguns casos permite no mximo acreditarmos que a
armao verdadeira. A demonstrao efetiva deve ser feita de uma nica vez,
abrangendo todos os casos.
Devemos provar que, em todos os casos onde a hiptese for verdadeira, isto
, que m e n so pares, ento m +n par.
Para tanto, devemos denir precisamente um nmero inteiro par. De maneira
geral, dizemos que n Z par se n = 2k, onde k um outro nmero inteiro.
Assim sendo, a demonstrao do Teorema 1.2, ca assim:
Demonstrao:
Sejam m e n nmeros inteiros pares, ento podemos escrever m = 2k e
n = 2l, onde k e l so nmeros inteiros.
Temos m+n = 2k +2l = 2(k +l). Logo m+n = 2k
, onde k
um nmero
inteiro, porque k
= k+l e a soma de dois nmeros inteiros um nmero inteiro.

Assim, m + n satisfaz a denio de ser um nmero par e portanto a tese de
que m +n par verdadeira.
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
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.6.1 Corolrios e Lemas

O termo Corolrio empregado para designar um Teorema que resulta de um
Teorema anterior j provado e que, geralmente, uma conseqncia imediata do
mesmo.
Como exemplo consideremos o seguinte Teorema:
Teorema 1.4 Se dois nmeros inteiros so mpares, ento seu produto um
nmero mpar.
Lembrando que n Z chamado mpar se n for sucessor de um nmero
par, ou seja, n = 2k + 1, onde k Z. Antes de demonstrar o Teorema 1.4,
observemos que segue como resultado imediato deste Teorema, o seguinte:
Corolrio 1.1 Se dois nmeros inteiros so mpares ento seu produto no
um mltiplo de 4.
Fazendo jus ao nome Corolrio, este resultado tem de fato uma demonstrao
imediata a partir do Teorema 1.4.
Demonstrao:
Dados dois nmeros inteiros mpares, digamos m e n, ento o produto m n
mpar pelo Teorema 1.4. Portanto m n no pode ser mltiplo de 4 j que um
nmero mltiplo de 4 tambm mltiplo de 2, logo par.
Vemos portanto que suciente provarmos o Teorema 1.4, j que a demons-

trao do corolrio segue quase de presente. A Demonstrao do Teorema 1.4,
por sua vez, ca assim:
Demonstrao:[Teorema 1.4]
Sejam m e n dois nmeros inteiros mpares quaisquer, ento podemos escre-
ver m = 2k + 1 e n = 2l + 1, com k e l nmeros inteiros. Assim,
m n = (2k + 1)(2l + 1) = 4kl + 2k + 2l + 1 = 2(2kl +k +l) + 1,
ou seja m n pde ser escrito como m n = 2k
+ 1, onde k
o nmero
inteiro k
= 2kl + k + l. Portanto m n um nmero mpar por satisfazer a

denio de tal.
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
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.
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.

1.6.4 Demonstrao por reduo ao absurdo
Como na seo anterior, tratamos de uma alternativa para a demonstrao de
condicionais p q. Este tipo de demonstrao baseia-se na equivalncia lgica:
p q (p q) f (1.3)
onde f designa a proposio logicamente falsa (contradio).
A equivalncia p q (p q) f pode facilmente ser vericada atravs
da tabela-verdade. Veja:
p q f q p q p q f p q
V V F F F V V
V F F V V F F
F V F F F V V
F F F V F V V
Note que a sexta e stima colunas so idnticas.
Segundo a equivalncia 1.3, a tarefa de demonstrar uma proposio do tipo
p q, pode ser feita mostrando que a hiptese de p q conduz f, isto
conduz a uma contradio.
No incio de uma demonstrao deste tipo, costume dizer suponhamos por
absurdo que vale p q e vamos obter uma contradio f.
Vejamos um exemplo:
Teorema 1.7 3 +
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 ento 3 +
2 um nmero irracional.
Demonstrao:
Suponhamos por absurdo que 3 um nmero racional,

2 um nmero irra-
cional, mas que 3 +
2 seja um nmero racional. Vamos obter a partir da uma

contradio.
Ora, temos 3 +
2 = r, onde r um nmero racional o que d
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.
1.6.5 Demonstrao por equivalncias

Algumas proposies, dadas por igualdades ou desigualdades de nmeros reais,
podem ser demonstradas por operaes equivalentes, at que se atinja uma ex-
presso que possa ser qualicada como verdadeira ou falsa. Assim, como as
proposies inicial e nal sero equivalentes, vamos ter a proposio inicial ver-
dadeira se, e somente se, a expresso nal for.
Exemplo 1.39
Demonstrar que
_
4 + 2
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
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.
Observao 1.7 (Ateno!)

Na demonstrao por equivalncias, devemos ter cuidado na certicao de
que cada passo equivalente ao passo seguinte. Lembrando que numa equiva-
lncia p q deve-se assegurar p q e q p.
1.6.6 EXERCCIOS
1. Vericar se as proposies a seguir so falsas ou verdadeiras e utilize al-
gum mtodo para demonstrar. Lembre que, em muitos casos um contra-
exemplo suciente para demonstrar a falsidade de uma proposio.
(a) Se n par ento n + 2 par;
(b) Se n
2
+ 2 um nmero par ento n par;
(c) O nmero 2
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;
(h) Todo tringulo retngulo tm dois ngulos agudos ;
(i) Para quaisquer a, b R, a 2ab +b
2
nunca negativo ;
(j)

x +y =
x +
y se, e somente se, x = y = 0;

(k) Para todo k N, k
2
+k um numero par ;
(l) Se n um nmero natural, ento
n(n + 1)
2
N;
(m) Se x
2
y
2
com x e y naturais no-nulos, for um nmero natural
primo ento x e y so consecutivos. (Dica: Fatore x
2
y
2
e use o
item (n) a seguir);
(n) Se x +y = 1 onde x, y N, ento x = 0 ou y = 0;
(o) Se
2x + 1
x 1
> 1, ento x > 2;
(p) Se x um nmero real tal que 4 x
2
9, ento x pertence ao
intervalo [2 , 3].
2. Repita o exerccio anterior para as recprocas das proposies condicionais.
Captulo 2
Uma introduo a Teoria dos
Conjuntos
Um conjunto A uma coleo ou famlia de elementos ou objetos.
Dados um conjunto A e um objeto qualquer x (que pode ser at mesmo
outro conjunto), a nica pergunta cabvel em relao a eles a seguinte: x ou
no um elemento do conjunto A? No caso armativo, diz-se que x pertence
ao conjunto A e escrevemos x A. Caso contrrio, escreve-se x / A.
A matemtica se ocupa primordialmente de nmeros e do espao. Portanto,
os conjuntos mais freqentemente encontrados, na matemtica so os conjuntos
numricos, as guras geomtricas (que so conjuntos de pontos) e os conjuntos
que derivam destes, como os conjuntos de funes, de matrizes, etc.
Conjuntos permitem dar aos conceitos e s proposies uma maior preciso,
generalidade e simplicao. Os conjuntos substituem as propriedades e as
condies. Assim ao invs de dizermos o nmero x satisfaz a propriedade P
podemos escrever simplesmente x B, para algum conjunto adequado B.
Por exemplo, mais simples escrever x 2n, n Z do que dizer x um
inteiro par. Chamando B = 2n, n Z a proposio: Se x e y so nmeros
pares ento x +y um nmero par pode simplesmente ser escrita como:
Se x, y B ento x +y B.
49
2.1. CONJUNTO UNIVERSO E CONJUNTO VAZIO 50
2.1 Conjunto universo e conjunto vazio
Ao tratar uma determinada classe de conjuntos, comum xarmos um conjunto
maior, que abrange todos os membros desta classe. Tal conjunto, geralmente
denotado por U, chamado o conjunto universo para a referida classe.
D-se o nome de conjunto vazio, quele que no possui nenhum elemento.
O conjunto vazio, denotado por , pode ser denido tambm, por qualquer
propriedade contraditria. Por exemplo, = x U [ x ,= x.
Em muitas situaes na matemtica importante saber que um determinado
conjunto X no vazio. Para mostrar que este conjunto X no vazio, basta
simplesmente encontrar um objeto x tal que x X.
Outros conjuntos curiosos so os unitrios. Dado um objeto x qualquer, o
conjunto unitrio x tem como nico elemento esse objeto x.
Ateno: Note que x e x no so a mesma coisa. Por exemplo ,= ,
pois um conjunto que possui o elemento . Por isso tem sentido escrever
, neste caso.
2.2 Incluso de Conjuntos. Subconjuntos
Denio 2.1
Dados A e B conjuntos de um mesmo universo U. Dizemos que A est
contido ou igual a B e representamos por A B se a seguinte proposio
condicional for verdadeira.
Se para todo x A ento x B. (2.1)
Observao 2.1
(1) Note que para no valer A B suciente que x A [ x / B. Neste
caso escrevemos A , B.
(2) claro que se U um conjunto universo para uma determinada classe de
elementos ento A U para todo conjunto A neste universo.
2.3. IGUALDADE DE CONJUNTOS 51
(3) Tambm para todo conjunto B sempre temos B. Isto ocorre porque
a condicional 2.1 verdadeira j que x sempre falso.
(4) Quando A B dizemos que A um subconjunto de B, ou ainda que A
uma parte de B.
2.3 Igualdade de Conjuntos
Denio 2.2
(1) Dados A e B subconjuntos de um conjunto universo U. Dizemos que
A = B se A B e B A. Quando uma destas condies no se verica
dizemos que A ,= B.
(2) Quando A B mas B , A dizemos que A est contido propriamente
em B, ou que A um subconjunto prprio de B fato representado por
A B.
Outras notaes freqentemente utilizadas na linguagem de conjuntos so:
B A que quer dizer A B;
B x que quer dizer x B;
B A que quer dizer A B;
A, B X que quer dizer A X e B X.
Demonstraremos duas propriedades quase imediatas da incluso de conjuntos:
Proposio 2.1 : Sejam A, B e C subconjuntos de um mesmo conjunto uni-
verso U. Valem as seguintes propriedades:
(i) A A, propriedade reexiva.
(ii) Se A B e B C ento A C, propriedade transitiva.
2.4. DIFERENA ENTRE CONJUNTOS
CONJUNTO COMPLEMENTAR 52
Demonstrao:
(i) Dado qualquer x A, a condicional x A x A verdadeira, logo
realmente A A.
(ii) Suponhamos verdadeiro que A B e B C, mostraremos que A C.
Dado qualquer x A, ento a condio A B mostra que x B. Agora,
como B C vamos ter x C. Concluso: x A temos x C. Isto mostra
que A C.
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
= U B = x U [ x / B temos x / B. Em relao a A temos duas

possibilidades para x: x A ou x / A. Se x A como A B teramos x B,
o que impossvel j que tnhamos x / B. Portanto x / A, isto x A
.
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
, podemos concluir que x A. Assim (A
A.
Provemos agora que A (A
. Seja x A, ento certamente x / A
, de
modo que x (A
. Portanto A (A
. Est concludo a demonstrao de

que A = (A
2.5. OPERAO COM CONJUNTOS:

UNIO E INTERSECO 54
2.5 Operao com Conjuntos:
Unio e interseco
Uma operao sobre um determinado conjunto de elementos E uma forma
de associar elementos de E de modo a obter outro elemento de E. Assim, por
exemplo quando E = N, a soma e o produto so operaes em E, enquanto a
subtrao no uma operao em E, j que, por exemplo, para os elementos 2
e 3 em N, temos 3 2 N, mas 2 3 / N.
Consideremos agora E um conjunto de conjuntos. Dados dois elementos de
E, que aqui so dois conjuntos, digamos A e B, existem duas formas simples de
obter um terceiro conjunto a partir deles; basta construirmos da seguinte forma:
A B = x U [ x A ou x B ,
chamado conjunto unio (ou reunio) de A e B.
A B = x U [ x A e x B ,
chamado conjunto interseo de A e B.
A seguir enunciamos algumas propriedades imediatas da unio e da interseo:
Proposio 2.3 : Para quaisquer subconjuntos A e B de um universo U valem
as propriedades:
(i) A A B, B A B;
(ii) A A B e B A B;
(iii) Propriedades reexivas: A A = A e A A = A;
(iv) Propriedades comutativas: A B = B A e A B = B A.
Demonstrao:
(i) Para provarmos que A AB consideremos x A, ento verdadeira
a armao x A ou x B, o que mostra termos x A B. Portanto,
A A B. Analogamente B A B.
(ii) Veriquemos que A A B, ou seja, A B A.
UNIO E INTERSECO 55
Consideremos x AB. Ento, como AB = x U [ x A e x B,
podemos escrever x A e x B . Em particular, sempre verdadeiro que
x A. Portanto, A B A. Analogamente prova-se que A B B.
(iii) Mostraremos que AA = A. Dado x AA, temos x A ou x A
e certamente podemos armar que x A; ou seja A A A. Agora dado
x A verdadeira a armao x A ou x A e podemos escrever x AA.
Logo A A A. Temos assim, A = A A. tambm imediato vericar que
A = A A.
(iv) Para vericarmos que AB BA consideraremos x AB, ento
x A ou x B. Ento tambm correto armar x B ou x A o que
signica termos x B A. Similarmente vericaremos que B A A B.
Juntando as concluses temos, de fato, A B = B A. A vericao de que
A B = B A tambm imediata.
Proposio 2.4 Para quaisquer que sejam os subconjuntos A ,B e C do uni-

verso U, valem as propriedades:
(a) Propriedades associativas:
(i) Associativa da unio: (A B) C = A (B C)
(ii) Associativa da interseo: (A B) C = A (B C)
(b) Propriedades distributivas:
(i) Distributiva da unio pela interseo: A(BC) = (AB)(AC)
(ii) Distributiva da interseo pela unio: A(BC) = (AB)(AC)
Demonstrao:
Seja x (A B) C ento x A B ou x C. Estudemos as duas
possibilidades: Se x A B ento x A ou x B. Se x A ento
x A (B C) e caso x B temos x B C e tambm se verica que
UNIO E INTERSECO 56
x A(B C). A segunda possibilidade que x C. Neste caso x B C
e certamente x A (B C).
Acabamos de ver portanto que (AB)C A(BC). Para vericarmos
a incluso contrria tomamos x A (B C). Ento x A ou x (B C).
Se x A ento x A B e podemos armar que x (A B) C. Se
x B C ento x B ou x C. Se x B ento x A B e certamente
x (A B) C. Se x C tambm teremos x (A B) C. Logo
A (B C) (A B) C e juntando com o que provamos acima, podemos
dizer que vale a igualdade: A (B C) = (A B) C.
A demonstrao da associatividade da interseo deixada como exerccio.
Para provarmos as distributividades vamos vericar inicialmente que
A (B C) (A B) (A C)
Para tanto, consideremos um arbitrrio x A(BC), ento, por denio,
x A e x B C. De x B C podemos escrever x B ou x C. Mas,
sempre vale x A, o que nos permite dizer que x A e x B ou x A e
x C, isto , x (A B) (A C).
Demonstraremos agora que (A B) (A C) A (B C). Seja x
(AB) (AC), ento duas possibilidades ocorrem x AB ou x AC.
Caso x A B ento x A e x B ou ainda x A e x B C, de forma
que x A(B C). Supondo que x AC ento x A e x C, ou ainda
x A e x B C o que permite-nos dizer que x A (B C). Assim, de
fato (A B) (A C) A (B C).
Para mostrarmos que A (B C) = (A B) (A C) comecemos com
A(BC) (AB)(AC). Dado x A(BC) ento x um elemento
de A ou de B C. Se x A ento verdade que x A B e x A C e
podemos armar que x (A B) (A C). Caso x B C ento x B e
x C, ou ainda x AB e x AC; e certamente x (AB) (AC).
Logo realmente vale A (B C) (A B) (A C).
Veriquemos nalmente que vale (A B) (A C) A (B C).
Tomando x (AB)(AC) temos x AB e x AC. Observemos
UNIO E INTERSECO 57
que se x A, ento claro que x A (B C). Mas, se x / A, como
x A B e x A C, teremos respectivamente x B e x C, isto ,
x B C, o que permite-nos escrever x A (B C). Portanto de fato,
(AB) (AC) A(BC). Como j provamos a incluso contrria, vale
a igualdade.
Proposio 2.5 (Leis de De Morgan) Para quaisquer subconjuntos A e B

de um mesmo universo U temos:
(i) (A B)
= 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
. Como x arbitrrio, est provado

que (A B)
= A
. Para vericarmos a incluso contrria, seja

x A
, ento x A
e x B
o que nos d que x / A e x / B.

Assim, certamente correto armar que x / AB, ou seja x (AB)
.
Portanto A
(A B)
e em vista de (A B)
, vale a
igualdade.
(ii) Inicialmente vamos vericar que (AB)
. Dado x em (AB)
ento x / A B. Como A B = x U [ x A e x B, ocorre a

negao de x A e x B, isto , x / A ou x / B. Em outras
palavras x A
ou x B
, ou seja x A
. Para mostrar que

A
(AB)
consideremos x A
. Ento x A
ou x B
.
Se x A
ento x / A e certamente x / A B o que d x (A B)
,
analogamente se x B
. Com isso provamos que A
= (A B)
.
2.6. O CONJUNTO DAS PARTES DE UM CONJUNTO 58
As operaes de unio e interseo de conjuntos so extensveis a qualquer

nmero de conjuntos, inclusive innito. Se A
1
, A
2
, . . . , A
n
so n conjuntos da-
dos, ento A
1
A
2
. . . A
n
=
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[;
(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[ .

Observao 2.2
O item (a) da proposio acima generaliza-se para qualquer nmero nito
A
1
, . . . , A
n
de conjuntos disjuntos dois a dois, isto , tais que A
i
A
j
= se
i ,= j. Vale, [A
1
A
2
. . . A
n
[ = [A
1
[ + [A
2
[ + . . . + [A
n
[, como fcil
vericar (mesma idia da demonstrao empregada ao item (a)).
No caso geral, isto , sem necessariamente a condio dos conjuntos A
i
serem disjuntos, dois a dois, a frmula para [A
1
A
2
. . . A
n
[ generaliza o
que ocorre no caso (c). Por exemplo, para n = 3 pode-se mostrar (veja lista de
exerccios) que:
[A B C[ = [A[ +[B[ +[C[ [A B[ [A C[ [B C[ +[A B C[ .
Exemplo 2.4
Aplicaes
1) Numa escola, 180 alunos gostam de estudar Matemtica, 120 gostam de
estudar Fsica e 80 gostam das duas disciplinas.
a) Quantos so os alunos desta escola que gostam de estudar uma destas
duas disciplinas?
b) Quantos gostam de estudar Matemtica mas no de fsica?
Soluo:SejamM o conjunto dos que gostam de Matemtica e F o conjunto
dos que gostam de Fsica. Temos [M[ = 180, [F[ = 120 e [M F[ = 80
a) Um aluno que gosta de estudar Matemtica ou Fsica pertence ao conjunto
MF. Temos: [M F[ = [M[ +[F[ [M F[ = 180+12080 = 220.
Logo, 220 alunos gostam de Fsica ou Matemtica.
b) Quem gosta de Matemtica, mas no de fsica pertence ao conjunto MF,
ou ainda M (MF), pois assim podemos usar o item (b) da proposio
anterior: [M (M F)[ = [M[ [M F[ = 180 80 = 100.
Exemplo 2.5
Na vizinha cidade de Andracite h 1000 famlias. Destas, 470 so assinantes
do jornal Status, 420 so assinantes do jornal Folhas e 315 assinantes do jornal
Globus. Admitindo 140 assinam Globus e Folhas, 220 assinam Globus e Status,
110 assinam Folhas e Status e 75 assinam os trs, responda:
(a) Quantas famlias no assinam jornal?
(b) Quantas famlias assinam um dos jornais?
(c) Quantas famlias assinam somente um dos jornais?
Soluo:Responderemos inicialmente o item (b). Sejam S o conjunto da
famlias assinantes de Status, F o conjunto da famlias assinantes de Folhas, G
o conjunto da famlias assinantes de Globus.
A famlia que assina pelo menos um dos jornais pertence ao conjunto SF
G. O nmero total destas famlias portanto [S F G[. Usando a frmula
encontrada temos,
[S F G[ = [S[ +[F[ +[G[ [S F[ [S G[ [F G[ +[S F G[
= 470 + 420 + 315 110 220 140 + 75 = 810.
Logo resolvemos tambm o item (a), porque a famlia que no assina jornal
pertence ao conjunto (S F G)
= U (S F G), e ento o nmero destas

famlias , de acordo com o item (b) da proposio anterior,

(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
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
(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.
2.11 Produto Cartesiano de vrios Conjuntos

A noo de produto cartesiano denida para dois conjuntos, estende-se de maneira
natural a qualquer nmero nito n (n 2) de conjuntos.
Denio 2.4
Chama-se produto cartesiano, ou simplesmente produto dos n conjuntos
A
1
, . . . , A
n
ao conjunto de todas as n-uplas (x
1
, x
2
, . . . , x
n
) onde x
1
A
1
, x
2

A
2
, . . . , x
n
A
n
.
2.11. PRODUTO CARTESIANO DE VRIOS CONJUNTOS 68
Notao: A
1
A
2
. . . A
n
ou
n
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
(a) Encontre outra apresentao para o conjunto T. Dica: Procure obter

algo parecido com os tens b,c e d do exerccio 19
(b) Decida se (80, 127) T e se (26, 30) T
23. Seja E um conjunto denido da seguinte forma: E =
_
a +b
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
.
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
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
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
_
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.
(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
(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.2 Segundo Princpio de Induo Finita

Existe uma segunda verso do algoritmo de induo muito apropriada para algu-
mas demonstraes sobre nmeros naturais.
Teorema 3.2 (Segundo Princpio de Induo Finita)
Seja P(n) uma proposio sobre nmeros naturais n a, onde a N xo.
Suponhamos que P(n) satisfaa as seguintes condies:
(i) P(a) verdadeira;
3.2. SEGUNDO PRINCPIO DE INDUO FINITA 85
(ii) Se P(r) verdadeira para todo r N tal que a r k ento P(k + 1)
tambm verdadeira.
Observemos que a diferena principal entre o Primeiro e o Segundo Princpio
de Induo que o Segundo Princpio mais generoso. Enquanto no primeiro
princpio, na hiptese de induo admitimos apenas P(k) verdadeiro, no segundo
princpio admitimos P(r) verdadeiro para todos r k. Ou seja nossa hiptese
de induo mais ampla.
Exemplo 3.9
Suponhamos que X seja um subconjunto de nmeros naturais denido por:
X = u
n
N [ u
0
= 2, u
1
= 3, e u
k+1
= 3u
k
2u
k1
com k = 1 conseguimos determinar u

2
,veja:
u
2
= u
1+1
= 3u
1
2u
0
= 3 (3) 2 (2) = 5
E assim em diante determinando u
3
, u
4
, . . .
u
3
= u
2+1
= 3u
2
2u
1
= 3(5) 2(3) = 9
u
4
= u
3+1
= 3u
3
2u
2
= 3(9) 2(5) = 17
Assim sucessivamente...
Se observarmos bem, nossos nmeros u
n
aparentam seguir a seguinte frmula.
u
n
= 2
n
+ 1
Provaremos tal armao, isto , que a seguinte proposio verdadeira:
P(n) : Se u
0
= 2, u
1
= 3, e u
k+1
= 3u
k
2u
k1
, para todo k, ento
u
n
= 2
n
+ 1, para todo n N.
Demonstrao: Usaremos o segundo princpio de induo.
(i) Para n = 0 temos u
0
= 2 = 2
0
+ 1, ou seja vale P(n) para n = 0.
3.3. EXERCCIOS 86
(ii) Suponhamos P(r) verdadeiro para todo 0 r k e provaremos que
P(k + 1) verdadeiro, isto , que u
k+1
= 2
k+1
+ 1.
Ora, temos da denio que u
k+1
= 3u
k
2u
k1
. Como a proposio vale
para 0 r k, ento vale em particular para k e k 1. Isto , u
k
= 2
k
+ 1 e
u
k1
= 2
k1
+ 1.
Assim,
u
k+1
= 3u
k
2u
k1
= 3(2
k
+1)2(2
k1
+1) = 32
k
+32
k
2 = 22
k
+1 = 2
k+1
+1
Portanto, a frmula vale para k + 1.
Satisfeito as condies do Segundo Princpio de Induo podemos armar
que P(n) vale para todo n 0.
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
= k+l. Como k+l Z, claro que m+n aZ,

isto , m +n mltiplo de a.
88
89
Para o produto temos
m n = (ka)(la) = (kl)a = (kal)a = l
a
onde l
= kal. Assim, m n a Z, isto , m n mltiplo de a.
Denio 4.2 Divisibilidade

Dizemos que um inteiro b divide um inteiro a se existe um inteiro c tal que
a = c b
Diz-se tambm que a divisvel por b ou que b um divisor de a.
Notao: Usaremos b [ a para denotar que b divide a e b a caso contrrio,
isto , quando b no divide a.
Exemplo 4.2
(i) Temos 2 [ 18 pois 18 = 2 9
(ii) 3 [ 15 pois existe o inteiro 5 satisfazendo 15 = 5 3
(iii) 4 [ 12 pois existe o inteiro c = 3 tal que 12 = (4)(3)
(iv) 2 15 pois no existe c Z tal que 15 = c 2
Suponhamos que b ,= 0, ento o inteiro que cumpre a denio de b [ a
nico. De fato, temos que c =
a
b
, onde c chamado o quociente de a por b.
Veremos agora as primeiras propriedades da divisibilidade.
Proposio 4.2 Quaisquer que sejam os inteiros a, b, c e d valem:
(i) a [ a (Propriedade reexiva);
(ii) Se a [ b e b [ a ento a = b (Propriedade anti-simtrica);
(iii) Se a [ b e b [ c ento a [ c (Propriedade transitiva).
90
Demonstrao:
(i) Como a = 1 a vemos pela denio que a [ a.
(ii) Temos por hiptese que a [ b e b [ a, assim podemos escrever b = ka
e a = lb com k, l Z. Substituindo a primeira igualdade na segunda,
temos a = l(ka) ou seja a = kla. Da, a(1 kl) = 0 e ento a = 0 ou
1kl = 0. Se a = 0, ento como b = ka temos b = 0 e neste caso a = b.
Se 1 kl = 0 ento kl = 1 e como k e l so nmeros inteiros as nicas
possibilidades so k = l = 1 ou k = l = 1. Portanto, como a = lb
vamos ter a = b.
(iii) De a [ b temos b = k
1
a e de b [ c temos c = k
2
b. Logo, substituindo a
primeira igualdade na segunda obtemos c = k
1
k
2
a. Assim c = c
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
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
, dizemos que a e b so congruentes

mdulo n se a e b, quando divididos por n, possuem o mesmo resto.
Notao: Se a e b so congruentes mdulo n indicamos por
a b (mod n), do contrrio a , b (mod n).
Exemplo 4.4
(i) Temos que 27 6 (mod 3) porque ao serem divididos por 3, os nmeros
27 e 6 possuem resto 0.
(ii) Temos 27 6 (mod 7) porque o resto da diviso de 27 por 7 6, e claro
que o resto da diviso de 6 por 7 o prprio 6.
(iii) Temos 27 , 6 (mod 4) porque o resto da diviso de 27 por 4 3, enquanto
o resto da diviso de 6 por 4 2.
(iv) 5 9 (mod 7). De fato, 5 = 1(7) + 2 e 9 = 1(7) + 2 ou seja 5 e
9 tem o mesmo resto 2 quando divididos por 7.
(v) fcil conferir tambm que 11 3 (mod 4) j que 1 o mesmo resto
em ambas as divises por 4 de 11 e 3.
(vi) Quaisquer dois inteiros a e b so congruentes mdulo 1, ou seja
a b (mod 1), a, b Z. Isto ocorre porque todo inteiro dividido por 1
tem resto sempre 0.
Seria desejvel ter um critrio prtico para estabelecer quando dois inteiros
a e b so congruentes mdulo n.
Felizmente tal critrio existe e ser apresentado na seguinte proposio:
Proposio 4.4 Dados a, b, n Z com 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.
(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:
(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
)
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
. O maior elemento do conjunto D(a) D(b)

chamado o mximo divisor comum de a e b e representado por mdc(a, b).
Exemplo 4.7
Vamos calcular, segundo nossa denio, mdc(12, 15).
Temos,
D(12) = 1, 2, 3, 4, 6, 12
D(15) = 1, 3, 5, 15
D(12) D(15) = 1, 3 e mdc(12, 15)= 3.
Observao 4.3
A denio de mdc(a, b) s faz sentido porque D(a) D(b) ,= .
Quaisquer que sejam a, b Z vale que:
mdc(a, b) = mdc(a, b) = mdc(a, b) = mdc(a, b) Estas igualdades
ocorrem porque D(x) = D(x), isto , todo divisor de um nmero inteiro
x tambm divide x e vice-versa.
Em virtude da observao anterior, daqui para frente ao tratarmos mdc
sempre consideraremos nmeros inteiros positivos.
Teorema 4.2 (Identidade de Bezout) Sejam a e b inteiros positivos e
d = mdc(a, b), ento existem inteiros r e s tais que d = ra +sb.
Demonstrao: Consideraremos o conjunto S = ax+by [ x, y ZN.
S um conjunto de nmeros inteiros positivos. Logo podemos determinar o
menor elemento de S, isto , existe d
1
S tal que d
1
x para todo x S.
Temos d
1
S, logo d
1
= ar +bs para alguns r, s Z e nosso objetivo ser
mostrar que d
1
= mdc(a, b).
Mostraremos que d
1
[ a. Caso isto no ocorresse d
1
deixaria um resto t > 0
ao dividir a, isto , a = qd
1
+t com 0 < t < d
1
.
Assim, t = a qd
1
= a q(ar +bs) = a(1 qr) +b(sq).
Vemos portanto que t S, mas tal fato contradiz a denio de d
1
visto que
t < d
1
(lembre-se que d
1
o menor nmero de S). Esta contradio garante
que d
1
[ a.
Da mesma forma podemos mostrar que d
1
[ b.
Assim d
1
D(a) D(b). Como d o maior divisor comum de a e b resulta
d
1
d.
Observao 4.4
Notemos que o Teorema de Bezout nada arma sobre a unicidade dos elementos
r e s. De fato, eles no so necessariamente nicos como vemos no seguinte
exemplo:
Exemplo 4.8
Temos que mdc(6, 4) = 2. Ento pelo Teorema de Bezout podemos escrever
2 = 6r+4s com r, s Z. Isto pode ser feito, por exemplo, das seguintes formas:
2 = 6(1) + 4(1) e 2 = 6 3 + 4(4)
Denio 4.5 Um nmero inteiro p dito primo se D(p) = p, 1, 1, p, ou
seja os nicos nmeros divisores de p so os divisores triviais 1 e p.
Observemos que um nmero primo p tem a seguinte propriedade especial:
mdc(p, n) = 1, n Z, n no mltiplo de p
Outros pares de nmeros inteiros a, b podem tambm satisfazer a condio
mdc(a, b) = 1, sem que a ou b seja primo. o que ocorre, por exemplo, com
a = 4 e b = 9.
Para atender estes casos temos a seguinte denio:
Denio 4.6 Dois nmeros inteiros a e b so chamados primos entre si ou
relativamente primos se mdc(a, b) = 1.
Neste caso dizemos que a primo com b ou ainda que b primo com a.
Exemplo 4.9
12 primo com 25 pois mdc(12, 25) = 1.
Podemos extrair do Teorema de Bezout a seguinte caracterizao para nmeros
primos entre si:
Corolrio 4.4 Dois nmeros inteiros a e b so primos entre si se, e somente se
existem r, s Z tais que ar +bs = 1.
Demonstrao: Suponhamos que a e b sejam primos entre si. Por denio,
isto signica que d = mdc(a, b) = 1, e ento pelo Teorema de Bezout existem
r, s Z tais que ar +bs = 1.
Suponhamos agora que existem r, s Z tais que ar+bs = 1 e vamos vericar
que mdc(a, b) = 1. Seja d = mdc(a, b) ento d [ a e d [ b. Pela proposio 4.7
d [ ax + by para quaisquer x, y Z. Em particular d [ ar + bs ou seja d [ 1 e
com d > 0 devemos ter d = 1, ou seja mdc(a, b) = 1.
O prximo resultado mostra uma outra forma de denir o mximo divisor

comum:
Teorema 4.3 Sejam a, b inteiros positivos. Ento d = mdc(a, b) se, e somente
se, d satisfaz as seguintes condies:
(i) d > 0
(ii) d [ a e d [ b
(iii) Para todo inteiro d
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
[ b. Pela proposio 4.7 temos d
[ (ax + by) para todo

x, y Z. Agora uma vez que d = mdc(a, b) sabemos pelo Teorema de Bezout
que existem r, s Z tais que d = ar + bs. Como vimos d
[ (ar + bs) e ento

d
[ d.
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).
Com o prximo resultado obteremos um algoritmo para o clculo do mximo

divisor comum de dois inteiros:
Proposio 4.11 Sejam a e a
1
inteiros positivos com a a
1
e seja a
2
o resto
da diviso de a por a
1
, ento:
mdc(a, a
1
) = mdc(a
1
, a
2
). (4.3)
Demonstrao: Pelo algoritmo da diviso q Z tal que
a = qa
1
+a
2
, ou ainda a
2
= a qa
1
. (4.4)
De acordo com a proposio anterior para provarmos 4.3 devemos ter:
(i) mdc(a
1
, a
2
) 0
(ii) mdc(a
1
, a
2
) [ a e mdc(a
1
, a
2
) [ a
1
e
(iii) Se d
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.

A proposio seguinte mostra um caso em que o clculo de mdc de dois
nmeros inteiros imediato.
Proposio 4.12 Sejam a, b Z com a > 0 e a [ b. Ento mdc(a, b) = a.
Demonstrao: claro que a [ a e pela hiptese temos que a [ b. Se
d
Z e d
[ a e d
[ b ento d
[ a. Como a > 0, vemos que a cumpre as

condies do Teorema 4.3 para ser mdc(a, b).
A proposio 4.12 pode ser utilizada no clculo do mximo divisor comum

de dois inteiros como mostram os exemplos a seguir:
Exemplo 4.10
(i) mdc(18, 12)
Temos 18 = (12)1 +6 e pela proposio 4.11 mdc(18, 12) = mdc(12, 6) = 6
(ii) mdc(128, 30)
Temos, 128 = (30)4 + 8 e ento mdc(128, 30) = mdc(30, 8)
Como, 30 = 3(8) + 6, mdc(30, 8) = mdc(8, 6)
Mas, 8 = 1(6) + 2 e ento mdc(8, 6) = mdc(6, 2)
Como 6 = (2)3, ento mdc(6, 2) = 2
Alm disso, mdc(128, 30) = mdc(30, 8) = mdc(8, 6) = mdc(6, 2) = 2 e esta
ltima igualdade garantida pela proposio 4.12.
A seguir generalizaremos as tcnicas aplicadas aos exemplos acima.
Algoritmo das divises sucessivas
Dados a e a
1
dois inteiros positivos, aplicaremos diversas vezes a proposio
4.11, a m de obtermos mdc(a, a
1
). Tal processo conhecido como Algoritmo
das Divises Sucessivas ou Algoritmo de Euclides.
Como a proposio, seja a
2
o resto da diviso de a por a
1
. Caso
a
2
,= 0, aplicando a proposio novamente, para a
1
e a
2
obtemos
mdc(a, a
1
) = mdc(a
1
, a
2
) = mdc(a
2
, a
3
), sendo a
3
o resto da diviso de a
2
por
a
3
.
Se a
3
,= 0, aplicaremos novamente a proposio e assim sucessivamente,
obtendo as relaes:
mdc(a, a
1
) = mdc(a
1
, a
2
) = mdc(a
2
, a
3
) = . . . = mdc(a
k
, a
k+1
) = . . .
onde,
a = q
1
a
1
+a
2
0 a
2
< a
1
a
1
= q
2
a
2
+a
3
0 a
3
< a
2
a
2
= q
3
a
3
+a
4
0 a
4
< a
3
.
.
.
.
.
.
.
.
.
a
k1
= q
k
a
k
+a
k+1
0 a
k+1
< a
k
Chegar um momento onde certamente teremos um valor de k tal que
a
k+1
= 0, caso em que a
k1
= q
k
a
k
, de forma que
mdc(a, a
1
) = mdc(a
k1
, a
k
) = a
k
.
O algoritmo das divises sucessivas tambm pode ser utilizado no clculo dos
coecientes r e s do Teorema de Bezout.
Vejamos os exemplos:
Exemplo 4.11
Aplicaremos o mtodo das divises sucessivas para o clculo de mdc(105, 72).
Temos,
105 = 72 1 + 33
72 = 33 2 + 6
33 = 6 5 + 3 ()
6 = 3 2 + 0
_
_
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)
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
, neste caso um mltiplo comum de a e b simples-

mente o produto a b. Resta saber se este o mmc(a, b), pode ser ou no.
Por exemplo, mmc(2, 3) = 6, mas mmc(4, 6) = 12. Na verdade vale a seguinte
frmula:
Teorema 4.4 (Relao)
a b = mmc(a, b) mdc(a, b), para quaisquer inteiros positivos a e b.
Proposio 4.13 Se a, b so inteiros que dividem um inteiro c e mdc(a, b) = 1
ento ab [ c.
Demonstrao: (Proposio)
De a [ c e b [ c e sendo inteiros k e q tais que c = ka e c = qb. Por outro
lado, como mdc(a, b) = 1, segue do Teorema de Bezout que existem x, y Z
tais que ax +by = 1.
Ento c = c(ax+by) = cax+cby = (qba)x+(kab)y ou seja c = ab(qx+ky).
Como qx +ky Z, pode-se armar ab [ c.
Demonstrao: (Teorema)
Para simplicar suponhamos d = mdc(a, b) e m = mmc(a, b), portanto nossa
tarefa consiste em provar que ab = md.
Como d [ a e d [ b temos d [ ab o que nos d ab = rd
ab = rd (4.5)
para algum r Z. Logo basta provarmos que m = r. Para tanto vericare-
mos que m r e que r m.
Como d [ a e d [ b existem a
1
, b
1
Z tais que
a = a
1
d e b = b
1
d (4.6)
Levando estas igualdades em 4.5 obtemos a
1
b
1
d
2
= rd, ou ainda
r = a
1
b
1
d (4.7)
Podemos escrever esta igualdade como r = (a
1
d)b
1
= ab
1
como tambm
r = (b
1
d)a
1
= ba
1
, mostrando que r mltiplo de ambos, a e b. Pela denio
de m ser o mmc(a, b) devemos ter m r.
Para mostrarmos que r m ser vericado que r [ m.
Temos d [ m j que d [ a e a [ m, logo
m = kd, k Z (4.8)
Agora, de 4.6 e 4.7 e do fato de a [ m e b [ m, segue que a
1
d [ kd e
b
1
d [ kd, ou seja a
1
[ k e b
1
[ k. Mas mdc(a
1
, b
1
) = 1 de onde segue que a
1
b
1
[ k
(proposio 4.13). Assim, a
1
b
1
d [ kd, ou seja r [ m (usamos 4.7 e 4.8).
Como corolrio do Teorema que acabamos de demonstrar temos:

Corolrio 4.5 Se mdc(a, b) = 1 ento mmc(a, b) = ab
Apresentaremos a seguir outra caracterizao para o mnimo mltiplo comum
de dois inteiros a e b.
4.6. EXERCCIOS 113
Teorema 4.5 Sejam a, b inteiros positivos. Ento m = mmc(a, b), se e somente
se,
(i) m > 0
(ii) a [ m e b [ m
(iii) Se m
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
. Seja r o resto da diviso de 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
, ou seja vale (iii).

() Agora, vamos supor que m um inteiro satisfazendo as condies (i),
(ii) e (iii) do Teorema e vamos vericar que m = mmc(a, b).
claro que a [ mmc(a, b) e b [ mmc(a, b), logo da condio (iii) fazendo
m
= mmc(a, b) vemos que m [ mmc(a, b). Em particular segue que

m mmc(a, b). Mas, m um mltiplo comum de a e b e no poderia ser menor
que mmc(a, b) j que mmc(a, b), por denio, o menor destes mltiplos. Logo
a nica possibilidade m = mmc(a, b).
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
e d = mdc(a, b). Provar que sd = mdc(sa, sb).

Sugesto: Use o Teorema 4.3. Para mostrar a condio (iii) do Teorema
use a identidade de Bezout para mdc(a, b).
12. Verique que mmc(sa, sb) = s mmc(a, b).
Sugesto: Use a relao existente entre mmc e mdc.
13. Sejam a, b Z
e d = mdc(a, b): Justicar porque

a
d
,
b
d
Z e mostrar
que tais nmeros so primos entre si.
Sugesto: Use o corolrio 4.4.
14. Prove que mdc(a +bc, b) = mdc(a, b), para quaisquer a, b, c Z.
Sugesto: Mostre que mdc(a, b) cumpre (i), (ii) e (iii) do teorema 4.3.
15. Demonstrar que se a [ bc e mdc(a, b) = d ento a [ cd.
Sugesto: Identidade de Bezout.
4.6. EXERCCIOS 115
16. Se d = mdc(68, 42) ache dois inteiros x
0
e y
0
de tal maneira que
68x
0
+ 42y
0
= 1.
17. Determine todos os nmeros que so mltiplos simultaneamente de 9 e 11.
18. Justicar porque mdc(a +b, a b) mdc(a, b), a, b Z.
Sugesto: Veja como foram obtidas as desigualdades durante as demons-
traes das proposies sobre mdc e mmc.

Algebra 1

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Algebra 1

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL

Cmpus de Trs Lagoas - CPTL

3 < e < 5 u : A terra plana.

2 um nmero racional se, e somente se a Terra plana.

9 x se, e somente se 20x

signica os inteiros no nulos.

= k+l e a soma de dois nmeros inteiros um nmero inteiro.

1.6.1 Corolrios e Lemas

Vemos portanto que suciente provarmos o Teorema 1.4, j que a demons-

= 2kl + k + l. Portanto m n um nmero mpar por satisfazer a

1.6. TEOREMAS E DEMONSTRAES 45

2 um nmero irracional ento 3 +

2 seja um nmero racional. Vamos obter a partir da uma

2 = r, onde r um nmero racional o que d

1.6.5 Demonstrao por equivalncias

Observao 1.7 (Ateno!)

y se, e somente se, x = y = 0;

= U B = x U [ x / B temos x / B. Em relao a A temos duas

, podemos concluir que x A. Assim (A

. Seja x A, ento certamente x / A

. Est concludo a demonstrao de

2.5. OPERAO COM CONJUNTOS:

Proposio 2.4 Para quaisquer que sejam os subconjuntos A ,B e C do uni-

Proposio 2.5 (Leis de De Morgan) Para quaisquer subconjuntos A e B

. Como x arbitrrio, est provado

. Para vericarmos a incluso contrria, seja

o que nos d que x / A e x / B.

ento x / A B. Como A B = x U [ x A e x B, ocorre a

. Para mostrar que

ento x / A e certamente x / A B o que d x (A B)

. Com isso provamos que A

As operaes de unio e interseo de conjuntos so extensveis a qualquer

2.7. A CARDINALIDADE DE UM CONJUNTO 61

= U (S F G), e ento o nmero destas

2.11 Produto Cartesiano de vrios Conjuntos

(a) Encontre outra apresentao para o conjunto T. Dica: Procure obter

3.2 Segundo Princpio de Induo Finita

com k = 1 conseguimos determinar u

= k+l. Como k+l Z, claro que m+n aZ,

= kal. Assim, m n a Z, isto , m n mltiplo de a.

Denio 4.2 Divisibilidade

, dizemos que a e b so congruentes

. O maior elemento do conjunto D(a) D(b)

O prximo resultado mostra uma outra forma de denir o mximo divisor

[ b. Pela proposio 4.7 temos d

[ (ax + by) para todo

[ (ar + bs) e ento

Com o prximo resultado obteremos um algoritmo para o clculo do mximo

4.5. CRITRIOS DE DIVISIBILIDADE 109

[ a. Como a > 0, vemos que a cumpre as

A proposio 4.12 pode ser utilizada no clculo do mximo divisor comum

, neste caso um mltiplo comum de a e b simples-

Como corolrio do Teorema que acabamos de demonstrar temos:

. Seja r o resto da diviso de m

, ou seja vale (iii).

= mmc(a, b) vemos que m [ mmc(a, b). Em particular segue que

e d = mdc(a, b). Provar que sd = mdc(sa, sb).

e d = mdc(a, b): Justicar porque

Вам также может понравиться