Teoria dos nmeros - Exerccios de divisibilidade

Everton Alves 04/04/2011 s 12h 29min Exerccios - Matemtica

01 Mostrar que se a | b, ento (-a) | b, a | (-b) e (-a) | (-b). Soluo: Se a | b ento q Z | b = aq. (i) b = aq => b = (-1)aq = (-1)a. (-1)q = (-a)(-q). Como q inteiro, (-q) tambm pertence a Z. Portanto, existe (-q) inteiro tal que b = (-a).(-q) => (-a) | b. (ii) b = aq => (-1)b = (-1)aq => (-b) = a(-q). Conforme justificado acima, a | (-b). (iii) b = aq => (-1)b = (-1)aq => (-b) = (-a).q => (-a) | (b). Conforme justificativa em (i) 02 Sejam a, b e c inteiros. Mostrar que: (a) se a | b, ento a | bc. Soluo: a | b => b = aq, q Z => bc = aqc => bc = a(qc). Se q e c so inteiros, qc inteiro (multiplicao em Z). Portanto, existe um inteiro (qc) tal que bc = a(qc) => a | bc. Cqd (b) se a | b e se a | c, ento a2 | bc. Soluo: a | b => b = aq, q Z (I) a | c => c = aq, q Z (II). Multiplicando as igualdades obtidas em I e II, resulta bc = a2(qq). Como q e q so inteiros, qq inteiro. Assim, existe o inteiro qq, tal que bc = a2(qq). Portanto, a2 | bc. Cqd. (c) a | b se e somente se ac | bc (c 0). Soluo: a | b b = aq <=> bc = aqc (a implicao nos dois sentidos s vlida para c 0) <=> bc = (ac) q <=> ac | bc. Cqd. 03 Verdadeiro ou falso: se a | (b + c), ento a | b ou a | c. Soluo: a afirmativa falsa pois 3|9 3 | (4 + 5), mas 3 ~| 4 e 3 ~| 5. 04 Mostrar que, se a um nmero inteiro qualquer, ento um dos inteiros a, a + 2, a + 4 divisvel por 3. Soluo: De acordo com o algoritmo da diviso, a = 3q ou a = 3q + 1 ou a = 3q + 2. Isto , os restos da diviso por 3 somente podem ser 0, 1 ou 2. Se a = 3q, est comprovada a hiptese. Se a = 3q + 1, ento a + 2 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 2 divisvel por 3. Se a = 3q + 2, ento a + 1 = 3q + 2 + 1 = 3q + 3 = 3(q + 1) a + 1 divisvel por 3. Portanto, uma das trs formas ser divisvel por 3. 05 Sendo a um inteiro qualquer, mostrar: (a) 2|a(a + 1). Soluo: pelo algoritmo da diviso, a = 2n ou a = 2n + 1. Se a = 2n, ento a (a + 1) = 2n(2n + 1) = 2[n(2n+1)] = 2q 2 |a(a + 1). Se a = 2n + 1, ento a(a + 1) = (2n + 1)(2n + 1 + 1) = (2n + 1)(2n + 2) = 2(n + 1)(2n + 1) = 2q 2 | a(a + 1). Portanto, qualquer que seja a, 2 | a(a + 1). Cqd. (b) 3 | a(a + 1)(a + 2) . Soluo: Pelo algoritmo da diviso, a = 3n ou a = 3n + 1 ou a = 3n + 2. Se a = 3n, a(a + 1)(a + 2) = 3n(3n + 1)(3n + 2) = 3[n(n + 1)(n + 2)] = 3q 3 | a(a + 1)(a + 2) Se a = 3n + 1, a(a + 1)(a + 2) = (3n + 1)(3n + 1 + 1)(3n + 1 + 2) = (3n + 1)(3n + 2)(3n + 3) = = (3n + 1)(3n + 2)3(n + 1) = 3[(3n + 1)(3n + 2)(n + 1)] 3 | a(a + 1)(a + 2) Se a = 3n + 2, a(a + 1)(a + 2) = (3n + 2)(3n + 2 + 1)(3n + 2 + 2) = (3n + 2)((3n + 3)(3n + 4) = = (3n + 2)3(n + 1)(3n + 4) = 3[(3n +2)(n + 1)(3n + 4)] = 3q 3 | a(a + 1)(a + 2). Portanto, qualquer que seja a, 3 | a(a + 1)(a + 2). Cqd. 06 Mostrar que um inteiro qualquer da forma 6k + 5 tambm da forma 3k + 2. Soluo: Se n = 6k + 5 = 6k + 3 + 2 = 3 (k + 3) + 2 = 3k + 2 n da forma 3k + 2. Cqd. 07 Mostrar que todo inteiro mpar da forma 4k + 1 ou 4k + 3. Soluo: Seja n um nmero inteiro. Pelo algoritmo da diviso n = 4k ou n = 4k + 1 ou n = 4k + 2 ou n = 4k + 3. Se n = 4k, ento n = 2(2k) n par. Se n = 4k + 1, ento n = 2(2k) + 1 n = 2k + 1 2 | n n mpar. Se n = 4k + 2, ento n = 2(2k + 1) n = 2k n par. Se n = 4k + 3, ento n = 4k + 2 + 1 = 2(2k + 1) + 1 n = 2k + 1 n impar. Portanto, n mpar se apresentar uma das formas 4k + 1 ou 4k + 3. Cqd.

08 Mostrar que o quadrado de um inteiro qualquer da forma 3k ou 3k + 1. Soluo: De acordo com o algoritmo da diviso n = 3k ou n = 3k + 1 ou n = 3k + 2. Assim, Se n = 3k, ento : n2 = 9k = 3(3k) = 3k Se n = 3k + 1, ento: n2 = (3k + 1)2 = 9k2 + 6k + 1 = 3(3k2 + 2k) + 1 = 3k + 1. Se n = 3k + 2, ento, n2 = (3k + 2)2 = 9k2 + 12k + 4 = 9k2 + 12k + 3 + 1 = 3(3k2 + 4k + 1) + 1 = 3k + 1. Portanto, n2 ter uma das formas, 3k ou 3k + 1. 09 Mostrar que o cubo de um inteiro qualquer de uma das formas 9k, 9k + 1 ou 9k + 8. Soluo: Temos n = 3k ou n = 3k + 1 ou n = 3k + 2. Se n = 3k, ento n3 = (3k)3 = 27k3 = 9(3k3) = 9k. Se n = 3k + 1, ento n3 = (3k + 1)3 = (3k)3 + 3.(3k)2.1 + 3(3k)12 + 13 = 27k3 + 27k2 + 9k + 1 = = 9(3k3 + 3k2 + k) + 1 = 9k + 1. Se n = 3k + 2, ento n3 = (3k)3 + 3.(3k)2.2 + 3(3k)22 + 23 = = 27k3 + 54k2 + 36k + 8 = 9(3k3 + 6k2 + 4k) + 8 = 9k + 8. Portanto, o cubo de um inteiro tem uma das formas: 9k, 9k + 1 ou 9k + 8. 10 Mostrar que n(n + 1)(2n + 1)/6 um inteiro, qualquer que seja o inteiro positivo n. Soluo: Devemos provar que 6 | n(n + 1)(2n + 1). (1) Qualquer que seja n (n + 1) mltiplo de 2, ou seja 2 |n(n + 1) pois, pelo algoritmo da diviso, n = 2k ou n = 2k + 1. Se n = 2k, 2 | n 2 | (n)(n + 1) Se n = 2k + 1, temos que n + 1 = 2k + 1 + 1 = 2k + 2 = 2(k + 1) 2 | (n + 1) 2 | n(n + 1). Portanto, qualquer que seja n 2 | n (n + 1) e 2 | n(n + 1)(2n + 1). (2) Qualquer se seja n, n = 3k ou n = 3k + 1 ou n = 3k + 2. Se n = 3k, 3 | n 3 | n(n + 1)(2n + 1. Se n = 3k + 1, 2n + 1 = 2(3k + 1) + 1 = 6k + 2 + 1 = 6k + 3 = 3(2k + 1) 3 | (2n + 1) 3 ! n (n + 1)(2n + 1) Se 3 = 3k + 2, n + 1 = 3k + 2 + 1 = 3k + 3 = 3(k + 1) 3 | (n + 1) 3 | n(n + 1)(2n + 1). Portanto, qualquer que seja n, 3 | n (n + 1)(2n + 1). Se 2 | n (n + 1)(2n + 1) e 3 | n (n + 1)(2n + 1), 6 | n(n + 1)(2n + 1) pois 2 e 3 so primos entre si. Assim, q, inteiro tal que n(n + 1)(2n + 1) = 6q ao dividir n (n + 1)(2n + 1) por 6 , o resultado o inteiro q. Cqd. 11 Mostrar que se a | (2x 3y) e se a | (4x 5y), ento a | y. Soluo: Se a | (2x 3y) ento, existe o inteiro q, tal que (2x 3y) = aq 2(2x 3y) = 2aq 4x 6y = 2aq. (I) Da mesma forma, se a | (4x 5y), existe o inteiro q, tal que (4x 5y) = aq. (II) Fazendo (II) (I), resulta (4x 5y) (4x 6y) = aq 2aq 4x 5y 4y + 6y = a(q 2q) y = a(q 2q). Como q e 2q so inteiros, (q 2q) inteiro. Portanto existe um inteiro, tal que y = ak a | y. 12 Sendo a e b dois inteiros quaisquer, mostrar que os inteiros a e a + 2b tm sempre a mesma paridade. Soluo: Se a par, ento a = 2q, q inteiro e a + 2b = 2q + 2b = 2(q + b) = 2k, k inteiro (soma de dois inteiros). Portanto: a + 2b par pois 2 | (a + 2b). Assim, a e a + 2b so ambos pares, isto tm a mesma paridade. Se a impar, ento a = 2q + 1, q inteiro e a + 2b = 2q + 1 + 2b = 2(q + b) + 1 = 2k + 1 a + 2b mpar. Portanto, a e a + 2b so ambos mpares. Tm a mesma paridade. De acordo com as duas nicas situaes possveis para a, a e a + 2b sempre tero a mesma paridade. Cqd. 13 Sendo m e n dois inteiros quaisquer, mostrar que os inteiros m + n e m n tm sempre a mesma paridade. Soluo: Trs so as possveis situaes para m e n: (1) ambos pares; (b) ambos mpares e (3) um par e um mpar. (1) Ambos pares m = 2k e n = 2k. Temos ento: m + n = 2k + 2k = 2(k + k) m + n par m n = 2k 2k = 2(k k) m n par (2) Ambos mpares m = 2k + 1 e n = 2k + 1 Temos: m + n = 2k + 1 + 2k + 1 = 2(k + k + 1) m + n par m n = 2k 1 + 2k 1 = 2 ( k + k 2) m n par (3) Um mpar e outro par; m = 2k + 1 e n = 2k Temos: m + n = 2k + 1 + 2k = 2(k + k) + 1 m + n mpar. m n = 2k + 1 2k = 2(k k) + 1 m n mpar. Assim, nas trs nicas situaes possveis, m + n e m n tm a mesma paridade.Cqd. 14 Determinar os inteiros positivos que divididos por 17 deixam um resto igual ao quadrado do quociente. Soluo: Seja N o inteiro positivo. Pelo algoritmo da diviso e pelas condies dadas, temos: N = 17q + q2. Como o resto um quadrado perfeito e deve ser menor que 17, q s pode assumir um dos valores: 1, 2, 3 ou 4 pois seus quadrados so 1, 4, 9 e 16. Portanto, N = 17.1 + 1 = 18, ou N = 17.2 + 4 = 38, ou N = 17.3 + 9 = 60, ou N = 17.4 + 16 = 84. Resposta: Os inteiros positivos so: 18, 38, 60 e 84.

15 Achar inteiros a, b e c tais que a | bc mas a b e a c. Soluo: Basta escolher nmeros b e c que no sejam mltiplos de a, mas que na decomposio dos apaream fatores que multiplicados resultam no valor de a. Eis alguns: 6 = 2.3 . Como 6 ~|8 e 6 ~|15 , mas em 8 aparece o fator 2 (8 = 23) e em 15 aparece o fator 3 (15 = 3.5) , 6 | 8.15. Portando: a = 6, b = 8 e c = 15 satisfaz as condies. Resposta: (6, 8, 15) 10 = 2.5. Como 10 12 e 10 15, mas em 12 aparece o fator 2 (12 = 22.3) e em 15 tem o fator 5 (15 = 3.5), 10 | 12.15. Portando a = 10, b = 12 e c = 15, satisfaz as condies. Resposta: (10, 12, 15) Existem infinitas solues. 16 Verdadeiro ou falso: se a | c e se b | c, ento a | b. Soluo: A afirmativa falsa pois 2 | 6 e 3 | 6 pois 2 ~| 3. 17 Demonstrar: (a) Se a um inteiro mpar, ento 24 | a(a2 1). Soluo: Sendo a um inteiro mpar, podemos escrever a = 2k + 1, com k inteiro. Assim, a(a2 1) = (2k + 1)[(2k + 1)2 1)] = (2k + 1)[(2k + 1) + 1][(2k + 1) 1] = = (2k + 1)(2k + 2)(2k) = 4k(k + 1)(2k + 1). Conforme foi provado no exerccio 10, k(k + 1)(2k + 1) /6 um inteiro, ento k(k + 1)(2k + 1) = 6q. Portanto, a(a2 1) = 4.6q a(a2 1) = 24q 24 | a(a2 1). Cqd. (b) Se a e b so inteiros mpares, ento 8 | a2 b2. Soluo:- Se a e b so inteiros mpares, ento pode-se escrever a = 2k + 1 e b = 2k + 1. Assim, a2 b2 = (2k + 1)2 - (2k + 1)2 = (2k + 1 + 2k + 1)(2k + 1 2k 1) = = (2k + 2k + 2)(2k 2k) = 2(k + k + 1).2(k k) = 4(k + k + 1)(k k). Se k k par , teremos: a2 b2 = 4(k + k + 1)2.q = 8q(k + k + 1) 8 | a2 b2. Se k k mpar, ento k + k tambm mpar, conforme foi demonstrado no exerccio 13. Se k + k mpar, k + k + 1 par. Em consequncia: a2 b2 =4.2q(k k) a2 b2 = 8q(k k) 8 | (a2 b2). 19 Na diviso do inteiro a = 427 por um inteiro positivo b, o quociente 12 e o resto r. Achar o divisor b e o resto r. Soluo: Pelo algoritmo da diviso temos: 427 = 12b + r . Dividindo 427 por 12 resulta: 427 = 12.35 + 7 uma das solues b = 35 e r = 7. Outros valores para q so inferiores a 35, pois 12 x 36 = 432. Assim, 427 = 12.34 + 19, com b = 34 e r = 19 427 = 12.33 + 31, com b = 33 e r = 31 Como 427 : 32 maior que 12, as nicas solues so b = 35 e r = 7; b = 34 e r = 19; b = 33 e r = 31 . 20 Na diviso do inteiro 525 por um inteiro positivo o resto 27. Achar os inteiros que podem ser o divisor e o quociente. Soluo: Como o resto 27, 525 27 = 498 mltiplo do quociente e do divisor, sendo que o divisor maior 27. Os divisores de 498 so: 1, 2, 3, 6, 83, 166, 249 e 498. Portanto, os possveis valores do divisor so: 498, 249, 166 e 83. Nestes casos, os quocientes so, respectivamente: 1, 2, 3, e 6. Resposta: (divisor, quociente) = (498, 1), (249, 2), (166, 3), (83, 6). 21 Na diviso de dois inteiros positivos o quociente 16 e o resto o maior possvel. Achar os dois inteiros, sabendo-se que sua soma 341. Soluo: Sejam A, o dividendo e B o quociente. Como o resto o maior possvel, esse resto B 1. Pelo algoritmo da diviso, temos: A = 16B + B 1 A = 17B 1. Como A + B = 341, podemos escrever 17B 1 + B = 341 18 B = 342 B = 19. O valor de A, ento: 341 B = 341 19 = 322. Resposta: os dois nmeros so 322 e 19. 22 Achar os inteiros positivos menores que 150 e que divididos por 39 deixam um resto igual ao quociente. Soluo: Pelo algoritmo da diviso: A = 39q + q A = 40q A mltiplo de 40. Como deve ser menor que 150, os possveis valores desses inteiros positivos so: 40, 80 e 120. Resposta: 40, 80 e 120. 23 Seja d um divisor de n (d | n). Mostrar que cd | n se e somente se c | (n/d). Soluo: Como d | n ento existe q, tal que n = qd ou n/d = q. (1) Se cd | n n = cdq . Usando a condio ( 1), conclui-se que qd = cdq q = cq n/d = cq c | (n/d). De outro lado se c |(n/d) ento n/d = cq n = dcq n = dc(q) cd | n. Como de cd | n c | (n/d) e c | (n/d) cd | n, podemos concluir cd | n c | (n/d) ou cd | n se e somente se c | (n/d). Cqd. 24 Sejam n, r e s inteiros tais que 0 < r < n e 0 < s < n. Mostrar que se n | (r s) ento r = s. Soluo: Se n > r e s > 0 ento n + r > s n > s - r Se n > s e r > 0 ento n + s > r n > r s. Como s r = - (r s), temos |(s r)| = s r ou r s. Como n | (r s) n | |r s| nq = |r s| existe q positivo ou nulo tal que nq = |r s| (1)

Mas, nq = |r s| < n nq < n q negativo ou nulo (2). Como que no pode ser negativo e positivo, q somente pode ser nulo |r s| = nq = 0 r s = 0 r = s. Cqd. 25 Mostrar que o produto de dois inteiros mpares um inteiro mpar. Soluo: Se a e b so mpares, ento a = 2k + 1 e b = 2k + 1. Assim, a . b = (2k + 1)(2k + 1) = 4kk + 2k + 2k + 1 a . b = 2(2kk + k + k) + 1 ou seja, a . b = 2q + 1 a . b mpar. Cqd. 26 Demonstrar que se m e n so inteiros mpares, ento 8 | (m4 + n4 2). Soluo: se m e n so mpares, podemos escrever: m = 2k + 1 e n = 2k + 1. Temos ento: m4 + n4 - 2 = (2k + 1)4 + (2k + 1)4 2 = [(2k)4 + 4(2k)3 + 6(2k)2 + 4(2k) + 1] + [(2k)4 + 4(2k')3 + 6(2k)2 + 4(2k)+1] 2 = 16(k4 + k4) + 32(k3 + k3) + 24(k2 + k2) + 8(k + k) + 2 2 = 8[2(k4 + k4) + 4(k3 + k3) + 3(k2 + k2) + (k + k)]. Como 2(k4 + k4) + 4(k3 k3) + 3(k2 + k2) + (k + k). um inteiro (multiplicao e adio de inteiros), podemos escrever: m4 + n4 - 2 = 8q, q inteiro e 8 | m4 + n4 - 2. Cqd. 27 Demonstrar que 30 | (n5 n) Soluo: n5 n = n(n4 1) = n(n2 1)(n2 + 1) = n(n + 1)(n 1)(n2 + 1). n(n + 1) mltiplo de 2 conforme exerccio 5, letra (a). Portanto: n(n + 1)(n - 1) (n2 + 1) mltiplo de 2. n(n + 1)(n 1) mltiplo de 3. Temos n = 3k ou n = 3k + 1 ou n = 3k + 2. Se n = 3k, n mltiplo de 3 e n(n + 1)(n 1) mltiplo de 3. Se n = 3k + 1, n 1 = 3k + 1 1 = 3k , n 1 mltiplo de 3 e n(n + 1)(n 1) mltiplo de 3. Se n = 3k + 2, n + 1 = 3k + 3 = 3(k + 1), n + 1 mltiplo de 3 e n(n + 1)(n 1) mltiplo de 3. n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Temos n = 5k, ou n = 5k + 1, ou n = 5k + 2 ou n = 5k + 3 ou n = 5k + 4. Se n = 5k, n mltiplo de 5 e n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Se n = 5k + 1, n 1 = 5k, n 1 mltiplo de 5 e n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Se n = 5k + 2, n2 + 1 = 25k2 + 20k + 4 + 1 = 5(5k2 + 2k + 1) n2 + 1 mltiplo de 5 n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Se n = 5k + 3 , n2 + 1 = 25k2 + 30k + 9 + 1 = 5(5k2 + 6k + 2) n2 + 1 mltiplo de 5 e n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Se n = 5k + 4, n + 1 = 5k + 4 + 1 = 5k + 5 = 5(5k + 1) n + 1 mltiplo de 5 e n(n + 1)(n 1)(n2 + 1) mltiplo de 5. Pelo visto acima, qualquer que seja n, n (n + 1)(n 1)( n2 + 1) = n5 - n mltiplo de 2, de 3 e de 5. Portanto tambm mltiplo de 2.3.5 = 30. Assim, 30 | (n5 n). Cqd 28 Mostrar que, para todo inteiro n, existem inteiros k e r tais que n = 3k + r e r = -1, 0, 1. Soluo: Pelo algoritmo da diviso, n = 3k ou n = 3k + 1 ou n = 3k + 2. Se n = 3k, r = 0. Se n = 3k + 1, e r = 1. Se n = 3k + 2, podemos escrever n = 3(k 1) + 2 = 3k 3 + 2 = 3k 1 e r = -1. 29 Mostrar que (1 + 2 + . . . + n) | 3(12 + 22 + . . . + n2) para todo n > 1. Soluo: De acordo com o exerccio n 1, letra a, captulo 2, 12 + 22 + . . . + n2 = (n/6)(n + 1)(2n + 1) 3(12 + 22 + . . . + n2) = Mas, = (1 + 2 + 3 + . . . + n). Assim, temos 3(12 + 22 + . . . + n2) = (1 + 2 + 3 + . . . + n)(2n + 1). Como (2n + 1)(1 + 2 + 3 + . . . + n) | 3(12 + 22 + . . . + n2) Cqd. 30 Mostre que todo inteiro mpar, quadrado perfeito, da forma 4n + 1. Soluo: n no pode ser par pois n2 seria da forma (2k)2 = 4k2 que tambm par. Portanto, n s pode ser mpar para que seu quadrado seja mpar. Assim, n da forma 2k + 1. Neste caso teremos n2 = (2k + 1)2 = 4k2 + 4k + 1 = 4(k2 + k) + 1 o que permite concluir que n2 da forma 4n + 1. Cqd. 31 Na diviso de 392 por 45, determinar: (a) o maior inteiro que se pode somar ao dividendo sem alterar o quociente. Soluo: 392 = 45.8 + 32. Como o maior resto possvel 44, pode-se somar 44 32 = 12. Resposta: 12 (b) o maior inteiro que se pode subtrair ao dividendo sem alterar o quociente. Soluo: o menor resto possvel dessa diviso zero. Portanto, pode-se subtrair 32. Resposta: 32. 32 Numa diviso de dois inteiros, o quociente 16 e o resto 167. Determinar o maior inteiro que se pode somar ao dividendo e ao divisor sem alterar o quociente.

Soluo: Sejam a o dividendo e b o divisor. Temos ento: a = 16b + 167 a 167 = 16b (1). O maior valor a ser somado a e b implicaria numa diviso com resto zero. Assim teremos a + x = 16(b + x) a + x = 16b + 16x (2). De (1) e (2) podemos obter a + x = a 167 + 16x 15x = 167. Como x deve ser inteiro, o maior valor de x 11, pois 167 = 11.15 + 2. Portanto, o maior valor que pode ser somado 11. Resposta: 11. 33 Achar o maior inteiro de quatro algarismos divisvel por 13 e o menor inteiro de cinco algarismos divisvel por 15. Soluo: (1) O maior inteiro de 9 algarismos 9999. Como 9999 = 769.13 + 2, conclui-se que 9999 2 = 9997 o maior nmero inteiro de quatro algarismos divisvel por 13. Resposta: 9997 (2) O menor inteiro de 5 algarismos 10000. Como 10000 = 666x15 + 10, resulta que 10000 + 5 = 666x15 + 15 10005 = 667 x 15. Portanto, o menor nmero de 5 algarismos divisvel por 15 10005. Resposta: 10005. 34 Achar um inteiro de quatro algarismos, quadrado perfeito, divisvel por 27 e terminado em 6. Soluo: Se a, b, c ... so fatores primos, os expoentes desses fatores devem ser pares para serem quadrados perfeitos. Como 27 = 33, deve-se ter pelo menos mais um 3 como fator. Portanto, o nmero deve ser mltiplo de 27 x 3 ou de 81. Para que o nmero termine em 6, devemos multiplicar 81 por um quadrado (pois 81 j quadrado), terminado em 6 pois 81 termina em 1. Assim, temos as possibilidades 81 x 16 = 1296 e 81 x 36 = 2916. Se o nmero tivesse 6 fatores iguais a 3, ele deveria ser mltiplo de 729. Para que terminasse em 6, deveriamos ter 729 x a, com a terminado em 4. Como os menores quadrados terminados em quatro so 4 e 64, teramos 729 x 4 = 2916 e 729 x 64 = 46656 que tem 5 algarismos. Para 8 fatores iguais a 3, o nmero deveria ser mltiplo de 6561 = 38. Para que o nmero terminasse em 6, deveriamos ter 6561 x a, com a terminado em 4. Como os menores quadrados terminados em quatro so 4 e 64, teramos 6561 x 4 = 26244 que contm cinco algarismos. Para 10 fatores iguais a 3, teramos 310 > 10000, que ter mais de 4 algarismos. Portanto, os nicos nmeros so 1296 e 2916. Resposta: 1296 e 2916.

Teoria dos nmeros - Exerccios de Induo Matemtica

Everton Alves 12/09/2011 s 11h 10min Exerccios - Matemtica Os exerccios abaixo so demonstrados usando a seqncia: (1) Verificar se a propriedade vlida para um certo valor de n (2) Supor a propriedade vlida para n. (hiptese de recorrncia) (3) Provar que a propriedade vlida para n + 1 1 Demonstrar por induo matemtica: (a) 12 + 22 + 32 + ... + n2 = (n/6)(n + 1)(2n + 1) , n n natural". SOLUO (1) Para n = 1 (1/6)(1 + 1)(2 + 1) = (1/6)(2)(3) = (1/6)(6) = 1 = 12. (2) Hiptese: 12 + 22 + 32 + ... + n2 = (n/6)(n + 1)(2n + 1). (3) Provar 12 + 22 + 32 + ... + n2 + (n + 1)2 = [(n+1)/6](n + 2)(2n + 3) Demonstrao: 12 + 22 + 32 + ... + n2 + (n + 1)2 = (n/6)(n + 1)(2n + 1) + (n + 1)2 = = (n/6)(n + 1)(2n + 1) + (n + 1)2 (observe que a soma at n2 (n/6)(n + 1)(2n + 1) 2 2 2 2 2 1 + 2 + 3 + ... + n + (n + 1) = (n +1)[(n/6)(2n + 1) + (n + 1)] = = (n + 1)(1/6)(2n2 + n + 6n + 6) = (n + 1)(1/6)(2n2 + 7n + 6) * = = (n + 1)(1/6).2(n + 3/2) .(n + 2) = [(n + 1)/6](n + 2)(2n + 3) c.q.d.

* Nota:- O polinmio ax2 + bx + c, com razes x1 e x2 pode ser decomposto em a(x x1)(x x2). Como as razes de 2n2 + 7n + 6 so 2 e 3/2, temos 2n2 + 7n + 6 = 2.(n + 3/2)(n + 2). (b) 13 + 23 + 33 + ... + n3 = (n2/4)(n + 1)2, n n natural". SOLUO: (1) Para n = 1, temos: 13 = 1 e (12/4)(1 + 1)2 = (1/4)(4) = 1. Portanto, a propriedade vlida para n = 1. (2) Hiptese 13 + 23 + 33 + ... + n3 = (n2/4)(n + 1)2 (3) Provar 13 + 23 + 33 + ... + n3 + (n + 1)3 = [(n+1)2/4](n + 2)2. Demonstrao: 13 + 23 + 33 + ... + n3 + (n + 1)3 = (n2/4)(n + 1)2 + (n + 1)3 = = [(n + 1)2].[(n2/4) + (n + 1)] = [(n + 1)2].(1/4)(n2 + 4n + 4) = = [(n + 1)2/4](n + 2)2 c.q.d. (c) 12 + 32 + 52 + ..... + (2n 1)2 = (n/3)(4n2 1) , n n natural". SOLUO (1) Para n = 1, temos: 12 = 1 e (1/3)(4.12 1) = 1. O que mostra ser a propriedade verdadeira para n = 1 . (2) Hiptese: 12 + 32 + 52 +...+ (2n 1)2 = (n/3)(4n2 1) = (1/3) (4n3 + 12n2 + 11n + 3) (3) Demonstrar que 12 + 32 + 52 + (2n 1)2 + (2n + 1)2 = [(n + 1)/3)[4(n + 1)2 1] = = (1/3)(n + 1)[4n2 + 8n + 3] = (1/3)(4n3 + 12n2 + 11n + 3). Demonstrao: 12 + 32 + 52 +..... + (2n 1)2 + (2n + 1)2 = (n/3)(4n2 1) + (2n + 1)2 = = (n/3)(2n + 1)(2n 1) + (2n + 1)2 = (2n + 1)[(n/3)(2n 1) + (2n + 1)] = = [(2n + 1)/3](2n2 n + 6n + 3) = [(2n + 1)/3][2n2 + 5n + 3] = = (1/3)(4n3 + 12n2 + 11n + 3) . c.q.d.

(d) 13 + 33 + 53 + ... + (2n 1)3 = n2.(2n2 1) , n n natural". SOLUO (1) Para n = 1, temos 13 = 1 e 12.(2.12 1) = 1.(2 1) = 1. O que mostra ser a propriedade verdadeira para n = 1. (2) Hiptese: 13 + 33+ 53 + ... + (2n 1)3 = n2.(2n2 1) . (3) Provar que 13 + 33 + 53 + ... + (2n 1)3 + (2n + 1)3 = =(n + 1)2.[2.(n + 1)2 1] = (n + 1)2.(2n2 + 4n + 2 1) = = (n + 1)2.(2n2 + 4n + 1) = 2n4 + 8n3 + 11n2 + 6n + 1 Demonstrao: 13 + 33 + 53 + ... + (2n 1)3 + (2n + 1)3 = n2.(2n2 1) + (2n +1)3 = = 2n4 n2 + 8n3 + 12n2 + 6n + 1 = 2n4 + 8n3 + 11n2 + 6n + 1. c. q. d.

(e) 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n/3)(n + 1)(n + 2), n n natural".

SOLUO (1) Para n = 1: 1.2 = 2 e (1/3)(1 + 1)(1 + 2) = (1/3)(2)(3) = 2. O que mostra ser a propriedade verdadeira para n = 1. (2) Hiptese: 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n/3)(n + 1)(n + 2) (3) Provar que: 1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = [(n + 1)/3](n + 2)(n + 3). Demonstrao: 1.2 + 2.3 + 3.4 + ... + n(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 + 2)[(n + 3)/3] = [(n + 1)/3](n + 2)(n + 3). c. q. d.

(f) 1 + 1/4 + 1/9 + ... + 1/n2 < 2 1/n , n n natural". SOLUO (1) Para n = 1: 2 1/1 = 1 < 1. Verdadeira para n = 1. (2) Hiptese: 1 + 1/4 + 1/9 + ... + 1/n2 < 2 1/n , n n natural". (3) Provar: 1 + 1/4 + 1/9 + ... + 1/n2 + 1/(n + 1)2 < 2 1/(n + 1). Demonstrao: 1 + 1/4 + 1/9 + ... + 1/n2 < 2 1/n Somando 1/(n + 1)2 aos dois membros da desigualdade, resulta: 1 + 1/4 + 1/9 + ... + 1/n2 + 1/(n + 1)2 < 2 1/n + 1/(n + 1)2 (1) Temos que: [(1/n) 1/(n + 1)2] = [(n + 1)2 - n]/[n.(n + 1)] = [(n2 + n + 1)]/[n(n + 1)2]. (2) Porm: [(n2 + n + 1)]/[n(n + 1)2] > (n2 + n)/n(n + 1)2 = [n.(n+1)]/[n.(n+1)2] = 1/(n + 1) (3) De (2) e (3) 2 [(1/n) 1/(n + 1)2] < 2 - 1/(n +1) (4). Portanto, de (1) e (4), por transitividade, 1 + 1/4 + 1/9 + ... + 1/n2 + 1/(n + 1)2 < 2 - 1/(n +1). cqd.

(g) a + aq + aq2 + ... + aqn = a(qn + 1 1)/(q 1) (q 1) , n n natural". SOLUO (1) Para n = 2: S = a + aq + aq2 .(1) Temos ainda que: S = a(q2+1 1)(q 1) = a(q3 1)/(q 1) = = a(q2 + q + 1)(q 1)/(q 1) = aq2 + aq + a = a + aq + aq2. (2) De (1) e (2)conclui-se que: a igualdade vlida para n = 2. (2) Hiptese a + aq + aq2 + ... + aqn = a(qn + 1 1)/(q 1) (3) Provar que a + aq + aq2 + ... + aqn + aqn + 1 = a(qn + 2 1)/(q 1) Demonstrao: a + aq + aq2 + ... + aqn + aqn + 1 = a(qn + 1 1)/(q 1) + aqn + 1 = [aqn+1 a + aqn+1(q 1)]/(q 1) = = (aqn + 1 a + aqn + 2 aqn+1)/(q 1) = (aqn+2 1)/(q 1). c.q.d.