P. 1
Análise Matemática ID - Exercicios Resolvidos

Análise Matemática ID - Exercicios Resolvidos

|Views: 513|Likes:
Published by Rita Gameiro

More info:

Published by: Rita Gameiro on Nov 07, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/31/2013

pdf

text

original

.

,

.>

1.4 Exercicios Resolvidos

19

1.4 Exercfcios Resolvidos

1.4.1 Nocoes Topo16gicas

vx2 - 4x + 3

1. Considere £I, expressfio designatoria definida, no eonjunto dos rnimeros reais, por e

log(» + 2)

scja A 0 seu dominic, Considere 0 seguinte subeonjunto de R:

B = {x E lR; Ix -11 < 3}.

(a.) Apresentando todos os calculos, escreva A c B como uniao de intervalos,

(b) Determine 0 conjunto dos pontes interiores e 0 derivado de B e a fronteira de An B.

2. Considere os conjuntos A e B definidos por

(a) Exprima A e B como uniao de intervalos.

(b) Determine 0 interior de AU B, os rninorantes de An Be os pontos de acumulacao de B.

1

3. Considere a expressao deslgnatoria definida, no eonjunto dos numeros reais, por log(x2 _ 9) e soja

A 0 seu dominio. Considere 0 seguinte subconjunto de ffi.;

B = {x E R; Ix + 11 < I}.

(a) Apresentando todos os calculos, esereva A e B como uniao de intervalos.

(b) Determine a fronteira de Au B. Avetigiie se Au Be urn eonjunto aberto. Justifique,

4. Considere os conjuntos A e B definidos por

7r

A = {x E lR.; larctg(x)I ;::::"4} e B = {x E lR.; (x -l)(x + 3) SO}.

(a) Exprima A e B como unifio de intervalos.

(b) Determine 0 interior, a frontcira, os majorantes, os minorantes e os pontes de acumulacao de AnB.

~ C id - desi ,. d f id . . dos rni . 10g(x2 - 3x + 2)

0. onsi ere a expressao esignatorra e 1111 a, no conjunto as numeros rears, por sr=:»

v9 _x2

e seja A 0 seu domfnio. Considere a seguinte subconjunto de lR.:

B = {x E R: 0 < Ix + 11 S 4}.

(a) Apresentando todos os calculos, escreva An B como uniao de intervalos.

(b) Determine 0 conjunto dos pontos interiores c 0 derivado de B e a fronteira de An B.

arcsen{2x - 3)

6. Considere a expressao designatoria definicla, no conjunto dos mimeros reais, por e

log(x2 - 1)

scja A 0 seu dominic. Considere 0 seguinte subconjunto de R:

B={xER: l;/2xl SV6}.

(a) Apresentando todos os calculos, escreva An B como uniao de intervalos.

_,

20

1. Nocoes Topo16gicas, Inducao Matematica e Sucessfies

(b) Determine, justificando, 0 conjunto dos pontes fronteiros de An B. Averigue se 0 conjunto A n B e feehado.

RESOLUQAO

1. (a) 0 conjunto A 6 0 conjunto dos valores de x para os quais a expressao faz sentido, isto 6,

Usando a formula resolvente para a equacfio de gran 2 temos

Os mimeros 1 e 3 dividem a recta em tres intervalos; 1 - 00,1[, ]1,3[ e ]3, +00[. Em cada urn desses intervalos 0 produto (x - 1)(x - 3) toma 0 sinal que sc pode ver na Figura 1.16, portanto,

(x - l)(x - 3) 2: 0 {::} x::::; 1 V x 2: 3.

+ + + + + + + + +0 ---------------- 0+ + + + + ++ ++

3

Figura 1.16

Como log(x + 2) -j. 0 {::} x + 2 -j. 1, ternos (ver Figura 1.17)

A = {xE~:(xS;IVx2:3) Ax>-2 A x-j.-l}

= (] - 00, 1] U [3, +oo[) n ]- 2, +oo[ n ( ] - co, -1[ U ] - 1, +oo[ )

]- 2, -1[ U ]- 1, I[ U [3, +co[.

3

-2 -1

Figura 1.17

Sabemos que Ix -11 < 3 {::} -3 < x-I < 3 {::} -2 < x < 4, portanto, B =l : 2,4[.

(b) Scja a E B. Seja e = min(a + 2,4 - a). A vizinhanca de a, ]a - s, a + e] esta contida em B (ver Figura 1.18), portanto, a E int(B). Podemos afirrnar que int(B) = B =l - 2,4[.

a+24-a

-2 ~ 4

Figura 1.18

o derivado de B, B', 60 conjunto dos pontes de acumulacao de B. Neste caso, B' = [-2,4].

.\

.\

1.4 Exercicios Resolvidos

21

------------~a---c---e~----_.. ~

-2 -I 1 3

-2

4

Figura 1.19

Determinemos 0 conjunto An B (vcr Figura 1.19.

An B = (] ~ 2,-1[ U ]-1, 1[ U [3, +=[) n] - 2,4[=]- 2,-1[ U ]-1,1[ U [3,4[.

A fronteira e 0 conjunto jr(A n B) = {-2, -1,1,3, 4} porque sao estes os tinicos pontes tais que todas as vizinhancas intersectam 0 conjunto An B eo sen complementar.

2. (a) 0 conjunto A pode escrever-se como

A expressdo x2 - 1 e urn caso notavcl da multiplicacao:

x2 - 1 ~ 0 ¢} (x - 1)(x + 1) ~ 0

Os mirneros -1 e 1 dividem a recta em tres intervalos: ]- 00, -1[, ]- 1, 1[ e ]1, +=[. Em cada urn desses intervalos 0 produto (x - l)(x + 1) toma 0 sinal que se pode ver na Figura 1.20, portanto,

(x-1)(x+1) 2: a <=}x':::; -1 Vx 2: 1.

+ + + +++ + + + 0----------------0 ++++++++ +

-1

Figura 1.20

Finalmente,

A {XElR:x':::;-lVx?l Ax#O Ax#2 Axf-2}

(]-oo,-l]U[l,+=[) \{-2,O,2}

= ]- 00, -2[ U]- 2, -1] U [l,2[ U ]2, +=[

c

B {x E IR : -1 < x2 - 1 < 1} = {x E lR : x2 > 0 1\ x2 - 2 < a}

{x E lR : x f a 1\ (x - J2)(x + .J2) < O}

1 - V2, J2 [\{o} =]- J2,o [u 10, J2[

..

22

1. Nocdos 'I'opologicas, Inducao Matematica e Sucessoes

+++++++++0----------------0+++++++++

-fi

Figura 1.21

(b) Determinemos os conjuntos An Be AU B (ver Figura 1.22).

AnB

(j-00,-2[Uj-2,-lj U[I,2[Uj2,+00[) n (j-\I"2,O[Uj o,v'2[) j - \1"2, -1[ U ]1, \1"2[.

AuB

( j - 00, -2[ U j - 2, -1] U [1, 2[ U ]2, +oo[) U (j - \1"2,0 [u j 0, v'2[ ) ]- oc, ~2[ U]- 2,0[ U ]0, 2[ U J2, +co[.

------------~--~=~--------------.

-2 -1 I 2

Figura 1.22

o conjunto dos minorantes de An Be 0 conjunto ] ~ 00, -v'2j, 0 interior de Au Be AU Be

o dcrivado de B e [~vIz, viz].

3. (a) 0 conjunto A eo conjunto dos valores de x para os quais a expressao faz sentido, isto e,

A expressao x2 - 9 e urn caso notavel da multiplicacao:

x2 - 9> o {:} (x + 3)(x ~ 3) > O.

Os rnimeros -3 e 3 dividem a recta em tres intervalos: j- 00, -3[,]- 3, 3[ e ]3, +00[. Em cada urn desses intervalos 0 produto (x + 3)(x - 3) torna 0 sinal que se pode vcr na Figura 1.23, portauto,

(x + 3)(x - 3) > 0 ¢} x < -3 V x> 3.

++++ + + + + + 0----------------0 + +++ + +++ +

-3

3

Figura 1.23

1.4 Exercicios Resolvidos

23

Como log(x2 ~ 9) "I- 0 {:} x2 - 9 "I- 1 {:} x2 "I- 10 {:} x "I- v'TO/\ x "I- -v'TO, temos

A {xEIR:(x<-3Vx>3) t\x"l-JIG /\ x"l--JIG}

( ] - oc, -3[ U ]3, +=[) \ { -JIG, v':ill}

I ~ oo, -JIG[ U ] - JIG, -3[ U ]3, JIG[ U ]VIO, -l-oc].

Sabemos que Ix + 11 < 1 {:} -1 < x + 1 < 1 {:} -2 < x < 0, portanto, B =l : 2, 0[. (b) Determinemos 0 conjunto Au B:

AUB = (]- oo,-ViO[ u]- vlo, -3[ U ]3, vIo[ u lVlo,+=[) U]- 2,0 [.

------------_~r-------O_~:~----------~,

--Jf5 -3 3 -JTO

-2 0

Figura 1.24

Os pontes fronteiros de Au B formam 0 conjunto {-.ff5, -3, -2,0,3, VTIi}. Como nenhum dos pontes fronteiros pertence a A U B podcmos concluir que int(A U B) = Au B, ou seja, a conjunto e aberto.

4. (a) 0 conjunta A pade escrever-se como

A = {x E R: arctg(x) ~ ~ V arctg(x) ::; -t}

{xEIR:x2:1 Vx::;-1}

= 1- co, -1] U [1, +oo]

--------------l!". --------------.

2

-4

2

4

-2 -I) ) )

-K

------------2tl-~------------

Figura 1.25 0 grdfico da timgiia arctg(x).

Os nurneros -3 e 1 dividem a recta em tres intervalos: ]- oc, -3[, ]- 3, 1[ ell, +=[. Em cada urn desses intervalos 0 produto (x - 1)(x + 3) toma 0 sinal que se pode ver na Figura 1.26, portanto,

(x - 1)(x + 3) ::; 0 {:} -3::; x ::; 1.

_,

24

1. Nococs Topol6gicas, Induciio Matematrca e Sucessoes

+ + + + + + + ++0 "----"----------0 ++ + +++ + + +

"3

1

Figura 1.26

Ternes B = [-3,1].

(b) 0 conjunto An B = [-3, -1] U {I}. 0 conjunto dos majorantes de An Bel - 00, -3], 0 conjunto dos minorantes e [I, +00[, a Ironteira e {-3, -1,1}, 0 interior e]- 3, -1[ C 0 derivado e [-3, -1].

5. (a) 0 conjunto A e 0 conjunto dos valores de x para os quais a. expressao faz sentido, isto e,

A = {:r; E R : :l? - 3x + 2 > 0 1\ 9 - x2 > O}

A expressiio 9 - x2 e urn caso notavel da multiplicacfio

9 - x2 > a <* x2 - 9 < 0 {:} (x + 3)(x - 3) < O.

Os mirneros -3 e 3 dividem a recta em tres intervalos: ]- 00, -3[, ]- 3, 3[ e ]3, +00[. Em cada urn dcsses intervalos 0 produto (x + 3)(x - 3) toma a sinal que se pode vcr na Figura 1.27, portanto,

(x + 3)(x - 3) < 0 {:} -3 < x < 3.

+ + + + + +++ + 0----------"-----0 ++ + + + ++++

-3

3

Figura 1.27

AMm disso, usando a rormula resolvente, temos

x2 - 3x + 2> 0 {:} (x - 1)(x - 2) > O.

Os rnimeros 1 e 2 dividem a recta em tres intervalos: ] - 00,1[, J1,2[ e ]2, +00[. Em cada urn desses intervalos 0 produto (x - l)(x - 2) toma 0 sinal que se pode vcr na Figura 1.28, portanto,

(x - 1)(x - 2) < 0 <* x < 1 V x> 2.

Podemos conduir que

A =l - 3, 3[ n ( 1 - 00, 1[ U ]2, +oo[ ) =l - 3,1 [ U ]2,3[.

+ + + + + + + -i- + 0 - - - - - -' - " - - - - - - - - 0 + + + + + + + + +

2

Figura 1.28

Sabemos que 0 < Ix + 11 :S 4 {:} -4 :::; x + 1 :S 4 1\ x + 1 =f. 0 ¢? -5 :::; x :::; 3 1\ x =f. -1, portanto, B = [-5, -1[ u J - 1,3]. Assim,

AnB= (j-3,1[Uj2,3[) n ([-5,-1[U]-l,3J) =]-3,-I[U]-1,1[U]2,3[.

.'

1.4 Exercicios Resolvidos

25

(b) O-conjunto dos pontes intoriores de Be] ~ 5,~1[ U l~ 1,3{, 0 derivado de B e [~5,3] e a fronteira de A n Be 0 conjunto {~3, ~1, 1,2, 3}.

6. (a) 0 conjunto A e 0 conjunto dos valores de x para os quais a expressao faz sentido, isto e,

A = {x E 1R : ~ 1 :s; 2x ~ 3 :S' 1 /\ x2 ~ 1 > 0 '/\ log(x2 - 1) # O}

A expressjio x2 ~ 1 e um caao notavel da rnultiplicacao:

x2 ~ 1 > 0 {:} (x + 1)(x -1) > O.

Os mimeros -1 e 1 dividem a recta em tres intervalos: ]- 00, -1[, ]- i.r] e ]1, +00[. Em cada urn desses intervalos 0 produto (x + l)(x - 1) toma 0 sinal que se pode ver na Figura 1.29, portanto,

(x + l)(x -1) > 0 {:} x < -1 V x> 1.

++++++++ +0 ----------------0 + + + + ++++ +

-1

Figura 1.29

A = {xElR:l:S'x:S;2 II. (x>IVx<-l) II. x2#2}

= {x E 1R: 1 :s; x :s; 2 II. (x> 1 V x < -1) /\ x # -v"i II. X # v"i}

( ]- 00, -l[ U ]1, +oo[) n [1,2] n (]- 00, -v"i[ U ]- v"i, v"i[ U ]v"i, +oo[) ]1, v"i[ U ]v"i, 2[.

Como Iv"ixl :S' v'6 {:} Ixl :S' V3 {:} -V3 :s; x :s; v3, portanto, B = [~V3, V3]. Determinemos A n B.

An B = ( 11, J2[ U 1J2, 2[) n [-v'3, v'3] = ]1, J2[ U ]v'2, v'3[.

(b) A fronteira de AnB eo conjunto {l,,/2, v''3}. Como os elementos da fronteira nao pertencem a An B, este conjunto nao e fechado.

_,

26 1. No<;oes Topo16gicas, Indu<;ii.o Matematica e Sucessoes

1.4.2 Iriducao Matemafica

1. Prove, pelo metodo de inducao matematica, que

(a) 2 + 4 + 6 + ... + 2n = n2 + n, Vn E N;

1 1 1 1 1

(h) - + - + - + ... + - = 1 - - 'in E N'

2 4 8 2" 2n' ,

111 1

(c) --+--+--+ ... +---

lx2 2x3 3x4 n(n+I)

n

--, VnEN. n+I

2. Prove, pelo metodo de inducso matemritiea, que

n 1 n

(a) L 4k2 -1 = 2n + i ' Vn E N;

k=l

n. (k k-1)

(b) L 3'" - 3"'-1 = n3-n, 'in E N;

k=l

(c) IT (2k - 1) = ~2:2!!, Vn E N.

k=l

3. Prove, pclo metodo de inducao matematica, que

(a) 5 e factor de 24n-2 + 1, 'in E N; (b) 42n - 1 e divisfvel por 5, "tn E N; (c) 3n > 2n + lOn, Vn 2: 4;

'i

Cd) 12+22+ ... +(n-l)2<~,"tnEN;

~ (n+ 1)2

(a) Lk < 2 ' Vn E N.

k=1

4. Seja i tal que i2 = -1. Mostre, por inducao, que

(1 +i)n nll'

(a) 1- i = cis ("'2)' "tn E N.

(b) (-san(a) + i cos(a))n = cis(n( i + a)), "tn EN. 4n 1

(c) L"* = 0, "tn E N.

10=12

RESOLUQAO

1. (a) Vamos rnostrar, usando 0 Principio de Inducao Matematica, que 2 + t1 + 6 + ... + 2n = n2 + n, Vn E N. Seja pen) a proposicao anterior. Ve-se facilmente que pel) e verdaclcira.: 2 x l = 12+ 1. A hipotese de inducso e

2 +4+6 + ... + 2n = n2 +n

e a tese de indugao e

2 + 4 + 6 + ... + 2n + 2( n + 2) = (n + 1)2 + n + 1.

.,

1.4 Exercicios Resolvidos

27

Entao

portanto, a propoaicao pen + 1) e valida. Pelo Princlpio de inducao podemos concluir que

2 + 4 + 6 + ... + 2n = n2 + n, 'In E N.

(b) s r. t d Pri ,. dId - M ' . 1 1 1 1 1 1

vamos mos rar, usan 00 nncipio e n ucao aternatica, que -+-+-+ ... +- = --,

2 4 8 2n 2n

1 1

'In EN. Seja pen) a proposiciio anterior. Ve-se facilmente que pel) e verdadeira: 2 = 1 - 2·

A hipotese de inducao e

1 1 1 1 1

-+-+-+···+-=1-- 2 4 8 2n 2n

e a tese de inducao 6

1 1 1 1 1 1

- + - + - + ... + - + -- = 1 - --.

2 4 8 2n 2,,+1 2n+1

Entao

portanto, a proposicao pen + 1) e valida, Pelo Princfpio de lnducao podemos concluir que

1 1 1 1 1

- + - + - + ... + - = 1 - - 'In E N.

2 4 8 2n 2n'

(c) Vamos mostrar, usando 0 Principio de Inducao Matematica, que

1 III n

--+--+--+ ... + =--

1 x 2 2 x 3 3 x 4 n(n + 1) n + 1

1 1

'In E N. Seja pen} a proposicao anterior. Ve-se facilmente que pel) e verdadeira: -

1 x 2 2

A hipotese de inducao e

1 1 lIn

--+--+--+ ... + =-- 1 x 2 2 x 3 3 x 4 n(n + 1) n + 1

e a tese de inducao e

1 1 1 1 1 n+l

--+--+--+ ... + + =--.

lx2 2x3 3x4 n(n+l) (n+l)(n+2) n+2

Entao

1 1 1 1 1

-- + -- + -- + ... + + ..,..---,-,---,..

lx2 2x3 3x4 n(n+l) (n+l)(n+2)

n 1 n(n+2)+1 (n+l)2

--+ = =..,...--=---...,..,..-=----..,..

n+l (n+l)(n+2) (n+l)(n+2) (n+l)(n+2)

n+l

=

n+2'

portanto, i:l. proposicao pen + 1) e valida, Pelo Principio de induciio podernos concluir que

1 1 lIn

--+--+--+ ... + = --, VnEN.

1 x 2 2 x 3 3 x 4 n(n + 1) n + 1

28

1. Nocoos Topol6gicas, Inducdo Matemat.ica e Sucessocs

2. (a) Vamos mostrar, usando 0 Principia de Inducao Matematica, que

n 1 n

I: 4k2 _ 1 = 2n + l' Vn E N.

k=1

Seja pen) a, proposicao anterior. Verifiquernos que pel) e verdadeira:

1 1 1 1 1

L 4k2 - 1 = 4 X 12 - 1 = 3' = 2 x 1 + 1 .

k=l

A hipotese de inducao e

n 1 n

I: 4k2 - 1 = 2n + 1

1.:=1

e a tese de induc;:ao e

Entjio

n 1 1 n 1

L 41;;2 - 1 + 4{n + 1)2 - 1 = 2n + 1 + (2(n + 1) -1)(2(n + 1) + 1)

1.:=1

n 1 n(2n + 3) + 1 2n2 + 3n + 1

--- + = = ..,..-----::--:------:-

2n + 1 (2n + 1)(2n + 3) (2n + 1)(2n + 3) (2n + 1)(2n + 3)

(n+l)(2n+1) n+1

(2n + 1)(2n + 3) 2n + 3

portanto, a proposicao pen + 1) e valida, Pelo Principia de induc;:ao podemos concluir que

n 1 n

L41;;2-1 = 2n+l' VnEN.

k=l

(b) Vamos mostrar, usando 0 Princfpio de Indueiio Matematica, que

n (k k-l)

L 31.: - 3k-1 = n3-n, \:In E N.

A:=l

Seja pen) a proposicao anterior. Verifiquemos que pCl) e verdadeira:

A hipotese de inducao e

n (k k-1)

L 31.: - 31.:-1 = n3-n

1.:=1

e a. tese de induciio e

.'

1.4 Exercfcios Resolvidos

29

Entaa

11.+[ (k k - 1)

I: 3k - 3k-1

k=l

~(k k-l) (n+l n)

~ 3k - 3k-1 + 311.+1 - 3"

-n (n+ 1 n)

n3 + 311.+1 - 311.

portanto, a proposicao p( n + 1) e valida, Pelo Principio de inducao podemos concluir que

(c) Vamos mostrar, usando a Principia de Inducao Matematica, que

11. (2n) 1

II (2k - 1) = ~, Vn E N. 2 n.

k=l

Seja pen) a proposicao anterior. Verifiquemos que p(l) e verdadeira:

1 2 xl

11(2k -1) = 2 x 1- 1 = 1 = -1-' 2 x 11

k=l

A hipotese de inducso e

lIn (2k _ 1) = (2n)1

k=l 2nn1

e a tese de induciio e

n+l (2(n + 1))1

rr (2k - 1) = 1 ( •

k=l 2M n + 1)1

Entao

11.+1

II (2k -1)

k=l

(g(2k-l)) (2(n+l)-1) = ~n~i· (2n+1)

(2n+l)1 (2n+2)(2n+1)1 (2n+2)!

= =--~--~--

2nn1 (2n + 2) 2n+1n1 (n + 1)

=

(2(n + 1))! 2n+1(n + 1)1

portanto, a proposicao pen + 1) e valida, Pelo Princfpio de inducao podemos concluir que

rrn (2k _ 1) = (2n) 1 Vn E N.

2nn1 ' k=l

..

.,

30

1. Nocoes Topo16gicas, Inciucao Maternat.ica e Sucess5es

3. (a) A proposicao "5 e factor de 247<-2 + 1, Vn EN", eequivalente a " 24n-2 + 1 e multiple de 5, VnEN.

o mimero 24n-2 + 1 e multiple de 5 se existir urn rnimero inteiro positive k tal que 2,ln-2 + 1 = 5k.

Substituindo n por 1 na expressao 24n-2 + 1 obtcmos 22 + 1 = 5 x 1, portanto a propriedade e valida para n == 1.

A hipotese dc inducao e

3k EN: 24n-2 + 1 = 5k.

A tese de inducao e

3k' EN: 24(11.+1)-2 + 1 = Sk'.

Ternes

Seja k' = 24 k - 3. Como k' E N podemos dizer que 24(71+1)-2 + 1 = Sk'

Pelo Principio de inducao podemos concluir que 24n+2 + 1 e multiple de 5, Vn E N.

(b) Provemos POl' lnducao que 4271 - 1 e rmiltiplo de 5, Vn EN.

o numero 42n -1 e rmiltiplo de 5 se existir urn mimero inteiro positive k tal que 42n -1 = 5k. Substituindo n por 1 na expressao 42n - 1 obtcmos 42 + 1 = 5 x 3, portanto a propriedade e valida para n = 1.

A hipotese do inducf,o e

::Ik EN: 42n - 1 = 5k.

A tese de inducao e

::Ik' EN: 42n+2 - 1 = Sk'.

Temos

Seja k' = 42 k + 3. Como k' E N podemos dizer que 24(n+1)-2 + 1 = 5kl

Pelo Princfpio de inducao podemos concluir que 4211. - 1 e rmiltiplo de 5, Vn E N. (c) Vamos mostrar, usando 0 Princfpio de Inducao Matematica, que

3n 2: 2"" + lOn, Vn;:::: 4.

Seja p(n) a proposicao anterior. Comecemos par verificar que p(4) e verdadeira. Substituindo n par 4 obtemos 34 = 81 2: S6 = 24 + 40 que e uma proposicao verdadeira, A hipotese de lnducao e

_,

1.4 Exercicios Resolvidos

31

e a tese de inducao e

Entiio

> 2"+1 + IOn + 20n;:::: 2n+1 + IOn + 10 = 2n+l + 10(n + 1)

Pelo Principio de indu~ao podemos concluir que

3n ;:::: 2" + lOn, Vn 2:: 4.

(d) Vamos mostrar, usando 0 Princfpio de Inducao Matematica, que

3

2 2 2 n

1 + 2 +, .. + (n - 1) < -, Vn E N.

3

Seja p(n) a proposicao anterior. Comecemos por verificar que p(l) e verdadeira. Substituindo 1

n por 1 obtemos 02 = 0 2:: 3' que e uma proposicao verdadeira. A hipotese de inducao e

a

2 2 2 n:

1 + 2 + ... + (n -1) <- 3

e a tese de inducao e

Entao

Pelo Prinoipio de induc;;iio podemos concluir que

(e) Vamos mostrar, usando 0 Principio de Inducao Matematica, que

~k (n+ 1)2 \.I 1M Z:: < 2 ,vn E 1'1.

k=l

Seja p(n) a proposicao anterior. Comecemos por verificar que p(l) e verdadeira. Substituindo n par 1 obtemos t k = 1 < 2 = (1 ~ 1)2 que e uma proposicao verdadeira, A hipotese de k=l

induciio e

e a tese de inducao e

~ k (n+2f

L < 2

k=l

32

1. Nocoes 'I'opologicas, Inducao Matemdt.ica e Sucessdes

Entao

n2:+1k ~n k ( 1) (17.+1)2 ( 1) n2+4n+3 17.2+417.+4 (17.+2)2

= -+ 17.+ < + 17.+ = < = -"-----'--

2 2 2 2

k=l k=l

Pelo Principio de induciio podemos concluir que

n (+ 1)2

~k< 17. VnEN

L 2' .

k=l

4. (a) Vamos mostrar, usando 0 Princfpio de Inducao Matematica, que

(l+i)n (17.11")

1 _ i = cis ""2 ' \;:/17. E N.

Seja p(n) a proposicao anterior, Verifiquemos que p(l) e verdadeira:

l+i _ V2cis(%) _ ,(11" (1l'» _ • (1l')

-- - - CIS - - -- - ClS - ,

1- i V2cis(-%) 4 4 2

A hipotese de inducao 6

(l+i)n ,(n1T)

-- =CIS-

1- i 2

e a tese de inducso e

Entjio

(l+~)n+l

1-~

(l+i)n(l+i)_ ,(n7l') . ('If)

-- -- - CIS - 'CIS -

l-i l-i 2 2

= ciS(n1T+~)=ciS({n+l)11") 222

portanto, a proposicao p(n + 1) e valida, Pelo Principio de inducao podemos concluir que

(l+i)n+l = . ((n+l)7I') \.I R-.T 1 _ i CIS 2 ' vn E 1'1.

(b) Vamos mostrar, usando 0 Principia de Inducao Matematica, que

1T

(-sen(a) + i cos(a»" = eis(n( 2" + a)), Vn E N.

Seja p(n) a proposicao anterior. Verifiquemos que pel) 6 verdadeira:

1T 1l'

-sen(o:) + i cos(o:) = i (cosfo) + isen(a)) = i cis(o:) = cis( 2") . cis(o:) =cis( 2" + 0:).

A hipotese de inducso e

IT

(-scn(a) + i cos(a~))n = eis(n("2 + a))

.'

1.4 Exercicios Resolvidos

33

e a tese de induciio e

(-sen(a:) + i cos(a:)r"+l = cis«n + 1)(% + a:)).

Entao

(-sen(a:) + i cos(a:))n+l

(~sen(a) + i cos(a))7l.( -sen(a) + 'i cos(a:))

cis(n( % + a))(cis( % + a))

portanto, a proposicao pen + 1) e valida, Pelo Principio de Inducao podemos concluir que

(-sen(a) + i cos(a:))'" = cis(n( % + a)), Vn E N.

(c) Vamos mostrar, usando 0 Principio de Inducjio Matematica, que

Seja pen) a proposicao anterior. Verifiquemos que p(l) e verdadeira:

4111111 1

L -:-;; = -: + "72 + -=s + -:;j = -: - 1 - -: + 1 = O.

k=1 ~ ~ ~ t t z z

A hipotese de lnducao e

<In 1 ~--O Dik -

k=1

e a tese de indu<;iio e

411.+4 1

L -:-;;=0,

~ k=1

Entiio

471.+4 1 471. 1 1 1 1 1 1 1 1 1

L 'k = L -:-;; + '470+1 + '411.+2 + '4n+'{ + '411.+4 = -: + ':2 + ~ + -=4 = 0

z z z z z' z z z Z' Z

11:=1 k=1

portanto, a proposicao pen + 1) e valida, Pelo Prlncipio de inducao podemos concluir que

471. 1

L~ =0, VnE N.

k=1 't

34

1. Nocoes Topol6gicas, Indueao Matematica e Sucessfies

1.4.3 Sucessoes
l. Calculo, justificando, os lirnitcs das seguintes sucessocs
(a) ~n2+n+n (e) n«-l)n+vfn),
+ yin-
\Y2n4 + 1 + Vn ' 2+vn:{+ 1 '
(b) vn:i + 2n4 + 1 - n.
-2n2 + ~n2 + 3 ' n ?/n2 + 2
vn + 1 (1 + 2y'n), (f) n2 + (-1)nn ,
(c) n+ -{in ,
~1- 27nJ (g) 2n e1/n
(d) 1+4n , (-1)n+vn2+5-
2. Caleule oa limites das seguintes sucossdes
(a) (n2 -1) ". (c) Cn+l)n
n2 ' 311.+ 2 ;
(b) (4n -5r" (f) ( 2n+1)4n-2,
4n+3 ; 3--- ,
n
(c) (n+2) n+l. (g) (2n+ 5) nH.
11.+4 ' 2n+ 1 '
(2+n)n ( 2+3)n earc~g(n) .
(d) 5+ 5n ; (h) 2:2+1 3. Calcule, justificando, os lirnites das seguintes sucessoes:

3710 scn(23n + 1) 4
(a) (e) V'n?-e-n _ ( ~) n
2:in + 1 . ,
n4+1
(b) 1 nsen(n)
- cos(n + 1) log(n); (f)
n 2n.J5n3 + l'
n2+3
(c) . cos( Jna + 2); (g) Jn2 +2n- n;
nv'n3 + 2
(d) ~ \Ini- (h) 3n - 5
n., 5n+3'
n 4. Calcule, justificando, os Iimites das seguintes sucessoes:

( ) ~ sen2(n) . a Ln2+3P' k=l

5. (a) Calcule, justificando, 0 limite da sucessao an = (.J2n+ 1- v'2ri).cos2(n).

(b) Determine, justificando, 0 conjunto dos snblimitcs da sucessao bn = sen (n;) - arctg(n)

1.4 Exercicios R.esolvidos

35

6. Considere a sucessao

(a) Esereva a subsucessao dos termos de Indice par e calculc ° seu limite. (b) Esereva a subsucessao dos terrnos de indice Impar e calcule 0 seu limite. ( c) Calcule lim Un e lim Un.

(d) Tendo em eonta as alineas anteriores, que pode concluir quanto a. convergencia da sucessiio?

7. Considere a sucessao, definida por recorrencia

{ U1 = v'2

un+1 =...;ru;:, Vn E N.

(a) Prove, por inducao, que 0 < Un < 2, Vn E N.

(b) Prove que a sucessao e ereseente.

(e) Prove que a sucessiio e eonvergente.

(d) Calcule 0 limite da sucessao.

8. Considers a sucessao

{ a1 = J2

an+1 = (v'"2)a", Vn E N.

(a) Mestre, por inducao, que V2 :::; an < 2, Vn E N.

(b) Mestre, por inducac, que a sucessao e crescente.

(e) Mestre que existe a :::; 2 tal que an -} a.

9. Seja a E Jre urn mirnero positivo. Considere a sucessao de mimeros reais definida, por recorrencia,

{Xl =a

Xn

X .. +1 = 2+xn'

VnEN.

(a) Mostre, por inducao, que Xn > 0, Vn EN. (b) Mostre que a sucessao e decreseente.

(e) Mostre que a sucessao e eonvergente e ealeule 0 seu limite.

10. Seja a E Jre urn mimero positive. Considere a sucessao de nrimeros reais, definida por recorrencia,

{ Xo = 0, Xl = a

Xn+1 = Xn + X~_l' Vn E N.

(a) Mestre que a sucessao e erescente. (b) Mostre que Xn > 0, Vn E N.

(e) Mostre que se existe b E IR tal que lim z., = b, entso b = O.

(d) Tendo em conta as aline as anteriores, calcule, se existir, lim Xn.

11. Considere a sucessao de numeros reais definida, par recorrencia,

{Xl =2

Xn 1 Xn+1 = -2 +-, x.,.

VnEN.

A sucessao verifies a relacao Xn > v'2, Vn E N (admita este facto sem 0 mostrar).

·'

36

1. Nocoes Topologicas, Iriducfio Matematica e Sucessocs

(a) Mestre que a sucessao e mon6tona. (b) Mestre que a sucessao e convergente. (c) Calculc 0 limite cia sucessao.

12. Considere a sucessao de mimeros reais definida, par recorrencia,

{Xl = 3 x2 + 3

Xn+l = ;Xn ' Vn E N.

(a) Mestre, por inducao, que Xn - v'32: 0, Vn EN. (b) Mestre que a sucessiio e decrescente.

(c) Mestre que a sucessao e convergente,

(d) Calcule 0 limite da sucessao.

RESOLUQAO

f/n2+n+n

1. (a) Seja a,,,, = 4 • Vamos dividir 0 numerador e 0 denominador da fracr;:ao que define

{f2n4 + 1 +vn

a sucessao pela maior potencia de n:

~+n -V2n4 + 1 + "fii

Logo:

li 1

man. = 41<\'

~2

Como lim yin = 1 podemos concluir que

I, (fln2+n+n He) 1 1

1m + yn = -+ .

-V2n4 + 1 + "fii {/2

Rif

. +-

n

vn'J + 2n4 + 1 - n

(b) Seja an = 3~ • Vamos dividir 0 numerador e 0 denominador da fraccso que

-2n2 + vn- -r o

define a sucessao pela maior potencia de n:

vn3 + 2n4 + 1- n

vna + 2n4 + 1 - n n2

an = = ----::---'-"--:-====-

-2n2 + fin'!. + 3 _2n2 + ~

n2

2 f/n2+3 - + --6- n

Logo:

lim an = _ Vi. 2

JIll -+2+---

n n<l n

- ~.

3 1 3

-2+ -+n4 n6

1.4 Exercicios Resolvidos

37

. vn + 1 (1 + 2yTi). . . . ..

(e) SOJa an = .ifii' Vamos dividir 0 numerador eo denorninador do quocicnte que

n+3n

define a sucessao an por n elevado a maior potencia:

vnTI (1 + 2yTi)

v'n+l (1 + 2yTi) n

an = = ---....:.!!..--=,---

n+~ n+m

n

Logo:

lima" = 2.

vn+l (1 + 2yTi) ..;n..;n

--~~~=--=

1+ {f;

. ?,I- 27n:i

(d) Soja a.. = 1 +4n . Vamos dividir 0 nurnerador e 0 dcnominador do quoeiente que define

a sucessao an pOl' n elevado a maior potencia:

?,I- 27n3 f/I- 27n3 ~
-{II - 27n:i n 7
3
n -
an = =
1+4n 1+4n 1 1
-+4 -+4
ti n n Logo:

r 3

Ima'T). =-"4

(0) Seja an = n« -~). Vamos dividir 0 nurnerador eo denominador da fract;ao que define 2+ n3 + 1

a succssao pela maior potencia de n:

Logo:

lim an = 1.

(_1)" --+1

yTi

2 R

-+ 1+-

,,;n.s n3

~

(f) Seja a.. = ~ 7 ~ . Vamos dividir 0 numerador e 0 denominador da fraccao que define a n + -1 nn

sucessao pela maior potencia de n:

Logo:

lim an = o.

271. el/n 2n

(g) Seja an = ~ ~ . el/n = bn . ell". Vamos dividir 0 numcrador

(-l)n+ n2+5 (-1)71.+ n2+5

e 0 denominador da fraccao que define a sucessso b« pela maier potencia de n:

b _ 2 n = -,---,--_2----;:==

n- (-I)n+vn2+5 (-l)n+~

n

38 1. Not;6es Topologicas, IndUl;;iio Matematica e Sucessoes

Logo:

limbn = 2.

Como lim e1/n = 1 podemos concluir que

2. Nota: 0 objective no calculo destes limites e fazer aparecer urn limite da forma:

( x)n

lim 1+~ =e"'.

(a) Ternos

VnEN,

logo e evidente que:

(b) Temos

VnE N,

portanto,

( _5)0

lim an = ee:~ = 1.

(c) Temos

( 2)n+l

1 +-

·n

--4

1+n

(l+~r -: (1 + ~r . -1-+-~-'

VnEN,

portanto,

2

li e -2

rnan='4"=e. e

(d) Vamos por n em evidencia na expressao que define a sucessao:

Portanto,

lim an = lim (~)n e2 = Il.e = O. 5 e

..

1.4 Exercicios Resolvidos

39

(e) Temos
=(~)71. (3n(1+ 3~) r (l+3~ r = [(1+ 3~)'T' VnEN,
a.". 3n+2 3n(1 + 3~) ( 2 rn
1+- 1+-
3n 3n
portanto, (e) l/:t ,

lima." = e2 = e~l/a.

(f) Temos

( 2n + 1)4"~2

a.".= 3---

n

VnEN,

logo e evidente que:

(g) Temos

( 5 ) 71.+4 [ ( 5 ) 271.11/2 ( 5 ) 4

an=(2n+5)"+4= 2n(1+ 2f) 1+2r . 1+21n ,

2n+l 2n(1+-) 1+- 1+-

2n 2n 2n

VnEN,

portanto,

.' (e5) 1/2 2 lim c .. = 7 = e .

(h) Vamos por n2 em evidencia na cxpressao que define a sucessao:

( 3)n 3 n

an = ( n2 + 3 ) 71. e"rctg(n) = n2 (1 + :;::;?) e"rctg(n) = (~) n (1 + :;0) e"rctg(n)

2n2 + 1 2n2(1 + _1_) 2 (1 + _1_)71.

2n2 2n2

logo:

(1)" (e3)O

lim an = lim .; -- e",/2 = O.e",/2 = O.

2 eO

371. scn(23" + 1) 371. .

3. (a) Soja u71.'= 23 1 = 3 . sen(2'ln + I). Sabcmos que:

n+ 2"+1

o:S Iscn(n)1 :S 1, Vn E N,

portanto, a succssao sen(2:ln + 1) e uma sucessao limitada, Provemos que a sucessao 2a:: 1 e um iufini tesimo.

(3)11,

371. 3" -

lim --- = lim -- = lim 8 = O.

2311, + 1 ' 871. + 1 (1)71.

1+ -

8

.'

40

1. Nocoes TopolOgicas, Iuducao Maternat.ica e Succssoes

Podemos conduir que a sucessao dada e urn infinitesimo par ser 0 produto de urn infinitesirno par uma sucessao limitada,

(b) Vamos utilizar 0 facto de a funcao cosono ser limitada, Ternos:

Icos(n + 1)1 S; 1, 'tin E N

logo:

OS;lanl=1~cos(n+1)lOg(n)lS; lOg~n) =log(v'n), 'tInEN.

Como sabemos que:

lim loge v'n) = 0,

"->00

podemos concluir polo Teorema das Sucessoes Enquadradas que:

lim an = 0,

"->00

, n2+3

(c) Seja an = ~ cos( jn:{ + 2), Para todo n, temos : n n:~ + 2

logo, para todo 0 n:

n2 +3

o S; lanl S; Jn3+2' n n3+2

Dividindo 0 nurnerador e 0 denominador da fraccao que define a sucessiio majorante pela maior potencia de n temos:

o Teorema das Sucessoes Enquadradas permite-nos concluir que:

lim an = 0,

(d) S ' 1 "~1 ~ S' I n! E' ld bOw N

Cla an = - vn! = ,cJa )n = -, i eVl cnte que n> ,vn E '

n n"

= lim (n + 1)1 nn = lim (_::_) n =!,

(n+1)n+ln! n+1 e

Podemos concluir que lim an = ~, e

(e) Soja an = Y'n2 e-n - (n4n: 1) n4, Seja bn = n2 e-n, E evidente que bn > 0, Vn E N,

li bn+l Ii 1mb;:- = rm

(n + 1)2

en+1 = lim (n+l)2 en = ~ lim (n+ 1)2

n2 en+1n2 e n

en

1

e

1.4 Exercicios Resolvidos

41

1 Podcmos concluir que lim Vi n2 e-n = -. e

1

e

".. I' 1 1

l.cmos que Iman = - - - = O.

e e

nsen(n) (1)" n

(f) Seja an = = _. . sen(n). Sabemos que

. ' 2"V5n3 + 1 2 v5n:~ + 1

0::; Isen(n)I s 1, Vn E fiI,

n

portanto, a sucessao sen(n) e uma sucessjio limitada. Provemos que a sucessao e

V5n:i+ 1

urn infinitesimo,

n -3

lim n = lim n'2

V5n3 + 1 V5n:i + 1

l! n2

1 1

= lim 7n = lim Vn = O.

-Rl

iJ+ .,

no>

Como lim (~) n = 0, temos

lim (~)n . n = O.

2 V5n3 + 1

Podemos concluir que a sucessao dada e urn infinitesimo parser a produto de urn infinitesimo par uma sucessao Iimitada,

(g)

lim(vn2 + 2n- n) = lim (vn2 + 2n- n)(vn2 +2n + n) = lim n2 + 2n- n2

vn2 + 2n + n vn2 + 2n + n

2n

. 2n . n . 2 2

= lim = lim = lim ----::===-- = lim = 1

vn2+2n+n vn2+2n+n ~ ~

n y~+1 y1+;:+1

3n - 5 (h) Seja an = --. 5n +3

4.

. ~~

(a) 0 tormo geral an da sucessiio esta definido como a soma de k = 1 a k = n - 1 de n2 + 3k2'

Vamos calcular urn enquadrarnento deste termo de forma a fazer desaparecer a variavel k. De rnaneira evidente tomes para todos n e k em N: n2 + 3k2 > n2. Para todo n e k tal que k :::; n - 1, temos da mesma forma: n2 + 3k2 :::; n2 + 3(n - 1)2.

1. Nocoes Topologicaa, Inducfio Maternatlca e Sucessoes

42

Logo para todo n c 1 .:::; k':::; n - 1, temos:

Como a expressao de an esta definida como uma soma de n - 1 termos obtemos

(n - 1) . scn2(n) < ~ sen2(n) < (n -1) . senZ(n) Vn E N

n2 + 3(n - 1)2 - L...J n2 + 3kz n2 '

k=l

n - 1 2 ~ sen2(n) n - 1 2

{;} nZ + 3(n _ 1)2 . sen (n) :::; L...J nZ + 3k2 < --:;;:x- . sen (n), Vn E N

k=l

n - 1 '2 ~ scn2(n) (1 1 ) '2

{;} n2 + 3(n _ 1)2 . sen (n) S L...J n2 + 3k2 < ~ - '{l,2 . sen (n), Vn EN.

k=l

n 1 n-I

Soja bn = 2 ( )2 4 2 6 3' Dividindo por n2 0 numerador e 0 denominador

n+3n-1 n-n+

da fracciio que define a sucessao temos:

1

1

1

1

n-l '1.

lim =lim n n

4nz-6n+3 4n2-6n+3

n2

S . lIE' id I' a eJa en = - - 2' eVl cnte que ImCn = .

n n

Como a succssso senZ(n) e uma sucessao limitada, 0 S Jsen2(n)J :::; 1, 'In E hI, eo produto de urn infinitesimo POl' uma sucessao limitada e urn infinitesimo, podernos afirrnar que as sucessoes

n-I 2

n'2 + 3(n _ 1)2 . sen (n)

e

(.!. -~) . scn2(n)

n n2

sao infinitesimos. Finalmenta, como as dais limites sao iguais, 0 Teorema das Suceseoes Enquadradas permite- nos concluir que:

lim an = O.

(b)

r:

o termo geral an da sucessjio esta dcfinido como a soma de k = 1 a k = n de h. Vamos

n4+k

calcular urn enquadramento deste tcrmo de forma a fazer desaparecer a variavel k. De maneira

evidente temos para todos n e k em N: Vn4 + k > n2. Para todo n e k tal que k .:::; n, temos da mesma forma: .Jn4 + k -::; .Jn4 + n,

Logo para todo n e 1 :::; k :::; n, temos:

n2 < ~ < Vn4 + n =? 2_ > 1 > 1

- . . n2 .Jn4 + k - .Jn4 + n

5n 5n 5n

-> >----",==

n2 .Jn4 + k - .Jn4 + n

1.4 Exercicios R.esolvidos

43

Como a oxpressjio de an e uma soma de n termos obtomos

5n n 5n 5n

n . < '"' < n . - Vn E N,

vn4 + n - L... vn4 + k n2 '

1.:=1

5n2 {k;

Seja bn = ~ = 5· . Dividindo 0 numerador c 0 denominador do radicando

n4+n

desta sucessao por n4 temos:

lim bn ~ lim 5· ~ I 1 ~ 5.

1 + +:

n'>

FinaImente, como as dois limites sao iguais, a Teorema das Sucessoes Enquadradas pcrmite-nos concluir que:

liman=5.

.q'2n

(c) 0 termo geral da sucessao esta definido como a soma de k = 1 a k = n de ar:t . Vamos

vn4+k

calcular urn enquadrarnento deste termo de forma a fazer desaparecer a variavel k. De maneira

evidente temos para todos n e k em N: ~ + k > ~. Para todo n e k tal que k ::; n, temos

da mesma forma: {!;.4 + k ::; Tn4 + n. .

Logo para todo n e 1::; k ::; n, temos:

3rA :lrA 3rA 1

v u: < vn4+k::; vn4+n =} ~ >

ffn ffn ffn

-3- > 3 > --=:i:=--

Tn4 ~+k- ~+n

1 > 1

~+k- ~+n

Como an esta definido como uma soma de n termos obtemos

ffn n ffn ffn

n . < '"' < n . -- V'll, E N

-Q'n4 +n - L... Vr0 +k ~'

1.:=1

?'20 71 ffn ~ 3

<* ~ s L N < 3rA =.q'2, VnEN.

n4+n k=l n4+k vn4

Dividindo por n4 0 numerador e 0 denominador da fraccao que define a sucessao do lado csquerdo da desigualdade temos:

3~ 31:':'4

Ii v~n~ !' vn-'

m 3r:A = rm srr:

vn4+n vn4+n

3'2 3-'2

I, v L. lim v L. __ a1n2.

= rm n = 1 v~

1 + ~ 1 + -{Y11-n

Flnalmente como as dais 1imites sao iguais, a Teorema das Sucessoes Enquadradas permite-nos concluir que:

lima", = V2.

44 1. Noc;oes Topologicas, Indus;fio Matematica e Sucessoes

5. (a) Vamos utilizar 0 facto de a funcao coseno ser limitada, Ternos

Jcos(n)1 ::::; 1, "In E N,

o que implica que

Alem disso,

lirn(";2n + 1-~) = lim (";2n+ 1- J2n)(";2n+ 1 +"f2n) = lim---=2n=+=I_-_2-;:n=

";2n + 1 + v'2n ";2n + 1 + v'2n

. 1

= lim =0

";2n+ 1 +"f2n

Podemos concluir que a sucessao an e urn infinitesimo per ser 0 produto de uma sucessao limitada POl' urn infinitesimo.

(b)

{-I,

an = sen (n;) = 0,

1,

n=4k -1,k E N n= 2k,k E N n=4k - 3,k E N

A aucessao ar, tern os sublimites -1, 0, 1, visto que tern subsucessoes convergentes para esses mimeros reais. A sucessao en = arctg(n) tern limite ~. A sucessao bn = sen (n;) . arctg(n)

tern os sublimites -!:. 0 !:..

2' , 2

6. (a) Seja

Un=

A subsucessao dos termos de Indies par de Un e a sucessao

Consideremos a sucessiio an = \11 + 2n. Como 1 + 2n > 0, \/n EN, podemos calcular 0 limite de an recorrendo ao calculo de

1 + 2nH

1 +2n+1 2 +1

lim = lim n

1 +27>. 1 + 2n

2n+1

1+_1_

I· 2n+1 = 2.

= im 1 1

2 + 2n+l

A sucessao a'n tern limite 2, portanto, todas as suas subsucessoes tern esse limite. Em particular, a subsucessao dos termos de indice par tern limite 2. Mas essa subsucessao e igual a sucessao U2k. Podernos afirmar que U2k tern limite 2.

(b) A subsucessao dos termos de Indice Impar de Un e a sucessao

1

1 + 22k+ 1 IkE 1"1,

e lim U2k+1 = 1.

(c) Pelos resultados obtidos nas alineas anteriores,

lim Un = 1 e lim u., = 2.

1.4 Exerdcios Resolvidos

45

(d) Dado que lim Un = 1 #-lim Un = 2 a succssao Un nao e convergente.

7. (a) Vamos mostrar, usando 0 Princfpio de Inducao Materruitica, que

o < Un < 2, Vn E N.

Para n = 1, a formula e trivial:

o = JO < v'2 = Ul < J4 = 2.

Se admitirrnos (hip6tese de inducao) que a propriedade e valida para n E N, entiio: [0 < Un < 2] * [0 = V2.O < .;?u;;. = un+l < v'2.2 = 2] ,

utilizando 0 facto da func;:i:i.o f(x) = V2X ser crescente. Logo a propriedade e valida para n+ 1. o Principia de Inducao Matematica permite-nos ccncluir que ela e valida para todo 0 n E N. (b) Vamos mostrar que

Un+l - Un > 0, Vn E N.

De facto, para qualquer mimero natural n,

~ .,fJii;. - Un ~ 2un - u; Un.(2 - u7,.)

Un+l -Un = yLiUn -Un = ~ .(y2un+un) = ~ = ~ > 0

y 2un + Un V 2un + Un Y 2un + Un

porque na alinea (a) vimos que Un > 0 e 2 - Un > O. Logo a sucessao e crescente.

(c) Na alinea (a) vimos que a sucessao e limitada e na alfnea (b) demonstramos que ela c crescenta, como toda sucessao monotone limitada e convergente podemos concluir que a succssao de termo geral 'Un e convergense,

(d) Soja l E JR, 0 limite da sucessao. Como toda subsucessiio de uma sucessao convergente e convergente para a mesmo limite, e Iacil ver que:

lim Un+l = l.

n_co

Como a funcao f e continua temos:

lim un+l = lim f(un) = f(l) = ../ii.

n---)CQ n----t[X}

Logo l satisfaz a equacao l = v21, da qual podemos deduzir que l2 - 2l = l.(l - 2) = 0, au seja, l E {O, 2}. Podemos excluir a solucao l = 0 porque pela aliuea (b) temos:

Vn E N, Un 2: Ul = y'2 > 0, logo l 2: \1'2, e podemos concluir que a limite de U e l = 2.

8. (a) Como..j2 > 1, a Iuncao f definida por f(x) = (V2)''' e continua em JR e e crescenta (lembramos que f(x) = e",·log(V2}).

Para n = 1, a formula e trivial: V2::; al = .,f2 < 2. Se admitirmos que a propriedade e valida para n, utilizando 0 facto de f ser urna fun<;ao crescente temos:

[.,f2::; an < 2J =} [(.,f2)V2 = f(v'?,) ::; f(un) = an+1 < f(2) = 2 ] .

Utilizando novamente a monotonia de f tcmos:

e podemos concluir que a propriedade e valida para a ordem n + 1. 0 Principio de Inducao Matematica esta verificado logo:

v'?, ::; an < 2, Vn E N.

46

l. Noeoes 'I'opologicas , 'Ind ucfio Matomsit.ica e Sucessfies

(b) Vamos rnostrar, usando 0 Principia de Inducao Matematica, que

Para n = 1, a formula e uma consequencia dos calculos da alinea (a):

Sc admitirrnos que a propricdade e valida para n E N, entao a validadc da propriedade para n + 1 e uma consequencia directa da monotonia de f:

Podemos concluir que a sucessiio e crescente,

(c) N a alfnea ( a) vimos que a sucessao e limitada e na alinea (b) demons tramos que ela e crescente; COmo toda a sucessao monotona limitada e convergente pademos concluir que a sucessfio de tormo geral an e convergente. Seja I E Rosell limite e consideremos A = {an : n E N} 0 contradomfnio da sucessao. Pela alfnea (a) temos:

A c [\1'2,2].

Como 1 6 urn ponto de acumulaeao de A e como [V2,2] 6 fechado temos que I E [V2,2], ou seja, 0 resultado pedido: 1 :::; 2.

Nota: E possfvel calcular 0 valor de 1. Vejamos algumas indicacoes para 0 fazer. Primeiro, mostra-se que I satisfaz a equacfio ¥ = log (V2) e adivinha-se urn valor possfvel de l. Depois estuda-se a mono toni a e 0 contradominio da funcao g(x) = Lo;", definida no intervalo [V2,2] e conclui-se que a precedents equacao tern uma iinica soluefio para IE [V2,2].

9. (a) Para n = 1: Xl = a > 0 por hipotese, logo Xl > O.

Hip6tese de indw;ao: Xn > 0

'rose de indugao: Xn+l > 0

_ Xn

Demonstraeao: Tem-se que Xn+l = ---. Ora, pal" hipotese de indur,;ao, Xn > 0, pelo que 2+xn

tarnbem 2 + Xn > O. Temos entao que Xn+1 eo quociente de duas quantidades positivas, pelo

que Xn+1 > O.

Entao, pelo Principio de Inducao, provamos que Xn > 0, Vn E N. (b) Queremos rnostrar que xn+l - Xn < 0 para qualquer n E N. Ora

-Xn - x~

-,----'"'" =

2+xn

ja que, pela alfnea (a), Xn > 0 para qualquer n E N.

(c) Uma vez que para qualquer n E N se tern Xn > 0 (almea (a) e (Xn) e uma sucessso mon6tona decrescente (alinea b) tem-se que 0 < Xn :::; Xl, isto e, 0 < Xn :::; a, para qualquer n E N. Por outras palavras, a sucessao de terrno geral Xn e uma sucessso limitada. Mas toda a. sucessao monotone, e Iimitada e convergente, pelo que a sucessao e convcrgente.

Considere-se entao que lim Xn = l. Note-so que necessariamente l 2: 0 pois Xn > 0 para todo nEN.

1.4 Exercicios Resolvidos

47

Xn

Se a sucessao 6 convergcnte para l, tem-se t,ambCm limXn+l = l. POI' outro lado, 6

2+xn

convergente pais 60 quociente de duas sucessoes convergentes onde a denominador nunca se

anula e tern limite diferente de zero.

Entao

• • Xn. lim n., l

limxn+l = lim --- ¢} lirnXn+1 = r 2 ¢} l = 2 + l

2+x", 1m +x",

l l _ 0 2l + l2 - l _ 0 l2 + l _ 0 l2 l - 0 (l i= -2)

¢} - 2+l - ¢} 2+l - ¢} 2+l - ¢}, + -

¢} l(l + 1) = 0 ¢} l = 0 V l = -1.

Mas a sucessao e de termos rnaiores 011 iguais a zero, pelo que, 0 seu limite tambem 6 maior 011 igual a zero. Portanto, lim Xn = O.

10. ( a) Qucremos mostrar que Xn+1 - Xn ~ 0 para qualquer n E No. Ora, Se n = 0 vern Xl - Xo = a > o.

Se n ~ 1 entao

(b) Vamos mostrar por inducao que Xn > 0, 'rfn E No.

Se n = 0 vern Xo = a > 0 e esta verificada a proposicao.

Hip6te5e de indu~ao: Xn > 0

Tese de indw:;ao: X,,+l > 0

Demonstra~ao: Tem-se que Xn+l = Xn + X;_l' Ora, por hip6tese de inducao, Xn > 0, e sabemos que X;'_l ~ 0, portanto, Xn+1 > O.

Entao, pelo Princfpio de Inducao, provamos que Xn > 0, 'rfn E No.

(c) Suponhamos que existe b E 1Ft tal que b = lirnxn. Entao, tcdas as sues subsucessoes tem limite be

b = limxn+l = lirn(xn + x!_d = b + b2 donde se eonclui que b = 0.

(d) Na alinea anterior provamos que 5e a sucessao fosse convergente, 0 seu limite seria zero. Mas sendo uma sucessao crescents de mimeros positivos, podemos afirmar que a seu limite nao e urn mimero real. Como nao 6 uma sucessao majorada podemos coneluir que lim z., = +00.

11.

(a)

Comecemos por analisar a diferenca X2 -Xl para sabermos se a sucessao 6 mon6tona crescente

xIII 1

ou decrescente. Como X2 - Xl = - + - - Xl = 1 + - - 2 = - - < 0, pretendemos mostrar

2 Xl 2 2

que a sucessjic 6 decrescente, isto e, Xn+1 - Xn < 0, 'rfn E N.

Xn 1 Xn 1 -x; + 2

Xn+l-Xn = -+ - -Xn = --+- = -~--

2 Xn 2 Xn 2xn

POl' hipotcse, Xn > J2, 'rfn E N, portanto, -x;; + 2 < 0, 'rfn E N. Entao xn+l - Xn < 0, 'r:/n E Pi, provando-so assim que a sucessao e monotone. decrescente.

(b) Se uma sucessao e decrescente, 0 seu primeiro termo e 0 maximo do conjunto dos termos cia sucessao, portanto, Xl = 2 ~ Xn, 'rfn E N. Temos que Xn e limitada: .j2 < Xn ::; 2, 'rfn E N. Podemos concluir que Xn e convergente por ser mon6tona e limitada,

48

1. Nocoos Topo16gicas, Inducao Matcmatica e Sucess6es

(c) Seja a = lim x"'. Sendo convorgento todas as suas subsucessoes tern limite a c

. • Xn 1 a 1 a2 + 1

a=hrnxn+l =hrn{-+ -) = - + - = --.

2 x'" 2 a 2a

a2 + 1

Resolvendo a equaciio a = --- obtemos a = -v'2 e a = v'2. Como x.,. > v'2 concluimos 2a

que a = v'2.

12. (a) Vamos rnostrar POl' inducao que Xn - v'32: 0, \in E N.

Se n = 1 vern Xl = 3 > v'3 e esta verificada a proposicao.

I-lipotese de indu<;ao: Xn - V3 2: 0

Tese de indugoo: Xn+l - v'32: 0

X2 + 3 (x - v'3)2

Demonstragao: Tem-se que Xn+l - v'3 = _n __ - J3 = n Sabemos que Xn 2: -/3,

2xn 2xn

portanto, Xn > 0,0 que implica que Xn+l - J3 2: o.

Entiio, pelo Princfpio de Inducao, provamos que x'" - v'3 > 0, Vn E N.

(b) Pretendemos mostrar que a sucessao e decrescente, isto e, Xn+l - X", :::; 0, "In E N. Comccemos X2 +3

POl' analisar a diferenca X2 - Xl: X2 - Xl = _"'-- - Xl = -1 < O. Se n > 1 entiio 2Xn

POl' hipotese, Xn 2: V3, "In EN, portanto, -x; +3:::; 0, Vn E N. Entiio Xn+l - Xn :::; 0, "In E N, provando-se assim que a sucessao e monotone decrescente,

(c) Se uma sucessao e decrescente, 0 seu primeiro termo eo maximo do conjunto dos termos da sucessao, portanto, Xl = 3 ;:::: Xn, "In E N. Temas que xn e limitada: V3 :::; Xn :::; 3, Vn E N. Podernos concluir que Xn e convergente parser monotone e limitada,

(d) Soja a = lirnxn. Sendo canvcrgente todas as suas subsucessoes tern limite a e

. . x; + 3 a2 + 3

a = Iirn Xn+l = lim --- = ---.

2 x", 2a

a2 +3

Resolvendo a equacao a = --- obtemos a = -v'3 e a = V3. Como Xn 2: .j3 conclufrnos 2a

que a= V3.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->