Elementos de Matemtica a

Roteiro no.3 para as atividades didticas de 2007 a

Verso compilada no dia 27 de Abril de 2007. a

Departamento de Matemtica - UEL a

Prof. Ulysses Sodr e

E-mail: ulysses@matematica.uel.br Matemtica Essencial: http://www.mat.uel.br/matessencial/ a Resumo: Notas de aulas constru das com materiais usados em nossas aulas na UEL. Elas devem ser usadas como roteiro para as aulas e no espero a que elas venham a substituir qualquer livro sobre o assunto. Alguns conceitos foram obtidos em livros citados na Bibliograa, mas os assuntos foram bastante modicados. Em portugus, h pouco material de dom e a nio pblico, mas em ingls existe muito material que pode ser obtido na Inu e ternet. Sugiro que o leitor pesquise para obter materiais gratuitos para os seus estudos.

Mensagem: Quem deu crdito ` nossa pregao? E a quem se manifestou e a ca o brao do Senhor? Pois foi crescendo como renovo perante ele, e como c raiz que sai duma terra seca; no tinha formosura nem beleza; e quando a olhvamos para ele, nenhuma beleza v a amos, para que o desejssemos. a Era desprezado, e rejeitado dos homens; homem de dores, e experimentado nos sofrimentos; e, como um de quem os homens escondiam o rosto, era desprezado, e no zemos dele caso algum. Verdadeiramente ele toa mou sobre si as nossas enfermidades, e carregou com as nossas dores; e ns o reputvamos por aito, ferido de Deus, e oprimido. Mas ele foi o a ferido por causa das nossas transgresses, e esmagado por causa das noso sas iniqidades; o castigo que nos traz a paz estava sobre ele, e pelas suas u pisaduras fomos sarados. A B blia Sagrada, Isa 53:1-5 as

Induo Matemtica ca a
Teorema 1 (Primeiro Princ de Induo Matemtica). Se para cada n N pio ca a podemos denir uma proposio P (n) tal que valham as duas situaes: ca co 1. P (1) verdadeira; e 2. Se P (k) verdadeira, ento P (k + 1) verdadeira, onde k N . e a e ento P (n) verdadeira para todo n N . a e Observao 1 (Importncia do PIM). O princ ca a pio de Induo Matemtica ca a serve para demonstrar propriedades dos nmeros naturais, bem como denir u conceitos envolvendo os nmeros naturais. Por exemplo, se m N e n N u ento m + n N e m.n N . Na Matemtica, o uso de recursividade faz a a intenso uso deste princ pio. Exemplo 1. A soma dos n primeiros nmeros naturais pode ser denida, de u um modo recursivo, por S1 = 1 e Sn+1 = Sn + n + 1, para cada n N . Logo: S1 = 1, S2 = 3, S3 = 6, S4 = 10, S5 = 15, S6 = 21, S7 = 28, ...

Usando o PIM, poss demonstrar que para todo n N : e vel Sn = n(n + 1) 2

Exerc cios usando o Princ pio de Induo Matemtica ca a 1. Mostrar que o produto de dois nmeros naturais consecutivos par, isto u e , se n N ento, o produto f (n) = n(n + 1) divis por 2. e a e vel Demonstrao. Tomaremos a proposio P = P (n)), denida por ca ca P (n) : f (n) = n(n + 1) divis por 2 e vel

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

O produto f (1) = 1(1 + 1) = 2 divis por 2, garantindo que P (1) e vel verdadeira. Agora, vamos assumir que P (n) verdadeira, isto , que e e e f (n) = n(n + 1) par, o que equivale a garantir que existe k N e tal que f (n) = 2k. Mostraremos que P (n + 1) verdadeira, isto , e e f (n + 1) = (n + 1)(n + 2) tambm par. Realmente, e e f (n + 1) = (n + 1)(n + 2) = (n + 1)n + 2(n + 1) = 2k + 2(n + 1) Assim, f (n + 1) = 2(k + n + 1) e segue o resultado desejado. 2. Mostrar que o f (n) = n(n + 1)(n + 2), isto , o produto de trs nmeros e e u naturais consecutivos, divis por 3 e tambm por 6. e vel e Demonstrao. Tomaremos a proposio P = P (n)), denida por ca ca P (n) : f (n) = n(n + 1)(n + 2) divis por 6 e vel

A expresso matemtica f (1) = 1(1 + 1)(1 + 2) = 6 divis por 6, a a e vel logo P (1) verdadeira. Vamos supor que P (n) verdadeira, isto , que e e e f (n) = n(n + 1)(n + 2) mltiplo de 6, isto , existe k N tal que e u e f (n) = 6k. Mostraremos que f (n + 1) = (n + 1)(n + 2)(n + 3) tambm e mltiplo de 6, garantindo assim que P (n + 1) verdadeira. Como e u e f (n + 1) = (n + 1)(n + 2)(n + 3) = n(n + 1)(n + 2) + 3(n + 1)(n + 2) segue pelo exerc anterior, que o ultimo monmio da expresso anterior cio o a (n+1)(n+2) par pois o produto de dois nmeros naturais consecutivos e e u e f (n) = n(n + 1)(n + 2) = 6k, assim f (n + 1) = f (n) + 3.2p = 6k + 6p = 6(k + p) e segue o resultado desejado. 3. Mostrar que se n N , o produto f (n) = (n 1)n(n + 1)(3n + 2) e divis por 24. vel Demonstrao pelo Princ de Induo Matemtica. . Seja a proposio ca pio ca a ca P (n) : f (n) = (n 1)n(n + 1)(3n + 2) divis por 24 e vel

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

A proposio P (1) verdadeira, pois se n = 1, ento f (1) = 0 que ca e a e divis por 24. vel Tomando como verdadeira a Hiptese de Induo P (n), mostraremos o ca que P (n + 1) tambm verdadeira, ou seja, que f (n + 1) divis por e e e vel 24. f (n + 1) f (n) = = = = = = n(n + 1)(n + 2)(3n + 5) (n 1)n(n + 1)(3n + 2) n(n + 1)[(n + 2)(3n + 5) (n 1)(3n + 2)] n(n + 1)[(3n2 + 11n + 10) (3n2 n 2)] n(n + 1)(12n + 12) 12n(n + 1)(n + 1) 12.2k.(n + 1) = 24k(n + 1)

A ultima passagem foi poss pois o produto n(n + 1) par, isto , vel e e n(n + 1) = 2k para algum k inteiro. A Hiptese de Induo garante que existe m N tal que f (n) = 24m, o ca logo f (n + 1) = f (n) + 24k(n + 1) = 24m + 24k(n + 1) = 24[m + k(n + 1)] e garantimos que P (n + 1) verdadeira. e Teorema 2 (Segundo Princ de Induo Matemtica). Se para cada n N pio ca a podemos denir uma proposio P (n) tal que valham as duas situaes: ca co 1. P (m) verdadeira; e 2. Se P (k) verdadeira, ento P (k+1) verdadeira, onde k N e k > m. e a e ento P (n) verdadeira para todo n natural tal que n m. a e Denio 1 (Somatrios ou Somas). Usamos a letra grega sigma maiscula ca o u para somas. Em geral, a palavra somatrio (masculino) usada no lugar o e de soma (feminino).
n

f (k) = f (1) + f (2) + ... + f (n)

k=1

No futuro usaremos muitas vezes a soma innita

f (k) = f (1) + f (2) + ... + f (n) + ...

k=1

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

Exerc cio especial: A seqncia de Fibonacci pode ser denida por f1 = 1, ue f2 = 1 e fn+2 = fn + fn+1 para n N . Obter uma regra geral para esta importante seqncia que aparece abaixo na forma de um conjunto: ue F = {1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ...} Dica: 1. Suponhamos que existem nmeros reais x = 0 tal que fn = xn . u 2. Substituamos esta expresso na equao recursiva fn+2 = fn + fn+1 . a ca 3. Obteremos dois nmeros reais r e s satisfazendo a equao do segundo u ca grau que ir aparecer. a 4. Escrevamos depois a combinao fn = Arn + Bsn e obtenha as conca stantes A e B satisfazendo as condies f1 = 1 e f2 = 1. co 5. Depois de algum trabalho, voc obter a frmula de Binet. e a o Exerc cios: Utilizando os Princ pios de Induo Matemtica e as propriedades ca a bsicas dos nmeros reais, resolva cada exerc a u cio. 1. Mostrar que para todo n N vale a desigualdade: n < 2n . 2. Dena n! = 1.2.3...n e mostre que, se n N com n 4, ento 2n < n!. a 3. Mostrar que para todo n N com n > 9, vale: n3 < 2n . 4. A seqncia: s1 = 1 e sn+1 = sn + (n + 1) para n N , fornece as ue somas dos n primeiros nmeros naturais de modo recursivo. Mostrar que u n(n + 1) sn = . 2 5. A seqncia: s1 = 1 e sn+1 = sn + (n + 1)2 para n N , fornece as soue mas dos quadrados dos n primeiros nmeros naturais de modo recursivo. u n(n + 1)(2n + 1) Mostrar que vale a forma geral: sn = . 6 6. A seqncia: s1 = 1 e sn+1 = sn +(n+1)3 para n N , fornece as somas ue dos cubos dos n primeiros nmeros naturais de uma forma recursiva. u n2 (n + 1)2 Demonstrar que para todo n N , vale a forma geral: sn = . 4
Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

7. A seqncia: s1 = 1 e sn+1 = sn +(n+1)4 para n N , fornece as somas ue dos qurticos dos n primeiros nmeros naturais de uma forma recursiva. a u Mostrar que para todo n N , vale a forma geral: n(n + 1)(2n + 1)(3n2 + 3n 1) sn = 30 1 tem a forma geral: 8. A seqncia: s1 = 1/2 e sn+1 = sn + ue (n + 1)(n + 2) n . sn = n+1 9. Mostrar que a seqncia: s1 = 1 e s2 = 3 e sn+2 = 3sn+1 2sn possui ue a forma geral sn = 2n 1. Dica. Tome s(n) = rn para garantir que r = 1 ou r = 2 e concluir que s(n) = A.1n + B2n , ... 10. Sejam a, r R, r = 1 e n N . A seqncia denida por: s1 = a e ue n sn+1 = sn + ar , determina a frmula geral para a soma dos n primeiros o termos de uma progresso geomtrica e pode ser escrita como: a e sn = a 1 rn 1r

e ser usada em cap a tulos posteriores para mostrar que a importante srie e geomtrica e

S(r) =
n=1

arn

convergente, quando |r| < 1. e Exerc cio: Usando os Princ pios de Induo Matemtica, demonstrar as proca a priedades das somas nitas: 1. Se C uma constante, ento e a
n

C = nC
k=1

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2. Propriedade da soma
n n n

[f (k) + g(k)] =
k=1 k=1

f (k) +
k=1

g(k)

3. Propriedade da homogeneidade
n n

cf (k) = c
k=1 k=1

f (k)

4. Propriedade telescpica o
n

[f (k + 1) f (k)] = f (n + 1) f (1)
k=1

Exerc cio: Usando propriedades telescpicas e a funo dada, mostre que: o ca 1. se f (n) = n2 , ento a soma dos n primeiros nmeros naturais : a u e
n

k=
k=1

n(n + 1) 2

2. se f (n) = n3 , ento a soma dos n primeiros nmeros a u mpares : e

n

(2k 1) = n2
k=1

3. se f (n) = n3 , a soma dos quadrados dos n primeiros nmeros naturais u : e n n(n + 1)(2n + 1) k2 = 6
k=1

4. se f (n) = n4 , ento a soma dos cubos dos n primeiros nmeros naturais a u : e n n2 (n + 1)2 3 k = 4
k=1

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

5. se f (n) = n5 , ento a soma dos qurticos dos n primeiros nmeros a a u naturais : e

n

k4 =
k=1

n(n + 1)(2n + 1)(3n2 + 3n 1) 30

6. se f (n) = n6 , ento a soma dos qu a nticos dos n primeiros nmeros u naturais : e

n

k 5 = Exiba a expresso da soma e demonstre a

k=1

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

Bibliograa
[1] Alencar Filho, E. Aritmtica dos inteiros. Nobel. S.Paulo. 1987. e [2] Amoroso Costa, M. As idias Fundamentais da Matemtica e outros ene a saios, Conv e EDUSP, S.Paulo. 1981. vio [3] Ayres Jr, F. Algebra Moderna. McGraw-Hill do Brasil. S. Paulo. 1971. [4] Barbosa, R.M. Elementos de Lgica aplicada ao ensino secundrio, Nobel. o a S.Paulo. 1970. [5] Boyer, Carl. B. Histria da Matemtica, Edgard Blcher, S.Paulo. 1974. o a u [6] Eves, Howard Introduo ` Histria da Matemtica, Editora da Unicamp. ca a o a Campinas-SP. 2002. [7] Figueiredo, D.G. Anlise I, Edit. UnB e LTC Editora, Rio, 1975. a [8] Kaplan, W. Clculo Avanado, vols. 1 e 2. Edgard Blcher e EDUSP. a c u S.Paulo. 1972. [9] Kurosh, A.G. Curso de Algebra Superior. Editorial Mir. Moscu. 1968. [10] Lang,S. Analysis I. Addison-Wesley. Reading, Massachusets. 3rd. printing. New York. 1973. [11] Lipschutz, S. Teoria dos Conjuntos. Ao Livro Tcnico. Rio. 1967. e [12] Sodr, U. Anlise na reta (Notas de aulas), Dep. de Matemtica, Univ. e a a Estadual de Londrina, 1982, 1999, 2001, 2005, 2006.
A [13] Sodr, U. LTEX Bsico com o TeXnicCenter. Tutorial para a editorao e a ca de trabalhos de Matemtica. Matemtica-UEL. Londrina. 2005. a a

[14] White, A.J. Anlise Real: Uma introduo, Edgard Blcher, S.Paulo. a ca u 1973.

Elementos de Matemtica - No. 3 - Ulysses Sodr - Matemtica - UEL - 2007 a e a