Clculo I - 2014/01 - Marco Cabral

Graduao em Matemtica Aplicada - UFRJ

Monitores: Gabriel Sanfins, Raphael Loureno
& Luiza Ferreira
Lista 01 - Introduo Matemtica"
The curiosity and knowledge production in man
often outweigh any carnal pleasure, what makes
man different from any other animal."
Thomas Hobbes
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
Demonstrao por Contradio

Demonstrao por contraposio (Fazemos o uso da contrapositiva de uma afirmao)

A contrapositiva de uma afirmao tem o mesmo significado porm dita de maneira reversa.
Vejamos um exemplo: Se como laranjas, ento gosto de frutas", a contrapositiva dessa
afirmao : Se no gosto de frutas, ento no como laranjas"

Na realidade, o porqu desses mtodos de demonstrao funcionarem tambm um teorema.

Estranho no? Esse resultado explicado no livro A Mathematical Introduction to Logic"
do Matemtico Americano Herbert Enderton. Independentemente do mtodo usado, lembrese de sempre escrever todos os seus passos. Procure ser claro e no omita informaes ainda
que paream irrelevantes.

1. (Demonstraes por Contradio)

O mtodo de demonstrao por contradio usado da seguinte forma:
Suponha que o que se quer concluir falso. Assim, uma sequncia de dedues lgicas levar 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.

Exemplo: Vamos mostrar que 2 irracional. Para isso, vamos mostrar primeiramente, um teorema que ser til durante a demonstrao principal. Em geral quando precisamos mostrar
um teorema para depois usa-lo em outra demonstrao, damos a ele o nome de Lema.
Lema: Se a2 mltiplo de 2, ento a mltiplo de 2.
Vamos usar a contraposio para demonstrar isso. Ou seja, iremos mostrar que se a mpar,
ento a2 mpar. Se a impar, ento, para algum p N, a = 2 p + 1. Logo, a2 =
(2 p + 1) (2 p + 1) = 4 p2 + 4 p + 1
=2 (2 p2 + 2 p) + 1 = 2 q + 1 com q = 2 p2 + 2 p, que um nmero mpar, como queriamos
demonstrar.

a
Demonstrao: Suponha que 2 no irracional, logo, podemos escrever 2 = b ,
a

2
2
2
onde a,b N e b irredutvel. Logo, a = 2 b ; portanto, a mltiplo de 2, ento a
mltiplo de 2 e com isso podemos escrever a=2k, com k N. Ento ficamos com 4 k 2=2 b2
a
2 k 2=b2. Logo, b mltiplo
de 2. Com isso, b no irredutvel o que contradiz uma de

nossas hipteses. Logo 2 irracional.

i Generalize para mostrar que p sendo p um nmero primo, tambm irracional.

ii
iii
iv

v
vi

Tente generalizar o argumento acima para n p sendo p um nmero primo.

Agora mostre que n pm , sendo p primo e m d c(n, m) = 1, tambm irracional.

Voc sabe que existem infinitos nmeros primos. Mas j parou para pensar sobre
como demonstrar isso? Ento, vamos l. Suponha que o conjunto dos nmeros primos
finito. Com isso podemos representar esse conjunto de primos (P) como: P = {p1,
p2, pn }.
Ento tome K = p1 p2

pn +1. Chegue a uma contradio.

Tente provar que existem infinitos primos nas Progresses Aritmticas 4 n + 3 e

6 n + 5 com n N. A generalizao disso para qualquer progresso k n + p com
m d c(k, p) = 1 o chamado Teorema de D i r i c h l e t, porm a demonstrao
surpreendentemente difcil.

2. (Utilizando a Induo)
Imagine uma fileira com infinitos 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 infinitos, todos os domins caiam. Assim o princpio da induo
finita, que um mtodo de demonstrao muito utilizado quando se quer provar teoremas
vlidos para os nmeros naturais ou inteiros.
Teorema: Princpio da induo finita - Dada uma propriedade P(n) que depende de um
inteiro n, ento:
Se P (n0), P (n0 + 1), , P (n0 + m) so verdadeiras para algum inteiro positivo n0 e um inteiro
no-negativo m, e se k > n0 + m, P (j) ser verdade para todo n j < k implicar que P (k)
verdade, ento P (n) verdadeira n n0.
Exemplo: Vamos mostrar usando induo que: Seja p um primo e n um inteiro positivo.
Ento n p n um mltiplo de p. Esse resultado conhecido como Pequeno Teorema de
Fermat .
O caso n=1 bvio. Ento assumamos que isso verdade k n e vamos mostrar que
isso implica a validade para o caso n + 1:
n

(n + 1) p (n + 1) = n p +
p
i

i=1

p j
n +1n1
i

Como
n mltiplo de p quando 1 j p 1 e pela nossa hiptese de induo n p n
mltiplo de p, concluimos que (n + 1) p (n + 1) mltiplo de p. Logo o teorema valido
n N.
j

n (n + 1)
2

Mostre que 1 + 2 + 3 +

ii

Mostre que 12 + 22 + 32 +

+ n2 =

iii

Mostre que 13 + 23 + 33 +

+ n3 = [

iv

Quanto vale 1k + 2k + 3k +
expresso k N?

+n=

n (n + 1) (2 n + 1)
6
n (n + 1) 2
]
2

+ nk? possvel dar uma frmula fechada para essa

Vamos mostrar que as funes da forma F (x) = c o s (n arccos (x)) so polinmios

n N. Eles so os chamados Polinmios de Tchebyshev

vi

Mostre que para n = 1 e para n = 2, F Polinmio.

vii

Suponha que F um polinmio k N tal que k n. Mostre que isso implica que F
polinmio para o caso n + 1.

3. (Funes Convexas e Desigualdade de Jensen)

Def: Uma funo : I R dita convexa se a, b I, onde I R um intervalo, vale
( a + (1 ) b) (a) + (1 ) (b) [0, 1].
i

Pense nessa definio e em alguns exemplos de funes convexas. importante que

voc compreenda pois essa, provavelmente, a primeira definio rigorosa de algo
em matemtica que voc viu na vida. Procure saber por que essa definio boa. O
que seria convexidade para voc? Pense em polgonos..

ii

convexa se e somente se a, b I , a

b, ]0, 1[ vale

(a + (b a)) (a) (b) (a) (b) (a + (b a))

.
(b a)
ba
(1 ) (b a)
iii

Se convexa e a1,
Jensen:

pk = 1, mostre a Desigualdade de

(
k=1

iv

n
k=1

, pn > 0 e

an I , p1,

p k ak )

pk (ak).
k=1

Faamos a demonstrao por induo: Para n=1, o caso trivial. Para n=2, a validade vem da definio de funo convexa. Ento suponha que a desigualdade vlida
k N tal que k n, e mostre que isso implica a validade para o caso n+1.

4. (Algumas Desigualdades legais)

i

Dados a1, a2,

, an R+, temos: (1 + a1) (1 + a2)

ii

Dados a1, a2,

, an pertencentes aos Reais positivos, tem-se:

a1 + a2 +
n

+ an

(1 + an) (1 + a1 + a2 +

a21 + a22 +
n

+ a2n

bc+b ac+c ab

iii

Sejam a 0, b 0 e c 0, mostre que: (a b + b c + a c) a

iv

Prove a Desigualdade de Bernoulli : (1 + x)n 1 + n x, s e n N e x 1

Prove a Desigualdade de Cauchy-Schwarz :

|a1 b1 + a2 b2 +

+ an b n |

a21 +

+ a2n

+ an)

b21 +

+ b2n

5. (Identidades Trigonomtricas: Acredite, em pouco tempo voc ver o quo teis elas so).
Nessa questo voc deve demonstrar algumas identidades:
i

sec2 () = tan2 () + 1 e csc2 () = cot2 () + 1

ii

Prove as seguintes igualdades:

a

sin () + sin () = 2 sin (

+
) cos ( 2 )
2

sin () sin () = 2 sin (

+
) cos ( 2 )
2

cos () + cos () = 2 cos (

cos () cos () = 2 cos (

+
) cos ( 2 )
2

+
) cos ( 2 )
2

iii

Se x + y + z = ento: tan (x) + tan (y) + tan (z) = tan (x) tan (y) tan (z).

iv

Mostre por induo a Frmula ou Identidade de De Moivre:

(cos (x) + i sin (x))n = cos (n x) + i sin (n x)

6. (Somas Infinitas ou Uma noo inicial de Limite:)

Comentrio: possvel que somas infinitas tenham como resultado algo finito? Sim, e quando
acontece dizemos que essa soma converge. Caso contrrio dizemos que diverge. Um exemplo
1
simples : 3 = 0, 3 + 0, 03 + 0, 003 + Uma soma infinita na matemtica conhecida como
srie.
i

O que voc acha do seguinte Paradoxo" do Filsofo Grego Zeno: Aquiles, o heri
grego, e a tartaruga decidem apostar uma corrida. Como a velocidade de Aquiles
maior que a da tartaruga, esta recebe uma vantagem, comeando a corrida um trecho
na frente da linha de largada. Aquiles, ento, nunca alcanar a tartaruga, pois ter
que correr a distncia que os separa, mas ao chegar a esse ponto, a tartaruga ter
percorrido uma nova distancia, e assim sucessivamente. Pesquise sobre esse paradoxo
e sobre as contradies levantadas por Zeno. Ele chegou a diversos argumentos
contra a teoria fsica do movimento usando esse, e outros paradoxos que so citados
na obra de Aristteles.

ii

Mostre a frmula da soma dos termos da Progresso Aritmtica de termo inicial a1:
n (a1 + an)
a1 + a2 + + an =
2

iii

Mostre a frmula da soma dos

termos da Progresso Geomtrica finita de termo
a (q n 1)
inicial a1 e razo q : Sn = 1 q 1

iv

Se |q | < 1, q u a n t o v a l e:

1
2

1
3

1
Soma 1 + + + 4
1
1
1
essa: 1 + 4 + 9 + 16

n
n=0 a q ?
1
=
n=1 n ,

Por que?
converge?

n=1 n2 , converge?
1

i=1 pi , sendo cada pi

vi

vii

o i-simo nmero primo, diverge.

Procure saber se a srie
Uma bela demonstrao para isso devida a Paul Erds, um matemtico hngaro
considerado o mais produtivo de toda a matemtica. Um livro feito por dois alunos
de Erds chamado proofs from the book , rene algumas das mais belas demonstraes
j feitas na Matemtica.

7. (Princpio da Casa dos Pombos)

Teorema: PCP - Se distribuirmos n k + 1 pombos em n casas, ento alguma das casas contm
pelo menos k + 1 pombos.
Esse princpio muito utilizado em diversos problemas, sendo necessrio apenas decidir quem so
os pombos e quem so as casas.
Exemplo: Dados n nmeros inteiros distintos, mostre que existem 2 deles cuja diferena seja um
mltiplo de n 1.
Consideramos os n nmeros como os pombos e as casas como os n 1 restos possveis na diviso
por n 1. Como n = (n 1) + 1 o PCP nos diz que existem dois nmeros dentro dos n
dados que tem o mesmo resto quando divididos por n 1. Ento, vemos que se dois nmeros
deixam o mesmo resto na diviso por n 1, a diferena deles um mltiplo de n 1.
Usando o PCP, resolva os seguintes problemas:
i

Se n, m N, ento o conjunto C = {m + 1, m + 2,
de n.

ii

Prove que entre n + 1 elementos escolhidos no conjunto {1, 2, 3,

que so primos entre si.

iii

Dado qualquer conjunto A formado por 10 nmeros naturais escolhidos entre 1 e 99,
inclusos, mostre que existem dois subconjuntos disjuntos e no-vazios de A tal que
a soma dos seus respectivos elementos igual.

iv

Mostre que todo poliedro convexo tem duas faces com o mesmo nmero de arestas.

Escolhem-se ao acaso 9 pontos em um cubo de aresta 2. Mostre que pelomenos um

dos segmentos que eles determinam tem comprimento menor ou igual a 3 .

, m + n} possui algum mltiplo

, 2 n} existem dois

8. (Demonstraes Diretas, Conjuntos e algo mais...)

Nesta Questo veremos algumas propriedades de conjuntos e faremos suas demonstraes usando
o mtodo direto. Algo que sempre se deve ter em mente : Nem sempre os resultados que
julgamos serem fceis, possuem uma demonstrao fcil, em outras palavras, provar algo
elementar, na matemtica, geralmente, no elementar.
A demontrao direta aquela em que assumimos a hiptese inicial como verdadeira e atravs
de uma srie de argumentos verdadeiros e dedues lgicas conclumos a veracidade da tese.
Exemplo: Quando queremos mostrar que dois conjuntos A e B so iguais, mostramos que A B e
depois que B A. Logicamente, se todos os elementos do cconjunto A so elementos de B,
e todos os elementos de B so elementos de A, conclui-se que A = B. Vejamos um exemplo.
Vamos mostrar que dados dois conjuntos A e B, se B A ento A B = A . Se B A, significa
que x B x A. Como A A, temos que A B A. Mas, x A temos x A B e
portanto A A B. Logo, se B A ento A B = A.
i

ii
iii

Mostre que, dados os conjuntos A, B e C tem-se: A (B C) = (A B) (A C)

Mostre que A (B C) = (A B) (A C)

Mostre que se A B, ento, B (A C) = (B C) A, para qualquer conjunto C.

iv

O que so nmeros algbricos e nmeros transcendentes?

Ao nmero de elementos de um conjunto damos o nome de Cardinalidade. Procure

saber o que so Conjuntos Enumerveis e Conjuntos No-Enumerveis. Lembre-se
que seu dever sempre procurar boas fontes de informaes e conhecimento.

vi

Uma funo f : A B chamada injetiva (biunvoca ou injetora) quando, dados

x,y quaisquer em A, se f (x) = f (y) ento x = y. Uma funo f : A B chamada
sobrejetiva (sobrejetora) 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 (ou
bijeo). Procura alguns exemplos de funes bijetoras e verifique voc mesmo se
elas de fato so bijetoras.

vii

Por definio, se dois conjuntos A e B possuem a mesma cardinalidade ento existe

uma bijeo f : A B. Tente encontrar bijees entre N e Z. E entre N e Q. Ou seja,
N, Z e Q possuem o mesmo nmero de elementos. Estranho no? Mas N Z Q?
Pois . estranho mas verdade. Isso nos leva a ver que quando falamos de coisas
infinitas, nem tudo to simples assim.

9. (Anlise Combinatria: , voc no est nem um pouco livre dela")

A Anlise Combinatria uma rea que d muitas ferramentas teis para outras reas da
matemtica. O supracitado Princpio da Casa dos Pombos, por exemplo, um teorema
que pertence a essa rea. Portanto, saber manipular nmeros binomiais,arranjos, permutaes e etc, algo fundamental.
Mostre as seguintes identidades:
i

ii

k
n
k

n
k

=n
=

n1
k

iii

h+m
c

iv

n
k

k
m
n
j =k

n1
k 1

j
k

+
h
k=0

n
m

n1
k 1
h
k

nm
k m
n+1
k+1

m
ck

para 0 m k n

10. (Patologias e Sutilezas: As coisas podem ser mais delicadas e estranhas do que voc pensa")
Em matemtica, patologias so resultados que de certa maneira vo de encontro s idias
intuitivas, matematicamente falando, de um certo perodo da histria. Um exemplo a
descoberta de que existem nmeros irracionais, na grcia antiga. Parece bobo nos dias
de hoje, mas na poca foi algo que deixou os matemticos bastante assustados.
i

O que o Axioma da Escolha? Ele faz sentido para voc? Procure saber o por qu
desse axioma ser to polmico na matemtica. Procure pelo Paradoxo de BanachTarski .

ii

Voc j ouviu falar do Teorema da Incompletude de Gdel ? O que diz esse teorema?

iii

Pesquise sobre a Conjectura de Goldbach.

iv

O que um Fractal ? Para que ele serve?

Se um Hotel possui infinitos quartos, mas todos esto cheios, possvel esse hotel
receber mais hspedes? Pesquise sobre o Hotel de Hilbert .

vi

Todas as pessoas do mundo torcem para o Mesmo Time. Vamos demonstrar 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 a n e para os de dimenso n, ento se houver n + 1
pessoas num conjunto, retiramos uma delas para obter um conjunto resultante com
n pessoas, e pela hiptese de induo, todos as pessoas nesse conjunto torcem pro
mesmo time. Devolvemos a pessoa retirada ao conjunto inicial, e retiramos outra
diferente. Pela hiptese de induo, todas as n pessoas torcem pro mesmo time. Logo
as n + 1 pessoas torcem pro mesmo time. Ento para qualquer n N, as n pessoas
torcem para o mesmo time. E agora? Isso est errado? e se estiver, onde est o erro?

vii

Considere-se o conjunto M como sendo o conjunto de todos os conjuntos que no se

tm a si prprios como membros". Formalmente: A elemento de M se e somente
se A no elemento de A. Esse conjunto membro de si prprio? Suponha que sim
e depois que no. O que voc conclui?

viii

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.