Você está na página 1de 6

C alculo I - 2012/01 - Marco Cabral

Gradua c ao em Matem atica Aplicada - UFRJ Monitores: Gabriel Sanns & Raphael Louren co Lista 01 - Introdu c ao ` a Matem atica
The curiosity and knowledge production in man often outweigh any carnal pleasure, what makes man dierent from any other animal. Thomas Hobbes

Considera c oes Iniciais: Na matem atica, um axioma e uma hip otese inicial de qual outros enunciados s ao logicamente derivados. Diferentemente de teoremas, axiomas n ao podem ser derivados por princ pios de dedu c ao e nem s ao demonstr aveis por deriva c oes formais, simplesmente porque eles s ao hip oteses iniciais. Partindo dos Axiomas, toda a teoria e desenvolvida e os resultados obtidos em sequ encia, podem (e devem) ser utilizados para que outros teoremas sejam provados. Os teoremas podem ser deduzidos por uma sequ encia de racioc nios l ogicos, a qual chamamos de Demonstra c ao. Os tipos mais usados s ao: Demonstra c ao Direta Demonstra c ao por Contradi c ao Demonstra c ao por contraposi c ao (Fazemos o uso da contrapositiva de uma arma c ao) A contrapositiva de uma arma c ao tem o mesmo signicado por em e dita de maneira reversa. Vejamos um exemplo: Se como laranjas, ent ao gosto de frutas, a contrapositiva dessa arma c ao e: Se n ao gosto de frutas, ent ao n ao como laranjas Na realidade, o porqu e desses m etodos de demonstra c ao funcionarem tamb em e um teorema. Estranho n ao? Esse resultado e explicado no livro A Mathematical Introduction to Logic do Matem atico Americano Herbert Enderton. Independentemente do m etodo usado, lembre-se de sempre escrever todos os seus passos. Procure ser claro e n ao omita informa c oes ainda que pare cam irrelevantes. 1. (Demonstra c oes por Contradi c ao) O m etodo de demonstra c ao por contradi c ao e usado da seguinte forma: Suponha que o que se quer concluir e falso. Assim, uma sequ encia de dedu c oes l ogicas levar a a uma conclus ao que contradiz suas hip oteses iniciais ou a um fato que e sabidamente falso. Essa contradi c ao implica a validade do que se queria concluir. e irracional. Para isso, vamos mostrar primeiramente, um teorema Exemplo: Vamos mostrar que 2 que ser au til durante a demonstra c ao principal. Em geral quando precisamos mostrar um teorema para depois usa-lo em outra demonstra c ao, damos a ele o nome de Lema. Lema: Se a2 e m ultiplo de 2, ent ao a e m ultiplo de 2. Vamos usar a contraposi c ao para demonstrar isso. Ou seja, iremos mostrar que se a e mpar, ent ao a2 e 2 2 mpar. Se a e impar, ent ao, para algum p N, a = 2p + 1. Logo, a = (2p + 1)(2p + 1) = 4p + 4p + 1 = 2(2p2 + 2p) + 1 = 2q + 1 com q = 2p2 + 2p, que e um n umero mpar, como queriamos demonstrar. Demonstra c ao: Suponha que 2 n ao e irracional, logo, podemos escrever 2 = a b , onde a,b N a 2 2 2 e irredut vel. Logo, a = 2b ; portanto, a e m ultiplo de 2, ent ao a e m ultiplo de 2 e com isso e b podemos escrever a=2k, com k N . Ent ao camos com 4k 2 =2b2 2k 2 =b2 . Logo, b e m ultiplo de n a o e irredut vel o que contradiz uma de nossas hip o teses. Logo 2. Com isso, a 2 e irracional. b p sendo p um n umero primo, tamb em e irracional. umero primo. ii. Tente generalizar o argumento acima para n p sendo p um n i. Generalize para mostrar que

iii. Agora mostre que

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

iv. Voc e sabe que existem innitos n umeros primos. Mas j a parou para pensar sobre como demonstrar isso? Ent ao, vamos l a. Suponha que o conjunto dos n umeros primos e nito. Com isso podemos representar esse conjunto de primos (P) como: P = {p1 , p2 , . . . pn }. v. Ent ao tome K = p1 p2 . . . pn +1. Chegue a uma contradi c ao. vi. Tente provar que existem innitos primos nas Progress oes Aritm eticas 4n + 3 e 6n + 5 com n N. A generaliza c ao disso para qualquer progress ao kn + p com mdc(k, p) = 1 e o chamado Teorema de Dirichlet, por em a demonstra c ao e surpreendentemente dif cil. 2. (Utilizando a Indu c ao) Imagine uma leira com innitos domin os, um atr as do outro. Suponha que eles estejam de tal modo distribu dos que, uma vez que um domin o caia, o seu sucessor tamb am cai. O que acontece quando derrubamos o primeiro domin o? Esperamos que, com isso, mesmo innitos, todos os domin os caiam. Assim e o princ pio da indu c ao nita, que e um m etodo de demonstra c ao muito utilizado quando se quer provar teoremas v alidos para os n umeros naturais ou inteiros. Teorema: Princ pio da indu c ao nita - Dada uma propriedade P(n) que depende de um inteiro n, ent ao: Se P (n0 ), P (n0 + 1), . . . , P (n0 + m) s ao verdadeiras para algum inteiro positivo n0 e um inteiro n ao-negativo m, e se k > n0 + m, P (j ) ser verdade para todo n j < k implicar que P (k ) e verdade, ent ao P (n) e verdadeira n n0 . Exemplo: Vamos mostrar usando indu c ao que: Seja p um primo e n um inteiro positivo. Ent ao np n e um m ultiplo de p. Esse resultado e conhecido como Pequeno Teorema de Fermat. O caso n=1 e obvio. Ent ao assumamos que isso e verdade k n e vamos mostrar que isso implica a validade para o caso n + 1:
n

(n + 1)

(n + 1) = n

+
i=1

p j n + 1 n 1 i

j Como p e m ultiplo de p quando 1 j p 1 e pela nossa hip otese de indu c ao np n e i n m ultiplo de p, concluimos que (n + 1)p (n + 1) e m ultiplo de p. Logo o teorema e valido n N.

i. Mostre que 1 + 2 + 3 + . . . + n = ii. Mostre que 12 + 22 + 32 + . . . + iii. Mostre que 13 + 23 + 33 + . . . +

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

poss iv. Quanto vale 1k + 2k + 3k + . . . + nk ? E vel dar uma f ormula fechada para essa express ao k N? v. Vamos mostrar que as fun c oes da forma F (x) = Eles s ao os chamados Polin omios de Tchebyshev

cos(n arccos(x)) s ao polin omios n N.

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

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

pk = 1, mostre a Desigualdade de Jensen :

(
k=1

pk ak )
k=1

pk (ak ).

iv. Fa camos a demonstra c ao por indu c ao: Para n=1, o caso e trivial. Para n=2, a validade vem da deni c ao de fun c ao convexa. Ent ao suponha que a desigualdade e v alida 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 ) . . . (1 + an ) (1 + a1 + a2 + . . . + an ) ii. Dados a1 , a2 , . . . , an pertencentes aos Reais positivos, tem-se:
2 2 a2 1 + a2 + . . . + an 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 |
2 a2 1 + . . . + an 2 b2 1 + . . . + bn

5. (Identidades Trigonom etricas: Acredite, em pouco tempo voc e ver a o qu ao u teis elas s ao). Nessa quest ao voc e deve demonstrar algumas identidades: i. sec2 ( ) = tan2 ( ) + 1 e csc2 ( ) = cot2 ( ) + 1 ii. Prove as seguintes igualdades:
a. sin() + sin( ) = 2 sin( + 2 ) cos( 2 ) + b. sin() sin( ) = 2 sin( 2 ) cos( 2 ) c. cos() + cos( ) = 2 cos( + 2 ) cos( 2 ) + d. cos() cos( ) = 2 cos( 2 ) cos( 2 )

iii. Se x + y + z = ent ao: tan(x) + tan(y ) + tan(z ) = tan(x) tan(y ) tan(z ). iv. Mostre por indu c ao a F ormula ou Identidade de De Moivre : (cos(x) + i sin(x))n = cos(nx) + i sin(nx) 3

6. (Somas Innitas ou Uma no c ao inicial de Limite:) poss Coment ario: E vel que somas innitas tenham como resultado algo nito? Sim, e quando acontece dizemos que essa soma converge. Caso contr ario dizemos que diverge. Um exemplo simples = 0 , 3 + 0 , 03 + 0 , 003 + . . . Uma soma innita na matem atica e conhecida como s erie. e: 1 3 i. O que voc e acha do seguinte Paradoxo do Fil osofo Grego Zen ao: Aquiles, o her oi grego, e a tartaruga decidem apostar uma corrida. Como a velocidade de Aquiles e maior que a da tartaruga, esta recebe uma vantagem, come cando a corrida um trecho na frente da linha de largada. Aquiles, ent ao, nunca alcan car a a tartaruga, pois ter a que correr a dist ancia que os separa, mas ao chegar a esse ponto, a tartaruga ter a percorrido uma nova distancia, e assim sucessivamente. Pesquise sobre esse paradoxo e sobre as contradi c oes levantadas por Zen ao. Ele chegou a diversos argumentos contra a teoria f sica do movimento usando esse, e outros paradoxos que s ao citados na obra de Arist oteles. ii. Mostre a f ormula da soma dos termos da Progress ao Aritm etica de termo inicial a1 : a1 + a2 + n(a1 +an ) . . . + an = 2 iii. Mostre a f ormula da soma dos termos da Progress ao Geom etrica nita de termo inicial a1 e raz ao 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 esimo n umero primo, diverge. Uma bela vii Procure saber se a s erie i=1 pi , sendo cada pi o i- demonstra c ao para isso e devida a Paul Erd os, um matem atico h ungaro considerado o mais produtivo de toda a matem atica. Um livro feito por dois alunos de Erd os chamado proofs from the book, re une algumas das mais belas demonstra c oes j a feitas na Matem atica.

7. (Princ pio da Casa dos Pombos) Teorema: PCP - Se distribuirmos nk + 1 pombos em n casas, ent ao alguma das casas cont em pelo menos k + 1 pombos. Esse princ pio e muito utilizado em diversos problemas, sendo necess ario apenas decidir quem s ao os pombos e quem s ao as casas. Exemplo: Dados n n umeros inteiros distintos, mostre que existem 2 deles cuja diferen ca seja um m ultiplo de n 1. Consideramos os n n umeros como os pombos e as casas como os n 1 restos poss veis na divis ao por n 1. Como n = (n 1) + 1 o PCP nos diz que existem dois n umeros dentro dos n dados que tem o mesmo resto quando divididos por n 1. Ent ao, vemos que se dois n umeros deixam o mesmo resto na divis ao por n 1, a diferen ca deles e um m ultiplo de n 1. Usando o PCP, resolva os seguintes problemas: i. Se n, m N, ent ao o conjunto C = {m + 1, m + 2, . . . , m + n} possui algum divisor de n. ii. Prove que entre n + 1 elementos escolhidos no conjunto {1, 2, 3, . . . , 2n} existem dois que s ao primos entre si. iii. Dado qualquer conjunto A formado por 10 n umeros naturais escolhidos entre 1 e 99, inclusos, mostre que existem dois subconjuntos disjuntos e n ao-vazios de A tal que a soma dos seus respectivos elementos e igual. iv. Mostre que todo poliedro convexo tem duas faces com o mesmo n umero de arestas. 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. (Demonstra c oes Diretas, Conjuntos e algo mais...) Nesta Quest ao veremos algumas propriedades de conjuntos e faremos suas demonstra c oes usando o m etodo direto. Algo que sempre se deve ter em mente e: Nem sempre os resultados que julgamos serem f aceis, possuem uma demonstra c ao f acil, em outras palavras, provar algo elementar, na matem atica, geralmente, n ao e elementar. A demontra c ao direta e aquela em que assumimos a hip otese inicial como verdadeira e atrav es de uma s erie de argumentos verdadeiros e dedu c oes l ogicas conclu mos a veracidade da tese. Exemplo: Quando queremos mostrar que dois conjuntos A e B s ao iguais, mostramos que A B e depois que B A. Logicamente, se todos os elementos do cconjunto A s ao elementos de B , e todos os elementos de B s ao elementos de A, conclui-se que A = B . Vejamos um exemplo. Vamos mostrar que dados dois conjuntos A e B , se B A ent ao A B = A . Se B A, signica 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 ent ao A B = 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 , ent ao, B (A C ) = (B C ) A, para qualquer conjunto C . iv. O que s ao n umeros alg ebricos e n umeros transcendentes? v. Ao n umero de elementos de um conjunto damos o nome de Cardinalidade. Procure saber o que s ao Conjuntos Enumer aveis e Conjuntos N ao-Enumer aveis. Lembre-se que e seu dever sempre procurar boas fontes de informa c oes e conhecimento. vi. Uma fun c ao f : A B e chamada injetiva (biun voca ou injetora) quando, dados x,y quaisquer em A, se f (x) = f (y ) ent ao x = y . Uma fun c ao f : A B e chamada sobrejetiva (sobrejetora) 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 bije c ao). Procura alguns exemplos de fun c oes bijetoras e verique voc e mesmo se elas de fato s ao bijetoras. vii. Por deni c ao, se dois conjuntos A e B possuem a mesma cardinalidade ent ao existe uma bije c ao f : A B . Tente encontrar bije c oes entre N e Z. E entre N e Q. Ou seja, N, Z e Q possuem estranho mas o mesmo n umero de elementos. Estranho n ao? Mas N Z Q? Pois e. E e verdade. Isso nos leva a ver que quando falamos de coisas innitas, nem tudo e t ao simples assim. 9. (An alise Combinat oria: e, voc e n ao est a nem um pouco livre dela) A An alise Combinat oria e uma area que d a muitas ferramentas u teis para outras areas da matem atica. O supracitado Princ pio da Casa dos Pombos, por exemplo, e um teorema que pertence a essa area. Portanto, saber manipular n umeros binomiais,arranjos, permuta c oes e etc, e algo fundamental. Mostre as seguintes identidades: i. k ii. iii. iv. v.
n k n k

= n =

n1 k1 n1 + k

n1 k 1 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 e pensa) Em matem atica, patologias s ao resultados que de certa maneira v ao de encontro ` as id eias intuitivas, matematicamente falando, de um certo per odo da hist oria. Um exemplo e a descoberta de que existem n umeros irracionais, na gr ecia antiga. Parece bobo nos dias de hoje, mas na epoca foi algo que deixou os matem aticos bastante assustados. i. O que e o Axioma da Escolha? Ele faz sentido para voc e? Procure saber o por qu e desse axioma ser t ao pol emico na matem atica. Procure pelo Paradoxo de Banach-Tarski. ii. Voc e j a ouviu falar do Teorema da Incompletude de G odel ? O que diz esse teorema? iii. Pesquise sobre a Conjectura de Goldbach. iv. O que e um Fractal ? Para que ele serve? v. Se um Hotel possui innitos quartos, mas todos est ao cheios, e poss vel esse hotel receber mais h ospedes? Pesquise sobre o Hotel de Hilbert. vi. Todas as pessoas do mundo torcem para o Mesmo Time. Vamos demonstrar por indu c ao. Podemos observar que num conjunto que cont em uma u nica pessoa, todas torcem pro mesmo time. Se supusermos que a proposi c ao e verdadeira para todos os conjuntos de dimens ao inferior a n e para os de dimens ao n, ent ao se houver n + 1 pessoas num conjunto, retiramos uma delas para obter um conjunto resultante com n pessoas, e pela hip otese de indu c ao, todos as pessoas nesse conjunto torcem pro mesmo time. Devolvemos a pessoa retirada ao conjunto inicial, e retiramos outra diferente. Pela hip otese de indu c ao, todas as n pessoas torcem pro mesmo time. Logo as n + 1 pessoas torcem pro mesmo time. Ent ao para qualquer n N, as n pessoas torcem para o mesmo time. E agora? Isso est a errado? e se estiver, onde est a o erro? vii. Considere-se o conjunto M como sendo o conjunto de todos os conjuntos que n ao se t em a si pr oprios como membros. Formalmente: A e elemento de M se e somente se A n ao e elemento de A. Esse conjunto e membro de si pr oprio? Suponha que sim e depois que n ao. O que voc e conclui? viii. Ser a que existe o conjunto universo, isto e, um conjunto que contenha todos os conjuntos? As pessoas, em geral, pensam que a matem atica e algo completamente certinho e exato, onde tudo sempre funciona e faz perfeito sentido. Bom, voc e acaba de ver que elas est ao completamente enganadas, e que, mesmo nos dias de hoje, ainda existem diversas coisas que deixam o mundo matem atico bastante intrigado.

Você também pode gostar