O documento apresenta exercícios sobre indução e recorrência. Nos exercícios de indução, demonstra-se a validade de fórmulas matemáticas por meio de raciocínio indutivo. Nos exercícios de recorrência, caracterizam-se sequências definidas recursivamente e resolvem-se equações envolvendo recorrências de primeira e segunda ordem.
O documento apresenta exercícios sobre indução e recorrência. Nos exercícios de indução, demonstra-se a validade de fórmulas matemáticas por meio de raciocínio indutivo. Nos exercícios de recorrência, caracterizam-se sequências definidas recursivamente e resolvem-se equações envolvendo recorrências de primeira e segunda ordem.
O documento apresenta exercícios sobre indução e recorrência. Nos exercícios de indução, demonstra-se a validade de fórmulas matemáticas por meio de raciocínio indutivo. Nos exercícios de recorrência, caracterizam-se sequências definidas recursivamente e resolvem-se equações envolvendo recorrências de primeira e segunda ordem.
1. Demonstre, por induo, a validez das seguintes frmulas:
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Resolvendo a equao do 2 grau temos:
Substituindo na igualdade encontrada, tem-se:
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Logo vlida para todo .
2. Demonstre, por induo, a validez das seguintes frmulas:
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Dividindo o polinmio pelo polinmio temos:
Desta forma temos na igualdade anterior:
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Dividindo o polinmio pelo polinmio temos:
Desta forma temos na igualdade anterior:
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Fatorando a expresso temos:
Substituindo na igualdade anterior tem-se:
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Dividindo o polinmio pelo polinmio temos:
Substituindo na igualdade anterior tem-se:
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Resolvendo a equao do 2 grau temos:
Substituindo na igualdade encontrada, tem-se:
Logo vlida para todo .
3. Mostre, por induo, a validez das seguintes frmulas:
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Logo vlida para todo .
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Logo vlida para todo .
4. Sejam e nmeros reais distintos. Mostre que para todo vale a igualdade:
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Logo vlida para todo .
5. Se , mostre que, para todo , vale a igualdade:
Neste exerccio usaremos o fato de que
Suponhamos que seja vlida para algum . Provaremos que tambm ser vlida.
Agora iremos desenvolver o segundo membro da igualdade:
Logo vlida para todo .
6. Para todo , mostre que nos inteiros: a) divide
Suponhamos para algum , saibamos que . Logo existe um nmero inteiro tal que . Provaremos que existe um inteiro tal que .
Logo divide para todo . b) divide
Suponhamos para algum , saibamos que . Logo existe um nmero inteiro tal que . Provaremos que existe um inteiro tal que .
Logo divide para todo .
c) divide
Suponhamos para algum , saibamos que . Logo existe um nmero inteiro tal que . Provaremos que existe um inteiro tal que .
Logo divide para todo .
7. Mostre que: a)
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Como ento . Logo temos:
Logo para todo .
b)
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Como ento . Logo temos:
Logo para todo .
c)
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Como ento . Logo temos:
Logo para todo .
8. Mostre que a sequncia de Fibonacci satisfaz as seguintes identidades:
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Logo para todo .
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Logo para todo .
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Logo para todo .
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Logo para todo .
9. Prove que
Suponhamos que seja verdadeira para algum . Provaremos que tambm ser vlida.
Logo para todo .
Exercios sobre Recorrncia
1. Para a sequncia definida por , determine .
2. Seja o nmero mximo de regies em que retas podem dividir o plano. Caracterize recursivamente. O nmero mximo de regies determinado quando, para cada , a reta intersecta as retas j existentes. Neste caso, a nova reta subdivide regies, criando assim novas regies. Logo o nmero mximo de regies determinado por retas satisfaz
3. Prove que uma recorrncia de primeira ordem, , com uma condio inicial , tem sempre uma e s uma soluo. i) para , temos:
Suponhamos que esteja bem definida. ii) Como o valor para tambm est bem definido. Logo pelo P.I.F. o valor de est bem definido para todo natural .
4. Prove que uma recorrncia de segunda ordem , com condies iniciais e , tem sempre uma soluo nica. Para , tem-se : ; Para , tem-se : . Suponhamos que e estejam bem definidas. Ento como o valor de tambm est bem definido. Logo pelo P.I.F. o valor de est bem definido para todo natural .
5. Se e , determine .
6. Se e , determine .
7. Seja o nmero mximo de regies em que crculos podem dividir o plano. Caracterize recursivamente. O crculo subdividido em no mximo arcos pelos j existentes. Cada um destes arcos subdivide uma regio existente, determinando assim novas regies. Logo temos:
8. Determine o nmero mximo de regies em que retas podem dividir o plano.
Somando membro a membro as equaes temos:
9. Quantas so as sequncias de termos, todos pertencentes a , que possuem um nmero mpar de termos iguais a ?
1 elemento igual a 1 1 elemento igual a 0
10. Quantas so as sequncias de termos, todos pertencentes a , que possuem um nmero mpar de termos iguais a ?
1 elemento igual a 1 1 elemento igual a 2 1 elemento igual a 0
Somando membro a membro as equaes temos:
11. Determine o nmero mximo de regies em que crculos podem dividir o plano.