Clculo I - 2012/01 - Marco Cabral a

Graduao em Matemtica Aplicada - UFRJ ca a Monitores: Gabriel Sanns & Raphael Loureno c Lista 01 - Introduo ` Matemtica ca a a
The curiosity and knowledge production in man often outweigh any carnal pleasure, what makes man dierent from any other animal. Thomas Hobbes

Consideraes Iniciais: Na matemtica, um axioma uma hiptese inicial da qual outros enunciados co a e o so logicamente derivados. Diferentemente de teoremas, axiomas no podem ser derivados por princ a a pios de deduo e nem so demonstrveis por derivaes formais, simplesmente porque eles so hipteses iniciais. ca a a co a o Partindo dos Axiomas, toda a teoria desenvolvida e os resultados obtidos em sequncia, podem (e devem) e e ser utilizados para que outros teoremas sejam provados. Os teoremas podem ser deduzidos por uma sequncia e de racioc nios lgicos, a qual chamamos de Demonstrao. Os tipos mais usados so: o ca a Demonstrao Direta ca Demonstrao por Contradio ca ca Demonstrao por contraposio (Fazemos o uso da contrapositiva de uma armao) ca ca ca A contrapositiva de uma armao tem o mesmo signicado porm dita de maneira reversa. ca e e Vejamos um exemplo: Se como laranjas, ento gosto de frutas, a contrapositiva dessa armao : a ca e Se no gosto de frutas, ento no como laranjas a a a Na realidade, o porqu desses mtodos de demonstrao funcionarem tambm um teorema. Estranho e e ca e e no? Esse resultado explicado no livro A Mathematical Introduction to Logic do Matemtico a e a Americano Herbert Enderton. Independentemente do mtodo usado, lembre-se de sempre escrever e todos os seus passos. Procure ser claro e no omita informaes ainda que paream irrelevantes. a co c 1. (Demonstraes por Contradio) co ca O mtodo de demonstrao por contradio usado da seguinte forma: e ca ca e Suponha que o que se quer concluir falso. Assim, uma sequncia de dedues lgicas levar a uma e e co o a concluso que contradiz suas hipteses iniciais ou a um fato que sabidamente falso. Essa contradio a o e ca implica a validade do que se queria concluir. e Exemplo: Vamos mostrar que 2 irracional. Para isso, vamos mostrar primeiramente, um teorema que ser util durante a demonstrao principal. Em geral quando precisamos mostrar um teorema para a ca depois usa-lo em outra demonstrao, damos a ele o nome de Lema. ca Lema: Se a2 mltiplo de 2, ento a mltiplo de 2. e u a e u Vamos usar a contraposio para demonstrar isso. Ou seja, iremos mostrar que se a ca e mpar, ento a2 a e 2 mpar. Se a impar, ento, para algum p N, a = 2p + 1. Logo, a = (2p + 1)(2p + 1) = 4p2 + 4p + 1 e a = 2(2p2 + 2p) + 1 = 2q + 1 com q = 2p2 + 2p, que um nmero e u mpar, como queriamos demonstrar. Demonstrao: Suponha que 2 no irracional, logo, podemos escrever 2 = a , onde a,b N ca a e b vel. Logo, a2 = 2b2 ; portanto, a2 mltiplo de 2, ento a mltiplo de 2 e com isso e u a e u e a irredut b e podemos escrever a=2k, com k N . Ento camos com 4k 2 =2b2 2k 2 =b2 . Logo, b mltiplo de a e u a e vel o 2. Com isso, a no irredut o que contradiz uma de nossas hipteses. Logo 2 irracional. e b p sendo p um nmero primo, tambm irracional. u e e u ii. Tente generalizar o argumento acima para n p sendo p um nmero primo. i. Generalize para mostrar que

iii. Agora mostre que

pm , sendo p primo e mdc(n, m) = 1, tambm irracional. e e

iv. Voc sabe que existem innitos nmeros primos. Mas j parou para pensar sobre como demonstrar e u a isso? Ento, vamos l. Suponha que o conjunto dos nmeros primos nito. Com isso podemos a a u e representar esse conjunto de primos (P) como: P = {p1 , p2 , . . . pn }. v. Ento tome K = p1 p2 . . . pn +1. Chegue a uma contradio. a ca vi. Tente provar que existem innitos primos nas Progresses Aritmticas 4n + 3 e 6n + 5 com n N. o e A generalizao disso para qualquer progresso kn + p com mdc(k, p) = 1 o chamado Teorema ca a e de Dirichlet, porm a demonstrao surpreendentemente dif e ca e cil. 2. (Utilizando a Induo) ca Imagine uma leira com innitos domins, um atrs do outro. Suponha que eles estejam de tal modo o a distribu dos que, uma vez que um domin caia, o seu sucessor tambm cai. O que acontece quando o a derrubamos o primeiro domin? o Esperamos que, com isso, mesmo innitos, todos os domins caiam. Assim o princ o e pio da induo ca nita, que um mtodo de demonstrao muito utilizado quando se quer provar teoremas vlidos para e e ca a os nmeros naturais ou inteiros. u Teorema: Princ pio da induo nita - Dada uma propriedade P(n) que depende de um inca teiro n, ento: a Se P (n0 ), P (n0 + 1), . . . , P (n0 + m) so verdadeiras para algum inteiro positivo n0 e um ina teiro no-negativo m, e se k > n0 + m, P (j) ser verdade para todo n j < k implicar que P (k) a e verdade, ento P (n) verdadeira n n0 . a e Exemplo: Vamos mostrar usando induo que: Seja p um primo e n um inteiro positivo. Ento ca a np n um mltiplo de p. Esse resultado conhecido como Pequeno Teorema de Fermat. e u e O caso n=1 bvio. Ento assumamos que isso verdade k n e vamos mostrar que isso implica eo a e a validade para o caso n + 1:
n

(n + 1)

(n + 1) = n

+
i=1

p j n + 1 n 1 i

Como p nj mltiplo de p quando 1 j p 1 e pela nossa hiptese de induo np n e u o ca e i mltiplo de p, concluimos que (n + 1)p (n + 1) mltiplo de p. Logo o teorema valido n N. u e u e i. Mostre que 1 + 2 + 3 + . . . + n = ii. Mostre que 12 + 22 + 32 + . . . + iii. Mostre que 13 + 23 + 33 + . . . +
n(n+1) 2 n2 = n(n+1)(2n+1) 6 n(n+1) 2 3 n =[ 2 ]

iv. Quanto vale 1k + 2k + 3k + . . . + nk ? E poss vel dar uma frmula fechada para essa expresso o a k N? v. Vamos mostrar que as funes da forma F (x) = co Eles so os chamados Polinmios de Tchebyshev a o

cos(n arccos(x)) so polinmios n N. a o

vi. Mostre que para n = 1 e para n = 2, F Polinmio. e o vii. Suponha que F um polinmio k N tal que k n. Mostre que isso implica que F polinmio e o e o para o caso n + 1.

3. (Funes Convexas e Desigualdade de Jensen) co Def: Uma funo : I R dita convexa se a, b I, onde I R um intervalo, vale ca e e (a + (1 )b) (a) + (1 )(b) [0, 1]. i. Pense nessa denio e em alguns exemplos de funes convexas. E importante que voc ` ca co e a compreenda pois essa, provavelmente, a primeira denio rigorosa de algo em matemtica que e ca a voc viu na vida. Procure saber por que essa denio boa. O que seria convexidade para voc? e ca e e Pense em pol gonos.. ii. convexa se e somente se a, b I, a = b, ]0, 1[ vale e (b) (a) (b) (a + (b a)) (a + (b a)) (a) . (b a) ba (1 )(b a) iii. Se convexa e a1 , . . . an I, p1 , . . . , pn > 0 e e
n n k=1 n

pk = 1, mostre a Desigualdade de Jensen:

(
k=1

pk ak )
k=1

pk (ak ).

iv. Faamos a demonstrao por induo: Para n=1, o caso trivial. Para n=2, a validade vem da c ca ca e denio de funo convexa. Ento suponha que a desigualdade vlida k N tal que k n, ca ca a e a 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 ) . . . (1 + an ) (1 + a1 + a2 + . . . + an ) + ii. Dados a1 , a2 , . . . , an pertencentes aos Reais positivos, tem-se: a2 + a2 + . . . + a2 n 1 2 n iii. Sejam a 0, b 0 e c 0, mostre que: (ab + bc + ac) a bc + b ac + c ab a1 + a2 + . . . + an n iv. Prove a Desigualdade de Bernoulli : (1 + x)n 1 + nx, se n N e x 1 v. Prove a Desigualdade de Cauchy-Schwarz : |a1 b1 + a2 b2 + . . . + an bn | a2 + . . . + a2 n 1 b2 + . . . + b2 n 1

5. (Identidades Trigonomtricas: Acredite, em pouco tempo voc ver o quo uteis elas so). e e a a a Nessa questo voc deve demonstrar algumas identidades: a e i. sec2 () = tan2 () + 1 e csc2 () = cot2 () + 1 ii. Prove as seguintes igualdades: a. sin() + sin() = 2 sin( + ) cos( ) 2 2 b. sin() sin() = 2 sin( ) cos( + ) 2 2 c. cos() + cos() = 2 cos( + ) cos( ) 2 2 d. cos() cos() = 2 cos( ) cos( + ) 2 2 iii. Se x + y + z = ento: tan(x) + tan(y) + tan(z) = tan(x) tan(y) tan(z). a iv. Mostre por induo a Frmula ou Identidade de De Moivre: ca o (cos(x) + i sin(x))n = cos(nx) + i sin(nx) 3

6. (Somas Innitas ou Uma noo inicial de Limite:) ca Comentrio: E poss a vel que somas innitas tenham como resultado algo nito? Sim, e quando acontece dizemos que essa soma converge. Caso contrrio dizemos que diverge. Um exemplo simples a a e e : 1 = 0, 3 + 0, 03 + 0, 003 + . . . Uma soma innita na matemtica conhecida como srie. e 3 i. O que voc acha do seguinte Paradoxo do Filsofo Grego Zeno: Aquiles, o heri grego, e a e o a o tartaruga decidem apostar uma corrida. Como a velocidade de Aquiles maior que a da tartaruga, e esta recebe uma vantagem, comeando a corrida um trecho na frente da linha de largada. Aquiles, c ento, nunca alcanar a tartaruga, pois ter que correr a distncia que os separa, mas ao chegar a a c a a a esse ponto, a tartaruga ter percorrido uma nova distancia, e assim sucessivamente. Pesquise sobre a esse paradoxo e sobre as contradies levantadas por Zeno. Ele chegou a diversos argumentos co a contra a teoria f sica do movimento usando esse, e outros paradoxos que so citados na obra de a Aristteles. o ii. Mostre a frmula da soma dos termos da Progresso Aritmtica de termo inicial a1 : a1 + a2 + o a e n(a1 +an ) . . . + an = 2 iii. Mostre a frmula da soma dos termos da Progresso Geomtrica nita de termo inicial a1 e razo o a e a a1 (q n 1) q : Sn = q1 iv. Se |q| < 1, quanto vale : v. A Soma 1 + vi. E essa: 1 +
1 1 1 2 + 3 + 4 1 1 1 4 + 9 + 16 n=0

aq n ? Por que?
n=1 n=1 1 n , converge? 1 n2 , converge?

+ ... = + ... =

1 e u vii Procure saber se a srie e i=1 pi , sendo cada pi o i-simo n mero primo, diverge. Uma bela demonstrao para isso devida a Paul Erds, um matemtico hngaro considerado o mais ca e o a u produtivo de toda a matemtica. Um livro feito por dois alunos de Erds chamado proofs from a o the book, rene algumas das mais belas demonstraes j feitas na Matemtica. u co a a

7. (Princ pio da Casa dos Pombos) Teorema: PCP - Se distribuirmos nk + 1 pombos em n casas, ento alguma das casas contm pelo a e menos k + 1 pombos. Esse princ pio muito utilizado em diversos problemas, sendo necessrio apenas decidir quem so os e a a pombos e quem so as casas. a Exemplo: Dados n nmeros inteiros distintos, mostre que existem 2 deles cuja diferena seja um u c mltiplo de n 1. u Consideramos os n nmeros como os pombos e as casas como os n 1 restos poss u veis na diviso por a n 1. Como n = (n 1) + 1 o PCP nos diz que existem dois nmeros dentro dos n dados que tem o u mesmo resto quando divididos por n 1. Ento, vemos que se dois nmeros deixam o mesmo resto na a u diviso por n 1, a diferena deles um mltiplo de n 1. a c e u Usando o PCP, resolva os seguintes problemas: i. Se n, m N, ento o conjunto C = {m + 1, m + 2, . . . , m + n} possui algum mltiplo de n. a u ii. Prove que entre n + 1 elementos escolhidos no conjunto {1, 2, 3, . . . , 2n} existem dois que so a primos entre si. iii. Dado qualquer conjunto A formado por 10 nmeros naturais escolhidos entre 1 e 99, inclusos, u mostre que existem dois subconjuntos disjuntos e no-vazios de A tal que a soma dos seus respeca tivos elementos igual. e iv. Mostre que todo poliedro convexo tem duas faces com o mesmo nmero de arestas. u v. Escolhem-se ao acaso 9 pontos em um cubo de aresta 2. Mostre que pelo menos um dos segmentos que eles determinam tem comprimento menor ou igual a 3.

8. (Demonstraes Diretas, Conjuntos e algo mais...) co Nesta Questo veremos algumas propriedades de conjuntos e faremos suas demonstraes usando o a co mtodo direto. Algo que sempre se deve ter em mente : Nem sempre os resultados que julgamos serem e e fceis, possuem uma demonstrao fcil, em outras palavras, provar algo elementar, na matemtica, a ca a a geralmente, no elementar. a e A demontrao direta aquela em que assumimos a hiptese inicial como verdadeira e atravs de ca e o e uma srie de argumentos verdadeiros e dedues lgicas conclu e co o mos a veracidade da tese. Exemplo: Quando queremos mostrar que dois conjuntos A e B so iguais, mostramos que A B e a depois que B A. Logicamente, se todos os elementos do cconjunto A so elementos de B, e todos os a elementos de B so elementos de A, conclui-se que A = B. Vejamos um exemplo. a Vamos mostrar que dados dois conjuntos A e B, se B A ento A B = A . Se B A, signica que a 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. a i. Mostre que, dados os conjuntos A, B e C tem-se: A (B C) = (A B) (A C) ii. Mostre que A (B C) = (A B) (A C) iii. Mostre que se A B, ento, B (A C) = (B C) A, para qualquer conjunto C. a iv. O que so nmeros algbricos e nmeros transcendentes? a u e u v. Ao nmero de elementos de um conjunto damos o nome de Cardinalidade. Procure saber o que u so Conjuntos Enumerveis e Conjuntos No-Enumerveis. Lembre-se que seu dever sempre a a a a e procurar boas fontes de informaes e conhecimento. co vi. Uma funo f : A B chamada injetiva (biun ca e voca 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) a ca e quando para todo y B existe pelo menos um x A tal que f (x) = y. Quando f : A B e injetiva e sobrejetiva, chamamos f de bijetiva (ou bijeo). Procura alguns exemplos de funes ca co bijetoras e verique voc mesmo se elas de fato so bijetoras. e a vii. Por denio, se dois conjuntos A e B possuem a mesma cardinalidade ento existe uma bijeo ca a ca f : A B. Tente encontrar bijees entre N e Z. E entre N e Q. Ou seja, N, Z e Q possuem co o mesmo nmero de elementos. Estranho no? Mas N Z Q? Pois . E estranho mas u a e e verdade. Isso nos leva a ver que quando falamos de coisas innitas, nem tudo to simples assim. e a 9. (Anlise Combinatria: , voc no est nem um pouco livre dela) a o e e a a A Anlise Combinatria uma rea que d muitas ferramentas uteis para outras reas da matemtica. a o e a a a a O supracitado Princ pio da Casa dos Pombos, por exemplo, um teorema que pertence a essa rea. e a Portanto, saber manipular nmeros binomiais,arranjos, permutaes e etc, algo fundamental. u co e Mostre as seguintes identidades: i. k ii. iii. iv. v.
n k n k

= n =

n1 k1 n1 + k

n1 k1 m ck

h+m c n k k m

= = =

h h k=0 k n m nm km n+1 k+1

para 0 m k n

n j j=k k

10. (Patologias e Sutilezas: As coisas podem ser mais delicadas e estranhas do que voc pensa) e Em matemtica, patologias so resultados que de certa maneira vo de encontro `s idias intuitia a a a e vas, matematicamente falando, de um certo per odo da histria. Um exemplo a descoberta de que o e existem nmeros irracionais, na grcia antiga. Parece bobo nos dias de hoje, mas na poca foi algo u e e que deixou os matemticos bastante assustados. a i. O que o Axioma da Escolha? Ele faz sentido para voc? Procure saber o por qu desse axioma e e e ser to polmico na matemtica. Procure pelo Paradoxo de Banach-Tarski. a e a ii. Voc j ouviu falar do Teorema da Incompletude de Gdel ? O que diz esse teorema? e a o iii. Pesquise sobre a Conjectura de Goldbach. iv. O que um Fractal ? Para que ele serve? e v. Se um Hotel possui innitos quartos, mas todos esto cheios, poss esse hotel receber mais a e vel hspedes? Pesquise sobre o Hotel de Hilbert. o vi. Todas as pessoas do mundo torcem para o Mesmo Time. Vamos demonstrar por induo. Podemos ca observar que num conjunto que contm uma unica pessoa, todas torcem pro mesmo time. Se e supusermos que a proposio verdadeira para todos os conjuntos de dimenso inferior a n e ca e a para os de dimenso n, ento se houver n + 1 pessoas num conjunto, retiramos uma delas para a a obter um conjunto resultante com n pessoas, e pela hiptese de induo, todos as pessoas nesse o ca 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 o ca n + 1 pessoas torcem pro mesmo time. Ento para qualquer n N, as n pessoas torcem para o a mesmo time. E agora? Isso est errado? e se estiver, onde est o erro? a a vii. Considere-se o conjunto M como sendo o conjunto de todos os conjuntos que no se tm a si a e prprios como membros. Formalmente: A elemento de M se e somente se A no elemento o e a e de A. Esse conjunto membro de si prprio? Suponha que sim e depois que no. O que voc e o a e conclui? viii. Ser que existe o conjunto universo, isto , um conjunto que contenha todos os conjuntos? a e As pessoas, em geral, pensam que a matemtica algo completamente certinho e exato, onde a e tudo sempre funciona e faz perfeito sentido. Bom, voc acaba de ver que elas esto completamente ene a ganadas, e que, mesmo nos dias de hoje, ainda existem diversas coisas que deixam o mundo matemtico a bastante intrigado.