Aula 03 de Anlise Matemtica

Lista de Exerccios 1
Prof. MSc. Ismael Lins
_____________________________________________________________________
PROBLEMAS RESOLVIDOS
_________________________________________________________________________________________

Problema 1. (a) Verifique que vale a formula

(
para

(b) Prove por induo que a formula vale para todo

__________________________________________________________________________________
Soluo. (a) Exerccio.
(b) A igualdade a demonstrar pode ser reescrita em termos de somatrio, de modo que
( )

, ento temos que verificar que ( ) verdadeira. De fato

(Base de Induo) Aqui,

J pelo lado direito, temos

. Portanto, a equao valida e ( ) verdadeira.

(Hiptese de Induo) Suponha que ( ) verdadeira. Temos que provar que (

verdadeira, usando

( ) de algum modo. Vale a pena comparar as duas expresses para termos

ideia do que podemos fazer. Assim:

( )
(

(
(

Comparando as duas, vemos que s precisamos somar (

)(

seja:
(

)(

em ambos os lados de ( ), ou

)(

)(

)(

)(

Da, P(n+1) verdadeira. Logo ( )

)
(

)(

(
(

)(
)(

)
)

). Portanto, a frmula vale para todo

_________________________________________________________________________________________

Problema 2. Prove que

para todo

_________________________________________________________________________________________

e ( ) verdadeira porque

Base de induo.

( )
. Temos que provar que (

Hiptese de Induo. Suponha que

, usando ( )

por hiptese. Comparando as duas desigualdades percebemos que para obter o lado esquerdo de
(

) porque (

) basta multiplicar ambos os lados de ( ) por(

(

)
(

) e assim, a afirmao valida para todo

para todo . Portanto, ( )

Pois

.
_________________________________________________________________________________________

Problema 3. Sejam
sequncia real (

nmeros reais qualquer. Uma progresso geomtrica de razo

) definida por

para todo natural . (a) Prove por induo a frmula do termo geral da pg em funo de

(b) Seja

a soma finita dos n primeiros termos da pg. Prove que, se

vale
para todo

___________________________________________________________________________________

(a) Base de Induo. A frmula vale para

pois

Hiptese de Induo. Suponha que para algum

temos que

( )
verdadeira. Temos que podemos concluir que
(

tambm verdadeira, a partir de ( ). Pela definio de p.g., temos que

Por hiptese, temos que

, logo
(

Portanto ( )

(b) Base de Induo.

), o que garante que a frmula vlida para todo n.

( ) verdadeira, pois

Suponha que

. Temos que usar essa hiptese para provar que

Primeiramente, observe que

. De acordo com (a), sabemos que

Ento

)
(

o que prova que ( )

(
)

), encerrando a demonstrao.

___________________________________________________________________________________
Problema 4.

A conhecida frmula de Euler relaciona a

exponencial complexa

e o nmero complexo

. Demonstre, usando o princpio da induo, a frmula de

Moivre
(

___________________________________________________________________________________
Demonstrao. A frmula vale para
(

pois

( )

( )

Suponha que a frmula vale para , ou seja,

(

Temos que provar que

(

Ento
(

)(

) (

Distribuindo a multiplicao do lado direito, onde

(

))

, temos

))

))

Agora, usamos a adio de arcos para o seno e o cosseno:

(

)
(

Logo, ( )

(
)

)
(

), o que prova a afirmao para todo

)
.

___________________________________________________________________________________
Problema 5. Mostre que o nmero de diagonais de um polgono de
(

lados

___________________________________________________________________________________
Demonstrao. Temos que provar que
( )

 verdadeira para todo

Base de induo. A frmula vlida para

pois um tringulo tem 0 diagonais.

Hiptese de induo. Suponha que qualquer polgono de

Considere um polgono P de
ordenadamente. Seja

lados possui

lados e sejam

os vrtices desse polgono

o polgono construdo conectando os vrtices

(

lados e por hiptese, tem

diagonais.

. Ento

tem

diagonais.

Assim, o total de diagonais de P ser dado por

a) Todas as diagonais de P (hiptese de induo)
b) As diagonais de

a todos os vrtices no adjacentes a ele

c) A diagonal de

Ento,
(
(

Agora,

)(

)
)

), logo
(

Portanto ( )

)(

), e assim a frmula vlida para todo

___________________________________________________________________________________
*

Problema 6. Seja
possui

+ um conjunto com

elementos. Prove que para todo

subconjuntos.

___________________________________________________________________________________
Temos que provar que
( )
verdade para todo
(Base de induo) Se

.
.
* + unitrio, ento ( )

* * ++, logo

tem 2 subconjuntos e P(1)

verdadeira.
Hiptese de induo. Seja
*

+ um subconjunto de

+ um conjunto com
com

elementos. Considere

elementos. Pela hiptese de induo,

subconjuntos. O total de subconjuntos de X ser

tem

Todos os subconjuntos de X (hiptese de induo)

O unitrio *

Todas os duplas *

Todas as triplas {

+
+

+ (

)
(

-upla *

Segue-se da que

+ (

ter
( )

O que mostra que

( )

( )

( )

), encerrando a demonstrao.

_________________________________________________________________________________________