UNIVERSIDADE FEDERAL DE MATO GROSSO

INSTITUTO DE CINCIAS EXATAS E DA TERRA

MESTRADO PROFISSIONAL EM MATEMTICA PROFMAT
MATEMTICA DISCRETA
CUIAB 04/2012

1) Prove que a funo
N N N
definida por f(m,n) =
2 .3 1
m n

injetiva.
Soluo:
Devemos mostrar que dados
1 1
( , ) m n
e
2 2
( , ) m n
, tais que:
1 1 2 2
( , ) ( , ) f m n f m n =
, ento
1 1 2 2
( , ) ( , ) m n m n =

De fato!
Sejam
1 1
( , ) m n
e
2 2
( , ) m n
pertencente a N x N, tais que
1 1 2 2
( , ) ( , ) f m n f m n =
. Ento
temos que:
1 1 2 2
2 .3 1 2 .3 1
m n m n
=
, que nos leva a
1 1 2 2
2 .3 2 .3
m n m n
=
.
Como temos potncias com expoentes naturais, ento podemos aplicar a diviso de
um mesmo termo em ambos os lados. Logo:
1 2 2 1
2 3
m m n n
=

Esta igualdade vem das propriedades da potenciao. Como 2 e 3 so primos entre
si, temos que esta igualdade s ser satisfeita quando o expoente for igual a zero,
isto :
1 2 2 1
0 m m n n = =
, mas isto s acontece se
1 1 2 2
( , ) ( , ) m n m n =
. c.q.d

2) Quando dividimos a soma 1! + 2! + 3! + 4! + ... + 50! Por 15, qual o resto?
Soluo:
O resto 3.
Com efeito!
Observe que a partir de 5! temos a seguinte situao: 5! = 5x4x3x2x1 = 15q, para
algum q natural.
Logo podemos de maneira anloga arrumar 6!, ..., 50! Como mltiplos de 15. Logo
temos que:
1! + 2! + 3! + 4! + ... + 50! = 1 + 2 + 6 + 24 + 15j, para algum j natural.
1! + 2! + 3! + 4! + ... + 50! = 3 + 30 + 15j = 3 + 15w, para algum w natural.
Portanto a diviso desta soma por 15 igual a 3.

3) Os nmeros 210, 301 e 352 escrito na base b, esto em PA. Determine b.
De maneira geral, um nmero natural N pode ser representado em uma base b
atravs do polinmio:
0 1
0 1
...
n
n
N a b a b a b = + + +
, com n natural e
0 1
i
a b s s
.
Sabendo disso temos que a representao destes nmeros na base b dada por:
2
210 2b b = +
,
2
301 3 1 b = +
e
2
352 3 5 2 b b = + +
. Como estes nmeros esto em PA
temos que: 301 210 = 352 301, logo:
2 2 2 2
3 1 (2 ) 3 5 2 (3 1) b b b b b b + + = + + +
.
Resultando em: b- b + 1 = 5b + 1, implicando em: b - 6b = 0 = b(b - 6). Desta
forma b = 0 ou b = 6, logo temos que b = 6.
Transformando os nmeros para a base decimal temos que: 210 = 78 na base dez;
301 = 109 na base 10 e 352 = 140 na base 10. Logo de fato a base 6, pois 109 78
= 140 109 = 31. Logo r = 31 e a PA = {...,78,109,140,...}.

4) Uma quantidade de 500 reais foi investida em uma conta remunerada a
uma taxa de juros compostos anual de 10%:
Dados: i = 0,1 ao ano, Capital = R$ 500,00.
Pelo Teorema 2 da pgina 3 da unidade 9 temos que o montante daqui a n anos
dado por:
500(1.1)
n
n
C =
.
a) Escreva a definio recursiva da quantia P(n) na conta no incio do (n)-
simo ano.
Chamando de
( )
n
C P n =
, temos que a definio recursiva da quantia na conta no
incio do (n)-simo ano :
( ) 500(1.1)
n
P n =
.
b) Depois de quantos anos a quantia investida exceder 700 reais.
Fazendo a iterao na definio da letra a, geramos a seguinte seqncia:
( ) {550,605,665.5,732.05,805.255,...} P n =
, logo observamos que depois de
quatro anos a quantia chegar a R$ 732,05 excedendo o valor de R$ 700,00.

5) Escreva a funo recursiva de cada uma das seqncias:
a) a, b, a + b, a + 2b, 2a + 3b, .........
Observe que:
1
2
3 2 1
4 3 2
5 4 3
2
2 3
x a
x b
x a b x x
x a b x x
x a b x x
=
=
= + = +
= + = +
= + = +

Logo conclumos que a funo recursiva :
2 1 n n n
x x x
+ +
= +
, com
1
x a =
e
2
x b =
.

b) p, q, p q, p + q, p 2q, p + 2q, p 3q, ...........
Observe que a partir do terceiro termo temos expresses parecidas, alterando
apenas o sinal. Desta forma podemos dividir em duas subseqncias: para n
par e para n mpar. Do terceiro termo em diante observamos a seguinte
relao entre os termos e o q da expresso: (Termo * coeficiente de q): 3 * 1,
5 * 2, 7 * 3,..., n * ((n 1): 2) e 4 * 1, 6 * 2, 8 * 3, ...., n * (n 2): 2). Logo
temos a seguinte situao:

1
3
5
7
3 1
2
5 1
2
2
5 1
3
2
1
2
n mpar
x p
x p q p q
x p q p q
x p q p q
n
x p q

=
| |
= =
|
\ .
| |
= =
|
\ .
| |
= =
|
\ .
| |
=
|
\ .

2
4
6
8
4 2
2
6 2
2
2
8 2
3
2
2
2
n par
x q
x p q p q
x p q p q
x p q p q
n
x p q

=
| |
= + = +
|
\ .
| |
= + = +
|
\ .
| |
= + = +
|
\ .
| |
= +
|
\ .

Logo conclumos que a funo recursiva dada por:
1
:
2
2
:
2
n
n
n
n
n mpar x p q
x
n
n par x p q
| |
=
|
\ .
=

| |

= +
|

\ .
, com
1
x p =
e
2
x q =
.

6) Calcular:
a)
4
1
n
k
k
=

Soluo:
A idia para solucionar este exerccio dada na Unidade 5 pgina 9 Somas
polinomiais.
Devemos partir de:
5 5 4 3 2
( 1) 5 10 10 5 1 k k k k k k = + + + +

Aplicando o somatrio em ambos os lados e juntamente as propriedades, temos que:
5 5 4 3 2
1 1 1 1 1 1
[( 1) ] 5 10 10 5 1
n n n n n n
k k k k k k
k k k k k k
= = = = =
= + + + +


Da teoria e dos exerccios temos que:
2
1
( 1)(2 1)
6
n
k
n n n
k
=
+ +
=

,
1
( 1)
2
n
k
n n
k
=
+
=

,
1
1
n
k
n
=
=

. No temos a expresso
3
1
n
k
k
=

, todavia
usando a mesma idia inicial, isto :
4 4
( 1) k k
, chegamos seguinte expresso:
2
4 3 2
3
1
2 ( 1)
4 2
n
k
n n n n n
k
=
+ + + | |
= =
|
\ .

Logo temos que:
5 5 4 3 2
1 1 1 1 1 1
[( 1) ] 5 10 10 5 1
n n n n n n
k k k k k k
k k k k k k
= = = = =
= + + + +


2
5 4
1
( 1) ( 1)(2 1) ( 1)
( 1) 1 5 10 10 5
2 6 2
n
k
n n n n n n n
n k n
=
| |
+ + + + | | | | | |
+ = + + + + |
| | |
|
\ . \ . \ .
\ .

Desenvolvendo e simplificando esta igualdade chegamos em:
4 4 3 2
1
(6 15 10 1)
30
n
k
n
k n n n
=
= + +

b)
2
2
1
1
n
k
k
=

Soluo:
Observe que:
2
2 2
1 1
1 ( 1).( 1)
n n
k k
k k k
= =
| |
=
|
+
\ .

. Vamos tentar encontrar A e B tais que:
2 2
1
( 1).( 1) 1 1
n n
k k
A B
k k k k
= =
| | | |
= +
| |
+ +
\ . \ .


Resolvendo um sistema de equaes encontramos A = -1/2 e B = 1/2. Logo temos que:
2
2 2 2 2 2
1 1 1/ 2 1/ 2 1 1
1 ( 1).( 1) 1 1 1 1 2( 1) 2( 1)
n n n n n
k k k k k
A B
k k k k k k k k k
= = = = =
| | | | | | | |
= = + = + = +
| | | |
+ + + +
\ . \ . \ . \ .

Desenvolvendo este somatrio temos que:
2
1 1 1 1 1 1 1 1 1 1 1 1 1 1
...
2( 1) 2( 1) 6 2 8 4 10 6 2( 1) 2( 3) 2 2( 2) 2( 1) 2( 1)
n
k
k k n n n n n n
=
| |
+ = + + + + + + +
|
+ +
\ .

Desta forma observamos que sobraro os dois primeiros termos positivos e os dois ltimos
termos negativos, isto :

2
2
2
1 1 1 1 1 3 2( 1) 2 3 2
1 2 4 2 2( 1) 4 4 ( 1) 4 ( 1)
n
k
n n n n
k n n n n n n
=
+ + | |
= + + = =
|
+ + +
\ .