Escolar Documentos
Profissional Documentos
Cultura Documentos
ao `
a Matem
atica
Ana Cristina Vieira
UFMG - 2016
A disciplina Iniciacao `a Matematica, lecionada para os alunos do primeiro perodo
do curso de Matematica da UFMG, tem o objetivo de introduzir linguagem e conceitos basicos de Matematica. A parte de linguagem consiste de logica e demonstracoes; os conceitos basicos sao conjuntos, relacoes, funcoes e uma introducao
elementar ao conceito de infinito. Esse material, adaptado do material preparado
pelo Professor Michel Spira em 2011, e fundamental para o discurso matematico e
deve acompanhar o aluno ao longo de seu curso.
Com uma ou outra excecao pontual, nao ha matematica complicadanessas
notas; elas usam apenas matematica elementar em nvel de ensino medio. Desse
modo, elas devem ser perfeitamente acessveis ao p
ublico-alvo do curso, ou seja, aos
calouros do curso de Matematica.
L
ogica
Nessa secao apresentamos a parte elementar da logica proposicional, que e a linguagem na qual sao escritos argumentos matematicos e com a qual se pode discutir
sua correcao. Em outras palavras, com essa linguagem podemos fazer demonstracoes
e construir conhecimento matematico valido. Deixamos claro que a disciplina de
Logica e um importante ramo de conhecimento e de pesquisa ativa, que vai muito
alem do que aparece nessas notas.1
1.1
Proposi
c
oes, negac
ao e conectivos
proposicoes, pois a sentencas desses tipos nao e possvel atribuir um valor verdade.
Essas ideias devem ficar claras com o exemplo a seguir.
Exemplo 1.1 As seguintes sentencas sao proposicoes:
Hoje e sexta-feira.
1 + 1 = 2.
5 < 3.
e um n
umero racional.
As seguintes sentencas nao sao proposicoes:
pergunta: Que horas sao?
comando: Limpe o seu prato.
afirmativa contendo uma variavel: x2 = 7.
Em geral, nosso interesse e saber quais as consequencias (logicas) de supor uma
proposicao verdadeira ou falsa, sem questionar a atribuicao do valor verdade. Como
exemplo, tomemos proposicoes que fazem mencao a um ponto especfico no futuro,
claro que nao podemos atribuir a ela um valor vercomo Amanha vai chover. E
dade definitivo; no entanto, podemos explorar as consequencias logicas de supo-la
verdadeira (e melhor preparar o guarda-chuva) ou falsa (podemos passear sem problemas).
Ainda outro exemplo do que acabamos de dizer e dado pelo postulado das paralelas de Euclides, que e a afirmativa por um ponto fora de uma reta passa uma
u
nica paralela a essa reta. Ao supo-lo verdadeiro, temos como consequencia todo
o edifcio da geometria euclidiana; supo-lo falso, por outro lado, leva `as geometrias
nao euclidianas, tao consistentes e reais quanto a euclidiana.
Nosso jogo e criar novas proposicoes a partir de outras, a`s quais ja foi atribudo
um valor verdade, e estabelecer regras para decidir do valor verdade das novas. E
isso que passamos a fazer agora.
1.2
Conectivos l
ogicos
Notamos que a negacao e um operador unario, isto e, ela age sobre uma u
nica
proposicao. Verbalmente, p assume em geral a forma p nao acontece, atribudo
um valor verdade a p, segue que o valor verdade de p e o oposto desse valor.
Exemplo 1.2 Se p e a proposicao 1 + 1 = 2 entao p e a proposicao 1 + 1 6= 2.
Se q e a proposicao Hoje e quinta entao q e a proposicao Hoje nao e quinta.
Os valores verdade de p e p estao relacionados pela seguinte tabela verdade:
p
f
v
p
v
f
pq
v
f
f
f
q
v
f
v
f
pq
v
v
v
f
q
v
f
v
f
3
pq
f
v
v
f
q
v
f
v
f
2. 4 = 2 1 e racional.
3. < 3, 2 5 > 2.
4. | 2| < 0 | 3| = |3|.
.
Exerccio 1.2 Classificar em verdadeira ou falsa cada uma das proposicoes compostas. Depois disto faca a negacao de cada uma delas.
1. 3 > 1 3 = 1.
2. (1)6 = 1 25 < (2)7 .
3. 16 = 6 | 2| > 1.
4. 3.(5 + 2) = 3.5 + 3.2 (1)6 > 1.
3
.
O conectivo condicional e denotado pelo smbolo e e definido pela tabela
p
v
v
f
f
pq
v
f
v
v
q
v
f
v
f
2. 1 = 1 e irracional.
3. 2 < 3 25 = 5.
4. | 3| > 2 < 2.
.
Exerccio 1.4 Escreva as proposicoes abaixo na forma p q.
1. Chove quando o vento sopra do sul.
2. As laranjeiras vao florir se fizer calor no verao.
preciso andar 8km ate a cachoeira.
3. E
5
4. Se voce dirigir mais de 400km vai ser necessario reabastecer o carro. de dois
meses.
5. Seu livro vai ser u
til no futuro se voce tomar cuidado com ele.
6. Voce pegou o emprego, logo voce era o melhor candidato. emprego.
Ainda um pouco de terminologia. Chamando p q de direta, dizemos que
q p e sua recproca (que tambem podemos denotar como p q) e ainda, que
q p e sua contrapositiva.
Exemplo 1.5 A proposicao Se T e um triangulo equilatero entao T e isosceles
e verdadeira, mas sua recproca e falsa. O mesmo se aplica a (1 + 1 = 3)
(gatos miam).
Exerccio 1.5 Enuncie a recproca e a contrapositiva de cada uma das proposicoes
a seguir.
1. Se chover eu ficarei em casa.
2. Se eu durmo tarde eu preciso ficar na cama ate o meio dia.
3. Nas ferias eu sempre viajo para o interior.
Fechamos nossa lista de conectivos com o bicondicional, para o qual usamos o
smbolo . A proposicao p q e lida como p se e somente se q ou p e condicao
necessaria e suficiente para q, e sua tabela verdade e
p
v
v
f
f
q
v
f
v
f
pq
v
f
f
v
1. cos 2 = 0 | 5| = (5).
2. ( 1)2 = 1 e irracional.
3. 12 = 2 3 cos = 1.
.
Exerccio 1.7 Escreva cada uma das proposicoes a seguir na forma p q.
1. Para ser aprovado e necessario e suficiente que voce faca todos os exerccios e
tire 100 na u
ltima prova.
2. Se voce ler o jornal todo dia voce ficara bem informado, e reciprocamente.
3. Se chover e um dia da semana e se e um dia da semana entao vai chover.
4. Se voce nao ver o magico ele esta na sala e se ele nao estiver na sala voce vai
ve-lo.
Exerccio 1.8 Um aluno concluiu que x > 0 x > 1 atraves do seguinte
argumento:
x > 0 x(x + 1) > 0 x2 + x > 0 x2 > x x > 1
Descreva o(s) erro(s) neste raciocnio, justificando seus argumentos e analisando
cada implicacao envolvida no exerccio.
Uma tautologia (resp. contradicao) e uma proposicao que e sempre verdadeira
(resp. falsa), qualquer que seja a escolha dos valores verdade das proposicoes que a
compoe. Vamos denotar tautologias e contradicoes pelas letras T e F, respectivamente. Uma proposicao que nao e nem uma tautologia nem uma contradicao e dita
uma contingencia.
Exerccio 1.9 Mostre que as seguintes proposicoes sao tautologias.
1. p (p q)
2. (p q) p
3. [p (p q)] q
4. [(p q) q] p
7
5. [(p q) (q r)] (p r)
6. [(p q) p] q
7. [(p q) ( p r)] (q r)
Exerccio 1.10 Mostre que p p e uma contradicao.
Para proposicoes compostas que envolvem mais de duas proposicoes, devemos
discutir o problema de precedencia de operadores, caso contrario expressoes do tipo
pqr seriam ambg
uas4 . Nessas notas vamos procurar evitar ambig
uidades usando
parentesis, mas apenas para constar, registramos que a ordem usual e , , , e
.
Exerccio 1.11 Sejam p: Voce dirige a mais de 60km/h e q: Voce vai ser multado. Escreva as proposicoes a seguir usando p, q, negacao e conectivos logicos.
1. Voce nao dirige a mais de 60km/h.
2. Voce dirige a mais de 60km/h mas nao vai ser multado.
3. Voce vai ser multado se dirigir a mais de 60km/h.
4. Se voce nao dirigir a mais de 60km/h voce nao vai ser multado.
5. Voce vai ser multado mesmo dirigindo a menos de 60km/h.
6. Dirigir a mais de 60km/h e suficiente para ser multado.
7. Se voce for multado e porque voce dirigia a mais de 60 km/h.
Exerccio 1.12 Expresse em logiques as seguintes proposicoes:
1. Voce passou com A sem fazer todos os exerccios.
2. Voce passou com A, fez todos os exerccios e tirou 100 na u
ltima prova.
3. Para passar com A e necessrio tirar 100 na u
ltima prova.
4. Voce tirou 100 na u
ltima prova e nao fez todos os exerccios, mas mesmo assim
passou com A.
4
O problema aqui e o mesmo que em 2 + 3 4, que pode ser lido como 2 + (3 4) e (2 + 3) 4.
A convenc
ao habitual de antes de + nos diz qual e a leitura correta.
5. Tirar 100 na u
ltima prova e fazer todos os exerccios e suficiente para passar
com A.
6. Voce vai passar com A se e somente se voce fizer todos os exerccios ou tirar
100 na u
ltima prova.
1.3
Equival
encia
p
f
v
p
v
f
A observacao da primeira e da u
ltima coluna dessa tabela mostra que os valores
verdade de p e p sao os mesmos, ou seja, temos nossa equivalencia.
Exerccio 1.13 Verifique que p p p p p p T p F.
O exemplo a seguir e de grande importancia; isso ficara claro quando falarmos
de demonstracoes.
Exemplo 1.8 (a contrapositiva) Vamos mostrar que vale a equivalencia (p
q) q p. Como antes, basta fazer a tabela verdade
p
v
v
f
f
q
v
f
v
v
p
f
f
v
v
q
f
v
f
v
pq
v
f
v
v
q p
v
f
v
v
p (q r) (p q) (p r)
p q p q.
e as leis de de Morgan 5
p q p q
Exerccio 1.15 Verifique as leis acima.
Exerccio 1.16 Mostre que p q p q. Confira com o exerccio 1.14.
Equivalencias servem para transformar proposicoes compostas complicadas em
outras mais simples.
Exemplo 1.9 Vamos mostrar que p ( p q) p q. Usando algumas
equivalencias ja vistas e outras que ficam a cargo do(a) leitor(a) demonstrar, temos
p ( p q) p ( p q)
p ( p q)
p (p q)
( p p) ( p q)
F ( p q)
p q
Exerccio 1.17 Seja T uma tautologia e F uma contradicao. Mostre que
1. p T p
2. p F p
3. p F F
4. p T T
5. p p p
6. p p p
5
A repetic
ao de de n
ao e um erro de digitacao; estamos falando do matematico ingles Augustus
de Morgan (**).
10
q pq
v
f
f
f
v
f
v
f
1. Mostre que p q p q
2. Mostre que (p q) (p q) p q
3. Ache uma proposicao equivalente a p q usando apenas o conectivo .
1.4
Quantificadores
Iniciamos essa secao com um caso particular das ideias que queremos estudar. Consideremos o conjunto Z dos n
umeros inteiros e a expressao x e par, que denotamos
por P (x). Para qualquer inteiro n, podemos substituir x por n para obter a proposicao n e par, que denotamos por P (n). Por exemplo, escolhendo substituindo x
por 8 obtemos a proposicao P (8), que e verdadeira, e substituindo x por 5 obtemos
a proposicao P (5), que e falsa.
Em geral (e sem grandes pretensoes de rigor), temos um conjunto nao vazio D,
dito o domnio (de discurso) e um predicado (ou funcao proposicional ) P (x) em D de
tal modo que, para qualquer d D, a substituicao de x por d tem como resultado
uma proposicao P (d). Chamamos x de variavel (livre) ou elemento generico do
domnio; o processo de substituir x por d sera indicado por x = d e denominado
substituicao.
conveniente pensar em uma variavel livre como uma caixinha onde se pode
E
colocar qualquer elemento do domnio; em outras palavras, variaveis livres nao existem fisicamente, elas apenas marcam posicao. Em geral, vamos denotar elementos
do domnio por letras como a, b, c,. . . e variaveis livres por letras como x, y, z,. . . .
11
Observamos de passagem que podemos ter predicados com duas ou mais variaveis
e domnios distintos para as variaveis. Por exemplo, podemos usar P (x, y) para
denotar x estuda y, onde x percorre os alunos do ICEx e y as disciplinas oferecidas
pelo Departamento de Matematica.
1.4.1
Os quantificadores e
Esse exemplo foi propositalmente escrito no estilo copiar e colar; o objetivo e constrastar
e .
12
5. x(x2 6= 7)
6. x(x2 > 0)
Exerccio 1.21 Sendo {1, 2, 3} o universo das variaveis x e y, determine o valor
logigo das proposicoes.
1. xy(x2 < y + 1).
2. xy(x2 + y 2 < 12).
3. xy(x2 + y 2 < 12).
4. xy(x2 + 2y < 10).
5. xy(x2 + 2y < 10).
6. xy(x2 + 2y < 10).
7. xy(x2 + 2y < 10).
Exerccio 1.22 Escreva cada afirmacao usando smbolos e quantificadores. Em
seguida, ache uma justificativa para garantir que a sentenca seja verdadeira ou exiba
um contraexemplo caso ela seja falsa.
1. Nao existe um menor n
umero real estritamente positivo.
2. Todos os n
umeros reais sao positivos.
3. Os n
umeros naturais maiores que 2 sao mpares.
4. A soma de quaisquer dois n
umeros reais negativos e menor ou igual a zero.
5. A metade de um n
umero inteiro e um n
umero inteiro.
6. Existem n
umeros racionais nao nulos.
Exerccio 1.23 Reescreva as sentencas abaixo usando os quantificadores (existe)
e (para todo). Em seguida, negue cada uma das sentencas.
1. Nem toda funcao contnua e derivavel.
2. Se x e um n
umero real entao 2x > 0.
3. Nao ha um maior n
umero real.
14
4. O quadrado de n
umero real e um n
umero real positivo.
5. Qualquer inteiro positivo e um produto de dois n
umeros primos.
Exerccio 1.24 Expresse as seguintes sentencas em logiques; depois escreva sua
negacao e faca a versao para o portugues. Em cada caso, explicite o domnio de
discurso.
1. Todos os cachorros tem pulgas.
2. Ha um cavalo que sabe somar.
3. Macacos nao falam frances.
4. Ha um porco que nada e pesca.
5. Cachorro velho nao aprende truques.
Exerccio 1.25 Discuta as expressoes
1. x(P (x) Q(x)) xP (x) xQ(x)
2. x(P (x) Q(x)) xP (x) xQ(x)
Exerccio 1.26 Faca a negacao de cada afirmacao abaixo, onde as variaveis sao
reais.
1. xyz(x + 2y > z x z y).
Exist
encia e unicidade: o quantificador !
Do ingles nested.
16
1.5
Regras de infer
encia
Nessa secao vamos estudar regras, ditas de inferencia, que nos permitem criar implicacoes verdadeiras a partir de proposicoes dadas. Essas regras permitem a escrita
de demonstracoes e a crtica de sua correcao, e desse modo sao as ferramentas de
criacao de conhecimento matematico formal.
1.5.1
Infer
encia
As regras de inferencia nada mais sao que algumas tautologias `as quais damos nomes
especiais8 . Consideremos, por exemplo, a tautologia p (p q), que lemos como
p implica p q ou de p concluimos p q. Nosso interesse futuro, ao fazer
demonstracoes, e partir de hipoteses supostamente verdadeiras, de modo que vamos
tambem adotar a leitura se p e verdadeira entao p q e verdadeira. Esta regra e
conhecida pelo nome de adicao e e representada pelo primeiro diagrama da lista a
seguir. Outro exemplo e o silogismo hipotetico
[(p q) (q r)] (p r)
lido como se p implica q e q implica r entao p implica r.
Listamos a seguir as regras de inferencia. Em qualquer caso, dizemos que as
proposicoes acima do traco horizontal sao as hipoteses e a proposicao abaixo do
traco a tese ou conclusao.
p
q
pq
p
pq
q
(conjunc
ao)
(modus ponens)
pq
qr
pr
pq
p
q
pq
pr
qr
(silogismo hipotetico)
(silogismo disjuntivo)
(resoluc
ao)
p
pq
pq
p
(adic
ao)
(simplificac
ao)
pq
q
p
(modus tollens)
Exerccio 1.31 Para cada uma das regras de inferencia, escreva a tautologia correspondente e uma verbalizacao adequada. Depois confira o exerccio 1.9.
Vamos agora ilustrar o uso dessas tautologias em linguagem coloquial.
8
L
ogicos profissionais objetar
ao, com razao, a essa definicao; mas para nosso consumo, ela e
suficiente.
17
adicao:
simplificacao:
conjuncao:
modus ponens:
modus tollens:
silogismo hipotetico:
silogismo disjuntivo:
resolucao:
Isso deve ser suficiente para mostrar que, apesar de seus nomes imponentes, as regras
de inferencia nada mais sao que metodos de raciocnio habituais.
1.5.2
Infer
encia e quantificadores
(particularizac
ao universal )
(generalizac
ao universal )
xP (x)
P (d) para algum d
(particularizac
ao existencial )
(generalizac
ao existencial )
18
particularizacao universal:
Fal
acias
Argumentos
Uma seq
uencia finita de proposicoes p1 , p2 , . . . , pn que acarreta uma proposicaofinal
q e dito um argumento; p1 , p2 , . . . , pn sao chamadas hipoteses (em conjunto, ditas a
hipotese ou premissas) e q e chamada tese (ou conclusao).
Exemplo 2.1 Abaixo temos um argumento; as duas primeiras proposicoes sao as
premissas e a u
ltima e a conclusao.
Todos os leoes sao ferozes.
Alguns leoes nao bebem cafe.
Alguns animais ferozes nao bebem cafe.
19
4. Todos que fumam ficam doentes. Paulo nao esta doente. Logo Paulo nao
fuma.
Exerccio 2.3 Qual a conclusao que se pode tirar das premissas Quando jogo
futebol fico cansado, Quando fico cansado faco uma massagem e Eu nao fiz
uma massagem?
Definico
es
Ja usamos varias vezes as expressoes definimos, definido por e assim por diante; esta
na hora de falarmos um pouco mais sobre definicoes.
Uma definicao e uma sentenca que descreve o significado de um termo10 . Em
outras palavras, uma definicao e uma sentenca que estabelece para uso da comunidade o significado de um novo termo em funcao de termos mais antigos. Se isso
parece um poco sem fundo, de fato e; para que ele tenha fundo, temos as nocoes
primitivas, mas nao e hora de entrar em muitos detalhes e continuamos com nossa
visao simples.
Podemos, e e bom faze-lo, enxergar uma definicao como uma nova entrada em
um dicionario que usamos em nosso trabalho, ou seja, nada mais que um sinonimo
ou uma abreviacao. Um exemplo e a definicao usual de n
umeros pares e mpares:
n e par e uma abreviacao de existe um inteiro k tal que n = 2k, e similarmente
para n mpar.
Os exemplos acima devem deixar claro que os rotulos certo, verdadeiro ou
errado, falso nao se aplicam a definicoes. Em outras palavras, nao se discorda de
uma definicao, desde que fique claro o ambiente de sua validade. Nossa definicao de
n
umeros pares e mpares, por exemplo, e universal.
Teoremas e demonstra
c
oes
Nessa secao vamos discutir uma das atividades principais11 do trabalho matematico,
que e demonstrar teoremas. As demonstracoes apresentadas sao propositalmente
simples; nosso objetivo e concentrar-nos na estrutura logica de uma demonstracao
e nao em detalhes tecnicos.
Teorema e sinonimo de argumento12 Em geral, teoremas aparecem na forma
p q; lembramos que p e dita a hipotese e q a tese. Quando p e falsa ou q e
10
http://en.wikipedia.org/wiki/Definition
Alguns dir
ao, com bons argumentos, a atividade principal.
12
Como sempre, l
ogicos profissionais vao objetar a essa definicao; o autor nao se incomoda e
segue em frente.
11
21
B : x = 0 ou y = 0.
2. A : xy = 0.
B:x=0 e
3. A : xy = 0.
B : x 0 ou y 0.
4. A : xy = 0.
B : x2 + y 2 1.
y = 0.
2. x2 = y 2 ... x = y
3. x3 = y 3 ... x = y.
Ha varios metodos de demonstrar teoremas. A mais comum e mostrar diretamente, por meio de um argumento, que a tese e verdadeira; uma demonstracao desse
tipo e dita direta. Vamos a um exemplo.
Teorema 4.1 Se n e um inteiro mpar entao n2 tambem e um inteiro mpar.
Demonstracao: Como n e mpar, temos n = 2k + 1 para algum k Z. Logo
n2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1, ou seja, n e mpar.
13
Todos devem julgar a segunda maneira de escrever bem melhor. O ponto e dar
fluencia a` exposicao suprimindo a escrita de justificativas triviais que decorrem imediatamente de definicoes, resultados conhecidos ou argumentos de domnio
p
ublico. Isso deve ser feito com cuidado e levando em conta o p
ublico alvo. Por
exemplo, entre nos nao e necessario justificar a passagem n2 = 4k 2 + 4k + 1, mas
talvez fosse conveniente faze-lo para alunos do ensino fundamental e medio.
Exerccio 4.4 Comente o uso da generalizacao universal na demonstracao acima.
A demonstracao indireta de um teorema consiste em demonstrar sua contrapositiva.14
Teorema 4.2 Se n2 e par entao n e par.
Demonstracao: A contrapositiva e se n e mpar entao n2 e mpar. Por sorte, esse e
o teorema anterior, que ja demonstramos (e assim faz parte mplicita da hipotese).
Notamos que nesse teorema a demonstracao direta nao e aparente; de fato, escrever
n2 = 2k
nao ajuda (em princpio) a fazer algum comentario sobre n (o que fazer
com n = 2k?).
Exerccio 4.5 Prove com uma demonstracao indireta e depois com uma demonstracao por contradicao que se n Z e n3 + 5 e mpar entao n e mpar.
Exerccio 4.6 Sendo n e m n
umeros inteiros, demonstre diretamente.
13
14
23
2 e irracional.
Demonstracao: O algoritmo da divisao nos diz que existem inteiros q e r tais que
n = 4q + r e 0 r < 4. Como n e mpar, temos dois casos possveis: r = 1 ou
r = 3.15 No primeiro caso, temos
n2 = (4q + 1)2 = 16q 2 + 8q + 1 = 8(2q 2 + q) + 1,
que e mpar. No segundo caso temos
n2 = (4q + 3)2 = 16q 2 + 24q + 9 = 8(2q 2 + 3q + 1) + 1,
que tambem e mpar.
O uso de analogo ao final da demonstracao indica que os outros casos sao demonstrados de maneira identica, salvo mudancas obvias. Notamos que n = 8k + 1 nao
seria uma boa escolha para depois argumentar por analogia; de fato, esse caso nao
tem o truque 25 = 24 + 1.
Exerccio 4.12 Mostre que se x, y R entao min(x, y) + max(x, y) = x + y.
Exerccio 4.13 Mostre que se x, y R entao |x + y| |x| + |y|.
Exerccio 4.14 Prove as afirmacoes, sendo x e y n
umeros reais.
1. Se x y 0 ou x y 2 = 1 entao x2 y 2 .
2. Se x y 2 ou x y 0 entao x(x y 2 ) 0.
Em teoremas da forma p q, e habitual dividir a demonstracao em duas partes:
a direta p q e a recproca q p.
15
Se r = 0 ou r = 2 ent
ao n seria par, uma contradicao. Em geral, detalhes desse tipo n
ao s
ao
mencionados, mas e sempre bom te-los em mente.
26
27
Uma demonstracao desse tipo e dita construtiva, pois exibe explicitamente um objeto
com as propriedades requeridas. Quando a existencia e provada abstratamente, isto
e, sem um exemplo concreto, dizemos a e demonstracao nao construtiva, como a
seguir.
Teorema 4.9 Existem n
umeros irracionais x e y tais que xy e racional.
2
Demonstracao: Sabemos do teorema 4.4 que 2 e irracional.
Seja r = 2 . Se r
Notamos que essa demonstracao nao nos diz qual entre r e r 2 e racional; sabemos
apenas que um deles e racional. Uma outra demonstracao classica, que afirma apenas
a existencia do objeto procurado sem exib-lo, e a seguinte.
Teorema 4.10 Existem infinitos n
umeros primos.18
Demonstracao: Vamos mostrar que se p1 , p2 , . . . , pn sao primos entao existe um primo
distinto de todos eles. Para isso, consideremos o n
umero r := p1 p2 . . . pn + 1. Pelo
teorema fundamental da Aritmetica, r possui um divisor primo p; claramente19 p e
diferente de p1 , p2 , . . . , pn .
Essa demonstracao e devida a Euclides (300 a.c.) e e considerada uma das mais
belas de toda a Matematica.
Exerccio 4.16 Mostre que ha um inteiro positivo igual a` soma de todos os inteiros
positivos menores que ele. Sua demonstracao e construtiva?
Exerccio 4.17 Mostre que dado qualquer natural n existem n inteiros positivos
consecutivos, nenhum dos quais e um n
umero primo. Sua demonstracao e construtiva?
umero irracional.
Exerccio 4.18 Prove que se x e irracional 0 entao x e um n
Qual e a hip
otese desse teorema?
Uma das irritantes palavras usadas por matematicos quando ficam com preguica de escrever
todos os detalhes; nesse caso, cabe ao(a) leitor(a) preencher as lacunas.
19
28