SUMRIO

MA-14 - Aula 04 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mnimo Mltiplo Comum: Problemas . . . . . Equaes Diofantinas Lineares: Problemas . . MA-14 - Aula 05 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Atividade Especial (Reviso) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 41 48 57 57

7.2 8.2 9.2

MA-14 - Aula 04
Semana 27/08 a 02/09

Unidade 7 7.2 Mnimo Mltiplo Comum: Problemas

Exerccio 7.2.1. Calcule o mmc dos pares de nmeros do Problema 1, Unidade 5. Soluo. Os nmeros do Problema 1, Unidade 5 so: a) 637 e 3887 d) 7325 e 8485 b) 648 e 1218 e) 987654321 e 123456789 c) 551 e 874

a) Temos que (3887, 637) = 13 e como 3887 637 = 244881, logo [3887, 637] = 2476019 = 190463 13 Portanto, [3887, 637] = 190463. b) Temos que 131544 Portanto, c) Temos que 25346 Portanto, d) e) Exerccio 7.2.2. 41 (648, 1218) = 6 e como 1218648 = 789264, logo [648, 1218] = 789264 = 6

[648, 1218] = 131544. (874, 551) = 19 e como 874 551 = 481574, logo [874, 551] = 481574 = 19

[874, 551] = 25346.

42 a) Se m um mltiplo comum de a e b, mostre que m = [a, b] b) Se r e s no so nulos e ra = sb, mostre que Soluo. a) Se m um mltiplo comum de a e b, ento a|m e b|m, logo m = a e m = b Como m = [a, b], ento pela Proposio 1 da Unidade 7 segue que [a, b] (a, b) = ab de onde (ma, mb) = ab assim, 1 (ma, mb) = 1 ab Portanto, se m = [a, b] ( ( m m , )=1 b a ( m m , ) = 1. a b

ra sb = = [a, b]. (r, s) (r, s)

m m , ) = 1 .. a b

Inversamente () m m Suponhamos que ( , ) = 1, como m mltiplo de a e b, segue que m = a e a b m = b ento (, ) = 1. De onde (m , m ) = m, sendo m e m mltiplos de a e b, e como m|m e m|m , e m o menor dos mltiplos de a e b, segue que m = [a, b]. m m Portanto, ( , ) = 1. m = [a, b]. a b b) Sendo r e s no nulos, logo podemos dividir por esses nmeros. Sabe-se que [a, b] ra b rab rab ra ab = = = = . (a, b) = ab ento [a, b] = (a, b) r(a, b) (ra, rb) (sb, rb) (r, s) De modo anlogo, temos [a, b] = Portanto, se Exerccio 7.2.3. Sejam a, b, c trs nmeros naturais no nulos. Mostre que abc = [a, b, c](ab, ac, bc). Demonstrao. Seja d = (a, b), como (ab, ac, bc) = (ab, (ac, bc)) ento (ab, ac, bc) = (ab, (ac, bc)) = (ab, c(a, b)) = (ab, cd) (ab, ac, bc) = (ab, cd) = Por outro lado, [a, b, c] = [[a, b], c] = [ abcd [ab, cd] (7.1) ra = sb ento ab sa b sab sab sb = = = = . (a, b) s(a, b) (sa, sb) (sa, ra) (r, s)

ra sb = = [a, b]. (r, s) (r, s)

ab , c] = [am, c] onde b = md. d

43 Em (7.1) (ab, ac, bc) = abcd abcd abcd abc = = = [ab, cd] [amd, cd] [amd, cd] [am, c] (ab, ac, bc)[a, b, c] = abc

(ab, ac, bc) = Exerccio 7.2.4.

abc abc = [am, c] [a, b, c]

Sejam a, b Z no nulos e seja n N; mostre que [na, nb] = n[a, b]. Demonstrao. Pela Proposio 1 da Unidade 7, segue que [na, nb](na, nb) = na nb ento na nb = n [na, nb](a, b) n ab = [na, nb] (a, b) n[a, b] = [na, nb]

Portanto, se a, b N e n Z temos [na, nb] = n[a, b]. Exerccio 7.2.5. Seja n N; calcule [n2 + 1, n + 1]. Demonstrao. Temos pela Proposio 9 unidade 1, que (n2 +1, n +1) = ((n2 1)+2, n +1) = (2, n +1). Supondo que 2|n2 +1 ou n +1|n2 +1 segue que n = 0 ou n = 1. Logo (n2 +1, n +1) = 1 ou (n2 + 1, n + 1) = 2. Suponhamos que (n2 + 1, n + 1) = 1, ento n-par e, [n2 + 1, n + 1] (n2 + 1, n + 1) = (n2 + 1) (n + 1) [n2 + 1, n + 1] = n3 + n2 + n + 1

Suponhamos que (n2 + 1, n + 1) = 2, ento n-mpar e, [n2 + 1, n + 1] (n2 + 1, n + 1) = (n2 + 1) (n + 1) Exerccio 7.2.6. a) Mostre que (a, b) = [a, b] a = b. 1 [n2 + 1, n + 1] = (n3 + n2 + n + 1) 2

b) Mostre que, se b = a2 , ento, [a, b] = (a, b)2 . Demonstrao. a) Seja (a, b) = [a, b], ento pela Proposio 1 da Unidade 7 [a, b] (a, b) = ab [a, b]2 = ab.

44 Como m = [a, b] tal que m = a e m = b segue m2 = (a)2 = ab 2 a = b ou m2 = (b)2 = ab ( )2 = 1 2 b = a

Substituindo um no outro 2 ( 2 a) = a a = b. Inversamente, suponhamos que a = b.

= = 1, logo

Temos [a, b] = [a, a] = a e (a, b) = (a, a) = a, assim [a, b] = (a, b). b) Mostre que, se b = a2 , ento, (a, b) = (a, a2 ) = a. Por outro lado, [a, b] = [a, a2 ] = a2 . Destas duas igualdades, segue que [a, b] = [a, a2 ] = a2 = (a, b)2 Portanto, se b = a2 , ento, [a, b] = (a, b)2 . Exerccio 7.2.7. Sejam a, b Z ambos no nulos. Considere o conjunto M (a, b) = aZ bZ = { x Z; n, m Z tais que x = na e x = mb } a) Mostre que [a, b] = min {M (a, b) N}. b) Mostre que M (a, b) = [a, b]Z . Demonstrao. a) Seja x M (a, b), ento n, m Z tais que x = na e x = mb. Quando m = n = 1 temos que x = a = b Z, logo M (a, b) = ainda mais, M (a, b) N. Pelo princpio da Boa Ordem, existe P M (a, b) tal que P = n0 a e P = m0 b para algum m0 , n0 N alm disso P x para todo x M (a, b). Portanto, P = min M (a, b). Suponhamos que [a, b] = c, ento a|c e b|c, logo c = a e c = b onde , N. Pela denio de M (a, b) segue que c M (a, b). Como P mltiplo comum de a e b ento c|P , assim c P . Por outro lado, sendo P o menor elemento de M (a, b), ento P x para todo x M (a, b), em particular para c, assim P c Das duas ltimas desigualdades P = c = [a, b] = min M (a, b). Portanto, P = [a, b] = min M (a, b). b) Pela parte (a) temos que qualquer elemento de x M (a, b) mltiplo de P , isto x = P , onde N Portanto, todo elemento de M (a, b) mltiplo de min M (a, b).

45 Exerccio 7.2.8. Sejam d, m N . Mostre que uma condio necessria e suciente para que existam a, b Z tais que (a, b) = d e [a, b] = m que d|m. Demonstrao. Condio necessria () Suponhamos que m = [a, b], ento m = b|m Por hiptese (a, b) = d logo a = d e b = d isto d|a e d|b. Assim, a|m e d|a logo d|m, de modo anlogo b|m e d|b logo d|m Condio suciente () Suponhamos que d|m, ento existe N tal que m = d. Sabemos que (, 1) = 1 logo (d, d) = d Chamando a = d e b = d temos que existe, a, b Z tal que (a, b) = d. Por outro lado, pela denio de a e b temos que a|m e b|m, logo m mltiplo comum de a e b. ab ad Sabemos que [a, b] = = = a = m. (a, b) d Portanto se d|m, existem a, b Z tais que (a, b) = d e [a, b] = m que . Exerccio 7.2.9. Sejam a1 , , an Z. Mostre que (ai , aj ) = 1, Demonstrao. Induo sobre n N. Condio necessria () Se n = 2 temos (a1 , a2 ) = 1, verdade. [a1 , a2 ](a1 , a2 ) = a1 a2 isto [a1 , a2 ] = a1 a2 i=j [a1 , , an ] = a1 an ab b a = a = b , logo a|m e (a, b) (a, b) (a, b)

Suponhamos para h N,sejam a1 , , ah Z tais que (ai , aj ) = 1, i=j [a1 , , ah ] = a1 ah i, j = 1, 2, . . . , h, h + 1, sabemos pela

Seja h + 1 N e (ai , aj ) = 1, Proposio 5.3.2. do livro 1 que

i = j,

[a1 , , ah , ah+1 ] = [a1 , a2 , a3 , , [ah , ah+1 ]]

1

Elementos de Aritmtica de A Hefez

46 Da hiptese (ah , ah+1 ) = 1 [ah , ah+1 ] = ah ah+1 , logo

[a1 , , ah , ah+1 ] = [a1 , a2 , a3 , , (ah ah+1 )] = Como (ai , ah ) = 1 e (ai , ah+1 ) = 1 Assim, temos da hiptese indutiva [a1 , , ah , ah+1 ] = a1 a2 a3 (ah ah+1 ) = a1 a2 a3 ah ah+1 Condio suciente () Suponhamos que [a1 , a2 ] = a1 a2 seja verdade, ento [a1 , a2 ] = (a1 , a2 ) = 1 Para qualquer h N suponhamos que [a1 , , ah ] = a1 ah Para h + 1 N temos [a1 , , an , an+1 ] = a1 an an+1 = a1 an an+1 (a1 , , an , an+1 )
2

(ai , ah ah+1 ) = 1,

i = 1, 2, . . . , h 1.

a1 a2 = a1 a2 de onde (a1 , a2 )

(ai , aj ) = 1,

i=j

i, j = 1, 2, . . . , h

logo (a1 , , an , an+1 ) = 1. Pela Proposio 5.2.2. do livro

que

1 = (a1 , , ah , ah+1 ) = (a1 , a2 , a3 , , ah1 , (ah , ah+1 ))

temos (ai , aj ) = 1, i = j i, j = 1, 2, . . . , h 1 sendo d = (ah , ah+1 ), tambm (ai , d) = 1, i = 1, 2, . . . , h 1. Para dois elementos temos [ah , ah+1 ] = [ai , ah+1 ] = ah ah+1 = ah ah+1 (ah , ah+1 ) (ah , ah+1 ) = 1 i = 1, 2, . . . , h 1

ai ah+1 = ai ah+1 (ai , ah+1 ) i = j,

(ai , ah+1 ) = 1,

Portanto, (ai , aj ) = 1, Exerccio 7.2.10.

i, j = 1, 2, . . . , h, h + 1.

Sejam a, b, c Z no nulos. Mostre que: a) (a, [b, c]) = [(a, b), (a, c)]; Demonstrao.
2

b) [a, (b, c)] = ([a, b], [a, c]).

Elementos de Aritmtica de A Hefez

47 x

48

Unidade 8
Equaes Diofantinas Lineares

8.2

Equaes Diofantinas Lineares: Problemas

Exerccio 8.2.1. Resolva em Z as equaes: a) 90X + 28Y = 22 c) 40X + 65Y = 135 Soluo. b) 50X + 56Y = 74 d) 8X + 13Y = 23

a) 90X 28X = 22 45X 14Y = 11 como mdc{45, 14} = 1 e 45 = 3 14 + 3, 14 = 4 3 + 2, 3 = 1 2 + 1, logo 1 = 3 (1)(2) = 3 (1)(14 4 3) = 5 3 14 = 5(45 3(14)) 14 = 5(45) 16(14) Assim, 45(5) 14(16) = 1 Portanto, X = 55 + 14t, 45(55 + 14t) 14(176 + 45t) = 11 Y = 176 + 45t, t Z.

b) Primeira soluo: 50X 56Y = 74 25X 28Y = 37 como mdc{25, 28} = 1 e 28 = 125+3, 25 = 83+1, logo 1 = 258(3) = 258(2825) = 9258(28) Assim, 25(9) 28(8) = 1 Portanto, X = 333 + 28t, 25(333) 28(296) = 37 Y = 296 + 25t, t Z.

b) Segunda soluo: 50X 56Y = 74 25X 28Y = 37 como (25, 28) = 1 e 28 = 1 25+3, 25 = 8 3+1, logo 1 = 25 8(3) = 25 8(28 25) = 9 25 8(28) Assim, 25(9) 28(8) = 1 e 296 = 11 25 + 21. 25(333) 28(296) = 37, como 333 = 11 28 + 25

Podemos escrever 25(28t + 25) 28(25t + 21) = 37 Portanto, X0 = 25, Y0 = 21 a soluo minimal.

c) 40X + 65Y = 135 8X + 13Y = 27 como (8, 13) = 1 e 13 = 1 8 + 5, 8 = 1 5 + 3, 5 = 1 3 + 2, 3 = 1 2 + 1, logo 1 = 8(5) + 13(3) 27 = 8(135) + 13(81) Assim, 8(135) + 13(81) = 27 Portanto, X = 135 13t, 8(135 13t) + 13(8t 81) = 27 t Z.

Y = 8t 81,

49 d) 8X + 13Y = 23 como (8, 13) = 1 assim, 1 = 8(5) + 13(3) 13(69) Logo, 8(115) + 13(69) = 23 Portanto, Exerccio 8.2.2. Para quais valores de c em N a equao N {0} ? Soluo. 90X + 28Y = c no possui solues em X = 115 13t, 23 = 8(130) +

8(115 13t) + 13(8t 69) = 23 t Z.

Y = 8t 69,

Se c = 2k + 1 mpar ento 2(45X + 14Y ) = 2k + 1, isto absurdo! Logo a equao no tem soluo para os valores de c N onde c-mpar. Estudemos o caso c-par. Sendo c = 2k, k N temos 2(45X + 14Y ) = 2k 45X + 14Y = k . 45(5k ) 14(16k ) = k , Pelo algoritmo de Euclides obtemos 45(5) 14(16) = 1 ainda podemos escrever na forma 45(5k + 14t) 14(16k + 45t) = k

tN

Observe que 5k + 14t N e 16k + 45t N quando k 14, de onde c 28 par. Exerccio 8.2.3. Resolva em Z as equaes: a) 16X + 7Y = 601 c) 47X + 29Y = 1288 Soluo. b) 30X + 17Y = 201 d) 8X + 13Y = 23

a) 16X + 7Y = 601 como (16, 7) = 1 e 1 = 7 7 3 16, assim, 16(3) + 7(7) = 1 16(1803) + 7(4207) = 601 16(7t 1803) + 7(4207 16t) = 601 Assim, X = 7t 1803, Portanto, X = 31 7, Y = 4207 16t, Y = 15 + 16s, t Z, se s = (262 t) temos sZ

b) 30X +17Y = 201 como (30, 17) = 1, assim, 1 = 30 (6)+17 11 17(2211) = 601 30(17t 1206) + 17(2211 30t) = 601 Portanto, X = 17t 1206, Y = 2211 30t, tZ

30(1206)+

c) 47X + 29Y = 1288 como (47, 29) = 1, assim, 1 = 47 (8) + 13 29 47(10304) + 29(16744) = 1288 47(29t 10304) + 29(16744 47t) = 1288 Portanto, X = 29t 10304, Y = 16744 47t, tZ

50 Observe que X = 29(t 356) + 20, Y = 12 47(t 356), t Z, e temos que X = 29s + 20, Y = 12 47s, s Z, resolve o problema disto X0 = 20, Y0 = 12 a soluo minimal. d) 8X + 13Y = 23 como (8, 13) = 1 assim, 1 = 8(5) + 13(3) 13(69) Logo, 8(115) + 13(69) = 23 23 = 8(130) +

8(115 13t) + 13(8t 69) = 23 Y = 8(t 8) 5, s Z. tZ

X = 11 + 13(8 t), Portanto, X = 11 + 13s,

Y = 8s 5,

Exerccio 8.2.4. Dispondo de 100 reais, quais so as quantias que se podem gastar comprando selos de 5 reais e de 7 reais? Soluo. Suponhamos sejam X selos de 5 reais e Y selos de 7 reais, ento 5X + 7Y = 100 como 5(3) + 7(2) = 1, logo 5(300) + 7(200) = 100 a soluo geral da equao 5(300 7t) + 7(5t 200) = 100 para certos t N. Logo 0 300 7t e 0 5t 200 ento t 42 e 40 t t X Y 40 41 42 20 13 0 5 6 10

Podemos comprar 13 selos de R$5 e 5 selos de R$7, ou 6 selos de R$5 e 10 selos de R$7 ou somente 20 selos de R$5. Exerccio 8.2.5. Determine todos os mltiplos de 11 e de 9 cuja soma igual a: c) 270 Soluo.

a) 79

b) 80

a) 11a + 9b = 79 como (11, 9) = 1 e 1 = 5 9 4 11, assim, 11(4) + 9(5) = 1 11(316) + 9(395) = 79 11(9t 316) + 9(395 11t) = 79 Logo, Se a 0 Se b 0 a = 9t 316, b = 395 11t, t Z. t = 36. t = 35.

9t 316 0 395 11t 0

t 35, 11 35, 9 t

Logo no existe t Z que resolva o problema, consequentemente no existem mltiplos de 11 e de 9 cuja soma igual a 79.

51 b) 11a + 9b = 80 como (11, 9) = 1 e 1 = 5 9 4 11, assim, 11(4) + 9(5) = 1 11(320) + 9(400) = 80 11(9t 320) + 9(400 11t) = 79 Logo, Se a 0 Se b 0 a = 9t 320, b = 400 11t, t Z. t = 36. t = 36.

9t 320 0 400 11t 0

t 35, 55 36, 6 t

Logo existe t Z que resolve o problema, consequentemente existem mltiplos de 11 e de 9 cuja soma igual a 79, eles so 44 e 36. c) 11a + 9b = 270 como (11, 9) = 1 e 1 = 5 9 4 11, assim, 11(4) + 9(5) = 1 11(1080) + 9(1350) = 270 11(9t 1080) + 9(1350 11t) = 79 Logo, Se a 0 Se b 0 a = 9t 1080, b = 1350 11t, t Z.

9t 1080 0 1350 11t 0

t 120. 122, 72 t t = 120, 121. 122.

Logo existem t Z que resolvem o problema, consequentemente existem mltiplos de 11 e de 9 cuja soma igual a 270, so: a = 0, b = 30, a = 9, b = 19 e a = 18, b = 8. Exerccio 8.2.6. Determine o menor inteiro positivo que tem restos 11 e 35 quando dividido, respectivamente, por 37 e 48. Soluo.( Primeira soluo) Seja N o inteiro positivo. Temos que N = 37x + 11 = 48y + 35 Como o mdc{37, 48} = 1 e 48 = (1)(37) + 11, 37 = (3)(11) + 4, 11 = (2)(4) + 3, 4=3+1 37x 48y = 24

1 = 4 (11 2 4) = 11 + 3 4 = 11 + 3(37 3 11) = 10(11) + 3(37) = 1 = 10(48 37) + 337 = 48(10) + 37(13) logo, 37(13) + 48(10) = 1 x = 312 37(312) + 48(240) = 24 y = 240 + 37 t = 240 + 37t 1 t N. Como 240 37t 0

48 t = 312 48t, 1

O nmero N = 37(312 48t) + 11 = 48(240 37t) + 35, 312 48t 0, ento t 6

52 t X Y N O menor nmero 899. Soluo.(Segunda soluo) Seja N o inteiro positivo, temos N = 37x + 11 = 48y + 35 37x = 24(1 + 2y ) x = 24s, 2y = 37s 1 s Z s x y N Exerccio 8.2.7. Numa criao de coelhos e galinhas, contaram-se 400 ps. Quantas so as galinhas e quantos so os coelhos, sabendo que a diferena entre esses dois nmeros a menor possvel? Soluo.( Primeira soluo) Sejam g o nmero de galinhas e c o total de coelhos, temos 4c + 2g = 400 2c + g = 200, como o mdc{2, 1} = 1 e 2(1) 1(1) = 1 ento 2(200) 1(200) = 200, isto 2(200 t) + 1(2t 200) = 200 Logo c = 200 t; t c g diferena 0 < t < 200 e g = 2t 200; 100 < t 127 132 133 134 73 54 19 68 64 3 67 66 1 66 68 2 1 24 18 3 72 55 5 120 92 7 168 129 37x 48y = 24 logo 6 24 18 5 92 55 4 120 92 0 312 -240

899 2675 4451 11555

899 2675 4451 6227

101 199 149 151 125 165 99 2 97 1 198 197 51 98 47 49 102 53 75 50 25 35 110 75

A menor diferena 1, que se obtm com 67 coelhos e 66 galinhas. Soluo.(Segunda soluo) Sejam g o nmero de galinhas e c o total de coelhos, temos 4c + 2g = 400 isto g = 2(100 c) g = 2s, c = 100 s, s Z, s c g diferena 1 2 2 4 3 6 4 8 5 10 20 32 33 34 80 68 67 66 40 64 66 68 40 4 1 2

99 98 97 96 95 90 10 20 97 94 91 88 85 70

A menor diferena 1, que se obtm com 67 coelhos e 66 galinhas.

53 Exerccio 8.2.8. Subindo uma escada de dois em dois degraus, sobra um degrau. Subindo a mesma escada de trs em trs degraus, sobram dois degraus. Determine quantos degraus possui a escada, sabendo que o seu nmero mltiplo de 7 e est compreendido entre 40 e 100. Soluo. Seja N o nmero de degraus, ento 40 N 100 Temos que N = 2x + 1 = 3y + 2 N = 2(x + 1) 1 = 3(y + 1) 1, logo N + 1 mltiplo de 6, assim como 40 N 100 segue que N = 41, 47, 53, 59, 65, 71, 77, , 83, 89, 95

Tambm sendo mltiplo de 7, o nmero 77. Exerccio 8.2.9. (ENC 2002) Em certo pas, as cdulas so de $4 e $7. Com elas, possvel pagar, sem troco, qualquer quantia inteira a) a partir de $11, inclusive. b) a partir de $18, inclusive. c) mpar, a partir de $7, inclusive. d) que seja $1 maior do que um mltiplo de $3. e) que seja $1 menor do que um mltiplo de $5. Soluo. a) Suponha que 4X + 7Y = n para n 11, ento como 4(2) + 7(1) = 1 segue que 4(2n 7t) + 7(4t n) = n, t N. Como 2n 7t 0 e 4t n 0 7n 28t 8n

Quando n = 11 X = 1, Y = 1; quando n = 12 X = 3, Y = 0, quando n = 13 no existem cedulas que para pagar esse valor sem troco. Portanto a) falso. b) Pela primeira parte, quando n 18 temos 4(2n 7t) + 7(4t n) = n, t N. Como X = 2n 7t 0 e Y = 4t n 0 Podemos representar na tabela n t X Y 18 19 20 21 22 23 24 5 1 2 5 4 1 5 5 0 6 0 3 6 2 2 6 4 1 6 6 0 25 26 27 28 28 29 7 1 3 7 3 2 7 5 1 7 7 0 8 0 4 8 2 3 31 8 6 1 7n 28t 8n

Observe que 7n 28t 8n

0, 250n t 0, 285n

55

c) Pela primeira parte, quando n 7 sendo n-mpar temos 4(2n 7t) + 7(4t n) = n, t N, ento X = 2n 7t 0 e Y = 4t n 0 7n 28t 8n. Se n = 9 2, 25 t 2, 57, logo no existe t Z.

Portanto, no possvel pagar 9 reais. d) Que seja $1 maior do que um mltiplo de $3. Se queremos pagar $10 com essas notas de $4 e $7 impossvel. e) Que seja $1 menor do que um mltiplo de $5. Se queremos pagar $9 com essas notas de $4 e $7 impossvel. Portanto, a resposta correta a esta questo deve ser a letra c). Exerccio 8.2.10. De quantas maneiras pode-se comprar selos de 3 reais e de 5 reais de modo que se gaste 50 reais? Soluo. Suponhamos podemos comprar X selos de 3 reais e Y selos de 5 reais, ento 3X + 5Y = 50 como (3, 5) = 1 e 1 = 2 3 1 5, assim, 3(2) + 5(1) = 1 3(100) + 5(50) = 50 3(100 5t) + 5(3t 50) = 50 Logo, X = 100 5t, Y = 3t 50, t Z. Se a 0 100 5t 0 20 t. Se b 0 3t 50 0 t 16, 6 t = 17, 18, 19, 20. Logo existem t Z que resolvem o problema, consequentemente existem mltiplos de 3 e de 5 cuja soma igual a 50, so: X = 15, Y = 1, X = 10, Y = 4, X = 5, Y = 7. Podemos comprar de trs modos diferentes.

56

MA-14 - Aula 05
Semana 03/09 a 09/09

Unidade 9 9.2 Atividade Especial (Reviso)

Exerccio 9.2.1. a) Quantos mltiplos de 5 existem no intervalo [1, 120]? e no intervalo [1, 174]? b) Quantos mltiplos de 7 existem em cada um dos intervalos [70, 342] e [72, 342]? Soluo. a) Seja n a quantidade de mltiplos de 5, para o intervalo [1, 120] temos que 5n [1, 120] 1 < 5 5n 120 1 n 24, de onde para n = 24 se obtm 120. Para o intervalo [1, 174] temos que n = 34. Soluo.Segunda soluo a) 120 5 + Seja n a quantidade de mltiplos de 5, para o intervalo [1, 120] temos que n = 5 1 n = 24. Para o intervalo [1, 174] temos, seja m a quantidade de mltiplos de 7, para o intervalo 170 5 [1, 174] temos que m = + 1 m = 34. 5 b) Temos 70 = 7 10, 77 = 7 11, . . . , 342 = 7 48 + 6. Em [70, 342], existem 48 9 = 39 mltiplos de 7. Temos 72 < 77 = 7 11, 84 = 7 12, . . . , 342 = 7 48 + 6. Em [72, 342], existem 48 10 = 38 mltiplos de 7. De outro modo, seja n a quantidade de mltiplos de 7, para o intervalo [70, 342] 336 70 temos que n = + 1 n = 39. Para o intervalo [72, 342] temos, 7 seja m a quantidade de mltiplos de 7, para o intervalo [72, 342] temos que m = 336 77 + 1 m = 38. 7 57

58 Exerccio 9.2.2. Dados 0 < a n < m, mostre que no intervalo [1, n] existem q mltiplos de a, onde q o quociente da diviso de n por q . Quantos so os mltiplos de a no intervalo [n, m]? (Na ltima situao, divida a anlise em dois casos: n mltiplo de a e o contrrio.) Demonstrao.

Exerccio 9.2.3. Mostre que dados m inteiros consecutivos um, e apenas um, deles mltiplo de m. Demonstrao. Seja k N , ento dado m N temos que mk Z, ento os m nmeros consecutivos so mk, mk + 1, mk + 2, mk + 3, mk + 4, . . . , mk + (m 3), mk + (m 2), mk + (m 1) Temos que qualquer nmero inteiro n pode-se escrever somente em uma das formas da sequncia acima, ento, n = mk + r, onde 0 r < m 1 Evidentemente quando r = 0, o primeiro nmero mk mltiplo de m da sequncia. Portanto, dados m inteiros consecutivos um, e apenas um, deles mltiplo de m. Demonstrao. Segunda demonstrao Seja k o primeiro nmero inteiro de uma sequncia, ento temos m inteiros consecutivos k, k + 1, k + 2, k + 3, . . . , k + (m 2), k + (m 1) o ltimo nmero k + (m 1). Se k = 1 existe somente um nmero mltiplo de m, o ltimo nmero. Se k = 2 existe somente um nmero mltiplo de m, o penltimo nmero. Se k = 3 existe somente um nmero mltiplo de m, o antes do penltimo nmero. E assim sucessivamente. Se m|k existe somente um nmero mltiplo de m, o primeiro nmero. Portanto, dados m inteiros consecutivos um, e apenas um, deles mltiplo de m. Exerccio 9.2.4.

59 Mostre que o produto de quatro nmeros inteiros consecutivos, quaisquer, sempre mltiplo de 24. Demonstrao. Por induo sobre n. Se n = 1 temos que 1 2 3 4 = 24 verdade. Suponhamos que para n h cumpra h(h + 1)(h + 2)(h + 3) = 24 Para n = h + 1 segue da hiptese auxiliar, e sabendo que o produto de trs nmeros consecutivos mltiplo de 6. (h+1)(h+2)(h+3)(h+4) = h(h+1)(h+2)(h+3)+4(h+1)(h+2)(h+3) = 24+46 = 24 Portanto, o produto de quatro nmeros inteiros consecutivos, quaisquer, sempre mltiplo de 24. Demonstrao. Segunda demonstrao Seja n 0, n N e consideremos os nmeros n 1, n, n + 1, n + 2, estes so 4 nmeros consecutivos. Seu produto P = (n 1)n(n + 1)(n + 2), quando n-par isto n = 2k, temos P = (2k 1)(2k )(2k + 1)(2k + 2) = 4(2k 1)[k (k + 1)(2k + 1)] P = 24(2k 1)[ k N

k (k + 1)(2k + 1) ] = 24(2k 1)[12 + 22 + . . . + n2 ] = 24 6 k N temos

Quando n-mpar isto n = 2k + 1,

P = (2k )(2k + 1)(2k + 2)(2k + 3) = 4[k (k + 1)(2k + 1)](2k + 3) = P = 24[ k (k + 1)(2k + 1) ](2k + 3) = 24(2k + 3)[12 + 22 + . . . + n2 ] = 24 6

Portanto, o produto de quatro nmeros inteiros consecutivos, quaisquer, sempre mltiplo de 24. Exerccio 9.2.5. a) Ache o menor inteiro positivo n tal que o nmero 4n2 + 1 seja divisvel por 65. b) Mostre que existem innitos mltiplos de 65 da forma 4n2 + 1. c) Mostre que se um dado nmero divide um nmero da forma 4n2 + 1, ele dividir uma innidade desses nmeros. d) Para este ltimo resultado, existe algo de especial nos nmeros da forma 4n2 + 1? Teste o seu resultado para nmeros da forma an2 + bn + c, onde a, b, c Z, com a e b no simultaneamente nulos. e) Mostre que existem innitos mltiplos de 7 da forma

60 8n2 + 3n + 4. Soluo. a) 4n2 + 1 = 65k = (64 + 1)k = (4 42 + 1)k k = 1, n=4 k N.

b) Pela parte (a) temos que 4n2 + 1, podemos supor n = 4 + 65k ,

Ento 4n2 + 1 = 4(4 + 65k )2 + 1 = (4 42 + 1) + 65(32k + 260k 2 ) = 65 onde N. Assim, 65|4n2 + 1 sendo n = 4 + 65k , k N. c)

Exerccio 9.2.6. a) Sejam dados os dois nmeros a = 10c + r e b = c 2r, com c, r Z. Mostre que a divisvel por 7 se, e somente se b divisvel por 7. b) Deduza o seguinte critrio de divisibilidade por 7: O nmero n = ar . . . a1 a0 divisvel por 7 se, e somente se, o nmero ar . . . a1 2a0 divisvel por 7. c) Utilize repetidas vezes o critrio acima para vericar se 2.368 ou no divisvel por 7. Demonstrao. a) Suponhamos que 7|a, ento a = 7 c = b + 2r assim 7 = 10c + r como b = c 2r segue

7 = 10c + r = 10(b + 2r) + r = 10 b + 21 b) Seja n = ar . . . a1 a0 ar . . . a1 .

71 = 10b

7|b

n = ar . . . a1 0 + a0 de onde n = 10X + a0 , onde X = P = X 2a0 .

Seja P o nmero ar . . . a1 2a0

Suponhamos que n seja mltiplo de 7, ento n = 10X + a0 = m(7), isto n = 10X + a0 = m(7) n = 3X 6a0 = m(7) n = 7X + 3X + a0 7a0 = m(7) 3(X 2a0 ) = m(7)

X 2a0 = P = m(7)

Portanto, se o nmero n = ar . . . a1 a0 divisvel por 7 ento o nmero ar . . . a1 2a0 divisvel por 7. Inversamente ()

61 Suponhamos que o nmero ar . . . a1 2a0 divisvel por 7 ento o nmero P = X 2a0 divisvel por 7. O nmero n = ar . . . a1 a0 podemos escrever na forma n = 10X + a0 ento n = 10X + a0 = n = 10(P + 2a0 ) + a0 = 10P + 21a0 = m(7) Portanto, se o nmero ar . . . a1 2a0 divisvel por 7 ento o nmero n = ar . . . a1 a0 divisvel por 7. c) Temos para o nmero 2.368 2.36 16 = 220, 22 2 = 20

Como 2 no mltiplo de 7, logo 2.368 no mltiplo de 7. Exerccio 9.2.7. Um nmero inteiro n dito um quadrado se existe a Z tal que n = a2 . Dizemos que n uma potncia m-sima quando n = am . a) Mostre que o algarismo das unidades de um quadrado s pode ser um dos seguintes: 0, 1, 4, 5, 6 e 9. b) Mostre que nenhum dos nmeros 22, 222, 2222, . . . , ou 33, 333, 3333, . . . ou 77, 777, 7777, . . . , ou ainda 88, 888, 8888, . . . pode ser um quadrado. Demonstrao. a) Todo nmero n = ar ar1 . . . a1 a0 podemos escrever na forma n = 10X + a0 , logo 2 n2 = 10(10X 2 + 2Xa0 ) + a2 0 = 10Y + a0 Se a0 = 0 ento n2 = 10Y + 02 = . . . 0, termina em 0. a0 = 1 ento n2 = 10Y + 12 = . . . 1, termina em 1. a0 = 2 ento n2 = 10Y + 22 = . . . 4, termina em 4. Se a0 = 3 ento n2 = 10Y + 32 = . . . 9, termina em 9. a0 = 4 ento n2 = 10Y + 42 = 10Y + 10 + 6 = . . . 6, termina em 6. a0 = 5 ento n2 = 10Y + 52 = 10Y + 20 + 5 = . . . 5, termina em 5. a0 = 6 ento n2 = 10Y + 62 = 10Y + 30 + 6 = . . . 6, termina em 6. Se a0 = 7 ento n2 = 10Y + 72 = 10Y + 40 + 9 = . . . 9, termina em 9. a0 = 8 ento n2 = 10Y + 82 = 10Y + 60 + 4 = . . . 4, termina em 4.

62 a0 = 9 ento n2 = 10Y + 92 = 10Y + 80 + 1 = . . . 1, termina em 1. Portanto, o algarismo das unidades de um quadrado s pode ser um dos seguintes: 0, 1, 4, 5, 6 e 9. Demonstrao. b) Aplicando o resultado da parte a), temos que o algarismo das unidades da sequncia 22, 222, 2222, . . . , termina em 2 logo nenhum nmero ser quadrado prefeito. 33, 333, 3333, . . . termina em 3 logo nenhum nmero ser quadrado prefeito. 77, 777, 7777, . . . , termina em 7 logo nenhum nmero ser quadrado prefeito. 88, 888, 8888, . . . termina em 8 logo nenhum nmero ser quadrado prefeito.

Exerccio 9.2.8. a) Mostre que todo quadrado mpar da forma 4n + 1. b) Mostre que nenhum nmero na sequncia 11, 111, 1111, 11111, . . . ., um quadrado. c) Mostre que nenhum nmero na sequncia 44, 444, 4444, 44444, . . . ., um quadrado. d) Mostre que nenhum nmero na sequncia 99, 999, 9999, 99999, . . . ., um quadrado. e) Mostre que nenhum nmero na sequncia 55, 555, 5555, 55555, . . . ., um quadrado. Demonstrao. a) Seja P = 2k + 1, k N qualquer nmero mpar, ento n2 = 4(k 2 + k ) + 1 = 4n + 1.

Portanto, todo quadrado mpar da forma 4n + 1. Demonstrao. b) Qualquer nmero M da sequncia 11, 111, 1111, 11111, . . . . um nmero mpar e podemos escrever na forma M = 11111100 + 11 = 4 + 8 + 3 = 4n + 3, , n N

Sendo M nmero mpar, da forma M = 4n + 3, logo no quadrado perfeito. Demonstrao. c) Sabemos que, se M P N um nmero quadrado. (M P )2 = M 2 P 2 , M, P N sendo (M P )2

Qualquer nmero N da sequncia 44, 444, 4444, 44444, . . . ., podemos escrever na forma N = 44444 . . . 44444 = 4 1111 . . . 1111 = 22 1111 . . . 1111 = Pela parte b) deste exerccio o nmero 1111 . . . 1111 no quadrado, logo o nmero N no ser quadrado de nenhum nmero natural. Demonstrao. d)

63 Anlogo a c), qualquer nmero N da sequncia 99, 999, 9999, 99999, . . . ., podemos escrever na forma N = 99999 . . . 99999 = 9 1111 . . . 1111 = 32 1111 . . . 1111 = Pela parte b) deste exerccio o nmero 1111 . . . 1111 no quadrado, logo o nmero N no ser quadrado de nenhum nmero natural. Demonstrao. e) Qualquer nmero M da sequncia 55, 555, 5555, 55555, . . . . um nmero mpar e podemos escrever na forma M = 5555500 + 55 = 4 + 52 + 3 = 4n + 3, , n N

Sendo M qualquer nmero da sequncia 55, 555, 5555, 55555, . . . . esse nmero da forma M = 4n + 3, logo no quadrado perfeito. Exerccio 9.2.9. a) Mostre que nenhum nmero da forma 4n +2 um quadrado. b) Mostre que nenhum dos nmeros 66, 666, 6666, . . . um quadrado. Demonstrao. a) Todo nmero natural n pode ser escrito de uma, e somente uma das formas seguintes: 4k, 4k + 1, 4k + 2 ou 4k + 3, k N. Elevando cada um desses nmeros ao quadrado obtemos: n2 = (4k )2 = 16k 2 = 4.(4k 2 ) = 4x1 + 0 n2 = (4k + 1)2 = 16k 2 + 8k + 1 = 4(4k 2 + 2k ) + 1 = 4x2 + 1 n2 = (4k + 2)2 = 16k 2 + 16k + 4 = 4(4k 2 + 4k + 1) = 4x3 + 0 n2 = (4k + 3)2 = 16k 2 + 24k + 9 = 16k 2 + 24k + 8 + 1 = 4(4k 2 + 6k + 2) + 1 = 4x4 + 1 Dessa forma vemos que todo quadrado escrito de uma, e somente de uma das formas seguintes: 4x1 + 0, 4x2 + 1, 4x3 + 0, 4x4 + 1. Isto nos mostra que todo quadrado, quando divididos por 4 sempre deixam resto 0(zero) ou 1, da podemos concluir que nenhum nmero da forma 4k + 2 um quadrado . Demonstrao. b) O nmero 66 da forma 66 = 4(16) + 2 = 4 + 2, logo no um quadrado perfeito. Como 100 mltiplo de 4 e em geral o nmero N = 666 . . . 666 podemos escrever na forma N = 666 . . . 666 = 666 . . . 66600 + 66 = 666 = 100 666 . . . 666 + 66 N = 4 + 66 = 4 + (4 + 2) = 4( + ) + 2 = 4x1 + 2 Logo N um mltiplo de 4k + 2 e portanto no quadrado perfeito.

64 Exerccio 9.2.10. a) Mostre que a soma de quatro inteiros consecutivos nunca um quadrado. b) Mostre que a soma dos quadrados de quatro inteiros consecutivos nunca um quadrado. Faa o mesmo para a soma dos quadrados de trs inteiros consecutivos. Demonstrao. a) Sejam os inteiros consecutivos n 1, n, n + 1, n + 2, a mostrar que sua soma S = (n 1) + n + (n + 1) + (n + 2) = 4n + 2 nunca um quadrado. Pelo exerccio (9.2.9) - a) nenhum nmero da forma S = 4n + 2 um quadrado. Portanto, a soma de quatro inteiros consecutivos nunca um quadrado. Demonstrao. b) Sejam os inteiros consecutivos n 1, n, n + 1, n + 2, a mostrar que sua soma S = (n 1)2 + n2 + (n + 1)2 + (n + 2)2 nunca um quadrado. Com efeito, S = 4n2 + 4n + 6 = 4n1 + 2, onde n1 = n2 + n + 1. Pelo exerccio (9.2.9) - a) nenhum nmero da forma S = 4n1 + 2 um quadrado. Portanto, a soma de quatro inteiros consecutivos nunca um quadrado. Para o caso de trs inteiros consecutivos cuja soma seja T temos T = (n 1)2 + n2 + (n + 1)2 = 3n2 + 2

Exerccio 9.2.11. a) Mostre que todo quadrado da forma 8n, 8n + 1 ou 8n + 4. b) Mostre que nenhum nmero na sequncia 3, 11, 19, 27, etc., um quadrado. Demonstrao. a) Todo nmero natural n pode ser escrito de uma, e somente uma das formas seguintes: 4k, 4k + 1, 4k + 2 ou 4k + 3, k N. Elevando cada um desses nmeros ao quadrado obtemos: n2 = (4k )2 = 16k 2 = 8(2k 2 ) = 8x1 + 0 n2 = (4k + 1)2 = 16k 2 + 8k + 1 = 8(2k 2 + k ) + 1 = 8x2 + 1 n2 = (4k + 2)2 = 16k 2 + 16k + 4 = 8(2k 2 + 2k ) + 4 = 4x3 + 4 n2 = (4k + 3)2 = 16k 2 + 24k + 9 = 16k 2 + 24k + 8 + 1 = 8(2k 2 + 3k + 1) + 1 = 8x4 + 1.

65 Portanto, todo quadrado da forma 8n, 8n + 1 ou 8n + 4. Demonstrao. b) O primeiro termo da sequncia a1 = 3; o segundo termo da sequncia a2 = 3 + 8(1) = 11; o terceiro termo da sequncia a3 = 3 + 8(2) = 19; o quarto termo da sequncia a4 = 3 + 8(3) = 27. Em geral o termo n-simo da sequncia an = 3 + 8(n 1). Como qualquer termo da sequncia da forma 8(n 1) + 3, pela parte a) deste exerccio, ele no um quadrado. Exerccio 9.2.12. 12. Mostre que numa sequncia de inteiros da forma a, a + d, a + 2d, a + 3d, . . . , se existir algum nmero que quadrado, existiro innitos nmeros que so quadrados. Demonstrao.

Exerccio 9.2.13. 13. Dados dois inteiros a e b distintos, mostre que existem innitos nmeros n para os quais mdc(a + n, b + n) = 1. Demonstrao.

Exerccio 9.2.14. Resolva o seguinte sistema de equaes: mdc(x, y ) = 6 mmc(x, y ) = 60 Demonstrao. Temos e y = 6c. Temos mdc(x, y ) = (x, y ) = 6 mmc(x, y ) = [x, y ] = 60 6|x, 6|y logo existem b, c N, tais que x = 6b 60 = x.f = y.g , com f, g N. 360 = xy = (6b)(6c) 10 = bc xc = 6bc = 60 assim, c = f yb = 6cb = 60 assim, b = g

Sabemos que (x, y )[x, y ] = xy Como 60 = xf , bc = 10, x = 6b Como 60 = yg , bc = 10, y = 6c

66 Se b = 1 e c = 10 ento x = 6 e y = 60. Se b = 2 e c = 5 ento x = 12 e y = 30. Se b = 5 e c = 2 ento x = 30 e y = 12. Se b = 10 e c = 1 ento x = 60 e y = 6. Exerccio 9.2.15. Observe que mdc(x, y ) divide mmc(x, y ), quaisquer que sejam x, y Z, no nulos. a) Mostre que se no seguinte sistema: mdc(x, y ) = d mmc(x, y ) = m d m, ele no admite soluo. b) Mostre que se d|m, o sistema sempre admite soluo. Demonstrao. a) Temos mdc(x, y ) = (x, y ) = d e y = cd. Temos d|x, d|y logo existem b, c N, tais que x = bd m = x.f = y.g , com f, g N. 1 < r < d.

mmc(x, y ) = [x, y ] = m

Se d m, ento existem k, r N, e nicos, tais que m = d.k + r, Mas m = x.f = y.g , logo x = m/f e y = m/g Sabemos que pois f g = 0 (x, y )[x, y ] = xy md = xy = (m/f )(m/g )

m = df g

Assim temos m = d.k + r, 1 < r < d e m = df g isto um absurdo, pois 0 < r < d Portanto, se d no divide m, ento o sistema mdc(x, y ) = d mmc(x, y ) = m no admite soluo. b) Temos mdc(x, y ) = (x, y ) = d x = bd e y = cd. Temos mmc(x, y ) = [x, y ] = m

d(f g k ) = r, logo d|r

d|x, d|y logo existem b, c N, tais que m = x.f = y.g , com f, g N.

Se d | m, ento existe k N, e nico onde m = d.k . Mas m = x.f = y.g , logo x = m/f e y = m/g

67 Sabemos que (x, y )[x, y ] = xy md = xy = (bd)(cd) k = bc. m = dbc.

Assim temos m = d.k e m = dbc

Portanto, se d divide m, ento o sistema mdc(x, y ) = d mmc(x, y ) = m admite soluo. Observao: Observe que d e m so dados do problema, logo so nmeros conhecidos, k tambm conhecido, pois a multiplicidade de d em m. A soluo x = bd e y = cd nem sempre nica, depende dos fatores b e c tais que k = bc. Exerccio 9.2.16. Mostre que a) mdc(a2 , b2 ) = [mdc(a, b)]2 . b)mmc(a2 , b2 ) = [mmc(a, b)]2 . c) Generalize. Demonstrao.

Exerccio 9.2.17. Esse um problema proposto no sculo XV I Um total de 41 pessoas entre homens, mulheres e crianas foram a um banquete e juntos gastaram 40 patacas. Cada homem pagou 4 patacas, cada mulher 3 patacas e cada criana um tero de pataca. Quantos homens, quantas mulheres e quantas crianas havia no banquete? Demonstrao. Suponhamos sejam H o total de homens, M de mulheres e C de crianas como so 41 pessoas ento H + M + C = 41 (9.2) Como todos juntos gastaram 40 patacas e sabemos que cada homem gastou 4 patacas, cada mulheres 3 e cada criana 1/3 de pataca ento: 4H + 3M + C/3 = 40 onde H, M N consequentemente C/3 N. (9.3)

68 Desta forma vamos multiplicar os dois membros da equao 4H + 3M + C/3 = 40 por 3 assim teremos 12H + 9M + C = 120. Multiplicando por 3 a igualdade (9.3) e resolvendo com a igualdade (9.2) resulta 11H + 8M = 79. A resolver esta ltima equao para nmeros naturais Como 11H + 8M = 79 e (8, 11) = 1 assim, 1 = 8(4) + 11(3) 8(316) = 79 Logo, 11H + 8M = 79 11(237 8t) + 8(11t 316) = 79, Como H = 237 8t 0 e M = 11t 316 0 Assim H = 5, M = 3 e C = 33. t Z. t = 29. 11(237) +

28, 72 t 29, 62

Portanto, havia no banquete 5 homens, 3 mulheres e 33 crianas. Exerccio 9.2.18. Proposto por Euler Um grupo de homens e mulheres gastaram numa taberna 1.000 patacas. Cada homem pagou 19 patacas e cada mulher 13. Quantos eram os homens e quantas eram as mulheres? Soluo. Suponha foram H homens e M mulheres, foram gastos pelos homens 19H e pelas mulheres 13M . Pelas condies do problema 19H + 13M = 1000. Como 19H +13M = 1000 e (19, 13) = 1 assim, 1 = 13(3)+19(2) 13(3000) = 1000 Logo, 19H + 13M = 1000 De onde H = 13t 2000 0 e M = 3000 19t 0 Se t = 154, ento H = 2 e M = 74. Se t = 155, ento H = 15 e M = 55. Se t = 156, ento H = 28 e M = 36. Se t = 157, ento H = 41 e M = 17. Os valores para H e M descritos acima, resolvem o problema. Exerccio 9.2.19. (Proposto por Euler) Uma pessoa comprou cavalos e bois. Foram pagos 31 escudos por cavalo e 20 por boi e sabe-se que todos os bois custaram 7 escudos a mais do que todos os cavalos. Quantos cavalos e quantos bois foram comprados? Soluo. 19(2000)+ t Z.

19(13t 2000) + 13(3000 19t) = 1000,

153, 84 t 157, 89

69 Suponha foram comprados C cavalos e B bios, foram pagos 31C pelos cavalos e 20B pelos bois. Pelas condies do problema 20B 31C = 7. Como 20B 31C = 7 e (20, 31) = 1 assim, 1 = 20(17)31(11) 20(119) 31(77) = 7 Logo, 20B 31C = 7 20(31t 119) 31(20t 77) = 7, t Z. Como B = 31t 119 0 e C = 20t 77 0 3, 83 t e 3, 55 t t = 4, 5, . . .. t= B= C= 4 5 3 5 6 7 8 83 ... ... t 31t 119 20t 77

36 67 98 129 . . . 23 43 63

Existem innitas solues para o problema, pois t N. Exerccio 9.2.20. Em um certo pas, as cdulas so de $4 e $7. Quais das armaes a seguir so verdadeiras? Com elas possvel pagar, sem troco, qualquer quantia inteira. a) a partir de $11, inclusive. b) a partir de $18, inclusive. c) mpar, a partir de $7, inclusive. d) que seja $1 maior do que um mltiplo de $3. e) que seja $1 menor do que um mltiplo de $3 Soluo. a) Suponha que 4X + 7Y = n para n 11, ento como 4(2) + 7(1) = 1 segue que 4(2n 7t) + 7(4t n) = n, t N. Como 2n 7t 0 e 4t n 0 7n 28t 8n

Quando n = 11 X = 1, Y = 1; quando n = 12 X = 3, Y = 0, quando n = 13 no existem cedulas que para pagar esse valor sem troco. Portanto a) falso. b) Pela primeira parte, quando n 18 temos 4(2n 7t) + 7(4t n) = n, t N. Como X = 2n 7t 0 e Y = 4t n 0 Podemos representar na tabela n t X Y 18 19 20 21 22 23 24 5 1 2 5 3 1 5 5 0 6 0 3 6 2 2 6 4 1 6 6 0 25 26 27 28 28 29 7 1 3 7 3 2 7 5 1 0 4t 8n 7 7 7 0 8 0 4 8 2 3 30 8 4 2 7n 28t 8n

Observe que 7n 28t 8n 0 14(4t n) 2n

14n 56t 16n

0 7(4t n) n

70 0t 2n 7 t 5, n 18, n N

Portanto, esta resposta verdadeira. c) Pela primeira parte, quando n 7 sendo n-mpar temos 4(2n 7t) + 7(4t n) = n, t N, ento X = 2n 7t 0 e Y = 4t n 0 7n 28t 8n. Se n = 9 2, 25 t 2, 57, logo no existe t Z.

Portanto, no possvel pagar 9 reais. d) Que seja $1 maior do que um mltiplo de $3. Se queremos pagar $10 com essas notas de $4 e $7 impossvel. e) Que seja $1 menor do que um mltiplo de $5. Se queremos pagar $9 com essas notas de $4 e $7 impossvel. Portanto, a resposta correta a esta questo a letra c).