CAPITULO 2 - Questao 1 Os exercicios abaixo so demonstrados usando a seqiiéncia: (1) Verificar se a propriedade é vélida para um certo valor de “n” (2) Supor a propriedade valida para “n”. (hipétese de recorréncia) (3) Provar que a propriedade é valida para “n + 1” 1 - Demonstrar por “indugaéo matematica”: (a) 12 + 2? + 3? +... +n? = (n/6)(n + 1)(2n + 1), vneN. soLusko (1) Para n = 1 (1/6)(1 + 1)(2 + 1) = (1/6)(2)(3) = (1/6)(6) (2) Hipétese: 1? + 27 + 374... +n? = (n/6)(n + 1)(2n + 1). (3) Provar 12+ 27+ 37 +... +n? + (n+ 1)? = [(n+1)/6](n + 2)(2n + 3) Demonstracao: P42 +34. ¢n? + (nt 1)? = (n/6)(n + 1)(2n + 1) + (n+ 1? = n/6)(n + 1)(2n + 1) + (n + 1)? (observe que a soma até n? é (n/6)(n + 1)(2n +1)> Si +224 324+. tn? + (nt 1) = (n +1)[(n/6)(2n + 1) + (N+ 1) = n+ 1)(1/6)(2n? + n + 6n + 6) = (n + 1)(1/6)(2n? + 7n + 6) * = = (n + 1)(1/6).2(n + 3/2) (n+ 2) = [(n + 1)/6](n + 2)(2n + 3) c.g.d. * Nota:- O polinémio ax* + bx + c, com raizes x; € x; pode ser decomposto em a(x = X1)(X = %2) Como as raizes de 2n? + 7n + 6 s8o -2 e -3/2, temos 2n? + 7n + 6 = 2.(n + 3/2)(n + 2). (b) P+ 27439 +... +n? = (n7/4)(n + 1), YN EN, soLucio (1) Paran=1,temos: 17=1 © (12/4)(1 + 1)2 = (1/4)(4) = Portanto, a propriedade é valida para n = 1. (2) Hipdtese 1? + 27 + 37+... +n? = (n/4)(n + 1)? (3) Provar 13+ 2°43? +... +n + (n + 1)? = [(n+1)7/4](n + 2). Demonstracao: Pe Peet. tn 4 (nt 1)? = (nV/4)(n + 12+ (n+ 1 = E(n + 1)°).£(n7/4) + (nm + 1)] = [(n + 1)°1.(1/4)(n? + 4n + 4) = (n+ 1)7/4](n + 2)? c.q.d. Oar ey (PEP 4S? 4... + (Qn- 1)? = (n/3)(4n? - 1), ¥ne N. soLUchO (1) Para n = 1, temos: 12 = 1 e (1/3)(4.12 = 1 © que mostra ser a propriedade verdadeira para n (2) Hipstese: P+ 32 4 5? +... (n= 1)? = (n/3)(4n? ~ 1) = (1/3) (4n? + 12n? + Lin + 3) (3) Demonstrar que 124 3245? + (2n - 1)? + (2n + 1)? = [in + 1)/3)[4(n + 1)2- 1] = = (1/3)(n + 1)[4n? + Bn + 3] = (1/3)(4n3 + 12n2 + 11n 4 3)Demonstracdo: VP + 3? + 5? tae. + (2m — 1)? + (2m + 1)? = (n/3)(4n? - 1) + (2n + 1)? = (n/3)(2n + 1)(2n - 1) + (2n + 1)? = (2n + 1)[(n/3)(2n - 1) + (2m + 1) [2n + 1/3](2n? = n+ 6n + 3) = ((2n + 1)/3][2n? + Sn + 3) = (1/3)(4n? + 12n? + Lin + 3). cad. (d) 3+ 3° +5? +... + (2n- 1)? =n (2n?- 1), ¥neN, soLUcko (1) Para n = 4, temos 1? = 1e 1°.(2.19- 1) = 1.2-1)=1. © que mostra ser a propriedade verdadeira para n = 1 (2) Hipétese: 1° + 3°45? +... + (2n - 1)? = n?.(2n? - 1) (3) Provar que 17+ 3° +5° +... + (2n-1)> + (2n+1)?= (n+ 1)2.[2.(n + 1)? - 1] = (n+ 1)2.(2n? + 4n-4 2 - 1) = = (n+ 1)2(2n? + 4n + 1) = 2n* + Bn? + Lin? + 6n +1 Demonstrac3o: V4 P45) +... + (2n- 1) + (Qn t 1) = n2.(2n?- 1) + (2n +1) = an -n? + 8n? + 12n? + 6n + 1 = 2né + Bn? + Lin? + 6n + 1cg.d SS (@) 1.242343.4 +... + n(n +1) = (n/3)(n + 1)(n +2), ¥N EN SOLUCAO (1) Paran = 1: 1.2 = 2e (1/3)(1 + 1)(1 + 2) = (1/3)(2)(3) = 2. © que mostra ser a propriedade verdadeira para n= 1. (2) Hipdtese: 1.2 + 2.3 + 3.4 +... + n(n + 1) = (n/3)(n + 1)(n + 2) (3) Provar que 1.2+2.3434 +... tan +1) + (n+ 1)(n +2) =[(n + 1)/3](n + 2)(n + 3). Demonstracao: 124+2.343.44...+0(n +1) + (n+ 1)(n +2) = = (n/3)(n + 1)(n + 2) + (n+ 1)(n + 2) = (n + 1)(n + 2)[(n/3) + 1] = (n+ 1)(n + 2E(n + 3)/3] = E(n + 1)/31(n + 2)(n + 3).c..d (141/44 1/94... + 1m? <2-1/n, Vn EN. SOLUCAO (1) Para n = 1: 2-1/1 = 1 < 1. Verdadeira para n= 1 (2) Hipétese: 1 + 1/4 + 1/9 +... + 1/n?<2-1/n,VneN. (3) Provar: 1 + 1/4 + 1/9 +... + I/n? + I/(n + 1)? < 2- 1/(n + 1). Demonstracéo: 141/44 1/94... 4 In? < 2-4/0 Zouavéo 1/(n + 1)? aos dois membros da desigualdade, resulta 141/44 1/9 +... + Un? + I/(n + 1)? <2- Int I/(n + 1)* (1) Temos que: [(Y/n) -1/(n + 1)7] = [(n + 1)? nY/[n.(n + 1)] = [(n? + 9 + L)/En(n + 19°). (2) Porém [(n? +n + 1)V/{n(n + 1)%] > (n? + n)/n(n + 1)? = (n.(n+4)]/{n.(n+1)"] = A/(n + 1) ) De (2) e (3) 2 - [(1/n) -1/(n + 1)*] < 2 - 1/(n +1) (4). Portanto, de (1) e (4), por transitividade, 1+ 1/441/9 +... + 1/n? + I/(n +1)? <2- 1/(n +1). cad.(g) a +aq + aq? +... + aq’ = a(q"**- 1)/(q- 1) (G41), Vn SOLUCAO (1) Paran=2:S= a+aq+aq?.(1) Temos ainda que: S = a(q?*! ~ 1)(q~ 1) = a(q - 1)/(q- 1) = = a(q? + q + 1)(q- 1)/(q - 1) = aq? + aq + a =a + aq + aq”. (2) De (1) ¢ (2)conclui-se que: a igualdade é valida para n = 2. (2) Hipdtese a + aq + aq? + ... + aq” = a(q”** - 1)/(q- 1) (3) Provar que a + aq + aq? +... + aq” + aq™** = a(q"*? - 1)/(q- 1) Demonstraco: a+ aq + aq? +... + aq" + aq’*! = a(q?*— 1)/(q- 1) + aqh* = [aqht-a+ aq’**(q - La - 1) = (aq’*!-a + aq"* Yq - 1) = (ag? - 1)/(q - 1). c.g. CAPITULO 2 - Questéo 2 2 - Demonstrar por “indugéo matematica’” (a) 2°< 2", vneN sOLUCAO (1) Para n = 1: 2'=2<2'*!=2?= 4, Como 2! < 2? a proposigio é verdadeira para n=1. (2) Hipétese: 2° < 2°* (4) Provar 2"** < 2°*2, Demonstraca Por hipétese 2" < 2°"? 2.2"<2.2"'* 21 <2"? cad SS (b) 2" > m7, vn>5. soLucho . (1) E verdade para n = 5, pois 2° = 32 e 5? = 25 (2) Hipétese: 2" > n?. (3) Provar 2"**> (n+ 1)? Demonstrac&o: - Provemos inicialmente que 2" > 2n + 1, paran > 5 Esta proposicéo ¢ verdadeira para n = 5, pois 2° > 10 + 1 = 11 Supondo verdadeira para n, 2" > 2n + 1, devemos ter 2"*' > 2.(n +1) +1=2n +3, Ora, 2" > 2n + 1 (hipétese) e 2" > 2 paran > 1 Somando membro a membro, 2" + 2" > 2n +1+2=2.2">2n+3— > 2" > 2n + 3. Portanto 2” > 2n + 1, paran > 5. Retornando & demonstrac&o do enunciado: Pela hipétese 2" > n?e conforme demonstrado, 2" > 2n +1 Somando membro a membro essas igualdades, concluimos: 242 >on? + Int 15 2"*!> (n+ 1) cad. SS () 2° >n3,¥n> 10. soLusko(1) E verdade para n = 10 pois 2'° = 1024 e 10% = 1000. (2) Hipétese: 2” > n? (3) Provar que 2"** > (n + 1)? Demonstracéo: 2071 > (mn 1)8 eo Qn? = 2" + 2" > (n? + 3n? + 3n + 1) 2" + 2" > (n>) + (BN? + 3n +1). Pela hipétese 2" > n°, Provemos entéo que 2" > 3n? + 3n +1. (i) Esta propriedade é valida para n = 10, pois 2 = 1024 e 3n? + 3n + 1 = 331. Supondo valida para n, provemos para n + 1, isto é 21> 3.(n + 1)? + 3.(n +1) + 1= 30? + N+ 7 2" +2" > (3n?) + (9n + 7) (ii). Esta desigualdade é valida pois 2" > n° (por hipétese) en? > 2n? para n > 10 ¢ 2° >9n +7 (ii) Devemos provar ainda que 2° > 9n + 7 paran > 10. E verdade para n = 10 pois 2° = 1024 e 9n + 7 = 97, Supondo 2” > 9n + 7, devemos ter ainda 2"*1>9.(n +1) +7=9n+749. Esta desigualdade é verdadeira pois pela hipstese 2" > 9n + 7 ¢ 2" > 9 paran > 10 Assim, as afirmativas em (ili), (it) e (1) S80 verdadeiras. Portanto, a propriedade inicial é valida para todo n inteiro, maior ou igual a 10. cqd SS (4 >nt,vn>5 soLucAo (1) € verdade para n = 5, pois 4° = 1024 e 5* = 625. (2) hipétese: 4° > n* (3) Provar que 4n + 1 > (n+ 1)* Demonstracao Pelo que foi visto no item (b) (2n + 1) > (n + 1)? para todo n. Portanto é valida para n > 5. Se primeiro termo é maior que o segundo, seus quadrados mantém a mesma relacdo de ordem. Portanto, (2n + 1) (2n + 1) > (n +1)? (n +1)? 4n + 1>(n+1)}4eq.d SS (e)nt>n,vn>4 soLucAo (1) Para n = 4, temos 4! = 4.3.2. (2) Hipdtese: n! > n?, (3) Provar (n + 1)! > (n + 1)? 24 € 42 = 16. Portanto, 4! > 42. Conforme demonstrado anteriormente temos: 2" > 2n + 1. Como n.n! > n! > n? (hipétese), conclui-se que n.n! > 2n + 1 Somando as desigualdades n! > n?en.n! > 2n + 1, resulta: nn! +n! > n? + 2n + i> a (nt tnl> (n+ 1)? > = (n+ 1l> (n+ 1)% cad SS (nian, vn>6 SOLUCAO(1) Paran=6, =6. (2) Hipstese: n! > n? (3) Provar que (n + 1)! > (n + 1)? <> (n+ 1)! > n? + 3n? + 3n + Le (n+ Int >n?4 Bn? + 3n + Lonnltnl>n3+3n243n4+1 6.5.4.3.2.1. = 721 e 6° = 216, O desigualdade ¢ valida paran Demonstrac&o:- Temos que n.n! > n! , De acordo com a hipétese, n! > n°, pode-se concluir que n.nt > n°, Assim, devemos ter n.n! + n! > n! +n! > n? +n? , Se comprovado que n? > 3n? + 3n + 1, teremos comprovado o indicado no item (3), Demonstremos entdo que n? > 3n? + 3n +1. A propriedade é valida para n > 6, pois 6? = 216 > 3.67 + 3.6 +1 = 10°+18 41 = 125 Suponhamos que n* > 3n* + 3n + 1 e provemos que (n + 1)? > 3(n + 1)? + 3(n +He1 (i) (n+ 1)? = 8 + 3n? + 3n + Le (il) 3(n + 1)? + 3.(n + 1) = 3n? + 6n + 3 + 3, +3=(3n?+3n+1)+6n4+5. Subtraindo, (I) - (il) resulta (n+ 1)? - 3.(n+1)? + 3.(n + 1) =n? - (6n + 5). (ili) n? - (6n + 5) é menor que zero para n > 6 , oun? > (6n + 5) (iv), pois 6 = 216 >66+5=41 Supondo n? > 6n + S provemos que (n+1)?> 6(n +1) +5 = 6n+ 11 Temos que 3n? > 6 (v) pois, o menor valor de n & 6 e 3.6” = 108 > 6. Ora, (n + 1)? =n? + 3n? + 3n + 1 > n? + 3n2. De acordo com (iv) e (v), podemos concluir que (n+ 1)? >n3 + 3n2>6n+5+6=6n+11. Portanto, (n + 1)? > 3n? + 3n+1 Assim, (0 #1)! = ant + al > nl + nt > net n?> m4 3n?4 3n4¢1 5 (nF 1). cq. CAPITULO 2 - Questées 3a 5 3 ~ Demonstrar por “indugao matemitica”: Nota:~ 0 simbolismo 2 | x é usado para indicar que 2 divide x ou x é milltiplo de 2. Portanto: 2 | x <> x = 2q. Ou seja, existe um inteiro q, tal que 2.9 = x (a)2|(3°-1),¥neN SOLUGKO (1) A propriedade é valida para n = 1, pols 3.1 - 1 = 2 ¢ 2 é miltiplo de 2. (2) Hipétese: 2 | 3° - 1 ou 3q, tal que 3” - 1 = 2g, sendo q um inteiro positive. (3) Provar que 2 | 3n+ 1-1, Demonstracao:De acordo com a hipétese, 3" - 1 = 2q <> 3.(3" - 1) = 24,3 <> 3.3"- 3 1 = 6q- 2<51 3 - 1 = 2.(3q- 1). Como q > 1 e que é um inteiro positivo, 3q - 1 é um numero inteiro positive. Portanto “existe um inteiro positive que multiplicado por 2, resulta em 3°**- 1", Como a proriedade é valida para n + 1 ela é valida para todo n < N. c.a.d. SS 6q <> (b) 6 | n? n,VneN. soLucAo (1) A propriedade é valida para n = 1, pois 1°— 1 = 0 € 0 € divisivel por 6. (2) Hipétese 6 | n3 - n <= 3q inteiro, tal que n’ 6q (3) Provemos que 6 | (n + 1)*- (n + 1) Demonstraca (n+ 1)? - (n+ 1) =n +3n? + 3n 41 - 3n(n + 1). (i) (n? — n) + (Bn? + 3n) = 6q + nen + 1 sao dois inteiros consecutivos, portanto, um dos dois é par. Se n for par entéo n = 2q’ e 3n(n + 1) = 3.2q(n + 1) = 6q'(n + 1) = 6q” > 3n(n + 1) é miltiplo de 6. Sen +1 for par, n + 1 = 2q’ e 3n(n + 1) = 3n.2q = 6q" => 3n(n +1) = 6q” > 3n(n + 1) é miltiplo de 6. Assim, teremos para a igualdade (i), (n+ 1)? - (n+ 1) = 6q + 6q” = 6.(q + q”) > (n + 1)3 - (n+ 1) € milltiplo de 6 Como a relacao é valida para o sucessor (n + 1) den, a relagao é valida para todo natural eg (251 (8"- 39), ¥neN SOLUCAO, . (1) A relagdo é verdadeira para n = 1 pois 8° - 3'= 8 - (2) Hipétese: 5 | (8° - 3°) => (8n - 3n) = 5q, q inteiro. (3) Provemos que 5 | (8n + 1 - 3n + 1). 5.5 é miltiplo de 5 Demonstracé grt tant t= 8.8" — 3.3" = 8.8"- (8 - 5)3" = 8.8" - 8.3" + 5.3" = 8.(8"- 3") + 5.3". 5.3° é miltiplo de 5 pois 3 é um numero inteiro @ 5.3" = 54’. (8° - 3") = 5q, de acordo com a hipétese. Desta forma, podemos escrever para a expresséo anterior: ant! 3"* 1/2 8.5q + Sq’ = 5.(8q + q’). Sendo qe q’ inteiros, 8q + q’ também & inteiro. Portanto, arti 372 = 5.q’ > 8"! 3°*1 6 milltiplo de 5. Como a relacao é valida para o sucessor (n + 1) den, a relagdo é valida para todo n naturalOy (d) 24 | (5-1), Vn EN. SOLUCAO . (1) A relacdo é verdadeira para n = 1, pois 5” 24, (2) Suponhamos que 24 | (5?"- 1), ¥neN,e (3) Provemos que 24 | (5%°*" ~ 1) = (5**?- 1). 1 = 25 - 1 = 24 que é miltiplo de Demonstracao: se 52,57" — 1 = (24 + 1)5%- 1 = 24,57" + 5-1 = (24.57) + (5 - 1) = 24q + 24q' pois (5*" - 1) é miltiplo de 24 de acordo com a hipétese. Portanto: 5°"? - 1 = 24(q + q") € 24 divide 5°*? - 1, Como a relacao é valida para o sucessor (n + 1) den, a relacdo é valida para todo ny natural Oy (2) 71-1), vn eN SOLUCAO (1) A relagdo é verdadeira para n = 1 pois: 2° - 1 = 8-1 = 7 que é miltiplo de 7 (2) Suponhamos que 7 | (2°° - 1), (3) Provemos que 7 | (2%°* Demonstraca (2°*9 = 1)'= 29.21 =8.2"-1=(74:1)2"- 74’ pois (2° - 1) & miltiplo de 7 conforme hipétese Portanto, (2"°* 4-1) = 7(q + q') ou seja 7 | (2"*? - 1) (7.2) + (2 1) =7q+ Como a relagao é valida para o sucessor (n + 1) den, a relacao é valida para todo 1 natural ey (813% +7, vn EN, soLucAo (1) a relacdo é verdadeira para n = 1 pois 3°°+ 7 = 9 +7 = 16 que é miltiplo de 8 (2) suponhamos verdadeira para n, ou seja 8 | 3° +7, . (3) provemos que a relagdo é valida para n + 1, ou seja8 | 3™°*9 +7 = 37472 + 7 Demonstracao: B24 7 = 32.377 = 9,3 + 7 = (8 + 13 +7 = (8.3%) + (3° + 7) = Bat 8q' = 8(q + q”) pois 8 | (3° + 7) de acordo com a hipétese. Como a relacdo é valida para o sucessor (n + 1) den, a relagdo é valida para todo natural4 - Demonstrar que 10°*! - 9n - 10 é um miltiplo de 81 para todo inteiro positivo n SOLUCAO Provemos iniciaimente que 10-1 - 1 € um miltiplo de 9 - A propriedade é verdadeira para n = 1 pois 100-1 =1-1 nove. - Suponhamos verdadeira para n, isto é 10°-*— 1 um miltiplo de 9. ~ Provemos que a propriedade ¢ verdadeira para o sucessor de n, ou seja 10"! *! 1 = 10"~ 1 é milltiplo de 9. 0 é miltiplo de Temos 10°- 1 = 10,(10™") - 1 = (9 + 1)10""* = 1 = (9,10""" )+ (10""* = 1) = 9q + 9q" (de acordo com a hipétese). Portanto, 10""* - 1 é miltiplo de 9. Demonstremos a propriedade inicial. (1) A propriedade é valida para n = 1, pois 10'''- 9.1- 10 = 100-9 - 10 = 81 que é multiplo de 81. (2) Suponhamos que a propriedade ¢ valida para n, isto é 10"'* - 9n- 106 multiplo de 81, (3) Provemos que ela é valida para o sucessor de n, ou seja 10"*? - 9.(n + 1) - 10 é miltiplo de 81. Temos que: 10°*?-9.(n + 1) - 10 = 10.10"! - 9n- 9- 10 = (9 + 1)10"**- 9n -9-10= = (9.10"* 4-9) + (10" 9n- 10) = 9.(10"**- 1) + (10° - 9n- 10). Conforme foi demonstrado acima (10" ¥- 1) = 9,99 = 814, Pela hipétese a segunda expresso da igualdade acima é um miltiplo de 81, ou seja (10°' = 9n - 10) = 81q’. 1) é miltiplo de 9. Disto resulta 9(10°* Desta forma 10°'?-9.(n + 1) - 10 = 81q + 81q' = 81(q + q’) que € um miltiplo de 81, 5 - Demonstrar que n°/3 + n°/5 + 7n/15 6 um inteiro positivo para todo n ¢ N. soLucAo (1) A propriedade é valida para n = 1, pois (1/3) + (1/5) + (7/15) = (5/15) + (3/15) + (7/15) = 15/15 = 1 que é um inteiro. (2) Suponhamos que € provemos que a propriedade 4 valida para o sucessor de n, isto é: 13/3 + n°/5 + 7n/15 é um inteiro positive para todo inteiro positivo N. (3) Provemos, entéo, que (n+1)°/3 + (n+1)°/5 + 7.(n+1)/15 Temos entdo n+tP 4 _(r+tf 4 Zin+t) = a 3 15 a 3ne +n 41 no + Gnt + On? + 10M +5n+1 Inet — a 5 15= [(n°/3) + (n°/5) + (7n/15)] + (1/3 + 1/5 + 1/15) + (n? +n ++ n+ 2n> + an? +n). () [(n3/3) + (n5/S) + (7n/15)] é um inteiro de acordo com a hipétese. (1/3 + 1/5 + 1/15) = 1 inteiro (n? + n+ + n* + 2n? + 2n? + n) é inteiro por ser uma soma de inteiros. Portanto, a soma anterior (i) é um inteiro, c.a.d