Você está na página 1de 3

Meu Mundo

http://www.cesariof.xpg.com.br/ex_alg/cap_2_3.htm

CAPTULO 2 Questes 3 a 5 3 Demonstrar por induo matemtica: Nota:- o simbolismo 2 | x usado para indicar que 2 divide x ou x mltiplo de 2. Portanto: 2 | x x = 2q. Ou seja, existe um inteiro q, tal que 2.q = x. (a) 2 | (3 1), " n N. SOLUO (1) A propriedade vlida para n = 1, pois 3.1 1 = 2 e 2 mltiplo de 2. (2) Hiptese: 2 | 3 1 ou $q, tal que 3 1 = 2q, sendo q um inteiro positivo. (3) Provar que 2 | 3n + 1 1. Demonstrao: De acordo com a hiptese, 3 1 = 2q 3.(3 1) = 2q.3 3.3 3 = 6q
n n n n n n

n+1

1 = 6q 2 3

n+1

1 = 2.(3q 1).
n +1

Como q > 1 e que um inteiro positivo, 3q 1 um nmero inteiro positivo. Portanto existe um inteiro positivo que multiplicado por 2, resulta em 3 1". Como a proriedade vlida para n + 1 ela vlida para todo n N. c.q.d.

(b) 6 | n n, " n N. SOLUO (1) A propriedade vlida para n = 1, pois 1 1 = 0 e 0 divisvel por 6. (2) Hiptese 6 | n3 n $q inteiro, tal que n n = 6q. (3) Provemos que 6 | (n + 1) (n + 1). Demonstrao: (n + 1) (n + 1) = n + 3n + 3n + 1 n 1 = (n n) + (3n + 3n) = 6q + 3n(n + 1). (i) n e n + 1 so dois inteiros consecutivos, portanto, um dos dois par. Se n for par ento n = 2q e 3n(n + 1) = 3.2q(n + 1) = 6q(n + 1) = 6q 3n(n + 1) mltiplo de 6. Se n + 1 for par, n + 1 = 2q e 3n(n + 1) = 3n.2q = 6q 3n(n +1) = 6q 3n(n + 1) mltiplo de 6. Assim, teremos para a igualdade (i), (n + 1) (n + 1) = 6q + 6q = 6.(q + q) (n + 1)3 (n + 1) mltiplo de 6. Como a relao vlida para o sucessor (n + 1) de n, a relao vlida para todo n natural.
3 3 3 2 3 2 3 3 3

(c) 5 | (8 3 ), " n N. SOLUO (1) A relao verdadeira para n = 1 pois 8 3 = 8 3 = 5. 5 mltiplo de 5. (2) Hiptese: 5 | (8 3 ) (8n 3n) = 5q, q inteiro. ( 3 ) Provemos que 5 | (8n + 1 - 3n + 1). Demonstrao:8
n+1 n n 1 1

-3

n+1

= 8.8 3.3 = 8.8 (8 5)3 = 8.8 8.3 + 5.3 = 8.(8 3 ) + 5.3 .


n n

5.3 mltiplo de 5 pois 3 um nmero inteiro 5.3 = 5q. (8 3 ) = 5q, de acordo com a hiptese. Desta forma, podemos escrever para a expresso anterior: 8 8
n+1 n+1 n n

-3 -3

n+1

= 8.5q + 5q = 5.(8q + q). Sendo q e q inteiros, 8q + q tambm inteiro. Portanto, = 5.q 8


n+1

n+1

-3

n+1

mltiplo de 5.

Como a relao vlida para o sucessor (n + 1) de n, a relao vlida para todo n natural.

(d) 24 | (5 SOLUO

2n

1), " n N.

(1) A relao verdadeira para n = 1, pois 5 (2) Suponhamos que 24 | (5


2n

2.1

1 = 25 1 = 24 que mltiplo de 24.

1), " n N, e

1 de 3

12/04/2013 17:12

Meu Mundo
(2) Suponhamos que 24 | (5 (3) Provemos que 24 | (5 Demonstrao: 5
2n + 2

http://www.cesariof.xpg.com.br/ex_alg/cap_2_3.htm
1), " n N, e 1) = (5
2n + 2

2(n + 1)

1).

1 = 5 .5
2n + 2

2n

1 = (24 + 1)5

2n

1 = 24.5

2n

+5

2n

1 = (24.5 ) + (5

2n

2n

1) = 24q + 24q pois (5

2n

1) mltiplo de 24 de acordo

com a hiptese. Portanto: 5 1 = 24(q + q) 24 divide 5


2n + 2

1.

Como a relao vlida para o sucessor (n + 1) de n, a relao vlida para todo n natural.

(e) 7 | (2

3n

1), " n N.

SOLUO (1) A relao verdadeira para n = 1 pois: 2 (2) Suponhamos que 7 | (2 (3) Provemos que 7 | (2 Demonstrao: (2
3n + 3 3n 3.1

1 = 8 1 = 7 que mltiplo de 7.

1), " n N, e 1) = (2
3n + 3

3(n + 1)

1).

1) = 2 .2
3n + 3

3n

1 = 8.2

3n

1 = (7 + 1)2

3n

1 = (7.2 ) + (2 1) .

3n

3n

1) = 7q + 7q pois (2

3n

1) mltiplo de 7 conforme hiptese.

Portanto, (2

1) = 7(q + q) ou seja 7 | (2

3n + 3

Como a relao vlida para o sucessor (n + 1) de n, a relao vlida para todo n natural

(f) 8 | 3

2n

+ 7, " n N.

SOLUO (1) a relao verdadeira para n = 1 pois 3


2n

+ 7 = 9 + 7 = 16 que mltiplo de 8.
2n

(2) suponhamos verdadeira para n, ou seja 8 | 3

+ 7, e
2.(n + 1)

(3) provemos que a relao valida para n + 1, ou seja 8 | 3 Demonstrao: 3


2n + 2

+7=3

2n + 2

+ 7.

+ 7 = 3 .3

2n + 7

= 9.3

2n

+ 7 = (8 + 1)3

2n

+ 7 = (8.3 ) + (3

2n

2n

+ 7) = 8q + 8q = 8(q + q) pois 8 | (3

2n

+ 7) de acordo com a

hiptese. Como a relao vlida para o sucessor (n + 1) de n, a relao vlida para todo n natural

4 Demonstrar que 10 SOLUO

n+1

9n 10 um mltiplo de 81 para todo inteiro positivo n.

Provemos inicialmente que 10

n1

1 um mltiplo de 9.
n1

- A propriedade verdadeira para n = 1 pois 100 1 = 1 1 = 0 mltiplo de nove. - Suponhamos verdadeira para n, isto 10 10
n-1+1

1 um mltiplo de 9.

- Provemos que a propriedade verdadeira para o sucessor de n, ou seja 1 = 10 1 mltiplo de 9.


n n-1 n

Temos 10 1 = 10.(10 Portanto, 10


n1

) 1 = (9 + 1)10

n1

1 = (9.10

n-1

)+ (10

n-1

1) = 9q + 9q (de acordo com a hiptese).

1 mltiplo de 9.

Demonstremos a propriedade inicial. (1) A propriedade vlida para n = 1, pois 10


1+1

9.1 10 = 100 9 10 = 81 que mltiplo de 81.


n+1

(2) Suponhamos que a propriedade vlida para n, isto 10 (3) Provemos que ela vlida para o sucessor de n, ou seja 10
n+2

9n 10 mltiplo de 81.

9.(n + 1) 10 mltiplo de 81.


n+2

Temos que: 10 = (9.10


n+1

9.(n + 1) 10 = 10.10
n+1

n+1

9n 9 10 = (9 + 1)10 1) + (10
n+1

n+1

9n 9 - 10 =

9) + (10

9n - 10 ) = 9.(10
n+1

n+1

9n - 10 ).
n+1

Conforme foi demonstrado acima (10

1) mltiplo de 9. Disto resulta 9(10

1) = 9.9q = 81q.
n+1

Pela hiptese a segunda expresso da igualdade acima um mltiplo de 81, ou seja (10 Desta forma 10
n+2

9n - 10 ) = 81q.

9.(n + 1) 10 = 81q + 81q = 81(q + q) que um mltiplo de 81.

2 de 3

12/04/2013 17:12

Meu Mundo
Desta forma 10 9.(n + 1) 10 = 81q + 81q = 81(q + q) que um mltiplo de 81.

http://www.cesariof.xpg.com.br/ex_alg/cap_2_3.htm

5 Demonstrar que n /3 + n /5 + 7n/15 um inteiro positivo para todo n N. SOLUO (1) A propriedade vlida 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 e provemos que a propriedade valida para o sucessor de n, isto : n /3 + n /5 + 7n/15 um inteiro positivo para todo inteiro positivo N. (3) Provemos, ento, que (n+1) /3 + (n+1) /5 + 7.(n+1)/15 Temos ento
3 5 3 5

= [(n /3) + (n /5) + (7n/15)] + (1/3 + 1/5 + 1/15) + (n + n + n + n + 2n + 2n + n). (i) [(n3/3) + (n5/5) + (7n/15)] um inteiro de acordo com a hiptese. (1/3 + 1/5 + 1/15) = 1 inteiro (n + n + n + n + 2n + 2n + n) inteiro por ser uma soma de inteiros. Portanto, a soma anterior (i) um inteiro, c.q.d.
2 4 3 2

3 de 3

12/04/2013 17:12