Fundac

ao Centro de Ci
encias e Educaca
o Superior a Dist
ancia do Estado do Rio de Janeiro
Centro de Educaca
o Superior a Dist
ancia do Estado do Rio de Janeiro

1a AD

2016/2

EAR

Lic. em Matem
atica

NA 1 a NA 4

Gabarito

Coord. C. Vinagre & H. Clark

1a Quest
ao - [1,5 pontos] Indique claramente a hipotese e a tese, e prove detalhadamente que:
1
1
se x R \ {1} e |x + 3| < 2 ent
ao
.
|x 1|
2
Prova: (i) Hip
otese: x R, x R, x 6= 1 e |x + 3| < 2.
Conclusao: 1/|x 1| 1/2.
(ii) Por hipotese e propriedade de m
odulo tem-se que 2 < x + 3 < 2. Da, adicionando -4 a cada
membro destas desigualdades, resulta 6 < x 1 < 2. Entao x 1 < 0 e portanto |x 1| = (x 1).
Da e do anterior vem que |x1| = (x1) > 2. Como por hipotese, |x1| =
6 0, inverte-se e conclui-se
que 1/|x 1| 1/2
2a Quest
ao - [2,5 pontos] Considere a afirmacao abaixo e faca o que se pede para prov
a-la por
inducao matem
atica:
12 22 + 32 + + (1)n+1 n2 = (1)n+1

n(n + 1)
para todo n N .
2

(a) [0, 8 pt] Escreva a propriedade P[n] e mostre que vale P[1].
(b) [0, 4 pt] Escreva a hip
otese de inducao.
(c) [1,3 pt] Finalize a prova por inducao.
Demonstra
c
ao - (a) P[n] e
12 22 + 32 + + (1)n+1 n2 = (1)n+1

n(n + 1)
.
2

Quando n = 1 tem-se
(1)1+1 12 = 1 e, pelo outro lado,

(1)1+1

1(1 + 1)
= 1.
2

Portanto, P[1] e verdade.

(b) HI- Seja n N e suponha que vale P[n], ou seja, que
12 22 + 32 + + (1)n+1 n2 = (1)n+1

n(n + 1)
.
2

(c) Deve-se provar que vale P[n+1].

12 22 + 32 + + (1)n+1 n2
+(1)n+2 (n + 1)2 |{z}
= (1)n+1
|
{z
}
HI
a hip. indutiva d
a o valor deste termo
=
=
=
=
=

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


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

 2
2
n+1 n + n 2n 4n 2
(1)
2


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


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


(n + 1)(n + 2)
(1)n+2
.
2
n+1

Por (b) e o raciocnio acima, provou-se que: para todo n N, se vale P[n] entao vale P[n+a]. Juntanto
com o item (a), tem-se que as duas condicoes do PIM estao satisfeitas. Pelo Principio da Induc
ao
Matematica, conclui-se que P[n] e verdadeira para todo n N
Quest
ao 3 [2,5 pontos] Faca o que se pede:
(a) [0,5 ponto] Enuncie, de forma matematicamente completa e precisa, as condicoes da definic
ao
para que um n
umero real s seja o supremo de um conjunto A R;
n
o
12n
(b)[2 pontos] Seja A = 3n+1
; n N . Mostre que inf A = 3 e que sup A = 4, usando as definic
oes.
Demonstra
c
ao

Para mostrar que inf A = 3, duas afirmacoes devem ser mostradas:

(I1) Mostrando que 3 e uma cota inferior de A: De fato, fixado n N, tem-se que

Assim, para todo n N vale 3

1 n.
3 3n
9n + 3 9n + 3n = 12n
3(3n + 1) 12n
12n
pois 3n + 1 > 0.
3
3n + 1
12n
3n+1 .

Portanto, 3 e uma cota inferior para A.

(I2) Mostrando que 3 e a maior das cotas inferiores de A: De fato, neste caso, como 3 e cota inferior
12.1
de A e 3 = 3.1+1
A ent
ao pela Observacao 2.4 (2) (para o nfimo) das NA 2, tem-se que o inf A = 3.
2

Para garantir que sup A = 4 duas afirmacoes devem ser mostradas:

(S1) Mostrando que 4 e uma cota superior para A: De fato, seja n N fixo
12n 12n + 4 e verdade;
12n 4(3n + 1) ;
12n

4 pois 3n + 1 > 0.
3n + 1

Assim, para todo n N tem-se que 12n/(3n + 1) 4. Portanto, 4 e uma cota superior para A.
(S2) Mostrando que 4 e a menor das cotas superiores de A: Seja a R tal que a < 4. Logo 3a < 12.
a
Portanto, 12 3a > 0 e ent
ao
R. Pela Propriedade Arquimediana tem-se que existe um
12 3a
n0 N tal que
a
n0 >
.
()
12 3a
Da, usando as propriedades algebricas de R (e como 12 3a > 0), tem-se
a < (12 3a)n0
a < 12n0 3n0 a
a + 3n0 a < 12n0
(1 + 3n0 )a < 12n0 .
12n0
a<
pois 3n0 + 1 > 0,
3n0 + 1

ja que

n0 1.

Assim, existe um n
umero da forma 8n0 /(3n0 + 1) A tal que 8n0 /(3n0 + 1) > a. Logo a nao e cota
superior para A. Portanto, est
a provado que para todo n
umero real a < 4 tem-se que a nao e uma
cota superior para A. Logo, das etapas (S1) e (S2) e Definicao 2.4, conclui-se que 4 = sup A.
4a Quest
ao - [2,0 pontos] Faca o que se pede:
(a) [1,0 pt] Seja A := [, +) Q. Mostre que inf A = . Note que
/ A!
(b) [1,0 pt] Mostre que: se r e um n
umero racional nao nulo e y e um n
umero irracional ent
ao ry e
um n
umero irracional.
Observa
c
ao: Lembre que Q e um corpo ordenado assim como R, ou seja, em Q valem as propriedades
expressas nos Axiomas A1-A4, M1- M5 e O1-O3 e todas as propriedades que decorrem destes axiomas.
S
o n
ao vale o Axioma do Supremo.

Demonstra
c
ao -(a) Duas afirmac
oes devem ser mostradas:
(i) Como A = {a Q | a } ent
ao e uma cota inferior de A, ou seja, a para todo a A,
pela pr
opria definic
ao de A.
(ii) Mostrando que e a menor das cotas inferiores de A: Seja

c R tal que c > .

Como c e s
ao n
umeros reais e < c entao pelo Teorema da Densidade dos Racionais, existe
(pelo menos) um a Q tal que < a < c. Como a Q e a entao a A, pela definic
ao de
A. Isto comprova a condic
ao (I2) da Definicao 2.4 (existe a A tal que a < c).
Logo, dos itens (i) e (ii) tem-se pela Definicao 2.4 que = inf A.

(b) Por hipotese, r Q, r 6= 0 e y R \ Q. Suponha por absurdo que ry Q, ou seja, que ry = q

q
q
q
1
onde q Q. Como r 6= 0 ent
ao y = . Mas Q pois = q e o produto de dois racionais (q e
r
r
r
r
1
e portanto, e um racional. Mas isto contraria a hipotese de que y
/ Q. Portanto, ry e um n
umero
r
irracional.
2
5a Quest
ao - [1,5 pontos] Mostre pela definicao de limite que a sequencia (an )nN definida por
an =

12n
, nN
3n + 1
3

converge para 4.
4
R.
3
4
Pela Propriedade Arquimediana, existe um natural n0 > .
3
Suponha que n N satisfaz n > n0 .
Entao
 


 
 12n
  12n 12n + 4   4 
4
4

=




=
<
.


 3n + 1 4 = 
3n + 1
3n + 1
3n + 1
3n
Demonstra
c
ao -Seja  > 0 onde  R. Entao

Como n > n0 >

4
4
e 3 > 0 ent
ao 3n > 4 e da
< . Logo
3
3n


 12n

4


 3n + 1 4 < 3n <  .

Mostrou-se assim que: para todo n

umero real  > 0, existe n0 N tal para todo n N, se n > n0
entao


 12n



 3n + 1 4 <  .
12
= 4.
n 3n + 1

Da, pela definic

ao de limite, escreve-se: lim