Clculo Innitesimal I - 2015/01 - Marco Cabral

Graduao em Matemtica Aplicada - UFRJ

Monitores: Zair Henrique & Jonathas Ferreira

Lista 01 - Introduo matemtica

No. Try not. Do... or do not. There is no try.

- Master Yoda, The Empire Strikes Back (1980)

Consideraes iniciais:

Na matemtica, um

Axioma

uma hiptese inicial da qual outros

enunciados so logicamente derivados. Diferentemente de teoremas, axiomas no podem ser derivados por princpios de deduo e nem so demonstrveis por derivaes formais, simplesmente
porque eles so hipteses iniciais. Partindo dos Axiomas, toda a teoria desenvolvida e os resultados obtidos em sequncia, podem (e devem) ser utilizados para que outros teoremas sejam
provados. Os teoremas podem ser deduzidos por uma sequncia de raciocnios lgicos, a qual
chamamos de demonstrao. Os tipos mais usados so:

Demonstrao direta

A demonstrao direta aquela em que partindo da hiptese inicial, atravs de uma

srie de argumentos verdadeiros e dedues lgicas, conclumos a veracidade da tese.

Demonstrao por contraposio

A contrapositiva de A implica em B no-B implica em no-A e, pela lgica, so

equivalentes. Provar uma o mesmo que provar a outra. Por exemplo, Se como laranjas,
ento gosto de frutas. equivalente a Se no gosto de frutas, ento no como laranjas.
Pense nisto!

Demonstrao por contradio

O mtodo da demonstrao por contradio consiste em supor que o que se quer concluir
falso. Desta suposio, atravs de uma sequncia de dedues lgicas, chegarmos a uma
concluso que contradiz suas hipteses iniciais ou a um fato que sabidamente falso. Essa
contradio implica a validade do que se queria concluir. Por exemplo. Queremos provar
que A verdadeiro. Suponha que A falso e deduza desta hiptese que
que A verdadeiro.

A razo lgica disto o princpio do

2 = 3.

Isto implica

terceiro excluido:

ou A

verdadeiro, ou A falso. Se A falso implicar em algo absurdo, ento A verdadeiro.

Na realidade, o porqu desses mtodos de demonstrao funcionarem tambm um teorema, que
pertence a uma rea que fundamenta a Matemtica, a Lgica. Estranho no? Independentemente
do mtodo usado, lembre-se de sempre escrever todos os seus passos. Procure ser claro e no
omita informaes ainda que paream irrelevantes.
1.

Demonstrao direta
Vamos ilustrar demonstrao direta provando propriedades de conjuntos.
Deve-se ter em mente que nem sempre os resultados que julgaremos serem fceis (ou intuitivos), possuem uma demonstrao fcil. Comeamos denindo igualdade de conjuntos atravs
do conceito de estar contido.

Denio 1

Dados conjuntos

dizemos que

AB

se para todo

Denio 2

Dados conjuntos

dizemos que

A=B

se

Logicamente (verique!),
elementos de

B,

Exemplo 1

Sejam

A = B

B A.

se, e somente se, todos os elementos do conjunto

e todos os elementos de

AB

a A, a B .

so elementos de

dois conjuntos tais que

B A.

A.

Ento

A B = A.

so

Prova:
x A.

ento x A ou x B . Como B A, ento temos que x B

x A B x A, ou seja, A B A. Mas para todo x A,
x A B , logo A A B . Assim, conclu-se que se B A, ento A B = A. 
Se

x A B,

Logo, para todo

fato que

Note que cou faltando denir unio de conjuntos. Alm disso, na denio de
denir

a A.

A B,

faltou

Mas, na teoria dos conjuntos, a noo de pertence similar a ponto e reta na

fundamentao da geometria, um termo primitivo, sem denio. Uma referncia clssica

Teoria Ingnua dos Conjuntos (Naive Set Theory ) P. Halmos.
Seguem como exerccio problemas que podem ser resolvidos por demonstrao direta.
Exerccio 1 (a) Mostre que, dados os conjuntos

A, B

C,

tem-se:

A (B C) = (A B)

(A C).
Exerccio 1 (b) Mostre que

A (B C) = (A B) (A C).

Exerccio 1 (c) Mostre que se

conjunto
2.

A B,

ento,

B (A C) = (B C) A,

para qualquer

C.

Demonstrao por Contraposio e Contradio

Vamos ilustrar estes tipos de demonstrao provando que

um nmero irracional. Para

isso vamos provar primeiramente um resultado que ser til durante a demonstrao principal.
Em geral, quando provamos um resultado para us-lo em outra demonstrao, damos a ele

Lema. Assim, resultado principal

Proposio, que similar a Teorema.

o nome de
o termo

Teorema, acessrio, Lema. Existe tambm

Assim o que Teorema ou Proposio em

algum texto, pode ser Lema em outro, dependendo do objetivo a que se quer chegar.
(a) Exemplo de Demonstrao por contraposio

Lema 1

Se

Prova:

Vamos utilizar a contraposio para demonstrar isso. Ou seja, iremos provar

que se

a2

par, ento

a no par,

ento

a2

par.

no par. Pela princpio da paridade, se um nmero inteiro

a mpar, ento a2 mpar.

Se a mpar, ento pode ser escrito da forma a = 2p + 1 para algum p N. Logo,
a2 = (2p + 1)2 = (2p + 1)(2p + 1) = 4p2 + 4p + 1 = 2(2p2 + 2p) + 1 = 2q + 1 com
q = 2p2 + 2p, que um nmero mpar, como queramos demonstrar.

no par, ento mpar.

Logo, iremos provar que se

(b) Exemplo de Demonstrao por contradio

Utilizando o Lema 1 provamos que

irracional pelo o mtodo da contradio.

2 no irracional, isto
, suponha que 2
racional. Ento,
2 = a/b, com a, b Q. Por denio 2 > 0 (veja exerccio
abaixo), logo podemos supor que a, b > 0. Alm disso, podemos supor que mdc(a, b) = 1

Prova:

Suponha, por contradio, que

(exerccio). Logo,

b 2=a

Elevando ambos os lados ao quadrado,

2b2 = a2
a2 mltiplo de 2 (=par). Pelo Lema 1, temos que a par e com isso podemos
a = 2k com k N . Substituindo na equao acima, teremos

Portanto,
escrever

2b2 = (2k)2 = 4k 2

b2 = 2k 2 . Assim, pelo Lema

mltiplos de 2, ento mdc(a, b) 6= 1,

Logo,

1 novamente,

mltiplo de

2.

Mas se

b so

2


o que contradiz uma de nossas hipteses. Logo

irracional.

Seguem como exerccio problemas que podem ser resolvidos utilizando a tcnica da demonstrao por contradio.
Exerccio 2 (a) Mostre que

p,

onde

um nmero primo, tambm irracional.

Exerccio 2 (b) Generalize o argumento acima para n

Exerccio 2 (c) Agora mostre que

1,

onde

um nmero primo e

n N.

pm onde p um nmero primo e m, n N, com mdc(m, n) =

tambm irracional.

Exerccio 2 (d) Voc sabe que existem innitos nmeros primos. Mas j parou para pensar
sobre como demonstrar isso? Ento, vamos l. Suponha que o conjunto

P = {p1 , . . . , pn }.

primos nito:

Ento, tome

a uma contradio. Dica: Mostre que

K = p1 p2 . . . pn + 1

dos

pi .

no divisvel por nenhum

Exerccio 2 (e) Prove que existem innitos primos na progresso aritmtica

e chegue

4n + 3 com n N

seguindo o seguinte roteiro:

4n + 3.
Prove Lema B: o produto de nmeros da forma 4n + 1 da forma 4n + 1.

(i) Prove Lema A: todo primo diferente de 2 da forma

(ii)

4n + 1

ou

(iii) Suponha, por contradio, que exista um nmero nito de primos da

4n+3, digamos, p1 , . . . , pk . Dena N = 4p1 . . . pk 1 = 4(p1 . . . pk

1) + 3. Conclua que N da forma 4n + 3 e, portanto, N no primo.
Assim, N divisvel por algum primo. Prove que este primo deve ser da
forma 4n + 1. Dica: Nenhum dos p1 , . . . , pk nem 2 divide N .
Assim N ser o produto de nmeros na forma 4n + 1 e, pelo Lema B,
N ser desta forma, chegando a uma contradio.
forma

(iv)

(v)

Observao:

A generalizao disso para qualquer progresso

mdc(k, p) = 1

kn + p

com

o chamado Teorema de Dirichlet, porm a demonstrao

surpreendentemente difcil.
3. Imagine uma leira com innitos domins, um atrs do outro. Suponha que eles estejam de
tal modo distribudos que, uma vez que um domin caia, o seu sucessor tambm cai. O que
acontece quando derrubamos o primeiro domin? Esperamos que, com isso, mesmo que sejam
innitos, todos os domins caiam. Assim o

princpio da induo nita, que um mtodo

de demonstrao muito utilizado quando se quer provar teoremas vlidos para todos nmeros
naturais.

Teorema 1 (Ou axioma?)

Para cada

n N,

seja

P (n)

uma propriedade sobre

n.

Suponha

que
(a)

P (1)

verdade.

(b) Para todo

Ento,

P (n)

Exemplo 2
Ento

se

P (k)

verdade, ento

verdade para todo

P (k + 1)

um mltiplo de

verdade.

n N.

Vamos provar usando induo que: Seja

np n

Fermat.

k N,

p.

um primo e

Esse resultado conhecido como

um inteiro positivo.

Pequeno Teorema de

Prova:

O caso

n=1

bvio. Ento, assumamos que a armao vale para todo

vamos mosrar que isso implica a validade para o caso

(n + 1)p (n + 1) = np +

n + 1.

kn

Veja que

n  
X
p j
[
n ]+1n1
i
i=1

= np n +

n  
X
p j
n
i
i=1

Como

p
i

nj mltiplo de

np n tambm mltiplo de

quando

p,

1 j p1

e como pela nossa hiptese de induo

conclumos ento que

(n + 1)p (n + 1)

mltiplo de

p,

logo,

n N.

o teorema vlido


n(n+1)
.
2
n(n+1)(2n+1)
n2 =
.
6
n(n+1)
n3 = [ 2 ]2 .

Exerccio 3 (a) Mostre, utilizando induo, que

1 + 2 + 3 + ... + n =

Exerccio 3 (b) Mostre, utilizando induo, que

12 + 22 + 32 + ... +

Exerccio 3 (c) Mostre, utilizando induo, que

13 + 23 + 33 + ... +

1k + 2k + 3k + ... + nk ?
expresso para todo k N?

Exerccio 3 (d) Quanto vale

essa

possvel dar uma frmula fechada para

Exerccio 3 (e) Vamos agora provar que as funes da forma

polinmios para todo

Tchebyshev.

natural.

Tn (x) = cos (n arccos (x))

Eles so os chamados

T1 (x) e T2 (x) so polinmios.

Suponha que Tk (x) um polinmio para todo k N
Mostre que isso implica que Tn+1 (x) um polinmio.

so

Polinmios de

i. Mostre que
ii.

tal que

k n.

iii. Conclua a demonstrao.

4. Leia essa passagem do romance A Culpa das Estrelas de John Green.

No posso falar da nossa histria de amor, ento vou falar de matemtica. No sou formada
em matemtica, mas sei de uma coisa: existe uma quantidade innita de nmeros entre 0 e
1. Tem o 0,1 e o 0,12 e o 0,112 e uma innidade de outros. Obviamente, existe um conjunto
ainda maior entre o 0 e o 2, ou entre o 0 e o 1 milho. Alguns innitos so maiores que
outros.

Voc acha que as armaes deste trecho so verdadeiras? Ser que existem mais nmeros
reais no intervalo

(0, 2)

(0, 1)?

do que no intervalo

Ser que existem innitos maiores que

outros? Comeamos com denies.

Uma funo f : A B chamada injetiva quando, dados x, y quaisquer em

f (x) = f (y), ento x = y . Uma funo f : A B chamada sobrejetiva quando
para todo y B existe pelo menos um x A tal que f (x) = y . Quando f : A B injetiva
e sobrejetiva, chamamos f de bijetiva.

Denio 3
A,

se

A medida de quantidade de elementos de um conjunto dita

Por exemplo, o conjunto

Denio 4

{3, 5, 8}

tem cardinalidade

Dizemos que um conjunto

existe uma bijeo entre

cardinalidade do conjunto.

3.

tem a mesma cardinalidade um conjunto

B.

se

Exerccio 4 (a) Prove que

f : R R

denida por

f (x) = 5x 2

bijetiva.

Prove que a

22

sobrejetiva.

funo determinante, denida no conjunto das matrizes

Prove que

G : NN N

denida por

g(a, b) = 2a 3b

injetiva mas no

sobrejetiva.
Exerccio 4 (b) Dena conjunto nito e um conjunto innito (pesquise).
Exerccio 4 (c) Dena conjunto enumervel e um conjunto no-enumervel (pesquise).
Exerccio 4 (d) Prove que

tem a mesma cardinalidade. Sim, existem tantos naturais

quanto inteiros.
Exerccio 4 (e) Prove que existe uma bijeo entre

Q.

isso mesmo,

N, Z

tem o

mesmo nmero de elementos.

Exerccio 4 (f ) Agora, demonstre que no existe bijeo entre

sim innitos maiores que outros. Procure sobre o

Cantor.

e conclua que existem

argumento diagonal de

Exerccio 4 (g) Utilize cardinalidade para provar que existem nmeros reais irracionais. Dica:
contradio.
Exerccio 4 (h) Mostre que a personagem realmente no formada em matemtica
que os intervalos

(0, 1)

(0, 2)

:),

isto ,

tem o mesmo nmero de elementos.

Exerccio 4 (i) Veja se possvel estender o argumento para provar que qualquer intervalo

(a, b)

tem o mesmo nmero de elementos que

R.

Dica: Figura abaixo ou funo am.

Exerccio 4 (j) Pesquise o que so nmeros algbricos e nmeros transcendentes e prove a

enumerabilidade do conjunto dos nmeros algbricos.
Exerccio 4 (k) Utilize cardinalidade para provar que existem nmeros reais transcendentes.
Dica: contradio.

R quando todo intervalo aberto (a, b) R possui algum

ponto de X . Ou seja, a, b R com a < b, x X tal que a < x < b. Intuitivamente isso
signica dizer que o conjunto X est bem 'espalhado' por toda a reta.

5. Um conjunto

chamado denso em

Exerccio 5 (a) Mostre que o conjunto

comprimento do intervalo
passos de tamanho

1/N

Exerccio 5 (b) Mostre que o conjunto

dos nmeros racionais denso em

(a, b)

vou cair no

RQ

1/N , N N,
intervalo (a, b).

maior que

R.

Dica:

se

ento andando em

dos nmeros irracionais tambm denso em

R.

Dica: ande com passos irracionais.

interessante perceber que, um conjunto pode ser denso em outro mesmo tendo cardinalidade
diferente, como no caso dos racionais. Voc ver que, cedo, estes dois resultado sero muito
teis para voc.

6. Em matemtica, patologias so resultados que de certa maneira vo de encontro s idias

intuitivas, matematicamente falando, de um certo perodo da histria.
descoberta de que existem nmeros irracionais na Grcia antiga.

Um exemplo a

Parece bobo nos dias de

hoje, mas na poca foi algo que deixou os matemticos bastante assustados.

Nas questes

abaixo, pesquise na internet ou em livros os assuntos e tente escrever sobre eles com suas
prprias palavras, com base na sua intuio sobre o que entendeu.
Exerccio 6 (a) O que o

Axioma da Escolha?

Ele faz sentido para voc?

ber o motivo desse axioma ser to polmico na matemtica.

Exerccio 6 (b)

Procure saProcure pelo

Paradoxo de Banach-Tarski.
Fale sobre o Teorema da Incompletude de Gdel e sua importncia na
Matemtica.

Conjectura de Goldbach.
O que um fractal? Para que ele serve?

Exerccio 6 (c) Pesquise sobre a

Exerccio 6 (d)

Exerccio 6 (e) Se um hotel possui innitos quartos, mas todos esto cheios, possvel esse
hotel receber mais hspedes? Pesquise sobre o

Hotel de Hilbert.

O livro de

Anlise de C. Neri e M. Cabral (veja na internet) tem um texto legal sobre

isso.
Exerccio 6 (f ) Todas as pessoas do mundo torcem para o mesmo time. Vamos demonstrar
isso por induo. Podemos observar que num conjunto que contm uma nica
pessoa, todas torcem pro mesmo time.

Se supusermos que a proposio

verdadeira para todos os conjuntos de dimenso inferior ou igual a

se houver

n+1

n,

ento

pessoas num conjunto, retiramos uma delas para obter um

conjunto resultante com

pessoas, e pela hiptese de induo, todas as pes-

soas nesse conjunto torcem pro mesmo time. Devolvemos a pessoa retirada
ao conjunto inicial, e retiramos outra diferente.
todas as

Pela hiptese de induo,

n pessoas torcem pro mesmo time. Logo as n + 1 pessoas torcem pro

n N, as n pessoas torcem para o mesmo

mesmo time. Ento para qualquer

time. E agora? Isso est errado? E se estiver, onde est o erro?

Exerccio 6 (g) Considere o conjunto

como sendo "o conjunto de todos os conjuntos que

A elemento de M
(M ) membro de si

no se tm a si prprios como membros". Formalmente,

se e somente se

no elemento de

A.

Esse conjunto

prprio? Suponha que sim e depois que no. O que voc conclui? Pesquise
sobre o

paradoxo de Russell.

Exerccio 6 (h) Ser que existe o conjunto universo, isto , um conjunto que contenha todos
os conjuntos?
As pessoas, em geral, pensam que a matemtica algo completamente certinho e exato,
onde tudo sempre funciona e faz perfeito sentido.

Bom, voc acaba de ver que elas esto

completamente enganadas, e que, mesmo nos dias de hoje, ainda existem diversas coisas que
deixam o mundo matemtico bastante intrigado.