Coordenadio: Nilson Jose Machado

I. S. SOMINSKI @

Metodo de Inducao matematica

~ Traduzido por
Gelson Iezzi

r-,
00
00
00
~ r-
""'I
I"'l
0
a Q

~
MA EDlTORAMIR © I. S, Sominski, 19%.

© T rarlu,fu> para 0 fl',mugub, Gelso n Iezzi Editora Mi[. Muscou, 1<)85. 19%.

C"I'_",igh/ desta erii,Tio:

ATUAL EDiTORA L TDA., Silo Paulo, 19% T 0000 os dim;l"" reservados.

Dados lnlernacionais de Catplogao;ii<> na Publica.,....., (ClP) «(:.iimara Brasill"ira do Livw. SP, flra'iil)

So,,,j,,,l;.i.l. So

Metodo de inducan maternatica I J. S. Scminski , coordenacao .,\jl,on )0<'; Machado ; It"dlllidu por Gelson Iezzi, - Siio Paulo, Atuul ,Ma'coo J:jdjtora M1R, 19%. - (Col",w marenuitica ,aprendendo e ensinando)

ISBN 85·7()56-83{,.1

I, Algebra 2. Arirmetica 3. Matenuincs 4, Trigonornctria ), M"clu"ldo. Nilson Jo,". 1947· II, TilUlo.lU. Sene,

%·3036

CDr},) II)

j ndiees para CD talogo sis tematlco:

1. ll)du~ao matcmarica ,Mcltxio .SlO

2. Metodo de i adu~ matcmariea 51 0

!VIetodo de indu{ijl} IDIItemama

UN~nle de desem>tJI ,1memo de pmduIO." WIlson Roberto Gambeta Editoru; Elena F. Versolato

Asse.,.<ora editorial: Oscarina Cami 110

Eduor de teuo: Noe G. Ribeiru

I'npam,rio de teuo: Celia Tavares

£J;",m 11, .. ,Ie: ThaI> 00 Rm'frl Fermz

Gereme de producao editorial: Claudio [j'I"';,ilo Godoy '\""1.,,,'>1" l1e p .... llI"('iio e.li",,;Q(: M;\fci" Rcgi"~ Nov",""

RC"i,iio d« !~.<IO: Maria Luiza X. Souto (coord. )!Maria CCC"~ia F. Vannucchi Editor de arte: edson $C01l01)

EdlfOrarr1" eINr(m;ca: Silvia Regina E, Almeida (coord.j/Gracc Alves CM'po,irri(! e diagmmw,Jio: KLl"

Gerenu: de prod"rJo gl'li/ka: Antonio Cabello Q. Filho

Pmdurar> ,""Iica; Jose Rogeri" 1.. de Simone (coord.j/Alex Snndro '" SO~lU Pmj.w gr<Jficn: Thafs de Bru~n Fcrraz

Capa. VIM fk:iCflOO\

FilmeJ f D./:P, I: Rinltos

A UIAI. EllITORA I,TDA. l{,\a J<."C ."- MImi" C <>dh". 1\1.5 0401 1·()6]- SilO Pauln - SP

rs. Will 51S·1 l+l

NOS PEDIDOS TELEGRAFJCOS tl.",ST,,,, ClTAR 0 c6nwo ADTM 182:; V

I. S. SOMINSKI

Metodo de

Inducao mabematfca

Traduzido par Gelson Iezzi

H. C. COI\1HllCKl1H

METOL{

MATEMA TI1QECKOH I1H.IlYKUJ111

...

APRESENTA<;AO

Nilson Jose Machado

H3HA TEo, lhCTBO «HAYK,\.» MOCKBA

Aprender e ensinar sao atividades indissociaveis, que convivem como dois organismos em simbiose: a alegria de ensinar estimula 0 desejo de aprender; 0 prazer de aprender alimenta a vontade de ensinar, Ninguem permanece professor se nao mantern uma constante disposicao para 0 aprendizado, e mesmo 0 mais incipiente dos alunos sempre tern algo, as vezes muito sutil, a eusinar,

A colecao Matematlca: Aprendendo e Ensinando parte desse princfpio basico e apresenta aos colegas professores de Maternatica urn elenco bastante sugestivo de titulos, abordando temas de grande fecundidade e interesse. Cada urn deles favorece d~ algum modo 0 desenvolvimento do par aprender/ensinar, procurando instrumentar as atividades didaticas em diferentes nlveis de ensino.

Os diversos volumes correspondem a traducoes de textos que compunham uma colecao publicada originariamente pela Editora MIR, de Moscou, nas decadas de 60, 70 e 80. Foram publicados cerca de sessenta titulos, em pelo menos quatro Hnguas: em espanhol, a colecao intitulava-se Lecciones Populates de Matemdticas; em frances, Initiation uux Mathematiques, em ingles, Little Mathematics; em portugues (Portugal), lniciaciio na Matemdtica.

Em eada urn dos textos, 0 autor escolhe urn tema, quase sempre instigante e pro" vocativo, explorando-o a partir de ires princtpios bdsicos:

• nao existe uma distincao nftida entre maternatica "elernentar" e matematica "superior", sendo perfeitamente posslvel realizar pesquisas, investigar relacoes novas em temas elementares, assim como tratar de temas usualmente considerados de nivel superior de modo acesslvel a quem so dispoe de conhecimentos de matematica basica:

• e possfvel utilizar uma linguagem bem-cuidada, com urn nfvel de rigor adequado a uma conversa entre professores, sern recorrer excessivamente a tecnicidades Oil forrnalismos, mantendo-se, portanto, uma proxi midade providencial entre a 1 inguagern maternatica e a lingua corrente;

8 3 FEV, 2003 /,/t,,~

?~tCC·_!_ __ --=----:::-::::-;

~tGIS1RO O- -;57 WU -..,_ ;lATA 00 ~tGISmo...3..Q - Y 0 a 3

«:

• a tarefa principal do professor, mars do que "dar a materia". e provocar a iuisca que incendiara 0 material inflamavel que, .15 vezes, ja se encontra presente: ° tempo necessaria pard provocar 0 fogo do entusiasmo costuma ser amplameute cornpensado peln poder de propagacao que tal fogo apresenta.

Entre nos. apcsar de bastante apreciados, os livros da MIR nunca tiveram uma circulacao muito ampla c. a partir dos acontecimentos que transforrnararn politicamente os pal ses da ex - U n iao Sovietica, des se tornaram eada vel mai s diffcei s de ser encontrados,

Reconhecendo I) grande valor da colecao na tormacao permanerue dos professores. independenremcnte de quao consistentc renha si do a sua formacao regu I ar, a A tual Editora decidiu publicar uma selecao reprcseruanva de rais tirulos, tornando-os acesstveis ao publico brasileiro. Apos os necessaries contatos com a Edirora MIR. c contando com a participacao de protcssorcs com urn arnplo especrro de experiencias ria utih',~:'io dessa colecao, fOl elaborada uma lista criieriosa de tltulo~, buscando-se abranger temas variados - algebra, aritmetica, geometria -, correspondentes a diferenres nlveis de ensino. Embora a rela~iio com a sala de aula nern sempre seja irnediatamente visfvel, cia sempre existe. em maier ou rnenor grau. Em todos os CR«;OS, no en tanto. uma passada de olhos no texto e suficiente para revelar a fafsca do enrusiasmo. 0 convite a reflexao. a instrurnentacao para a ar;f.io.

Tendo por base os ternas escolhidos, com a intuito de aproximar mais diretamente as quesroes apresentadas nos diversos textos do trabalho cotidiano dos professorcs no ensino regular. serfio rambern publicados volumes especiais, contendo sugesioes de atividades de exploracao dos textos originals. A ('ada qualm volumes traduzidos. 14m volume elaborado par professores brasileiros buscard uma aproximaciio mais nitida entre os tema .. examinados e a realidade das salas de aula.

Com a colecao Matematica: Aprendendo e Ensinando, a Atual Editora oferece aos professores de Matematica, portanto, urn material de cxcelcnte nfvel, que pode contribuir significativamente para sua formacao geral e permanenre, tendo 0 cuidado de procurar adcquar os textos a realidade brasileira, atraves de uma traducilo cuidadosa e da mediacao didarica propiciada pelos volumes de Atividades para Sala de Aula. elaborados por professores que conhecern as caructeristicas de nosso ensino basico.

U m elenco de titulos tiio rico e variado como 0 da colecao da MIR e 0 resultado de um trabalho cumulative de corea de tres decadas, em que muitas ideias tecundas c instigantcs foram amealhadas e colocadas em circulacao, ainda que em urn crrcuuo restrito. Irnpedir a desintegracao de tal acervo, possibilitando urna eircula,ao mais arnpla entre os profcssores brasilciros, a service da formacao de sua culrura maternatica, eo objetivo principal dos editorcs desta cok~:1o.

SUMAAIO

Introducao ., , .. , ,., , , ,., , , , , .. , .

9

§ 1. Dernonstracao de identidades; problemas aritmeticos ""."." 19

§ 2. Problemas trigonometricos e algebricos "."." ", " 35

§ 3. Demonstracao de desigualdades 42

§ 4. Demonstracao de alguns teoremas de Algebra elementar 52

Epilogo , , , , , , , , .. , .. , , " , 58

Solucoes dos problemas · .. · ,,,··· · · .. · 64

Silo Paulo. ourubro de 1994.

Introducao

Existem proposicoes gerais e particulares.

Sao proposicoes gerais, por exemplo, as seguintes:

a) Todos os cidadaos da URSS tern direito a educacao.

b) Em todo paralelogramo as diagonais cortam-se, ambas, no seu ponto medio,

c) Todos as nurneros inteiros que terminam em zero sao divisiveis par 5.

Proposicoes particulares correspondentes a essas proposicoes gerais sao:

a) Petrov tern direito a educacao,

b) As diagonais do paralelogramo ABeD cortam-se, ambas, no seu ponto medic,

c) 140 e divisivel par 5.

A passagem das proposicoes gerais as particulares denomina-se dedu-

cdo. Vejamos urn exemplo:

Todos os cidadiios da URSS rem dire ito a educacao. (I)

Petrov e cidadao da URSS. (2)

Petrov tern direito a educacao, (3)

A proposicao particular (3) foi deduzida da proposicao geral (1) mediante a proposicao (2).

A passagem das proposicoes particulares as gerais denomina-se inducdo. A inducao pode levar a conclusoes verdadeiras e a conclusoes falsas. Vamos esc1arecer isso com exemplos:

140 e divisivel por 5. (I)

Todos as numeros inteiros que terminam em zero sao divislveis por 5. (2) Da proposicao particular ( 1) obtivemos a proposicao geral (2), que e

verdadeira.

140 e divisivel por 5. (1)

Todos os numeros inteiros formados par tres algarismos sao divisiveis par 5. (2)

9

Da proposicao particular (I) obtivemos a proposicao geral (2), que e falsa,

Como deve ser empregada a inducao em Matematica" para chegar sempre a conclusoes verdadeiras? A resposta vern neste livro.

1. Vejamos inicialmente dais exemplos de inducao inadmissivel em Maternatica,

Por que sao inadmissiveis em Maternatica as argumentacoes ernpregadas nesses exemplos? Onde falham as argumentacoes apresentadas?

Nos dois casas enunciamos uma proposicao geral para todo n (para todo x, no segundo exernplo) baseando-nos apenas em que essa proposicao era verdadeira para alguns valores de n (au de x).

A inducao e amplamcntc uti I izada na Matematica, mas e preciso ter cuidado* em sua aplicacao, pois a precipitacao pode conduzir a conclusoes falsas.

Assim, embora no excmplo 1 a proposicao geral enunciada seja casualmente verdadeira (como se demonstra no exemplo 4 ), a proposicao geral do exernplo 2 e falsa.

Efetivamente, analisando com maior atencao 0 trinomio xl + x + 41, convencemo-nos de que ele e iguaJ a urn numero primo parax = 0, 1,2, ... , 39, mas para x = 40 seu valor e 402 + 40 + 41 = 40· (40 + I) + 41 = = 40 ·41 + 41 = 41 . (40 + 1) = 412, ou seja, urn nurnero cornposto**.

2. No excmplo 2 nos defrontamos com uma proposicao que, mesmo sendo valida em 40 casos particulares, nao 0 e em geral.

Daremos outros exernplos de proposicoes verdadeiras em van os casos particulares, mas nao em gera!.

Exemplo 1

Seja 5 = __ 1_ + _1_ + _1 __ + + __ 1 __

n 1 ·2 2·3 3·4 ... n . (n + 1)

E facil ver que

SI = __ 1_ = _!_

I ·2 2 '

I I 2

5, = -- + -- = --

. 1·2 2·3 3'

1 1 1 3

S3=--+--+--=-

1·2 2·3 3·4 4'

54 = _1_ + _1_ + _1_ + _1_ = _±_

1·2 2'3 3'4 4·5 5

T omando como base os resultados. obtidos, afirmamos que para todo mimero natural n tem-se:

s = _n __

n n + 1 •

Exemplo 3

o bin6mio .r" - 1, em que n e urn numero natural, tern grande interessc para os matematicos. Basta dizer que esta estreitamente ligado ao problema geometrico sobre a divisao da circunferencia em n partes iguais. Nao tern nada de estranho, par conseguinte, que esse bin6mio tcnha sido estudado profundamente. Em particular, os matematicos se interessaram pela decomposicao desse binornio ern fatores de coeficientes inteiros,

Analisando as decomposicoes correspondentes a varios valores particulares de n, as matematicos observaram que as valores absolutos de todos os coeficientes dessas decornposicoes nao ultrapassam 1. De fato:

x -i=x-l

xl - 1 = (x - 1 )(x + 1)

~ - 1 = (x - 1)(x2 + X + 1)

x" - 1 = (x - 1 )(x + 1 )(x2 + 1)

x5 - 1 = (r - 1 )(x4 + x3 + x2 + X + 1)

x6 - 1 = (x - 1 )(x + 1 )(x2 + X + 1 )(x2 - X + I)

Exemplo 2

Consideremos 0 trinomio r' + x + 41,jaestudado por Leonhard Euler.

Colocando zero em lugar de x, obtemos 0 numero primo 41. Colocando agora nesse mesmo trinomio 0 numero 1 em Jugar de x, obtemos de novo urn numero primo, 0 43. Substituindo x no trin6mio sucessivamente par 2,3,4,5,6, 7, 8, 9 e 10, obtemos em cada substituicao um numero primo (47,53,61,71,83,97, 113, 131 e 151, respectivarnente). Disso inferimos que, ao substituir x no trinomio par um nurnero inteiro nao negativo qualquer, sempre obtemos urn numero prima como resultado,

• ver 0 epilogo (p. 58 a 63).

~ Ver 0 epilogo (p 515 a 63 >.

*~ Tambern e evidenre que. sendo X = 41. 0 nurneror- + X + 41 = 41' + 41 + 41 ~ divisive] por 41.

10

11

. Foram com~ostas tabelas dentro de cujos limites as coeficientes posswam essa propnedade. Mas as tentativas de demonstrnr esse fato fracassaram. Em 1938, apareceu na revista Exitos da Ciencia Matemdtica fascicu- 10 IV, um pequeno artigo de N. G. Chebotariov, destacado matem~tico 50- vietico, propondo a nossos maternaticns estudar essa questdo,

? prob1~ma foi re_solvido par V. K. Ivanov, em 1941. Resultou que essa propnedade e verdadeira para todos os binomios x" - 1 de grau menor que 105, mas falsa para XlO5 - I, em que urn dos fatores e 0 polinomio:

x48 + X47 + x46 - X43 - X42 - 2x41 _ x4() _ X39 + x36 + X35 + X34 + x'3 + + X32 + x31 - i'B - x26 - X24 - _x22 - x20 + XI7 + xl6 + XiS + Xl4 + xD + + Xl2 - x9 - r - 2x7 - x!' - x5 + xl + x + 1.

Exemplo4

Consideremos os numeros do tipo 22" + 1. Para n = 0 1 2 3 e 4

, ,~ ~

• 2° 21 22

os numeros 2 + 1 = 3, 2 + 1 = 5, 2 + 1 = 17, 22) + 1 = 257 e

224 + I = 65537 sao primos.

Pierre de Fermat, ilustre matematico frances do seculo XVII, entendia que todos os rnimeros desse tipo eram primos. Entretanto, Leonhard Euler concluiu.ja no seculo XVIII, que

1~

2 +1=4294967297=641x6700417

e urn numero composto.

Exemplo 7

Em quantas partes dividem a espaco n planes, passando todos por urn mesmo ponto sem que nunca passem tres por uma mesma reta?

Consideremos alguns casos particulares elementares desse problema.

Urn plano divide 0 espaco em duas partes. Dois planos, com urn ponto CGmum, dividem 0 espaco em quatro partes. Tres planos que passam por urn mesmo ponte, mas naG tern reta comum, dividem 0 espaco em oito partes.

A primeira vista parece que, ao aumentar em 1 0 numero de planos, a quantidade de partes em que fica dividido G espaco duplica e, per conseguinte, quatro pianos dividem 0 espaco em 16 partes, cinCQ G dividem em 32 partes e, em geral, n planos dividem 0 espaco em 2~ partes.

Mas a realidade e diferente: quatro planos dividem G espaco em 14 partes e cincG planos G dividem em 22 partes. Pode-se demonstrar* que n pianos dividem 0 espaco em n(n - 1) + 2 partes.

Exemplo 8

Vejamos outro exemplo de carater bern instrutivo, Tomando em lugar de n na ex pres sfio 991 n2 + 1 sucessivamente os mimeros inteiros l, 2, 3, ... , nunca obteremos urn numero quadrado perfeito, nem que dediquemos aos calculos muitos dias GU talvez muitos anos. Seria, entretanto, errado deduzir dai que nenhurn mimero desse tipo e lUll quadrado perfeito. De faro, entre os numeros do tipo 991n2 + I tambem ha quadrados, mas e muito grande 0 valor minimo de n para G qual 991 n2 + 1 e urn quadrado. Eis aqui esse valor:

n = 12055 735 790331 359447442538767.

Os exemplos considerados permitem tirar uma conclusao simples e ao mesmo tempo importante. Uma proposicdo pode ser valida em uma serie de casos particulares e ndo ser valida em geral.

3. Surge, entao, outra pergunta, Se temos uma proposicao valida em varies casas particulares e i: impossivei analisar todos as casos, quando podernos afirmar que essa proposicao e valida em geral?

As vezes tem-se a resposta aplicando urn argumento especial, conhecido como metoda de inducdo matematica (completa au perfeita).

Esse metodo se baseia no principia de induaio matematica, que consiste no seguinte:

Uma proposiciio e valida pam todo numero natural n se. I.J e valida para n = 1 e 2.J de sua validade pam um numero natural qualquer n = k deduz-se sua validade para n = k + 1.

Exemplo 5

G. W Leibniz, eminente matematico aiemao do seculo XVII e urn dos !"n~adores. ~a Maternatica Superior, demonstrou que, qualquer que seja 0 l~t~n:c posttivo n, G mimero n3 - n e divisivel por 3, 0 mimero nS - n e dl~slvel par 5 eo numero n 7 - n e divisivel por 7. Dai supos que, para todo k impar e qualquer n natural, 0 numero nk - n e divisivel por k, mas logo observou que 29 - 2 = 510 nao e divisive I por 9.

Exemplo 6

., l!rn erro da mesma natureza cometeu D. A. Grove, conhecido rnatematico sovieuco, ao supor que, para todo primo p, 0 numero 2P - 1 - 1 nao e divisivel par p2. 0 calculo direto confirmava essa hipotese para todos os numeros p meno;es que ~ 000. ~ntretan~, logo se comprovou que 21091 - 1 e divisivel por 1 093 (1093 e um numero pnmo), ou seja, a hipotese de Grave em falsa,

12

• A solucao esta no exemplo 13 (p. 34)_

Demonstracdo '"

Suponhamos 0 contrario, ou seja. que a proposicao nao e valida para qualquer nurnero natural n, Entao existe urn numero natural m tal que:

I?) para n = m a proposicao e falsa e

2?) para todo n menor que m a proposicao i: verdadeira (em outras palavras, me 0 primeiro numero natural para 0 qual a proposicao e falsa),

E evidente que m > 1, pais para n =: 1 a proposicao e verdadeira (condicao I). Por conseguinte, m - I e urn numero natural. Mas, entao, a proposicao e valida para 0 numero natural m - I e nolo 0 e para 0 numero natural seguinte m. Isso contradiz a condicao 2.

Para demonstrar 0 principio de inducao matematica, nos valemos. como se ve, da propriedade: qualquer conjunto de numeros naturais contem 0 numero minima. Pode-se dernonstrar que essa propriedade, por sua vez, e urn corolario do principia de inducao maternatica, Portanto, ambas as proposicoes sao eq ui valentes e qua lquer de las pode ser tomada como urn axiorna que define a sucessao dos numeros naturals; entao, a outra sera urn' teorema. Costuma-se tomar como axioma precisamente 0 principio de inducao matematica,

4. Toda demonstracao que se baseia no principio de inducao maternatica e denominada demonstraciio por induciio i pelo metodo de inducdo matemdticai. Tal demonstracao consta necessariamente de duas partes, ou seja, da demonstracao de dois teoremas:

Teorema 1: A proposidio e valida para n = l.

Teorema 2: Se a proposiciio Ii valida para n = k ionde k e um numero natural arbitrario), entdo ela e valida para n = k + 1.

Se ambos os teoremas forem demonstrados, pode-se afirmar, em VIr· tude do principia de inducao matematica, que a proposicao e valida para todo numero natural n.

Exemplo 9

Calcular a soma (ver 0 exernplo 1):

1 I I 1

S =--+--+--+ ... +----

11 1.2 2.3 3·4 n·(n+l)

Sabemos ja que:

1 S[=2'

Nao repetimos agora 0 erro cometido no exemplo I, afirmando de n

imediato que, para todo numero natural n, tem-se S; = -;-+1'

Sejamos prudentes e digamos que a analise das somas S1' S2, S3 e S4 sugere a hip6tese de que S; = n: I para todo numero natural n. Sabemos

que a hipotese se verifica para n = I, 2, 3 e 4. Para comprova-ta recorreremos ao metoda de inducao matematica,

Teorema J: Para n = I a hip6tese se verifica, pois

s = _!_ = _I_

I 2 1 + I'

Teorema 2: Suponhamos que a hipotese seja valida para n = k, ou

seja,

onde k e urn mimero natural. Demonstremos que, entao, a hipotese e valida tambem para n = k + 1, ou seja:

• 0 leiter pode, se quiser, it direto ao ponto 4. sern prejudicar a cornpreensiio do conteudo que vern a seguir, pois (I principio do mimer" mintmo - que sc menciona na continuacao c no qual se baseia a demonstraeao do principio da inducilo matcrnatica - nao e mais (nem tambem menus) evidente que 0 proprio nrirtcipio de inJu~iio maternatica. De outro lado, urn cstudo mais prnfundo permite ver que ambos os principios sao equivalcnres somente se sao aceitas condicoes cornplcrnentarcs. I'm isso, podemos considerar 0 princlpio de inducao maternatica como urna hipetese intuitivarnente muuo convincente, tomando-o como urn axioma que detcrrnina a sucessao dos numeros naturals. Pam maiores detatbcs, ver 0 cpllogo e a literature ncle mencionada.

k + 1 Sk+-l = k'+2'

De fato,

Sk+] = SI; + (k + l)(k + 2)

cOl1seqiientemente, segundo a hip6tese do teorema,

15

14

S =_n __

" n + 1

Se njio foi demonstrado 0 teorema 2, mas foi demonstrado 0 teorema 1 (exemplos 1 e 2), existe a base de inducao, porem nao temos 0 direito de amplia-la.

Observaciio 2: Explicamos 0 metodo de inducao maternatica no caso mail'. simples, Em situacoes mais complexes devem-se modificar, respectivamente, os enunciados dos teoremas 1 e 2.

As vezes, a segunda parte da demonstracao se baseia no fato de que a proposicao e valida nao so para n = k, mas tambem para n = k - 1. Nesse caso, a proposicao da primeira parte deve ser comprovada para dois valores sucessivos de n. Mais adiante 0 leitor encontrara exernplos desse tipo (exemplo 7, pagina 26).

Outras vezes, na segunda parte e demonstrada a proposicao para urn valor de n, supondo-se sua validade para todos os mimeros naturais k menores que n.

Ha, ainda, situacoes em que a proposicao e demonstrada para todD numero inteiro n rnaior que um numero inteiro m* (e nao para qualquer numero natural). Nesse caso, a primeira parte deve consistir em demonstrar a proposir;ao para n = m + T e, se for necessario, para alguns outros valores de n.

5. Voltemos ao exemplo 1 para deixar marcado tun momenta importante no metodo de inducao matematica,

Analisando a soma

Sk+l =_k_+ I _

k+l (k+I)(k+2)

k(k+2)+1 (k+l? k+l

------

(k+l)(k+2) (k+l)(k+2) k+2

Demonstramos ambos os teoremas. Agora podemos afirmar, baseando-nos no principio de inducao maternatica, que

para todo mimero natural n.

Observacdo 1: E necessario destacar que a demonstracao par inducao exige incondicionalmente a dernonstracao de ambos os teoremas, ole 0 2.

. Vimos ao que leva desprezar 0 teorema 2 (exemplo 2).

Agora mostraremos que tambem nao se pode omitir 0 teorema 1. Ve-

jamos tun exemplo.

Exemplo 10

Teorema: Todo numero natural e igual ao seu consecutivo. Apliquemos para a dernonstracao 0 metodo de inducao materna-

tica. Suponhamos que k = k + I (1) e demonstremos que k + 1 = = k + 2 (2).

De fato, somando 1 a ambos os membros da igualdade (I), obtemos a igualdade (2). Resulta, pois, que, se a proposicao e valida para n = k, tambern 0 e para n = k + 1. Demonstrarnos, assim, 0 teorema.

Corolario: Todos os rnimeros naturais sao iguais,

Onde esta 0 erro? Consiste em que 0 primeiro teorema, necessario para poder aplicar 0 principio de inducao matematica, nao foi demonstrado (nem pode ser demonstrado) e so foi demonstrado 0 segundo teorema.

Cada urn dos teoremas I e 2 desempenha seu papel. 0 teorema 1 cria, em linguagem figurada, a base da inducao. 0 teorema 2 permite ampliar automatic a e indefinidamente essa base, passando de urn caso particular ao seguinte, ou seja, de nan + I.

Se nao foi demonstrado 0 teorema 1, mas foi demonstrado 0 teorema 2 (exernplo 6), nao foi criada a base de inducao e nao faz sentido aplicar 0 teorema 2, pois nada ha para amp liar.

16

1 1 1

Sn = --+--+ --+ ... + ~---

1 . 2 2 . 3 3 . 4 n(n + I)

para diferentes valores de n, vimos que:

S: = ~, S2 = ~ , S, = ~

por onde chegamos a hipotese de que

n

S =--

" n + I

para todo n, comprovando-a depois pelo metoda de inducao matematica, Tivemos a sorte de enunciar uma hipotese que e efetivamente verdadeira. Se nao tivessemos acertado na hipotese, sua falsidade ficaria evidente ao demonstrar 0 teorema 2.

~ Por exemplo, toda proposicao relacionada com os poligonos de n lades so tern scntido para" ;;. 3.

17

Exemplo 11 Consideremos as somas

s = _1_ + _1_ + _I_ + + ---=--1_

" 1 ·2 2·3 3·4 ... n(n + I)

Suponhamos que analisando S; chegassernos it hipotese de que

§ 1

S = n + _!_ (1)

" 3n + 1

A formula (1) e valida para n = I, ja que SI == ~ . Suponhamos que

. dadei k" S k+l d

seja ver a eira para n = , isto e, que k = --, e tentemos emons-

3k + 1

trar que tambern e val ida para n = k + 1, ou seja, que

nemonstracao de identidades; problemas aritmetlcos

k+2 5k+1 =---

3k + 4

Temos

I .

SUI =Sk + -----(k + l)(k + 2)

k·] + 4k2 + 8k + 2

=----_--_ ...

(k + 1 )(k + 2)( 3k + 1) ,

isto e, urn resultado distinto do que queriarnos encontrar,

lsso significa que a validade da formula (I) para n = k nao implica sua validade para n = k + I. Fica claro que a formula (1) e falsa.

Portanto, 0 metodo de inducdo matematica permite determinar a lei geral testando as hipoteses que surgem, descartando asfalsas e encontrando a verdadeira,

k + I + 1 =

3k +) (k + 1)(k + 2)

Exemplo 1

Consideremos as numeros impares positivos tornados em ordem creseente: 1,3,5, 7, .... Indiquemos 0 primeiro com Ub 0 segundo com U2> 0 terceiro com Uj, etc., isto e, facamos:

Uj = 1, U2 = 3, Uj = 5, U4 = 7, .. '

Vamos examinar 0 seguinte problema: achar a formula que re1aciona 0 numero impar u; e seu indice n.

Para chegar a dominar 0 metodo de inducao matematica e preciso considerar urn numero suficiente de problemas.

Para nao repetir constantemente as expressoes teorema } e teorema 2, passaremos a indicar por 1 o. e 2 ~ a primeira e a segunda parte cia inducao (por seu conteudo, essas partes correspondem precisamente aos dois teoremas cuja demonstracao equivale a aplicar 0 rnetodo de inducao matematica). AMm disso, vamos diferenciar as exemplos, acompanhados de solucao detalhada, dos problemas, destinados ao trabalho individual do leitor, No final, apresentamos as solucoes de todos os problemas inseridos no livro,

Soluciio:

Podemos expressar 0 primeiro numero Impar assirn:

Ut = 2 . 1 - 1 ;::: 1. (1)

Podemos expressar 0 segundo numero impar assim:

U2 = 2 . 2 - 1 = 3. (2)

Podemos expressar 0 terceiro numero irnpar assim:

U3 = 2 . 3 - 1 = 5. (3)

18

19

Analisando com atencao as igualdades (I), (2) e (3). podemos enunciar a seguinte hipotese: para obter qualquer numero impar u; basta multiplicar seu indice por 2 e subtrair I, au seja, para qualquer n-esimo numero impar tem-se:

Exemplo 2

Calcular a soma dos n primeiros numeros impares.

(4)

Soluciio

Indiquemos par 5n a soma procurada.

Demonstremos que essa formula e verdadeira.

5n = 1 + 3 + 5 + ... + (2n - 1).

Para problemas desse tipo os matematicos dispoem de formulas prontas. Estamos interessados em resolver esse problema sem recorrer a tais formulas, empregando 0 rnetodo de inducao matematica. Para isso devemos elaborar a hipotese, ou seja, adivinhar a resposta.

Com esse fim, tomemos para n sucessivamente os valores I, 2, 3, ... ate obter material suficiente para poder enunciar uma hipotese mais ou menos acertada. Depois restara apenas dernonstra-la empregando 0 metodo de inducao matematica,

Tern os:

I?) A igualdade ( I) sign i fica que a formula (4) e valida para n = 1.

2~) Suponhamos que a formula (4) seja valida para n = k, au seja, que para 0 k-esimo numero impar tem-se

Demonstremos que, entao, a formula (4) deve ser tambern valida para o (k + l j-esimo numero impar, ou seja, que 0 (k + l j-esimo numero impar e da forma

5, = 1, 52 = 4, 53 = 9, 54 = 16, 55 = 25 e 56 = 36.

Agora tudo depende do espirito de observacao, da capacidade de adivinhar 0 resultado geral a partir dos particulares,

Pensamos que nesse caso salta a vista que:

51 = 12, 52 = 22, 53 = 32, 54 = 42, 55 = 52, etc.

Sabre essa base podemos supor que S; = n2. Demonstremos que essa hipotese e verdadeira,

I ~) Sendo n = I, a soma consta de uma parcela igual a 1. A expressao n1 tambem e igual a 1 se n = I, ou seja, a hipotese se veri fica para n = I. 2~) Suponhamos que a hipotese e valida para n = k, ou seja, que Sk = k2• Demonstrernos que tambern deve ser valida para n = k + I, ou seja, que

UH I = 2(k + I) - 1,

ou, 0 que e 0 mesmo,

Uk + I = 2k + 1.

Para obter 0 (k + 1 j-esimo numero impar, basta somar 2 ao k-esimo numero impar:

Mas, por hipotese, u. = 2k - I, de modo que

u, + I = (2k - 1) + 2 = 2k + I,

De fato,

como queriamos demonstrar.

Resposta: u; = 2n - I.

como queriamos demonstrar.

Resposta: S; = nl.

20

21

Problema 1

Determinar 14" sabendo que UI = 1 e que uk = Uk _ ) + 3 para todo mimero natural k > I.

Sugestdo: 14] = 3 . I - 2, U1 = 3 . 2 - 2, etc.

De fato:

s = S + (k + 1) = _k(_k_+_l) + (k + 1) = _(k_+ _ _:_I)-'----(k_+_2--'---l

HI k .. 2 2

Eo problema esta resolvido.

Problema 2

Achar a soma

Sn = 1 + 2 + 22 + 23 + ". + 2n - I.

Sugestiio: SI = 2 - I, S1 = 22 - 1, 53 = 23 - 1, etc.

Exemplo4

Demonstrar que a soma dos quadrados dos n primeiros numeros natu-

. ,. I n(n + 1)(2n + 1)

rais e igua a 6 .

Exemplo 3

Dernonstrar que a soma dos n primeiros numeros naturais e igual a

Soluciio

Seja S2(n) = ]2 + 22 + 32 + .,. + n2,

Solucao

Este problema difere dos anteriores, pois a hipotese vern dada e nao ha necessidade de elabora-la, E necessario apenas demonstrar sua validade.

Indiquemos por S, a soma procurada.

Sn = 1 + 2 + 3 + , .. + n.

2 1(1+1)(2'1+1}

1~) 52 ( I) = 1 = 6 '

2?) Suponhamos que

S2 (n) = _n(n + 1~2n + 1}_.

I?) Para n = 1 a hipotese e valida porque

Entao:

SI = 1 = 1 ' (1 + 1) . 2

2?) Suponhamos que

_:_n2(n_+___:1 )'-'-.(2_n_+_l--<-) + (n + 1)2 = (n + 1) . [n(2n + I) + 6(n + I)J =

6 6

k(k + 1)

Sk = 1 + 2 + 3 + ... + k = 2

(n + 1)(2n2 +1n + 6) _ (n +I)(n + 2)(2n + 3) =

=-- ·6 .-- 6

Demonstremos que

(k+l)(k+2)

Sk + I = 1 + 2 + 3 -+ ... + k + (k + I) = 2

(n + l){(n + 1) + 1][2(n + 1) + 1]

=

6

22

Problema 5

Exemplo 5 Demonstrar que

Demonstrar que

x"+2-1

1 + x + ~ + ... + x" = x-I (x *- I).

SO/U9iio

I?) E evidente que a hipotese e valida para n = I, ja que:

Exemplo 6 Demonstrar que

s, = 1 = (-1)0. I· (1 + 1) 2

(n-I)'n(n+l)

1 . 2 + 2 . 3 + 3 . 4 + ... + (n - I) . n = 3

2?) Suponhamos que

Sk = 1 - 22 + 32 - 42 + ... + (-Il - I • k2 = (-I i - l , k(k + I) 2

So/uriio

1 ·2·3

I?) 1 . 2 = 3

e demonstremos que a hipotese e verdadeira para n = k + I:

SH 1 = I - 22 + 32 - 42 + ... + (- t l- 1 • 12 + (-I i . (k + 1)2 =

= Sk + (-Il(k + 1)2 = (-1)*-1. k(k + t) + (-1)*' (k + 1)2 = 2

= (-I)k . (k + 1). [( k + 1) - ;] = (-ll' (k + I )~k + 2)

(n-I)'n(n+l)

2?) Se 1 . 2 + 2 . 3 + 3 . 4 + ... + ('I - 1) . n = 3

enrso ternos:

1 . 2 + 2 . 3 + 3 . 4 + ... + (n - I) . 'I + n(n + 1 ) =

(n - I) . n . (n + I)

= . + n(n + 1) =

3

Dernonstrar que

[1'1-1 ] n(n+I)(n+2)

= n(n + 1)' -3- + 1 = 3

Problema 3

12+32+S2+ ... +(2n-li= '1(2'1-1)(21'1+1) 3

o resultado do exemplo 6 pode ser deduzido tambem dos resultados dos exernplos 3 e 4 se observarmos que:

Problema 4

Demonstrar que a soma dos cubos dos n primeiros numeros naturais e igual a [ n(n 2+ 1) r

1 . 2 + 2 . 3 + 3 . 4 + ... + (n - l)n =

= t . (1 + 1) + 2(2 + 1) + 3(3 + 1) + ... + (n - 1)[(1'1 - I) + 1] = = [12 + 22 + 32 + ... + (n - I )2] + [I + 2 + 3 + ... + (1'1 - 1)].

24

25

Problema 6 Demonstrar que

1 . 2 . 3 + 2 . 3 . 4 + 3 . 4 . 5 + ... + n(n + 1 )(n + 2) = n(n + 1)(n + 2)(n + 3)

4

Exemplo 7

Demonstrar que, se Uo = 2 e Ul = 3 e Uk + I = 3Uk - 2Uk - I para todo numero natural k, entao Un = 2n + 1.

Demonstrar que

_1_ + _1_ + __ 1_ + ... + I

1·3 3·5 5·7 (2n -1)(2n + I)

n

=---

2n + 1 .

I?) Para n = 0 e para n = I, a proposicao e valida, pois Uo = 2° + 1 = 2 e UI = 21 + 1 = 3.

2?) Suponharnos que

Uk _ I = 2k - 1 + 1 e que Uk = 2* + 1.

Problema 7

Entao:

Problema 8

Demonstrar que

11 21 32 n2

-- + _._ + -- + + -------'---

1·3 3·5 5·7 ... (2n-l)(2n+l)

n(n + 1) 2(2n + 1) .

Problema 12

Problema 9

0.2 _ 1l.2 o.J _ ~3

Demonstrarque, se Ul = t-' e U2 = (a *" ~) e se

u-~ (l-~

Uk = (a + ~)Uk - I - a~Uk - 2 pam todo numero natural k > 2, entao:

Demonstrar que

_1_+_1_+_1_+ + 1

1·4 4·7 7·10 . __ (3n-2)(3n+1)

n

=---

3n + 1 .

an + I _ ~n + I u ; = --a----'.~--

Problema 10

Demonstrar que

_1_+_1_+_1_+ ... + 1

1·5 5·9 9·13 (4n-3)(4n+l)

1

Exemp/o 8

o produto I ·2 - 3 .... n indica-se com n! (le-se: n fatorial). Convem memorizar que I! = 1, 2! = 2, 3! = 6, 4! = 24 e 51 = 120.

Calcular S~ = 1 . I! + 2 . 2! + 3 . 3! + ... + n . n!.

4n + 1 .

Problema 11 Demonstrar que

Soluciio

+ = __ n __

(a + n - 1)(a + n) a(a + n)

SI = 1 . I! = 1

S2 = 1 . I! + 2 . 2! = 5

S3 = 1 . I! + 2 . 2! + 3 . 3! = 23

S4 = 1 . I! + 2· 2! + 3 - 3! + 4 . 4! = 119.

1

---+ +------+ ... +

a(a + 1) (a + I)(a + 2) (a + 2)(a + 3)

26

27

Analisando esses resultados podemos nos convencer de que SI = 2! - 1,52 = 3! - 1, S3 = 4! - 1,54 = 5! - 1.

ou seja,

POT isso, podemos enunciar a seguinte hipotese:

a

At + I = m - - (m "* 1 e a "* (3) para k > I.

Aic

S; = (n + I)! - 1.

Dernonstrar que

An = (a" + I ---:-.fi~'~l _) - (an - w) (an - f3") - (a~ - I - f3" - I )

(1)

Vamos comprova-Ia.

I?) Para n = 1 a hipotese e valida, pois 51 = 1 . l! = 2! - I.

2?) Suponhamos que

Sk = 1 . I! + 2 . 2! + 3· 3! + ... + k . k! = (k + I)! - 1. Provemos que Sk+ I = (k + 2)! - I.

Temos:

Soluciio

I?) Demonstrernos primeiro que a formula ( i ) e valida para n = 2. Por hip6tese:

SH I = 1 . 11 + 2 . 2! + 3 . 3! + ... + k . k! + (k + I) . (k + I)! = = Sic + (k + 1)· (k + I)! = [(k + i)! - I] + (k + 1)· (k + I)! = = (k + I)! [1 + (k + 1)] - 1 = (k + I)! (k + 2) - 1 =

= (k + 2)! - 1.

A2 = m - a - (0: + A) _ a[3

m - 1 I-' (0: + 13) - 1

A f6rmula (1) da

= ~~_±J32_,±_a[3 - a - 13 a+13-1

Problema 13

Dernonstrar a identidade: _1_+ 2 + 4

1 + x 1 + x2 1 + X4

ou, simplificando a fracao por a - 13, vern

A _ (0'2 + 132 + (13) - _(~ + 13)

2- (a+13)-1 '

8 +---+ ... +

1+ xK

como queriamos demonstrar.

2?) Suponhamos que a formula (1) seja valida para n = k, ou seja, que

2n I 2"+1

+ --- = -- + ----.

1 + x2" x-I 1 _ x2" + L

«(i + I - 13k + I ) - (ci _ 13k )

A=_:_--_!_----"--------'------------'----'---

k (ak _ 131 ) _ (ri - I _ 13k - I) .

(2)

Exemplo 9

Demonstremos que, entao, tambern deve ser valida para n = k + 1, ou seja, que

Seja Q' + [3 = m, 0'.13 = a, Az = m __ a_, m -1

a a

A3 = m - --_:__:__--, A4 = m - ------'--'------

a m----

m -1

a

, etc.,

De fato:

Ak + I = m - ~ , isto e, Ak + I = (a + 13) - -:;-.

m----

a

m----------

m-l

28

29

Aplicando a igualdade (2), encontramos

a~(ak -13k) - (ak -I - Ilk -1)]

A - «(1 + fl) - _____!._~---'---:'-----"--------'--

k;- 1 - I-' (ak + 1 _ 13k -I- 1 ) _ (a" - 13k )

No primeiro caso, havera nao menos de tres notas de 3 rublos, ja que k ~ 8. Para pagar a quantia de k + 1 rublos, bastara substituir tres notas de 3 rublos par duas notas de 5 rublos.

No segundo caso, para pagar a quantia de k + 1 rublos substituimos uma nota de 5 rublos por duas notas de 3 rublos,

= (ci + 2 - 13k + 2 ) - ( (t" + 2 - 13k ;- 1 ) (uk +1 -13k +1) _ (ak _ Ilk)

Exemplo 11

como queriamos demonstrar.

Demonstrar que a soma dos cubos de tres numeros naturais sucessivos e divisive] par 9.

Problema 14 SimpJificar 0 polinomio

1 _...£ + x(x - 1) _ x(x -I)(x - 2)_ + ... +

n 2! 3!

+(-IY x(x-I) ... (x-n+l) n!

Soluciio

I~) A soma )3 + 23 + 33 = 36 e divisivel par 9, ou seja, a proposicao e valida se 0 primeiro dos tees numeros sucessivos e I.

2?) Suponhamos que a soma kJ + (k + 1)3 + (k + 2)3, onde k e urn mimero natural, seja divisivel par 9. A soma

(-It x(x -I)(x - 2) ... (x - 71) 711

(k + 1)3 + (k + 2)3 + (k + 3)3 =

= (k + 1)3 + (k + 2)3 + ~ + 9k! + 27k + 27 = = [~ + (k + 1)3 + (k + 2)3] + 9(~ + 3k + 3)

Resposta

Exemplo 10

Demonstrar que toda quanti a acima de 7 rublos representada por mimero inteiro pode ser paga com notas de 3 e de 5 rublos.

tambem sera divisivel por 9, pais consta de duas parcelas divisiveis cada uma por 9.

Problema 15

Demonstrar que a soma

Soludio

I?) A proposicao e valida para a quantia de 8 rubles (ja que 8 rubios = 3 rublos + 5 rubles).

2?) Suponhamos que a proposicao seja valida para urna quanti a de k rublos, sendo k urn numero inteiro maior ou igual a 8.

Podem ocorrer dais casos:

I) A quantia de k rublos pode ser paga com notas de 3 rublos; e

II) para pagar a quantia de k rublos ha necessidade de pelo menos uma nota de 5 rublos,

A = 11 ~ + 2 + 122~ + 1 n

e divisivel por 133, qualquer que seja 0 numero inteiro n ~ O.

Exemplo 12

Entre os 2n numeros 1, 2, 3, ... , 2n escolhem-se ao acaso n + I nurneros. Dernonstrar que entre os n + 1 numeros escolhidos havera pelo menos dois numeros tais que urn e divisivel pelo outro.

30

31

Caso Il

Como em M~ + 1 nao havia dois numeros divisiveis urn pelo Dutro, tarnbem nao havera numeros desse tipo em M~ ~]. Falta apenas demonstrar que tambem nao aparecem mimeros dessa indole quando se acrescenta 0 numero n ao conjunto M~ ~ l-

Para isso e suficiente provar que:

1) nenhum dos numeros que compo em M~ ~ ] e divisivel por n; e

2) 0 numero n nao e divisive! par nenhum dos numeros que compoem M n ~ I'

A primeira proposicao e decorrencia de que M; ~] nao contem mimeros superiores a 2n - 2.

A segunda, de que 0 numero 2n nao e divisive! par nenhurn dos mimeros que compoern M" - l'

Em consequencia, se aceitamos que a proposicao nao e valida no caso dos 2n numeros 1, 2, 3, ... , 2n, ela tambem nao sera valida para os 2( n - I)

mimeros I, 2, 3, , 2n - 2. Ou seja, se a proposicao e valida para os 2(n - 1)

numeros 1, 2, 3 , 2n - 2, tambem sera valida para os 2n numeros I. 2, 3,

... ,2n.

Disso e de I) se infere que nossa proposicao e valida para todos os 2n mnneros 1,2,3, ... , 2n qualquer que seja 0 numero natural n.

Este problema admite a seguinte solucao simples. Escolhamos entre as 2n numeros I. 2, 3, ... , 2n urn conjunto qualquer de n + 1 numeros e vamos indica -10 com M" + i-

Vamos dividir todo numero par que figura em M" + 1 por uma potencia de 2 de modo que 0 quociente seja impar. lndiquemos com M" -I- 1 0 conjunta desses quocientes e de todos as mimeros impares que figuram em M" + to conjunto M" + 1 contem n + I numeros impares, todos menores que 2n. Mas s6 ha n numerus impares positivos menores que 2n e, pOT isso, em M" + 1 havera pelo menos dois numeros iguais. Sejarn ambos iguais a k.

Esse resultado significa que M; + 1 continha dois mimeros 25k e 2rk . (urn. dos numeros s au t pode ser igual a zero). Mas urn desses dois numeros, 2'k au 2rk, e divisive! pelo outro.

Solucao

l'') Para 0 caso dos numeros I e 2 a proposicao e valida,

2?) Suponhamos que se consiga escolher n + I numeros entre os 2n numeros 1, 2, 3, ... , 2n (n ;;. 2) de modo que nenhum seja divisive! por outro. Para abreviar, indicaremos esse conjunto de mimeros par M ~ + l- Demonstremos que, entao, tambem se podc escolher n numeros entre os 2n - 2 mimeros 1,2,3, ... , 2n - 2 de modo que nenhum seja divisivel par outro,

Podem ocorrer quatro casos:

I) M~ + 1 nao contem 0 numero 2n - 1 nem 0 numero 2n.

II) M; + 1 contem 0 numero 2n - 1 e nao contern 0 numero 2n. III) M" + 1 contem 0 numero 2n e nao contern 0 numero 2n - .1. Iv) M" + I contem ambos os numeros 2n - 1 e 2n.

Caso I

Eliminemos de M; + 1 qualquer numero. Restarao n numeros, todos nao superiores a 2n - 2; nenhum sera divisivel por outro.

Eliminemos de M; + 1 0 numero 2n - 1. Restarao n numeros, todos nao superiores a 2n - 2; nenhum desses n numeros sera divisivel par Dutro.

Caso III

Eliminando de M; + 10 numero 2n, obtemos 0 mesmo resultado.

Caso IV

Observemos, antes de tudo, que M; + 1 nao contem 0 numero n, pois, do contrario, haveria em M; + 1 dais numeros, n e 2n, tais que urn e divislvel pelo outro.

Eliminemos de M; t 1 ambos os numeros 2n - 1 e 2n. Restara urn conjunto de n - 1 numeros, que indicaremos por M; _ 1. Acrescenternos a M" _ I 0 numero n. Obteremos assim n numeros com a particularidade de que nenhum passa de 2n - 2. Resta demonstrar que entre esses n numeros nao ha nenhurn divisive! por outro.

32

Problema 16*

Demonstrar que n retas distintas tracadas por urn mesmo ponto de urn plano dividern-no em 2n partes.

* 0 problema 16 eo exemplo 13, apesar de vinculados a temas geometricos, foram incluldos neste paragrafo porque, de faro, sao de caroler aritmetico,

33

Exemplo 13

Demonstrar: n pIanos que passam pOT urn mesmo ponto, scm que tres de1es nunca contenham urna reta comum, dividem 0 espaco em An = n(n - 1) + 2- partes.

§2

Solucdo

1 ~) Urn plano divide 0 espaco em duas partes e, por outro lado, A I = 2, de modo que a proposicao se verifica para n = 1.

2~) Suponhamos que a proposicao seja val ida para n = k, au seja, que k pIanos dividem 0 espaco em k( k - 1) + 2 partes. Demonstremos que, entao, k + I planos dividem 0 espaco em k(k + I) + 2 partes.

De fato, seja Po (k + 1 j-esimo plano. Ele corta cada urn dos k planos anteriores segundo retas e, dessa forma, 0 plano P fica dividido em partes por meio de k retas distintas que passam por urn mesmo ponto. Em consequencia do resultado do problema 16, 0 plano P estara dividido em 2k partes, representando cada uma urn angulo plano de vertice no ponto dado.

Os k planos iniciais dividem a espaco em angulos poliedricos. Alguns deles sao divididos pelo plano P em duas partes. A face comum de duas dessas partes e uma regiao do plano P compreendida entre dais raios, intersecoes do plano P e determinadas faces do angulo poliedrico, ou seja, e urn dos 2k angulos pianos em que esta dividido 0 plano P.

Disso se deduz que nao passa de 2k 0 numero de angulos poliedricos divididos em duas partes pelo plano P.

Par outro lado, cada urna das 2k partes nas quais as k primeiros planos dividem P e uma face comum de dais angulos poliedricos e, par con seguinte, divide em duas partes 0 angulo poliedrico pelos k primeiros planos, Disso se deduz que nao e menor que 2k a numero de angulos poliedricos divididos em duas partes pelo plano P.

Quer dizer que 0 plano P divide em duas partes exatamente 2k regioes do espaco fonnadas pelos k primeiros pIanos. Logo, se k planos dividem a espaco em k(k - 1) + 2 partes, k + 1 planes 0 dividem em

Problemas trlgonornetrlcos e algebricos

Exemplo 14

Demonstrar a identidade

sen 2" +Ia cos a . cos 20: . cos 4a . ... . cos 2"0: =

2N + I • sen ex .

Solucdo

I?) A i dentidade e valida para n = 0, ja que

2· sen a

sen 20' 2 . sen 0'

2 . sen CI' • cos ex cos 0'. = -

2?) Suponhamos que seja valida para n = k, ou seja, que:

[k(k - 1) + 2] + 2k = k(k + I) + 2

sen 2' ~Ia

cos 0' . cos 20'. . cos 40'. ..... cos 2lra = - . .

2k ~ I . sen 0:

partes. Esta demonstrada a proposicao, 34

Entao tambem e valida para n = k + 1.

De fato:

2?) Seja

cos 0' • cos Zo: . cos 40: •..•• cos 2ko: . cos Zk + 10: =

sen x + sen 2x + sen 3x + ... + sen kx =

k + 1

sen --x k x __ ----"=-Z __ • sen -_

sen _!_ 2 -

2

ExempJo 15

Demonstrar que se Al == cos e, Az = cos 29 eAk = 2 . cos 9 . Ali. - 1 _ _ A, _ 2 para todo k > 2, entao An = cos ne.

Entao:

sen x + sen 2x + sen 3x + ... + sen kx + sen (k + 1)x =

SO/U{:QO

I?) A proposicao e valida para n = 1 e para n = 2.

2?) SejaAk _ 1 = cos (k - 1)9 e AIr- 2 = cos (k _ 2)9.

SO/U9?io

I?) A proposicao e valida para n = I, pois:

1 + 1

sen ·----x

___ 2 __ . sen 2:...

x 2

sen -,,-

2

sen x =

k + 1
sen _·_--x · sen kx + sen (k + l)x =
2
x 2
sen-
2
k + I
sen ~~x kx k+l k+l
2
· sen - + 2 . sen -- x . cos- ---- x =
x 2 2 2
sen -
2
k+l
sen --x · [sen .!£ + 2 . cos k + 1 x : sen __£ 1 =
= 2
x 2 2 2
sen ---
2
k + 1
sen --x · [sen ~ + (sen k ~_2_x - sen ~ )] ~
2
x
sen-
2
k+2
sen ~--x k+ I
2
= ·sen--x.
x 2
sen' -
2
37 Entao:

Ak = 2 ' cos e . cos (k _ 1)9 _ cos (k - 2)8 =

= [cos ke + cos (k - 2)e] _ cos (k _ 2)9 = cos k6.

Exemplo 16 Demonstrar que

n+1 sen--x

sen x + sen 2x + sen 3x + ... + sen nx = __ ------"2,____. sen _n_x_.

x 2

sen-

2

36

Problema I 7

Problema 21

Demonstrar que

2n + 1

sen x

_!_ + cos x + cos 2t + cos 3x + ... + cos nx = __ ----'2"'----_ 2

x 2 sen-

2

Demonstrar que

arc cotg 3 + arc cotg 5 + .,. + arc cotg (2n + 1) =

3 n + I

= arc tg 2 + arc tg -2 +, .. + arc tg - n - narc tg 1.

Problema 18

Exemplo 17

sen x + 2 sen 2x + 3 sen 3x + ... + n sen nx =

Demonstrar que

_._ ( n'IT . n'IT )

(l + it = 2' cos 4 + I sen -4- .

Demonstrar que

= (n + I) sennx - n sen (n + l)x 4 sen2 _£

2

Soluciio

I?) A proposicao e valida para n = I, ja que

Problema 19

-'-( 'IT • 1T)

1 + i = 2 2 cos 4 + I sen -4- .

Demonstrar que

cos x + 2 cos 2t + 3 cos 3x + ... + n cos fIX =

_ (n +1) cos nx - n cos (n + l)x - 1 4 sen2 .3

2

k 2--'---( k'IT + . kt: )

(l + i) = 'cos 4 I sen 4 .

Demonstrar que

_!_tg x +_l_tg~+ + 1 tg x -

2 2 22 22 . ,. 2n~ -

= _1_ cotg ~ - cotg x (x *" m1T).

2n 2"

Entao:

(l + i)UI =(1 + iln + 1)=

+~(co, t; +i sen ~ )][2~ (co,: + i sen :)] ~

Problema 20

~~l_[ (1m 'rr) . (k'rr 'rr)]

= 2' cos 4 + 4" + I sen 4 + 4. =

--'----:_l_[ (k+l)1f . (k+l}TT]

= 2' cos - --- + I sen ---- .

4 4

38

39

Problema 22

Para ca1cular u basta realizar os seguintes passos: 1)x]x2 = Ul

2) xyX4 = U2

3) Xl + X2 = U3

4) Uj - X3 = u4

5) UI + Ul = Us

6) Us : U4 = u

Suponhamos que a proposicao seja valida para todas as expressoes que requerem no maximo k "passes" para seu calculo, A palavra passo signifiea aqui que se efetua a adicao, a subtracao, a multiplicacao au a divisao de dois numeros complexos. Demonstremos que, entao, a proposicao tambern e valida para as expressoes que requerem k + 1 "passes".

De fato, 0 ultimo, (k + 1 j-esimo, "passe" e efetuado com dois mimefOS, u, e Uj' que sao calculados efetuando-se k "passos", no maximo.

Se substituimos os numeros Xl' X2, "., x, par seus conjugados, as numeros U, e Uj se convertern em seus conjugados Uj e Uj e, por isso, 0 resuhado do (k + 1 )-esimo "pas so" efetuado com esses ultimos, au seja, 0 numero u, se converters no numero conjugado Ii.

Demonstrar que

Exemplo 18

Demonstrar ° teorema:

Se, par efeito de urn numero finito de operacoes racionais (adicao, subtracao, multiplicacao e divisao) aplicadas aos numeros complexos Xl> Xl> •• " Xn, obtem-se urn nurnero u, entao, por efeito dessas mesmas operacoes aplicadas aos numeros complexos conjugados Xl> X2, ... , xn,obtemse 0 nurnero 11, conjugado de u.

Solucdo

I?) Demonstremos, antes de qualquer coisa, que a proposicao se verifica para cada urna das quatro operacoes aplicadas a dois mimeros complexos, Sejam XI = a + hi e X2 = C + di. Entao:

Problema 23

XI + X2 = (a + c) + (h + d)i = u

XI + X2 = (a - bi)+ (c - di) =(a+ c) - (b +d)i= U.

Demonstrar que

(cos X + i sen x)" = cos nx + i sennx para todo n natural.

Analogamente se demonstra a proposicao para as operacoes de subtracao, multiplicacao e divisao,

2°.) Suponhamos agora que foi construida uma expressao racional com os numeros complexos Xl, X2, ••. , Xn. Sabe-se que para calcular essa expresSao tem-se que realizar sucessivamente urna serie de passos, empregando em cada urn uma das quatro operacoes e sempre com dais numeros cornplexos, com a particularidade de que as passos podem ser numerados,

Seja, par exemplo,

u=

X]X2 + X3·'4 Xl + X2 - X3

4]

Sk+l = +_1_+ ... +_1_ + +- __

k + 2 k + 3 2k 2k + 1 2k + 2

§3

Comparando Sic e S, ~ I, vemos que

1 k-+1'

ou seja,

Demonstracao de desigualdades

s, + I - s; = 2(k + 1)( 2k + 1)

Exemplo 19 Dernonstrar que

o segundo membro da ultima igualdade e positivo, quaJquer que seja o numero natural k. Par isso, S, + I > Sic. Como S. > __!l_, entao tambern 24

13

Sk+l >-.

24

Problema 24

_1_ + I_ + ... + _1_ > Jl

n + 1 n + 2 2n 24

Achar 0 erro na deducao que segue.

Proposiciio: A desigualdade 2~ > 2n + t e valida para todo numero natural n.

Demonstraciio: Suponhamos que a desigualdade se verifica para n = k, sendo k urn mimero natural:

para todo n natural, n > I.

Soluciio

Indiquemos por S" 0 prirneiro membra da desigualdade.

(1)

10) S I + 1 7 14 .. ". desi

• 2 = 2+I 2 + 2 = 12 = 24 e, em con sequencia, a esi-

gualdade se verifica para n = 2.

2?) Seja Sic > ~! para certo k. Demonstremos que, entao, tambem

Dernonstremos que, entao, tambem se verifica para n = k + 1, au seja, que

2H 1 > 2(k + 1) + I. (2)

De fato, 21c ~ 2 (3) para todo k natural. Vamos samar, membra a membra, as desigualdades (1) e (3). Obteremos a desigualdade verdadeira

2* + 2k > 2k + I + 2,

13

Sic +1> -. Temos: 24

ou seja,

I 1 1

51; =---+--+ ... +_ e

k+1 k+2 2k

2J.-+ I > 2(k + 1) + 1.

Esta demonstrada a proposicao.

42

43

Problema 25

Para que valores naturals de n se verifica a desigualdade

Exemplo 21 Demonstrar que

r > 2n + I?

(1 + o.)" > 1 + na,

onde 0'. > -1, a * 0 e n e urn numero natural maior que 1.

Solucao

I'') A desigualdade e valida para n = 2, pois

(1 + a)2 = I + 20. + a2 > I + 2a.

2?) Suponhamos que a desigualdade seja verdadeira para n = k, ou seja, que

Exemplo Zi)

Para que val ores naturais de n se verifica a desigualdade

Solucdo

Para n = I a desigualdade e verdadeira, pois 21 > }2. Para n = 2 a desigualdade e falsa, pois 22 = 22.

Para n = 3 a desigualdade e falsa, pois 23 < 32.

Para n = 4 a desigualdade e falsa, pois 24 = 42•

Para n = 5 a desigualdade e verdadeira, pois 25 > 52. Para n = 6 a desigualdade e verdadeira, pois 16 > 62•

Pelo visto, a desigualdade e valida para n = I e para n > 4. Demonstremos.

I?) Para n = 5 a desigualdade e verdadeira,

2?) Seja (1) Zk > l2-, sendo k urn nurnero natural maior que 4. Provemosque2k+1>(k+ 1)2. (2)

Sabemos que 2" > 2k + I (3) para k > 4 (problema 25). Por isso, adicionando membro a membro as desigualdades (1) e (3), obtemos:

(1)

onde k e urn numero natural. Demonstremos que, entao, a desigualdade tambem e verdadeira para n = k + 1, ou seja, que

(1 + of + 1 > 1 + (k + l )«. (Z)

De fato, por hipotese, tern-se 1 + a > 0, de modo que e valida a desiguaJdade

(1 + O'.t(l + a) > (1 + ka)(l + a), (3)

que se obtem rnultiplicando por I + 0: ambos os mernbros da desigualdade (1).

A desigualdade (3) pode set expressa assim:

(l + O'.)k+ I > 1 + (k + 1)0. + ka1.

Desprezando a parcela positiva k0:2 no segundo membro da ultima desigualdade, obtemos a desigualdade (2), que, por conseguinte, e verdadeira,

2~ + 2k > k2 + (2k + 1),

ou seja,

Problema 26

Demonstrar que

que e a desigualdade (2).

1 1 1-

-:--. + --:==- + ... + -, - > ,'n

\l\- 2\" n

Resposta: 2n > n2 para n = 1 e para n > 4.

para todo numero natural n > l,

44

4j

Problema 27

Para prOVfiT a validade da desigualdade (5), basta provar que

Demonstrar que

(7)

4" (2n)!

._--< __

,,+1 (n!)2

para todo nurnero natural n > 1.

ou, 0 que e 0 mesmo, que

uk + I + hK + I > akb + ab".

(8)

Exemplo 22

A desigualdade (8) equivale a desigualdade (Uk - lI)(a - b) > O.

(9)

Demonstrar que

2"- I(a" + b") > (a + bt, (I)

onde a + b > 0, a *" ben e urn numero natural maior que 1.

Se a> b, temos ak > bk, eo primeiro membro da desigualdade (9) e 0 produto de dois numeros positivos,

Se a < b, temos ak < bk, eo primeiro membro da desigualdade (9) eo produto de dois numeros negatives.

Em ambos os casos a desigualdade (9) se verifica. Com isso fica provado que a validade da desigualdade (I) para n = k implica na sua validade para n = k + I.

Soluciio

I?) Para n = 2 a desigualdade (I) fica sendo:

2(a2 + b2) > (a + b)2. (2)

Como a * b, e valida a desigualdade

(a - bi> O. (3)

Somando (a + b)2 a ambos os membros da desigualdade (3), obtemos a desigualdade (2). Com isso fica demonstrado que a desigualdade (l) se veri fica para n = 2.

2~» Suponhamos que a desigualdade (I) se verifique para n = k, au

Exemp/o 23

Demonstrar que, qualquer que seja x> 0 e qualquer que seja 0 mimero natural n, se verifica a desigualdade

x" + x" - 2 + .r" - 4 + ... + _1_ + __ 1_ + _1_. ~ n + 1. (I)

xn-4 X,,-2 x"

(4)

Solucdo

I?) a) Para n = I, a desigualdade (I) fica 1

x + -;;_;, 2. (2)

x

onde k e um numero natural.

Demonstremos, entao, que a igualdade (1) tambem se verifica para n = k + I, au seja, que

2k(ak +- I + bk+ I) > (a + b)' + I. (5)

Multipliquemos por a + b ambos as membros da desigualdade (4).

Como, por hip6tese, temos a + b > 0, obterernos a seguinte desigualdade verdadeira:

A desigualdade (2) decorre da desigualdade evidente (x - 1)2 ;;_;, o.

b) Para n = 2, a desigualdade (I) fica

x2 + 1 + ~ ;;_;, 3.

(3)

46

47

Exemplo24 Demonstrar a teorema:

A media geometrica de varies numeros positivos nao ultrapassa a media aritmetica dos mesmos, isto e, sendo ai' ab".", a" numeros positives, tern-se:

Como a desigualdade (2) se verifica para todo x > 0, ela subsiste ao substituir-se x por x2, ou seja,

Somando 1 a ambos os mernbros da ultima desigualdade, obtemos a desigualdade (3).

2~) Suponhamos que a desigualdade (1) se verifique para n = k, ou seja, que

al + a2 + ... + a"

~ ----_._------_... ._.

n

(1)

.J< + . .1: - 2 + + _1_ + _1_ ~ k + 1 (4)

x-- x- , . , Xl - 2 x!' '

So IUt;'jj 0

I?) Para n = 2, a desigualdade (1) fica

sendo k urn numero natural. Demonstremos que, entao, a desigualdade (1) tambem se verifica para n = k + 2, ou seja, que

Xk + 2 + _j + . .1: - 2 + + _1_ + _1_ + _1_ ;3 k + 3

X· X· . - - xl - 2 x* Xk + 2 '

E facil obter essa desiguaJdade a partir desta outra:

(5)

Introduzindo J!< + 2 na desigualdade (2) em lugar de x, obtemos

:I-t2 + _1_;3 2 (6)

x* +2 -

valida quaisquer que sejam os numeros positivos al e a2-

A desigualdade (2) admite uma interpretacao geometrica simples, Tomemos sucessivamente, numa reta AB, as segmentos a I e a2- Construamos

a circunferencia cujo diametro e a soma desses segmentos, Entao, °1 + a2

2

eo raio dessa circunferencia e\ al . a2 e a metade da corda perpendicular ao diametro no ponte comum aos segmentos a1 e a2 (ver figura); como metade da corda nunca supera 0 raio da circunferencia, conclui-se a desi-

Somando membra a membra as desigualdades (4) e (6), obtemos a desigualdade (5).

Resumo

Em a) e b) do ponto I?), demonstramos a desigualdade (I) para n = I e para n = 2.

No ponto 2?), demonstramos que, sendo valida a desigualdade (1) para n = k, tambem 0 e para n = k + 2. Em outras palavras, 0 ponto 2?) permite passar de n = k a n = k + 2.

as resultados dos pontos l?a) e 2~) permitem afirmar que a desigualdade (1) se veri fica para qualquer mimero impar n. Analogamente, os resultados dos pontos I ~b) e 2~) permitem afirmar que a desigualdade (1) se verifica para qualquer mimero par n. Em conjunto, podemos afir:mar que a desigualdade (I) se verifica para todo numero natural n.

al + a~ gualdade \ 01 - a2 ~ ----=------=---

2

48

49

2?) Suponhamos que a desigualdade (I) seja valida para n = k. Demonstremos, entao, que eta tambem e valida para n = 2k. De fato,

isto C,

:>A il • a' . a - t; a . a' . a . Ie a • a • . a t. ~

"' 1 :> ••• 1/; - \ '.] ~ ... Ie \ A +] !- +:' .. . 2 ~

ill + a, + ... + ak - 1

,,::: -

-- k-I

2

Seja agora mum numero natural qualquer. Se m = 2', a desigualdade se veri fica em virtude de 2?). Se m =1= 2" determinernos 0 numero s de modo que m seja menor que 2"; entao, baseando-nos em 2?) e 3~), podemos afirmar que a desigualdade se verifica para n = m.

ill + a2 + ... + al + ilk - I + ak - 2 + ... + U:>k

~ ~k~__ __ ~k _

2

ill + il:_ + ... + ak + ... + il:'1

=

2k

Comoja demonstramos a desigualdade (I) para n = 2, podemos afirmar agora que ela e valida para n = 4.8,16, etc., ou seja, n = 2" sendo x urn numero natural.

3~) Para dernonstrar que a desigualdade (1) e valida qualquer que seja o numero natural n, provemos que, se e valida para n = k, cla tarnbern e valida para n = k - 1.

Sejam, pois, a" ac, ... , a, _ 1 numeros positivos, Seja A urn numero positivo (por enquanto indefinido). Entao:

_.----------. ill + il, + ... + aJ. -1 + It

k a . a' . a,- . ~ ~ -:_-------------

\ 1 1 ... , .. ] "- k

Determinemos It de modo que

(II + ae + ... + a" _ j + It

.- - --

k

al + a2 + ... + ak - 1 k - I

ou seja, facarnos

k -I

Temos

50

onde Sea soma de todos os produtos dos termos al. a2, ... , a~ _ I tornados dois a dais. Demonstremos que

§4

onde SI e a soma de todos os produtos dos termos al> al, ... , a, _ I, ak tornados dais a dais, au seja,

Dernonstracao de alguns teoremas

'"

de Algebra elementar

De fato:

(a1 + a2 + '" + ak -, + ak)2 = [(a1 + a2 + ... + ak _ I) + aJ2 =

= (a, + a2 + + ak-li + 2(al + al + ... + ak-l)ak + a~ =

= ar + a~ + + a~ _ [ + 2S + 2( ill + a2 + ... + ak - I )ak + aX =

= af +a~ + ... +a1..[ +ar +251•

Teorema J

a quadrado de urn polinomio e igual a soma dos quadrados dos seus termos e do dobra de todos os produtos de seus termos tornados dois a dais, ou seja,

Teorema 2

a n-esimo termo de uma progressdo aritmetica pode ser determinado pela formula

an = a1 + d(n - I), (1)

= ai + 03 + ... + a~ + 2(a[ • a2 + al . a3 + ... + an - [ . an)·

(1 )

onde ale 0 primeiro termo da progressiio e d e 0 raziio da mesma.

Solucdo

I?) A formula (1) e valida para n = 1.

2?) Suponhamos que a f6nnula (1) sej a valida para n = k, ou seja, que

ak = al + d(k - 1).

Soluciio

I?) Para n = 2, a formula (1) pode ser demonstrada pelo calculo direto:

2?) Suponhamos que a formu 1a ( 1) sej a valida para n = k - I, ou seja,

Entao,

que

ilk+ I = a, + d = al + d(k - I) + d = a1 + dk;

de modo que a formula (1) tambem se verifica para n = k + 1.

52

53

a = a . q~ I

n 1 ,

(1)

I) Suponhamos que entre as (k + l)! permutacoes haja duas iguais. Sejam elas PI e P2' Suponhamos que 0 elernento a, ~ I ocupa na permutacao P I a posicao s-esima a partir da esquerda. Tambem em P: a elemento ak _ I ocupara a posicao s-esima a partir da esqucrda.

Eliminemos de PI e P: 0 elemento ak+ I' Obterernos duas permutacocs iguais, PI e P2' de k elementos.

Ass i m, poi s. para obter Pie P2 colocamos 0 e1emento a,\ + I dum; vezes na mesma posicdo e numa mesma perm u tacdo dos elementos al' a2' ...• Uk' Mas isso contradiz a regra cmpregada para construir as pcrmutacoes,

2) Suponhamos que nao obtivemos uma permutacao p de k + I elementos e que 0 elemento a, + I ocupa em P a posicao s-esima a partir da esquerda. Eliminemos de P 0 elemento ak _ I' Obteremos uma perrnuracao p formada pelos k elementos iniciais, Quer dizer, para obter p basta tomar a permutacao P e colocar nela 0 elemento ak _ I na posicao s-esima a partir da esquerda.

:E impossivel que tcnhamos pulado a perrnutacao p ; ja que tomamos todas as permutacoes dos k elementos iniciais, E impassive! que niio tenhamos colocado 0 elemento a, + I na POSil,;30 assinalada, pais a colocamos na pri meira, na segunda .... , na (k + 1 j-esima POSil,;30 a part i r da esquerda.

Portanto, todas as permutacoes construidas sao distintas e nao perdemos nenhuma permutacao de k + I elementos.

Do expos to se deduz que

PH 1= (k+ I)!.

Teorema 3

o n-esimo termo de uma progressao geometrica pode SCI' determinado pela formula

em que a, e 0 primeiro termo da progressao e q e a raziio da mesma.

Soluciio

l") A formula (1) e valida para n = 1. 2?) Seja

Entio:

_ _ k~1 _ k

Uk I I - ak • q - ill . q . q - ill . q .

Teorema 4

o numero de permutacoes de m elementos pode ser determinado segundo a formula

Pm = m1. (I)

Soluciio

I?) Observemos, antes de qualquer coisa, que PI :::: 1, de modo que a formula (1) e valida para n - 1.

2?) Seja P, = k!. Demonstrernos que PHI =(k+ I)!.

Entre os k + 1 elementos dados, a I, a2 •... , ak, a~ + I, escolhamos os k primeiros e fonnemos com eles todas as permutacoes possiveis. Por hipotese havera k! permutacces desse tipo.

Acrescentemos em cada urna delas 0 elemento Ok + I diante do primeiroo do segundo, ... , do k-esimo e depois do k-esimo elemento. Por essa via obtemos, a partir de cada permutacao de k elementos, urn total de k + I permutacoes de k + 1 elementos. No total hayed

k!(k + I) = (k + I)! permutacoes de k + 1 elementos.

E necessario demonstrar agora que:

I) entre as (k + I)! permutacocs nao hit duas iguais; e 2) obtivemos todas as permutacoes de k + 1 elementos.

Ieorema 5

o numero de arranjos de m elementos tornados nan pode ser determinado segundo aformula

A~, =rn(m-l)(m-2) ... (m-n+ I). (l)

So/urao

I?) Observemos, antes de qualquer coisa, que A~, = me. conscquentemcnte, a formula (I) e valida para n = I.

2?) Suponhamos que

A~, = mim - 1 )(m - 2) ... (m - k + 1),

54

55

onde k < m. Demonstremos que

k .;. 1

Am = m(m - I )(m - 2) ... (m - k).

Fica evidente que dessa forma serao obtidas todas as combinacoes de m elementos tornados k + I a k + I, aparecendo cada urna delas k + I vezes.

De fato, a cornbinacao {a I, a2, ... , ab ak+ I} sed obtida ao acrescentarmos 0 elemento al a combinacao tab aj, .,', ak- aH I}, ao acrescenrarmas 0 e lemento a2 a combi nacao {ai, a 3, ••. , a k' a k ~ 1 }, ao acresccntarmos o elcmento a3 it combinacao {aI, a2, a4, ... , ak> aH 1 f, etc., e, par ultimo, ao acrescentarmos 0 elemento ak _._ 1 a combinacao {a I, a2, a3, ... , ak }.

Portanto:

Para obter todos os arranjos de m elementos tornados k + I a k + I, basta tamar os arran jos de m elementos tornados k a k e acrescentar ao final de cada um deles urn dos m - k elementos restantes. E facil convencer-se de que os arranjos de m elementos tornados k + I a k + 1 obtidos desse modo sao distintos e de que, ademais, qualquer arranjo de m elementos tornados k + 1 a k + I figura entre esses.

Portanto:

A~ + 1 = A,~ , (m - k) = m(m - l)(m - 2) ... (m - k).

C~ + 1 = C:' .!!_ik---+- kl = m(m - I)(m - 2) , .... (m - k) I ·2·3· .... k ' (k + I)

Teorema 6

Teorema 7

m(m - 1)(m - 2)· ... <tm - n + I) C~ = -----''-----

I ·2·3, .... n

(I)

Quaisquer que sejam os numeros a e b e 0 numero natural n, vale a formula

(a + by = a" + C~ a" -I b + C~ an .. 2 b2 + ... + C: -I ab" -I + b" (l)

(f6rmula do binomio de Newton).

Soluciio

1~) Para n = I, temos (a + b)1 = a + be, conseqiientemente, a formula (1) e valida nesse caso.

2~) Seja

(a + b t = ak + C~ a" - I b + C; a* - 2 b2 + .,. + C~ - 1 ab" - 1 + bli•

Entao:

(a + b)k+ I = (a + b)k, (a + b) =

= (ak + C~ ak - I + C~ ak - 2 fr2 + ... + C~ - I abk - 1 + bk)( a + b) =

= ak + 1 + (1 + C~ )ak b + (C~ + Ci )ak - 1 b2 + ... +

+ (Ci. + C~ - I )ak - s h-I + 1 + ... + b" + I.

Levando em consideracao que C~ + C'k + I = C~ :\, obrernos: (a + b f + 1 = ak + 1 + C~- + I ak b + C; + I ak - 1 h2 + ... +

+ co, + 1 ak - -' f., + 1 + + bk + I k -tl U ... •

a numero de combinacoes de m elementos tomados nan pode ser determinado segundo a formula

Solucdo

I?) Observemos inicialmente que C~ = m e, consequentemente, a formula (I) e valida para n = I,

2~) Suponbamos que

C~

m( m - _I)( m - 2) (m - k + I)

1·2·3· · k

e provemos que

C~ + 1= m(m -l)(m - 2)' .... (m - k) 1·2·3· ... ·k(k+l)

Para obter todas as combinacoes de m elementos tornados k + I a k + I, consideremos todas as combinacces de m e lernentos tornados k a k e acrescentemos a cada uma delas, como 0 (k + I j-esimc elemento, urn dos m - k elementos restantes.

S6

57

EpiIogo

todas as aparencias, a solucao, Mas as proposicoes matematicas sao demonstradas sempre dedutivamente. Nenhum resultado matematico pode ser considerado verdadeiro, valido, se nao foi deduzido das proposicoes de partida.

Mas e 0 metodo de "inducao maternatica"? 0 que acontece e que a "inducao matematica" e urn metodo dedutivo. De fate, consideremos com mais detalhe a estrutura das argumentacoes matematicas, que parecem ser urn "passo do particular ao geral", E facil convencer-se de que a chamada inducao maternatica ndo e, de fato, inducdo: cum metodo de argumentacao puramente dedutiva, A demonstracao por esse metodo consta de duas partes: I) abase, ou seja, a demonstracao (dedutiva!) da proposicao para urn numero natural (au varios: por exemplo, para 0 ou I: na pagina 13, essa parte foi denominada ''teorema 1 "): e 2) 0 pas.I'o indutivo ("teorema 2"), que consiste na demonstracao (tambem dedutiva) da proposicao geral: para todo n e correto que a validade da proposicao para n implica a validade para n + 1. 0 "principio de inducao matematica" (pagina 12) e uma proposicao preeisa (cuja evidencia intuitiva e aceita por muitos matematicos como indiscutivel, ainda que no momento da exposicao axiomatica da Aritmetica figure como urn axioma) que permite obter, a partir da base e do passo indutivo, uma demonstracao puramente dedutiva da proposicao para todos os numeros naturais n. Em conseqiiencia, nao resta nenhum caso que nao tenha sido "abrangido pelas hipoteses" e ao qual ainda deve fazer-se extensiva (por inducao) a proposicao; 0 teorema precisamente e demonstrado para todos os numeros naturais: da base demonstrada (digamos, para 0 numero 0), obtemos. aplicando 0 passo indutivo, a demonstracao para 0 numero I e depois da mesma forma para 2, 3, .... Desse modo. 0 teorema pode ser aplicado para qualquer numero natural*.

Em outras palavras, 0 nome "inducao maternatica" deve-se simplesmente ao fato de que se associa ern nossa consciencia com as argumentacoes "indutivas" tradicionais (ja que a base, efetivamente, e demon strada apenas para urn caso particular); mas 0 passo indutivo, contrariamente aos criterios baseados na experiencia de verossimilhanca dos argumentos indutivos das ciencias naturais (e sociais), e uma proposicao geral que ndo necessita de nenhuma hipotese particular e e demonstrado segundo os rigorosos canones dos argumentos dedutivos. E por i5S0 que a "inducao'

Yu. A. Gastev

A inducao e a passagem do particular ao geral. A deducao, do gerai ao particular. E conhecido 0 papel que desempenham os processos de sintese de observacoes e experimentos isolados (au seja, a inducao) nas ciencias empiricas. Ao contrario, a Matematica sempre foi considerada como urn modele classico de ap 1 icacao de rnetodos puramente dedutivos, ja que sempre se subentendia, explicita ou implicitamente, que todas as proposicoes matematicas (salvo os axiomas, proposicoes de partida) sao demonstraveis, enquanto as aplicacoes concretas dessas proposicoes se inferem das demonstracoes, validas no easo geral (deducao).

Porem, vimos que "A inducao e amplamentc utilizada na Matematica, mas e preciso ter cuidado em sua aplicacao" (pagina 9), ou "Como deve ser empregada a inducao em Maternatica para chegar sempre a conclusoes verdadeiras?" (pagina 8)*. 0 que significa isso? Nao querera dizer que entre os metod os matematicos existem os "corretos", ou infaliveis (dedutivos), e os "pouco seguros" (indutivos), que, as vezes, e especiaimente em maos inexperientes (ou, como diz 0 autor, apJicados com "I igeireza"), falham '? Se fosse assim, onde estaria 0 criterio de seguranca desses metodos "indutivos"? Como recuperar a seguranca no carater irremissivelmente obrigatorio das conclusoes maternaticas? Ou trata-se de uma situacao sem saida e a validade das argumentacoes matematicas e da mesma natureza que as sinteses experimentais das ciencias ernpiricas e, portanto, nao seria nenhum excesso "comprovar" urna vez rnais urn fato demonstrado (como frequentemente se recomenda aos estudantes, sugerindo que "confiram" as operacoes aritmeticas realizadas ou a solucao de urna equacao achada confonne uma formula geral)?

A real i dade e di ferente. A inducao (ou seja, a sugestao de uma ideia ou uma hipotese) sern duvida desempenha na Matematica urn papel importante, mas puramente heuristico: permite adivinhar qual deve ser, segundo

* Essa forma de enfocar a "inducao na Matcmatica" e ja quasc tradicional no, lex los escolares, inclusive nos rna is modernos,

* A respe ito do s pm hl em as que su rgern ao ap resernar dcssa fu rma 0 m "I ode, ve r ali tcrarura i ndi Calla mais adiantc

Epilogo

todas as aparencias, a solucao, Mas as proposicoes matemaficas silo demonstradas sempre dedutivamente. Nenhum resultado matematico pode set considerado verdadeiro, valido, se nao foi deduzido das proposicoes de partida.

Mas e 0 metodo de "inducao maternatica''? 0 que acontece e que a "inducao matematica" e urn metoda dedutivo, De fato, consideremos com mais detalhe a estrutura das argumentacoes matematicas, que parecem ser urn "passo do particular ao geral", E facil convencer-se de que a cham ada inducao maternatica niio e, de fato, induciio: e urn metoda de argumentacao puramente dedutiva. A demonstracao par esse metodo consta de duas partes: 1) abase, au sej a, a demonstracao (dedutiva') da proposicao para urn numero natural (ou varies: par exemplo, para 0 au I; na pagina 13, essa parte foi denorninada "teorema 1 "); e 2) 0 passo indutivo ("teorema 2"), que consiste na dernonstracao (tambem dedutiva) da proposicao geral: para todo n e correto que a validade da proposicao para n implica a validade para n + 1. 0 "principia de inducao matematica" (pagina 12) e uma proposicao precisa (cuja evidencia intuitiva e aceita por muitos matematicos como indiscutivel, ainda que no momenta da exposicao axiomatica da Aritmetica figure como urn axioma) que pennite obter, a partir da base e do passo indutivo, urna demonstracao puramente dedutiva da proposicao para todos as mimeros naturais n. Em consequencia, nao resta nenhum caso que nao tenha sido "abrangido pelas hipoteses" e ao qual ainda deve fazer-se extensiva (por inducao) a proposicao; 0 teorema precisamente Ii demonstrado para todos os numeros naturais: da base demonstrada (digamos. para 0 numero 0), obtemos, aplicando 0 passo indutivo, a dernonstracao para 0 numero I e depois da mesma forma para 2,3, .... Desse modo, 0 teorema pode ser aplicado para qualquer numero natural ".

Em outras palavras, 0 nome "inducao matematica" deve-se simplesmente ao fato de que se associa em nossa consciencia com as argumenta"Des "indutivas" tradicionais (ja que a base, efetivamente, e demonstrada apenas para urn caso particular); mas 0 passo indutivo, contrariamente aos criterios baseados na experiencia de verossirnilhanca dos argumentos indutivos das ciencias naturais (e sociais), e uma proposicao geral que niio necessita de nenhuma hipotese particular e e demonstrado segundo os rigorosos canones dos argumentos dedutivos. E per isso que a "inducao"

Yu. A. Oastev

A inducao e a passagem do particular ao geral. A deducao, do geral ac particular. E conhecido 0 papel que desempenham os processos de sintese de observacoes e experimentos iso/ados (ou seja, a inducao) nas ciencias ernpiricas. Ao contrario, a Matematica sempre foi considerada COllO urn modelo classico de aplicacao de metodos puramente dedutivos.ja que sernpre se subentendia, explicita ou irnplicitamente, que todas as proposicoes matematicas (salvo os axiomas, proposicoes de partida] sao demonstraveis, enquanto as aplicacoes concretas dessas proposicoes se inferem das demonstracoes, validas no caso geral (deducao),

Porem, vimos que "A inducao e amplamente utilizada na Matematica, mas c preciso ter cuidado em sua aplicacao" (pagina 9), ou "Como deve ser empregada a inducao em Matematica para chegar sempre a conclusoes verdadeiras?" (pagina 8)*. 0 que significa isso? Nao querera dizer que entre os met ados maternaticos existern as "corretos", au infaliveis (dedutivos), e os "pouco seguros" (indutivos), que, as vezes, e especialmente em maos inexperientes (ou, como diz 0 aut or, aplicados com "ligeireza"), falham? Se fossc assim, onde estaria 0 criterio de seguranca desses metodos "indutivos"? Como recuperar a seguranca no carater irremissivelrnente obrigatorio das conclusoes matematicas? au trata-se de uma situacao sem saida e a validade das argurnentacoes matematicas e da mesma natureza que as sinteses experimentais das ciencias empiricas e, portanto, nao seria nenhum excesso "comprovar" uma vez mais urn fato demonstrado (como freqiienternente se recomenda aos estudantes, sugerindo que "confiram" as operacoes arirrneticas realizadas ou a solucao de uma equacao achada conforme uma formula geral)?

A real idade e di ferente. A inducdo (ou sej a, a sugestao de uma ide ia au uma hipotese] sem duvida desempenha na Matematica um papel importante, mas puramente heuristico: permite adivinhar qual deve ser, segundo

~ E" a forma de en foe ar a "j nducao n a 1,1 atcm ii tica" e j ~ q uase tradic i ona I n os lex lOS e scol ares. i ncl usive nos rnais modernos.

• A rcspcito do, problemas que surgem ae apresentar dcssa forma 0 merodo, ver a literatura indicada mais adiantc,

58

59

rnaternatica C denominada tambern "cornpleta' ou "perfeita'', ja que (por oposicao a inducao corrente, "imperfeita", que nao garante a conhecimento completoi e urn metoda dedutivo ("com 1 00% da seguranca") de demonstracao,

Quer dizer que a inducdo, enquanto metoda de demonstracdo, {lao pode ser usada na Matematica"; isso, porem, nao exclui, de modo algum, a ampla utilizacao na Marernatica do metoda dedutivo de "inducao rnatematica",

Entendcndo assim esse termo, podemos, claro esta, nos permitir a liberdade de ernpregar expressoes como "inducao na Geometria"** au "inducao na Matematica". Mas sernprc se deve estar cienre de que a prirneira expressao, falando com rigor, tern urn sentido totalmente distinto do que tern a expressao extensa (mas precisal) "aplicacao do metodo dedutivo de inducao matematica it demonstracao de teoremas de conteudo geornetrico" e que a segunda expressao, a despeito dos criterios gramaticais, nao e 0 mesmo que a "inducso maternatica", essa ultima expressdo deve ser compreendida em conjunto, e nao como "inducao na Maternatica".

o rnetodo de inducao rnarernatica (na forma exposta neste livro) e urn metodo de demonstracao de teoremas aritmeticos au, mais rigorosamente, de teoremas referentes as propriedades gerais dos numeros naturais (0, 1, 2, ... ; as vezes, como oeorre nesre livro, a sucessao natural corneca com a I, mas isso nao e essencial). E, para a Aritmetica dos numeros naturais, esse metoda em certo sentido (razoavel e amplo) e 0 instrumento universal (e as vezes unico) de dernonstracao.

Para que essa ultima afirmacao nao pareca exagerada, 0 leitor deve estar convencido de que a edificacao axiomatica (dedutiva) da Arirmetica se baseia na definicao, pot induciio matematica; das operacoes com os numeros naturais (por exemplo, para definir a adicao, define-se - base da inducao - a adicao do I ou do 0 e depois - passo indutivo - a adicao de urn mimero natural qualquer se reduz a adicao do numero precedente). Par i sso, e evidence que, para "chegar" as propriedades gerais dos nurneros naturais relacionadas, digamos, com as operacoes de adicao ou de rnultiplicacao, devemos usar (se queremos just i ficar axiomaticamente essas propriedades)

a mesma "esc ada" (cujo degrau inferior e a propriedade correspondente enunciada para 0 numero natural minimo) que empregamos para "ascender" ao conceito geral que nos interessa; falando de maneira figurada, nao M outra forma de "agarrar-se' it demonstracao necessaria. E assim ocorre com a demonstracao de todas as proposicoes aritmeticas, E, se isso nao e visto no curso escolar de Aritmetica ou de Algebra, e porque esse curso (com muita razao) se baseia nao tanto no metodo axiomatico como na experimentacao e na intuicao".

Par firn, inclusive 0 leiter mais rneticuloso e critico se conforrna freqiientemente em saber, digamos, que aiel distributive da multiplicacao relativa it adicao pode ser demonstrada e nao exige a demonstracao explicitao (Mas essa seguranca, embora esteja bern fundarnentada, difere daquela a que se chega pela demonstracao autentica tanto como uma informacao proporcionada par jornal difere da que se obtem diretamente, enquanro testemunha de run fato: ademais essa analogia vai muito longe.) Por iS50, no ccrso escolar 0 metodo de inducao maternatica aparece muito mais tarde que as propriedades, intuitivamente claras e facilmente assimilavcis, das operacoes aritmeticas, por exemplo, em relacao com a formula do bin6mio de Newton, da qual nao se pode dizer que sua validade "salta it vista".

Outros ramos da Marematica necessitarn do metoda de inducao matematica na mesma medida em que empregam a base aritmetica, Essa necessidade tern dois aspectos. Antes de tudo, muitos ramos rnatematicos sao cons truidos diretamente sobre a base aritmetica dos mimeros natura is (d igamos. a teoria dos numeros racionais, que conduz, por sua vcz, a teoria dos numeros reais); outros, ao contrario, podem ser interpretados em termos aritmeticos (por cxemplo, todo resultado da Geometria euclidiana pode ser expresso na Iinguagem "de coordenadas" dos numeros reais), Ncsses casos, as proposicoes de carater geomctrico, digamos, podem ser demonstradas mediante a inducao maternatica empregando-se essa interpretacao aritmerica, Pode-se dizer que 0 cararer geomerrico, Oll de outra indole, dessas proposicoes nao e mais substancial para a dernonstracao que, por exemplo, a natureza dos objetos no problema relativo a adicao de tres e cinco

• Meneionarnos de passagem 0 papel fecundo que a inducao "corrente' ("ineompleta"j desempenha na formacao de hipoteses rnatematicas que conduzem au descobrtmento de novas taros: disso c da relacao entre H inducao "corrente" c 0 rnetodo de inducao marematica trata com mais detalhe 0 livro oj Matematica e os arg"menros verossimeis, de c. Polva. volume l (especialmente 0 capitulo 7),

~~ Esse e o nome que, para abreviar, dcram L. 1. Gohwilill e 1. M. rag/om a 5~1l livro (I::<lihlra MiT, j 9) 5) conccbido como conunuaeao natural do livre de l. S. Sominski.

,. Pot outre lado, quando no cursn escolar sao dernonsrradas propriedades gerais do> numercs natural <; sem se empregar para isso a mducso, ;,'0 sc deve ao faro de que utilizam (as vezes irnplicnameute] como hipoteses proposicoes que. para !<UiL fundarncntacao rigorosa, Ilcce"itam da i nducan (da mesrna forma que 0 cmprego do postulado lias paralclas na Geomctria euchdiana pode ser "camuflade" tnrnando-se em seu lugar urn des eus coro lari os).

61

60

pepinos ou de tres e cinco barcos, (0 leitor podera encontrar exemplos semelhantes oeste IiVfO,)

Mas oeorre tambern que a base da inducao e demonstrada por metodos essencialmente nolo aritmeticos". Entretanto, tambem nesse caso 0 passo indutivo representa (mesrno quando se baseia em axiomas geometricos ou outros) uma proposicdo geral sobre os numeros natura is, uma vez que se trata da validade de uma propriedade para todo numero natural n**.

Quer dizer que a inducao rnatematica segundo as nurneros naturais e, "em sua forma", urn metoda de demonstracao de tcoremas aritmeticos, mas talvez geometricos, au de qualquer outra natureza (mecanicos, pOI exempia), "em seu conteudo",

Assinalemos tambem que 0 metodo, tao frutifero nas demonstracoes que seguem 0 processo de construcao da sucessao natural 0, I, 2, "" pode ser estendido tambem a process os de natureza muito diferente. Por exemplo, nos calculos da Logica matematica que operam com formulas ("proposiyoes") obtidas de "formulas elementares" ("proposiyoes elementares") do tipo A, B, C, ... mediante, digamos, os sinais 1\ ("e"), V ("ou"), - ("se . '" entao ... ") e l ("nao"), as propriedades gerais das formulas sao demonstradas empregando-se a chamada inducdo por construcao. Demonstra-se que:

I) a propriedade e valida para qualquer formula elernentar (base); e

2) se a propriedade e val ida para as formulas X e Y, tambem 0 e para as formulas (X 1\ Y), (X V Y), (X - Y) e l X (passe indutivo),

Dai se deduz que a proposicao considerada e valida para todas a formulas desse tipo. A analogia que aqui se observa com a inducao matematica exposta neste livro e tao palpavel que salta it vista ate para urn leitor inex periente.

Em geral, toda construcao matematica (ou l6giea ) que consiste oa passagem de urn au varies objet os iniciais a objetos novos, mediante urna ou varias operacoes de passagem, pode ser considerada como 0 fundamento do metodo correspondente "indurivo" (que, como vimos, e puramente dedutivo) de definicao ou de demon strac ao. (A proposito, 0 papel relativamente resrriro que desempenha a i nducao matematica na Anali se matematica deve-se precisarnente a que os numeros reais, contrariamente aos naturais, nao sao resultado de uma construcao pura que se desenvolve segundo

essa formula, de modo que diferentcs "inducoes segundo os numeros rcais" csrao muito longe de ter 0 cararer universal que tern a inducao maternatica na Aritmetica e sua variante na Logica matematica.)

Considerando as perguntas de caratcr geral, mate-matico ou logico. que possam ser feitas pelo leitor, achamos conveniente remete-lo it literatufa especializada", Em compensacao, 0 presente livro serve muito bern para dar a conhecer as aplicacoes concretas do metoda de inducao matcrnatica em nivel elementar.

• Vcr, [lor cxernplo, (J iii rnencionado lkro If/d<<r;(m na Geomcma; de !.. I. Golovin: e I. M Yag/om.

U Quer dizer: o proprio passo "de >I a '1 + I"' I: demonstrado pam iodo numero natural 11.

" Vcr, pDf cxemplo:

L. GU"f/~l'" Sobrc a inducao matematica. 1962. I V Arnold, Aritmetica tcorica, 19.19.

S. C. Kkene. Introduction to metamathemaucs, 1952. Enciclopediafilosofica, "Inducao maicmatica". 1964,

62

63

Solucoes dos problemas*

(2k + 1)

3 [k(2k - 1) + 3(2k + 1)] =

(k + J)(2k + J)(2k + 3) 3

1. Hipotese: u; = 3n - 2.

I?) A hip6tese e valida para n = 1. 2?) Seja u, = 3k - 2. Entao:

u, ' I = u, + 3 = (3k - 2) + 3 = 3(k + 1) - 2.

4. I?) A proposicao e valida para 11 = 1. 2?) Seja

2. Hiporese: 50 = 2n - 1.

I :') A hipotese e valida pam n = I. 2?) Seja S, = 21e - I. Entao:

5k + 1 = 5k + 2" = (2! - I) + 2k = 2" + 1 - 1.

Entao:

13 2' 1_. 3 k2(k+1r 3

+ . + ... + «: + (k + 1)- = -_.-- + (k + 1) =

4

~ (k: I)' . (k' + 4k + 4) ~ [ (k + l)~ k + 2) J.

(Poderiamos tambem formar diretamente a diferenca 25n - S" e mostrar que ela e igual a 2n - t.)

3. I?) A proposicao e valida para n = 1. 2~) Seja

12 + 31 + 52 + ... + (2k _ 1)2 = "k(2k - 1~(2k + 1) . Entao:

5. I?) A proposicao e valida para n = 1. 2?) Seja

xl +1 -I l+x+x2+ ... +x'=---

x-I

12 + 32 + 52 + ... + (2k - 1)2+ (2k + 1)2 = k(2k - I ,(2k + 1) + (2k + 1)2 =

3

Entao:

;0 S6 indicamos os numcros des problemas. A solucflo dos exemplos ja esta no texto,

x" - 1 - 1 + x" - 2 - Xk + 1 x-I

64

65

6. l~) A proposicao e valida para n = 1. 2?) Seja

I ·2 . 3 + 2 . 3 . 4 + 3 . 4 . 5 + ... + k(k + l)(k + 2) =

8. I?) A proposicao e valida para n = I. 2?) Seja

}2 _ + _ 2_2_ + _3_2_ + + _ _ k2 _ kt; k + 1)

I . 3 3 . 5 5 . 7 ' . , (2k - 1)( 2k + 1) 2( 2k + 1) ,

= !(k _±_l)(k ---=!=_ 2)(k +.12 4

Entao:

1 '2·3+2,3·4+ ... +

+ k(k + \)(k + 2) + (k + l)(k + 2)(k + 3) =

= !5__(k + l)iL~)(k _±_~ + (k + J)(k + 2)(k + 3) =

4 -

12 22 e (k+l)2

_- + --- + ... + + =

1 . 3 3 . 5 (2k - 1)( 2k + 1) (2k + \)( 2k + 3)

= k(k + 1) + (k + 1)2 =

2(2k + I) (2k + 1)(2k + 3)

Entao:

= (k + 1 ){k + 2)(k + ll. (k + 4) = 4

(k + l)(k + 2)(k + 3)(k + 4)

= _---------

4

= (k + 1_)[k_(2k + 3) + 2(k + 1)] = (k + 1)(2e + 5k + 2)

2(2k + J)(2k + 3) 2(2k + 1)(2k + 3)

= (k+I)(2k+l)(k+2) _ (k+l)(k+2)

2(2k + 1)(2k + 3) - 2(2k + 3)-·

7. 1~') A proposicao e valida para n = l. 2~') Seja

I I I 1 _ k

_- + -- + --- + + ------ - ---.

1.3 3·5 5·7 , .. (2k-l)(2k+l) 2k+l

9. I?) A proposicao e valida para n = 1. 2~) Seja

Entao:

_J_ + __ l_ + ... + 1_-- + 1 =

1,3 3·5 (2k-I)(2k+l) (2k+l)(2k+3)

k 1 k(2k + 3) + 1

= --- + ------- = -------- =

2k + 1 (2k + 1)(2k + 3) (2k + 1)(2k + 3)

_1_+_1_ +_1_+ + 1_ __k_

1 . 4 4 . 7 7 . \ 0 . . . (3k - 2)( 3k + 1 )

3k + 1

Entao:

1 \ 1 1

04 + 40 + ... + (3k - 2)( 3k + 1) + (3k + 1)( 3k + 4) =

(k+l)(2k+1) _ k+1 = (2k +t)(2k+3)- - -2k +3

+ 1 = _k(3k + 4)~_ = __!_~_

3k + I (3k + 1)( 3k + 4) (3k + 1 )Ok + 4) 3k + 4

k

67

10. I?) A proposicao Co valida para n = I. 2?) Seja

12. I?) A proposicao e val ida para n = 1 e para 11 = 2. 2~) Sejam

_1_ + L_ + 1 _ + + ! __ = _k __

1 . 5 5 . 9 - 9· 13 . . . (4k - 3)( 4k + I) 4k + I

~k -] _ (:,k -I Uk -" = --- -- - --- -----

- 0'-(:,

Entao:

Entao:

_____ I _ + _1_+ + 1 + I =

1·5 5·9 ... (4k-3)(4k+l) (4k+l)(4k+5)

k-I pk-I

0' - I-'

0'-(:,

k + ~ (.!_'- l ,

0' L - 1-" -

-------

O'-jj

k

+ __ 1 = __!(~k + 5) +!.. = _k ~_I

(4k + J)(4k + 5) (4k + 1)(4k + 5) 4k + 5

13. 1 ") Sendo n = 0, temos: _1_=_1_+ 2

I + x x-I I - x} ,

au seja, a proposicao e valida,

4k + 1

11. I?) A proposi >;:ao e valida para n = I. 2~) Seja

2?) Seja

_1_+ 2

1 + x I + xl

4 2k

+---+ ... +--_=

1 + x4 1 + x2!-

__ + _ 1 + ... + 1 __

a( a + 1) (a + 1 )( a + 2) (a + k - 1)( a + k)

k

1 2" + I

=--+

x -I 1 _ x2' + 1

ala + k) .

Entao:

Entao:

_1_+ 2

I + x 1 + xl

1 I

---- + ---- ----- + +

a( a + 1) (a + 1 )( a + 2) ...

1 2k + Z

=----+

x-I l-x2'_"

+ 1 + ---=------ _

(a + k - 1)( a + k) (a + k)( a + k + I)

k. 1

---- ---r- ------ - - =

a( a + k) (u + k)( a + k + I)

k(a + k -+ 1) + a a( a + k)( a + k + 1)

14. Para n = 1, temos: 1-__!_=- x-I

I! I!

(a + k)(~ +_1_)_ = _ ~~ _

a( a + k)( a + k + 1 ) a( a + k + 1) .

Para n = 2, temos:

1 _ __!_ + x(x - I) = _~ + xix - I) = (x - 1)(x_-2L

I! 2! I 2 2!

69

6H

Para n = 3, temos:

== -l)k+l (x-l)(x-2) ... (x-k) ,[_X_-l]=

( k! k + 1

x x(x - 1) x(x - 1)(x - 2)

1- -+ ----- .. - --.

I! 2! 3!

=(-1/+1 (x_-1)(x-2) .... (x-k)(x-k-1). (k + I)!

_ Q - 1)( x - 2L _ x( x-l)( x - 2)

2 6

_ (x -l)(x - 2)(x,- 3) 3!

lsso sugere a hip6tese

15. 1 ") A proposicao e valida para n = O.

2~) Suponhamos que a proposicao seja valida para n = k, ou seja, que

1 _...£ + x(x -1) _ ... + (-If x(x - 1) .~ - n +.!2_ =

I! 2! n!

= (-ltJx -l)(x- 2) ... (x- n). n!

seja divisivel por 133. Entao:

A k+ 1 = lllk.j Ii + 2 + 122(k + I) + 1 = 11k + 3 + 122k + .1 =

= 1l·11k+2 + 122 '122h1 = II· 11k-! 2+(133+ 11)'1221.+ 1= = 11 . (11H2 + 122k+ I) + 133· 122k+ 1 =

= 11·A.+133·122k+1.

l~) A hipotese e valida para n = 1. 2~) Seja

1 _ ...£ + x(x - 1) _ ... + (-1)" x(x -1) :~- k +!2_ =

l! 21 kl

Como Ak.,. 1 e a soma de duas parcelas, ambas divisiveis por 133, entao Aj-f Ie divisivel por 133.

I - ._~ + 2(x - I) _ ... +

I! 21

] 6. 1~) E evidente que a proposicao e valida para n = 1.

2?) Suponhamos que a proposicao seja valida para n = k, ou seja, que k retas dividem 0 plano em 2k angulos; a reta (k + 1 j-esima divide por sua vez em duas partes dois angulos opostos pelo vertice, ou seja, aumenta em 20 numero de partes em que esta dividido 0 plano. Por isso, k + 1 retas dividem 0 plano em 2k + 2 = = 2(k + 1) partes.

Entao:

+(-1)[ (x-I)(x-2) ... (x-k+l) + k!

+ (-l)k +l~(X -IL (x - _!l_ = (k + I)!

= (-1/ (x - l)(x - 2 )~x-=--'1_ + k!

17. I?) A proposicao e valida para n = 1, uma vez que

3x sen -

2

x + (3X x)

sen -- sen _ - sen -

2 221

-- __ ___:__-- - -- - =- + cos x.

x 2

2 sen-

2

+ (-Ii +1 x(x -I) ... (x -J5J_ = (k + 1)1

2 sen ~ 2

70

71

2k + 1 sen _.- -x

k + cos x + cos 2x + ... + cos kx = -_ ._2 __ 2 sen _x

2

2?) Seja

sen x + 2 sen 2x + 3 sen 3x + ... + k sen kx =

2?) Seja

(k + 1) sen fa: - k sen (k + 1 )x 4 seri- ___£_

2

Entao:

Entao:

1

2 + cos x + cos 2x + ... + cos fa + cos (k + l)x =

senx+2sen2x+ ... +ksenh+(k+ l)sen(k+ I}x=

2k + 1 sen -_·--x

= __ 2 __ + cos (k + l)x =

2 sen ~

2

(k + 1) sen kx - k sen (k + l)x

= -- - ... - + (k + 1) sen (k + l)x =

4 serr' ~

2

2k + 1 x·

sen --- -x + 2 sen - cos (k + l)x

__ 2.. .. 2 __ _ =

2 sen x

2

= ~+ I )senkx-k sen{k+ l)x+ 2(k_+ 1 )sen(k--_!-l)x .(1- cos x) 4· serr' £

2

= (k + 2) sen (k + l)x +(k + 1) sen ~ _ 4 sen? _:_l_

2

sen 2k + 1 x + (sen 2k + 3 x _ sen 2k + 1 x)

= 2 ,2 2 =

2sen~

2

_ ~(~ + I) co~ x • sen (k :}~ = 4 . sen1 _.!_

2

=

2k + 3 sen ---x

2

(k + 2) sen (k + 1)x -:: (k + I) sen kx _ 4 sen? _x_

2

2 sen -~ 2

J 8. 1 ~) A proposicao e val ida para n = I, uma vez que

2 sen x - sen 2x 2 sen x (l - cos x)

=----- --= sen x.

4 sen x 4 sen? _x_

2 2

(k -+: I )[sen (k + 2)x + sen kx] 4 serr' _!_

2

= (k + 2) s~n (k + l)x_---:: (k + I) 8e!l (k + _3_lx_. 4 serr' ~

72

73

19. 1:') A proposicao e valida para n = 1, uma vez que

2 cos x - cos 2x -=-l _ 2 cos x - 2 cos2 X ==

X , x

4 sen ' 2 4 sen- -2

(k + 2) cos (k + l)x_±" __ {k + 1) cos kx __

, x

4 sen- "2

cos x (I - cos x)

= --- __ -- = cos x.

2 sen} x

2

(k + I)[cos (k + 2)x + cos kr] + 1_ = 4 serr' ;

2~) Seja

cos x + 2 cos 2x + ... + k cos kx =

= (k + 1) cos kx - k cos (_k + l)x - 1_ 4 sen} ;

(k + 2) cos (k + l)x - (~ + 1) cos {~ -f- 2)x- J 4 sen? ~

20. 1 ~) A proposicao e valida para n = I, uma vez que

Entao:

cos x + 2 cos 2x + ... + k cos kx + (k + I) cos (k + I)x =

= (k + l)cos k-t- k c_?S (k + l)x -l_ + (k+ l)cos(k+ l)x = 4 serr' £

2

1 x 1 x

- cotg - - cotg x = - cotg --

2 2 2 2

x 2tg-

2

1 X tg -

2

I x =-tg-.

2 2

x 2 tg -

2

= (k + I) cos 10: - kcos (k + l)x - I + 4 serr' _£

2

+ 2(k+l)cos(k+l)x'(I-cosx) = 4 sen? ~

2~) Seja

_!_t ..£+ 2 g 2

I x I x

-- tg - + + - tg - =

22 22 ... 21:: 2k

1 x

= -- cotg -,_- - cotg x.

2k 2~

(k + 2) coos (k + l)x + (k + 1) cos kx _

~ x

4 sen- "2

Entao:

_!_t __£+_l_t x 1 x +_l_t _ ____:"!__=

2 g 2 22 g 22 + ... + Y tg Y 2k 4 1 g 2k - 1

_ 2(k +_}l.~os x' cos (k + l)~ = 4 serr' _£

2

1 x 1 x_

=-cotg--cotgx+-,_-! tg~-

21:: 2* 2~ + 2

74

75

cotg" ~--I

= _ _ 2~k_+_I __ +

2k + I x

cotg~

------ - cotg x = 2" + 1 cotg _X_

2A ~ 1

Demonstremos que, entao, tambem e valida para n = k + I 0 .

, u seJa,

que

arc cotg 3 + arc cotg 5 + + arc cotg (2k + 1) + arc cotg (lk + 3) =

= arc tg 2 + arc tg l_ + +

2

k+l k+2

+ arc tg -- + arc tg -- - (k + 1) arc tg 1. (3)

k k + 1 -

De fato, somando membra a membra as igualdades (I) e (2), obtemos a igualdade (J).

I x

= 2k +1 cotg ~ - cotg x.

21. I?) Temos

2-1

tg(arc tg 2 - arc tg 1) = --- --

1+2'1 3

22. I?) A proposicao e valida para n :::: 1, uma vez que

Par isso, arc tg 2 - arc tg 1 = arc tg 1-, au seja, a proposicao e valida para n = 1.

\'3- - i = 2 [cos: - i . sen :)-

2?) Seja

(-j - il = 2~ (cos k; - i » sen k;_}

Entao:

«3 - i)K+ I = «3 - il (\3 - i) =

2?) Mostremos inicialmente que k+2

arc cotg (2k + 3) = arc tg k+T- arc tg 1. (1)

De fato, temos

k +2 _I

tg(arc tg kk ++ 21 - arc tg I) = k + 1 = __ 1_

1+k+2'1 2k+3'

k + I

_ 2* [ k"IT. km ) 2 ( 'IT. "IT )

- cos --6- - f • sen 6 cos -6- - 1 . sen 6 =

2" + 1 [[ k"IT 11'. k1T 'IT )

= cos -6 - cos -6- - l . sen 6 sen 6 -

k+2

= arc tg -- - arc tg 1.

k + 1

Suponhamos que a proposicao seja valida para n = k, isto e:

arc cotg 3 + arc cotg 5 + + arc cotg (2k + 1) =

= arc tg 2 + arc tg ~ + + arc tg k; 1 - k arc tg I. (2)

- i (sen 7 cos ~ + sen : - cos k:_)] =

= 2" + 1 [cos (k: 07T - i' sen ___{!_: 1)1T 1

au seja, arc tg 1 = arc cotg (2k + 3) =

2k + 3

23. 1 ") A proposicao e valida para n = I. 2?) Seja

(cos x + i- sen x)" = cos 10: + i- sen kx.

76

11

Entao:

De fato, a desigualdade (3) equivale a esta Dutra:

(cos r + i- sen x)k + 1 = (cosx + i: scn xr'(cos x + i : sen x) = = (cos 10: + i . sen kx)( cos x + i . sen x) =

= (cos kx . cos x - sen kx . senx) + i(sen kx . cos x + sen x . cos h) == = cos (k + 1)x + i . sen (k + 1)x.

24. Esra errada a ultima frase: "Demonstramos a proposicao", Na verdade, apenas demonstramos que a desigualdade

2" > 2n + 1

e valida para n = k + I se e valida para n = k, sendo k um numero natural qualquer,

Disso nao se deduz, todavia, que a desigualdade e valida ao menos para um valor de n e, com mais razao, para urn numero natural n qualquer. Em resumo, 0 erro consiste em que demonstramos so 0 teorema 2 e nao consideramos 0 teorema I, ou seja, naD criamos a base para a inducao.

25. E evidente que 3 e 0 menor mimero natural n para 0 qual se veri fica a desiguaJdade 2" > 2n + 1.

Como a validade dessa desigualdade para n = k implica sua validade para n = k + 1 (problema 24), podemos afinnar que a desigualdade se verifica para qualquer numero natural n ;;;:.- 3.

26. I?) A desigualdade se verifica para n = 2, pais 1-

1+-.->\2,

\2

k

1+ _-- >1

\ k + I '

\

que se obtern multiplicando ambos os membros de (3) par

- -

\ k + 1 + -ck .

Somando membra a membro as desigualdades ( 1) e (3). obtemos a desiguaJdade (2).

27. I?) Para n = 2, a desigualdade fica sendo ~ < 6 e em conseqtiencia

3' ,

e valida a proposicao,

2?) Seja

___±k_ < (2k)!

k+l (Hi'

onde k ~ 2. E facil comprovar que 4(k + I) < (2k + 1)(2k + 2)

k + 2 (k + 1)2

para k > O. Por isso,

2?) Seja

1 1 1 ,'-

--+_-+ ... +~>\k,

\ 1 \ 2\ k

Demonstremos que

4~ 4(k + 1) (2k)! (2k + l}(2k + 2)

-_'.. <--,_, .-

k+l k+2 (k!l (k+l)2 '

(1)

_1- + _1_. + ... + ---L- + ~_~ > \k + 1 .

'\ 1\ 2 .... k\ k + I

(2)

4k+1 (2k+2)!

--- < ---'---------'---

k + 2 [(k + l)!f

Para todo k;o. 0 vale a desigualdade

-__!__- > ,,'k + 1 - -.k . (3)

\ k + 1

71l

79