Copyright c 1999, by Lu Lopes s Direitos reservados em 1999 por Editora Intercincia Ltda.

e Capa: Cleber Luiz Composio: ca Intercincia e

CIP-Brasil. Catalogao-na-fonte ca Sindicato Nacional dos Editores de Livros, RJ. L854m Lopes, Lu s
Manual de induo matemtica / Lu Lopes. Rio de Janeiro: Intercincia, ca a s e 1998

132p. Contm exerc e cios Inclui bibliograa ISBN: 85-7193-013-9 1. Induo (Matemtica) - Problemas, questes, exerc ca a o cios. I. T tulo. 99-0356 CDD 511.2 CDU 510.24 E proibida a reproduo total ou parcial, por quaisquer meios, ca sem autorizao por escrito da editora. ca Nesta obra, o gnero masculino empregado a t e e tulo epiceno. Obra inteiramente composta pelo autor com TEX, PICTEX e AMS-TEX. TEX is a trademark of the American Mathematical Society. AMS-TEX is the TEX macrosystem of the American Mathematical Society. EDITORA INTERCIENCIA LTDA. Av. Pres. Vargas, 435/604 - Centro - Rio de Janeiro - RJ - 20077900 Tel.: (021)242-2861 - Fax: (021)242-7787 e-mail: inter@home.cybernet.com.br Impresso no Brasil Printed in Brazil

Ao meu irmo Gilberto, a incentivador e inspirador das minhas atividades de autor e editor.

APRESENTACAO

Este livro foi escrito pensando no leitor que estuda o assunto pela primeira vez e naquele que gostaria de encontrar num s volume uma coletnea de denies e o a co frmulas que so obtidas somente aps consultas a diversas obras diferentes. o a o O volume dividido em duas partes distintas. Na primeira parte, propem-se cento e o e treze exerc cios. Os exerc cios foram escolhidos a m de apresentar-se frmulas e o teoremas importantes encontrados em anlise, lgebra, teoria dos nmeros e anlise a a u a combinatria. Alm disso, serviro, muitas vezes, como motivao para o desenvolvio e a ca mento e introduo de novos resultados e proposies. ca co As solues completas e detalhadas de todos os exerc co cios encontram-se em seguida e formam a segunda parte. Assim, o estudante e o professor, ` procura de exemplos a e exerc cios, tero farto material ` sua disposio. a a ca

O autor

 PREFACIO

Este manual foi escrito com o objetivo de servir a todo tipo de leitor. O leitor ` a vontade com os temas aqui tratados utilizar o manual quando precisar se lembrar a de uma denio ou de uma frmula; para tal, ele ter somente que consultar os ca o a exerc cios propostos e suas solues. O leitor que estuda o assunto pela primeira vez co deve ler este manual com o apoio dos livros-texto que tratam da matemtica discreta a (ver [9], [12], [19], [21] e [31], por exemplo), da lgebra (ver [8] ou [30]) e do clculo a a (ver [1] ou [22]). Este manual foi escrito para suportar e aprofundar os temas tratados previamente por um livro-texto. O mtodo ou princ e pio conhecido sob o nome de induo matemtica utilizado ca a e quando queremos provar a validade de uma armao (na forma de um teorema ou ca equao), sobre um inteiro n, que suspeitamos ser verdadeira para todos os inteiros ca maiores que ou iguais a um certo inteiro inicial n0 . No apresentaremos os fundaa mentos lgicos do princ o pio. O leitor interessado neste aspecto referido a [1], [3], [8], e [14] ou [33], por exemplo, ou `s obras didticas que abordam a matemtica discreta. a a a Nossa experincia como estudante e professor nos ensinou que a melhor maneira e de assimilar um assunto atravs da resoluo de exerc e e ca cios e muitos! Ns conso tatamos que os livros-texto no fornecem as solues dos exerc a co cios propostos e, freqentemente, nem mesmo as respostas. O estudante se v assim frustrado nos seus u e esforos de compreenso, pois nunca pode estar certo do seu racioc c a nio se pensa que resolveu um exerc corretamente ou ento, aps passar um certo tempo tentando cio a o resolv-lo, permanece sem conhecer a soluo do quebra-cabea. Neste manual, e ca c nossa preocupao maior foi de apresentar uma soluo completa e detalhada a todos ca ca os exerc cios propostos. Os cento e treze exerc cios deste manual foram cuidadosamente escolhidos e exigiro do leitor conhecimentos em lgebra, anlise e teoria dos nmeros. Os exerc a a a u cios seguem uma certa ordem de diculdade mas nosso objetivo principal foi de grup-los a por assuntos. Em cada grupo eles so colocados de maneira que um resultado obtido a num exerc cio possa vir a ser aplicado, como resultado parcial, num exerc cio posterior. As solues dos exerc co cios encontram-se em seguida e, no nal do volume, a bibliograa e as referncias. e Agradecemos a Lucie Bibeau por seu apoio e sugestes. o Lu Lopes s Rio de Janeiro, RJ Maro, 1999 c

 CONTEUDO

Prefcio a Cap tulo I II III

ix

Seqncia de Fibonacci ue Exerc cios Solues co . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

1 3

15 131

Bibliograa e Referncias e

CAP ITULO

SEQUENCIA DE FIBONACCI

A seqncia de Fibonacci denida pela seguinte equao de recorrncia (ou em ue e ca e diferenas): c Fi+2 = Fi+1 + Fi , com F0 = 0 e F1 = 1. para i 0 ()

Assim, obtm-se a seqncia {0, 1, 1, 2, 3, 5, 8, 13, 21, 34, . . .}. e ue A seqncia de Fibonacci possui diversas propriedades interessantes e, conseue qentemente, encontramo-la em muitos dom u nios e aplicaes. Como exemplo de co uma das mais importantes, podemos citar o estudo da complexidade dos algoritmos, como fazem Knuth em [14] e Pitombeira em Revista do Professor de Matemtica # 24, a 1993, Sociedade Brasileira de Matemtica (ver [23] para o endereo). a c H tanto a dizer sobre esta seqncia que existe um peridico The Fibonacci a ue o Quarterly dedicado exclusivamente aos clebres nmeros que ela gera e suas aplie u caes e propriedades. Os exerc co cios 83 a 90, propostos no cap tulo seguinte, so a exemplos de somente algumas. Resolvendo a equao de recorrncia () e utilizando as condies iniciais F0 = 0 e ca e co F1 = 1, obtemos uma frmula expl o cita para o termo geral Fi em funo de i somente. ca Para resolver (), seguimos [5], [20] ou [39], por exemplo. Assim, devemos ter: x x 1 = 0 ...
2

x1 = (1 + 5)/2 x2 = (1 5)/2 = 1 x1

1+ 5 i 1 5 i . Fi = c1 + c2 2 2 As condies iniciais F0 = 0 e F1 = 1 nos do c1 = 5/5 e c2 = 5/5. co a

 Colocando x1 = e x2 = , obtm-se, nalmente, a frmula denitiva para o e o termo geral da seqncia de Fibonacci: ue Fi = 5 i i ( ). 5

CAP ITULO

II

EXERC ICIOS

Em todos os exerc cios, i, j, k, l, m, n e p denotam nmeros inteiros. u Exerc cio 1) inteiro n. Exerc cio 2) e u Mostre que n2 3n + 4 um nmero inteiro para todo Para n 1, mostre que Para n 0, mostre que Para n 0, mostre que Sn =
n i=1

i! um nmero e u mpar.

Exerc cio 3) por 3. Exerc cio 4) por 6.

an = 7n + 2 um nmero divis e u vel an = 7n 1 um nmero divis e u vel

Exerc cio 5) Para n 0, mostre que an = 2n3 3n2 + n um nmero e u divis por 6. vel Exerc cio 6) por 15. Para n 0, mostre que an = 24n 1 um nmero divis e u vel an = 3 52n+1 + 23n+1 um nmero e u

Exerc cio 7) Para n 0, mostre que divis por 17. vel Exerc cio 8) Para n 0, mostre que nmero divis por 64. u vel Exerc cio 9) Para n 0, mostre que divis por 133. vel

an = 34n+1 + 10 32n 13 um e an = 11n+2 + 122n+1 um nmero e u

Exerc cio 10) Mostre que a soma dos cubos de trs nmeros inteiros consee u cutivos divis por 9. e vel

Exerc cio 107) Para n 1, seja An = (aij ) a matriz de ordem n cujos elementos so aii = 0, i = 1, . . . , n; aij = 1, j < i = 2, . . . , n e a 0 1 aij = 1, j > i = 1, . . . , n 1. Assim, A1 = (0), A2 = e 1 0 0 1 1 A3 = 1 0 1 . Calcule |An |. 1 1 0 Exerc cio 108) Mostre que, se n 1 e A uma matriz anti-simtrica (ou e e hemissimtrica) de ordem 2n, ento |A| = 0 ou |A| o quadrado de um e a e polinmio formado de elementos de A. o Exerc cio 109) Um torneio de xadrez tem n jogadores. Cada jogador joga uma partida, e uma s, contra todos os outros. Mostre que o nmero total o u de partidas do torneio igual a (n 1)n/2. e Exerc cio 110) Mostre que a soma dos ngulos internos de um pol a gono convexo de n lados igual a (n 2)180 . e Exerc cio 111) Mostre que o nmero de diagonais de um pol u gono convexo de n lados igual a (n 3)n/2. e Exerc cio 112) Desenham-se n c rculos num plano de acordo com o seguinte procedimento: todos os c rculos cortam-se sempre em dois pontos e trs e c rculos no passam nunca pelo mesmo ponto. Mostre que os c a rculos dividem o plano em n2 n + 2 regies, incluindo a que exterior a todos os o e c rculos. Exerc cio 113) Dispomos de k cores para colorir os vrtices de um pol e gono convexo de n lados. Sabendo que vrtices adjacentes no podem ter a mesma e a cor, mostre que o nmero de maneiras para se efetuar esta tarefa igual a u e (k 1)n + (k 1)(1)n .

14

CAP ITULO

III

SOLUCOES

Exerc cio 1) Seja an = n2 3n + 4. Comeamos supondo que n 0. c n = 0 a0 = 4 n = 1 a1 = 2 Supomos agora que an um nmero inteiro para n = 1, . . . , k. Devemos mostrar que e u ak+1 tambm um nmero inteiro. e e u ak+1 = (k + 1)2 3(k + 1) + 4 = (k 2 3k + 4) + 2(k 1). Como 2(k 1) um inteiro e k 2 3k + 4 um inteiro tambm (pela hiptese de e e e o induo), conclu ca mos que ak+1 um inteiro. e Se n < 0, colocamos m = n e conclu mos, por um procedimento anlogo `quele a a mostrado acima, que am = m2 + 3m + 4 um inteiro para todo m > 0. Logo, e n2 3n + 4 um nmero inteiro n Z. e u Exerc cio 2) Sejam Sn =
n i=1

i! e P (n) a proposio: Sn um nmero ca e u mpar n 1. n = 1 S1 = 1! = 1 n = 2 S2 = S1 + 2! = 3

Supomos agora que a proposio P (n) verdadeira para n = 2, . . . , k. Devemos ca e mostrar que P (n) continua verdadeira para n = k + 1, isto , Sk+1 um nmero e e u mpar.
k+1 k

Sk+1 =
i=1

i! =
i=1

i! + (k + 1)! = Sk + (k + 1)! .

Como Sk um nmero e u mpar (pela hiptese de induo) e (k + 1)! = 1 2 (k + 1) o ca um nmero par, segue que P (k + 1) verdadeira. Logo, conclu e u e mos que P (n) e verdadeira n 1.

Exerc cio 112) Seja P (n) a proposio: se an denota o nmero de regies que n c ca u o rculos, traados c segundo o procedimento dado, dividem o plano , ento an = n2 n + 2. a n = 1 a1 = 2 1
......... ........... .... .. ... .. .. .. .. . . . . . . . . . . . . . . . . . . .. . .. .. ... .. ... ........... ...........

n = 2 a2 = 4

. .... ..................... ...................... .. ... . .. ... ... .. .. .. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .. .. .. .. . . .. ... ... ... ... ...... ... ... ................... ......... ........

2 3 4

Conseqentemente, a proposio vericada para n = 1 e n = 2. Supomos agora que u ca e a proposio P (n) verdadeira para n = 1, 2, 3, . . . , k. Devemos mostrar que P (n) ca e continua verdadeira para n = k + 1, isto , ak+1 = k 2 + k + 2. e Ao desenharmos o c rculo Ck+1 , sabemos que ele cortar todos os outros k c a rculos em dois pontos. Neste momento, devemos observar que Ck+1 possuir 2k pontos na a sua circunferncia, para um total de 2k arcos. Damos um exemplo para k = 2. e
. ............. ................ .... ... .... ... ... ............................ ... ............................ ...... . .. ...... .. ......... .... .... .. ....... .. .. ... .. . ... .......... ... .. .................. ... ... . . . ... ....... .. ........ . ... . ... ...... ... ... . . ...... . ... . ... . ... . . ... .. . . ... .. . .. .. . . . . .. .... . .. ... . .. .... ... .. . . . . . . .. .. . . .. .. .. . . . . . . . . .. . .. . . .. .. . . . . . . . . . . . .. .. . .. . . .. .. .. .. . . . . . . . . . .. .. . . . . .. .. . . . .. . . .. . ... . ... . . . . .. . . . ... ... . . . . ..... . . ... . . . ..... . . . ..... . . . . . ............. . ............ . . . . . . .. . . . .. . .. . . . . . .. . .. .. . . . .. ... . . .. ... . . . . ... ... . ... ... . . . .... . ... . ..... . ... . . ................ .............. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .. . .. .. .. . .. .. .. .. .. .. . .. . ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .... .... .. .... .... .... .... .... ..... ...... .... ........................... ........................

Os 2k arcos atravessaro 2k regies j formadas, dividindo cada uma em duas outras, a o a criando assim 22k2k = 2k novas regies. A participao de Ck+1 estando encerrada, o ca podemos agora considerar que temos somente k c rculos, para um total de ak regies. o Assim, podemos escrever: ak+1 = ak + 2k = k 2 + k + 2 = (k + 1)2 (k + 1) + 2. Logo, P (k + 1) verdadeira e conclu e mos que P (n) verdadeira n 1. e

Exerc cio 113) Seja P (n) a proposio: se an (k) denota o nmero de possibilidades para colorir, ca u com k cores, os vrtices de um pol e gono convexo de n lados, onde vrtices adjacentes e no tm a mesma cor, ento an (k) = (k 1)n + (k 1)(1)n . a e a () 128

Considerando que o pol gono de n lados convexo, ele possui n vrtices tambm. e e e Para n = 3, a frmula nos d a3 (k) = (k 1)3 (k 1) = (k 1)[(k 1)2 1] = o a (k 1)(k 2 2k) = k(k 1)(k 2). Como, para o tringulo, o vrtice V1 pode ser a e colorido de k cores, o vrtice V2 de k 1 cores e o vrtice V3 de k 2 cores, temos e e a3 (k) = k(k 1)(k 2). Assim, a proposio verdadeira para n = 3 (observe que a ca e frmula vlida para n = 2 vrtices, j que a2 (k) = k(k 1), mas neste caso temos o e a e a somente um unico lado). Supomos agora que a proposio P (n) verdadeira para n = 3, 4, 5, . . . , l. Deca e vemos mostrar que P (n) continua verdadeira para n = l + 1, isto , al+1 (k) = e (k 1)l+1 + (k 1)(1)l+1 . Com n = 3, 4, 5, . . . , l vrtices, temos al (k) possibilidades. Quando o vrtice Vl+1 e e acrescentado, formamos o pol e gono V1 V2 . . . Vl+1 . Para colorir V1 , temos k cores; para V2 , k 1 cores; para V3 , k 1 cores e assim sucessivamente. Executando sistematicamente este procedimento, todos os vrtices tero uma cor diferente do e a e anterior e, ao nal, teremos k(k 1)l possibilidades; entretanto, Vl+1 adjacente a V1 e devemos retirar os casos onde V1 e Vl+1 tm a mesma cor. E quantos h? No e a a sabemos, mas se V1 e Vl+1 tm a mesma cor, estes vrtices, vistos do vrtice Vl , so e e e a idnticos e podem ento se reduzir a um s (pense bem!). Encontramo-nos assim com e a o l vrtices, para os quais temos al (k) possibilidades. Ento, a participao de Vl+1 e a ca estando encerrada, podemos escrever: al+1 (k) = k(k 1)l al (k) al+1 (k) = k(k 1)l (k 1)l (k 1)(1)l al+1 (k) = (k 1)(k 1)l + (k 1)(1)l+1 al+1 (k) = (k 1)l+1 + (k 1)(1)l+1 . Logo, P (l + 1) verdadeira e conclu e mos que P (n) verdadeira n 2 (vrtices). e e Observao: para obter a frmula (), tivemos que resolver a equao de recorrncia ca o ca e an+1 (k) + an (k) = k(k 1)n . Poder amos ter seguido as tcnicas apree sentadas em [39] para resolv-la; entretanto, observando que a seqncia e ue bn (k) = an (k)+an+1 (k) forma uma progresso geomtrica de razo q = k 1, a e a procederemos da seguinte maneira (observe a astcia): u an+1 (k) + an (k) = k(k 1)n an (k) + an1 (k) = k(k 1) Subtraindo a equao (III) da equao (I), obtemos: ca ca an+1 (k) + (2 k)an (k) + (1 k)an1 (k) = 0. ()
n1

(I) (II) (III)

(k 1)an (k) + (k 1)an1 (k) = k(k 1)n

A equao () uma equao de recorrncia linear de segunda ordem com ca e ca e coecientes constantes cuja equao auxiliar ou caracter ca stica (ver [5] ou e [20], por exemplo): 2 + (2 k) + (1 k) = 0. 129

As ra so 1 = 1 e 2 = k 1 e a soluo an (k) an (k) = c2 (k 1)n + zes a ca e c1 (1)n . Como an+1 (k) + an (k) = k(k 1)n , resulta kc2 = k ... c2 = 1. O valor c1 = k 1 obtido sabendo-se que a2 (k) = k(k 1). e

130

 BIBLIOGRAFIA E REFERENCIAS

[1] Adams, R., Single-Variable Calculus, Addison-Wesley, 1990. [2] Ayres Jr., F., Matrices: Cours et Probl`mes, Srie Schaum, McGraw-Hill, 1984. e e [3] Borofsky, S., Elementary Theory of Equations, The Macmillan Company, 1961. [4] Bowman, F., An Introduction to Determinants and Matrices, The English Universities Press, London, 1962. [5] Brassard, G. et Bratley, P., Algorithmique: Conception et Analyse, Masson, 1987. [6] Coxeter, H.S.M., Introduction to Geometry, John Wiley & Sons, 1969. [7] Crux Mathematicurum, Canadian Mathematical Society, 20, # 1, 1994, p. 10. [8] Fisher, R.C. et Ziebur, A.D., Alg`bre et Trigonomtrie, Editions Beauchemin, e e Montral, 1966. e [9] Grimaldi, R.P., Discrete and Combinatorial Mathematics, Addison-Wesley, 1994. [10] Hungarian Problem Book I, New Mathematical Library # 11, Random House, New York, 1963. [11] Hungarian Problem Book II, New Mathematical Library # 12, Random House, New York, 1963. [12] Johnsonbaugh, R., Discrete Mathematics, Macmillan Publishing Company, 1993. [13] Klambauer, G., Problems and Propositions in Analysis, Lecture Notes in Pure and Applied Mathematics # 49, Marcel Dekker, Inc., New York, 1979. [14] Knuth, D.E., The Art of Computer Programming, Volume 1, Addison-Wesley, 1973. [15] Lopes, L., Manual das Funes Exponenciais e Logar co tmicas, Intercincia, 1999. e

[16] Lopes, L., Manual de Progresses, Intercincia, 1998. o e [17] Lopes, L., Manual de Seqncias e Sries, Editora Didtica e Cient ue e a ca, 1992. [18] Lopes, L., Manual de Trigonometria, Editora Didtica e Cient a ca, 1992. [19] Morgado, A.C.O., Carvalho, J.B.P., Carvalho, P.C.P. e Fernandez, P., Anlise a Combinatria e Probabilidade, IMPA/VITAE, 1991, Sociedade Brasileira de o Matemtica, Estrada Dona Castorina 110, Rio de Janeiro, RJ 22460-320. a [20] Morgado, A.C.O., Wagner, E. e Zani, S.C., Progresses e Matemtica Financeira, o a IMPA/VITAE, 1993, Sociedade Brasileira de Matemtica, Estrada Dona Casa torina 110, Rio de Janeiro, RJ 22460-320. [21] Niven, I., Mathematics of Choice, New Mathematical Library # 15, Random House, New York, 1965. [22] Piskounov, N., Calcul Direntiel et Intgral, Tome I, Editions Mir, 1976. e e [23] Revista do Professor de Matemtica # 5, 1984, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [24] Revista do Professor de Matemtica # 11, 1987, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [25] Revista do Professor de Matemtica # 12, 1988, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [26] Revista do Professor de Matemtica # 15, 1989, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [27] Revista do Professor de Matemtica # 32, 1996, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [28] Revista do Professor de Matemtica # 34, 1997, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [29] Revista do Professor de Matemtica # 36, 1998, Sociedade Brasileira de Matea mtica, Caixa Postal 66281, So Paulo, SP 05315-970. a a [30] Robison, J.V., Alg`bre et Trigonomtrie, McGraw-Hill, Montral, 1967. e e e [31] Rosen, K.H., Discrete Mathematics and its Applications, McGraw-Hill, 1995. [32] Shklarsky, D.O., Chentzov, N.N., and Yaglom, I.M., The USSR Olympiad Problem Book, W.H. Freeman, 1962. 132

[33] Sominskii, I.S., The Method of Mathematical Induction, Blaisdell Publishing Company, 1961. [34] Steinhaus, H., One Hundred Problems in Elementary Mathematics, Basic Books, Inc., Publishers, New York, 1964. [35] The American Mathematical Monthly, Problem 4130, 52, 1945, pp. 527529. [36] The Mathematical Gazette, 80, # 487, March 1996. [37] Uspensky, J.V., Theory of Equations, McGraw-Hill, 1948. [38] Wagner, E., Construes Geomtricas, IMPA/VITAE, 1993, Sociedade Brasileira co e de Matemtica, Estrada Dona Castorina 110, Rio de Janeiro, RJ 22460-320. a [39] Wylie, Jr., C.R., Advanced Engineering Mathematics, McGraw-Hill, 1960.

133

Suas observaes e descobertas co

Aos nossos leitores

O autor gostaria de conhecer sua opinio sobre a apresentao e o contedo deste a ca u manual. Escrevam para:

Lu Lopes s A/C Maurice B. Vincent Avenida das Amricas, 1155 Sala 504 e Barra da Tijuca Rio de Janeiro RJ 22631000

E-mail: vincent@unisys.com.br

Escrevam para o editor ou para o endereo acima para encomendar outros exemc plares e t tulos ou propor novos problemas que gostariam de ver numa outra edio. ca

Manuais j publicados a

1 2 3 4 5

Trigonometria Seqncias e Sries ue e Progresses o Funes Exponenciais e Logar co tmicas Induo Matemtica ca a