Académique Documents
Professionnel Documents
Culture Documents
(a) Determine, caso exista sup (A) ; inf (A) ; max (A) ; min (A)
(b) Mostre que A = [ 2; 1[ [ ]3; 6] [ f7g :
(c) Determine int (A) ; f r (A) ; A0 ; A:
(d) Determine os pontos isolados de A:
2un +3
5. Considere a sucess~ao (un ) de nida por u1 = 1 e un+1 = 4 para todo o n 2 N.
(a) Mostre que (un ) e estritamente crescente e que un < 3=2 para todo o n 2 N.
(b) Mostre que (un ) e convergente e calcule o seu limite.
log x2 + ex
(e) lim
x!1 log (x4 + e2x )
7. Seja f a func~ao de nida em R com f (x) = arctan(x2 ).
2 Resoluc~
ao dos exercicios
1. (a) Proposic~ao verdadeira, porque o unico elemento 1 do conjunto f1g pertence ao conjunto
f1; f2; 3gg :
(b) Proposic~ao verdadeira, porque para qualquer x 2 R tem-se que x2 = x x pertence a R (o
produto de dois numeros reais e um numero real) e assim existe y 2 R tal que y = x2 :
(c) Proposic~ao verdadeira porque (x y)2 = x2 + y 2 se veri ca se x = 0 ou y = 0. Existem
portanto x; y 2 R com x = 0 ou y = 0 que satisfazem (x y)2 = x2 + y 2 :
(d) Proposic~ao falsa porque existem x; y 2 R tais que (x y)2 6= x2 + y 2 : para x = 1 e y = 1
tem-se que 0 = (1 1)2 6= 12 + 12 = 2:
(e) Proposic~ao falsa, porque existem x; y; z 2 R, com x 6= y e xz = yz : por exemplo, para
x = 1; y = 2 e z = 0 tem-se que xz = yz = 0 e 1 = x 6= y = 2:
2. (a) Para provar a a rmac~ao "se r 2 N e r2 e um numero par ent~ ao r tambem e par"
uma forma possivel consiste em demonstrar a sua contra-rec proca: "se r 2 N e r mpar
ao r2 e mpar.". Agora para demostrar esta ultima a rmac~ao, podemos fazer uma
ent~
prova directa.
[r 2 N e r mpar] ) [r = 2n + 1 para algum n 2 N[ f0g]
) r2 = 4n2 + 4n + 1 com n 2 N[ f0g
) r2 = 2q + 1 com q = 2n2 + 2n 2 N[ f0g
) r2 mpar
(b) Suponhamos por reduc~ao ao absurdo que existe a 2 Q tal que a2 = 2: Podemos supor
sem perda de generalidade que a > 0: De facto, e claro que a n~ao pode ser zero e se a for
negativo ent~ao b = a > 0 e b2 = 2: Sendo a 2 Q e a > 0; existiam numeros naturais p e q
tais que a = pq , ou seja
2
p
= 2;
q
e tais que p e q n~ao tem nenhum divisor comum (sen~ao simpli camos a frac~ao eliminando
estes divisores comuns). Assim temos que
p2 = 2q 2 ;
donde p2 e um numero par. Concluimos ent~ao pela alinea (a) do exercicio que p e par, ou
seja, p = 2k; para algum numero natural k: Daqui, segue-se que
p2 = 2q 2 = 4k 2 ; e aplicando a lei de corte resulta q 2 = 2k 2 :
Logo q 2 e par, e portanto q e par. Assim acabamos por mostrar que p e q possuem 2 como
divisor comum, o que e absurdo uma vez que p e q n~ao tinham divisores comuns.
3. (a) Se P(k) e verdadeira para um dado k 2 N ent~ao para esse k, tem-se que k2 + 3k + 1 e
par. Existe ent~ao p 2 N tal que k 2 + 3k + 1 = 2p e tendo
(k + 1)2 + 3 (k + 1) + 1 = k 2 + 2k + 1 + 3k + 3 + 1
= k 2 + 3k + 1 + 2k + 4
= 2(p + k + 2)
(n + 1)2 + 3 (n + 1) + 1 = n2 + 3n + 1 + 2n + 4 = 2(p + n + 2) + 1
jx 2j 4, 4 x 2 4, 2 x 6 , x 2 [ 2; 6]
e
fx 2 R : 1< jx 2jg = Rn fx 2 R : jx 2j 1g = Rn [1; 3] = ] 1; 1[ [ ]3; +1[ :
Resulta ent~ao que
(c)
2 2
1
= lim 4 1 + x+1 5
x!1
2
2x2
limx!1 x+1
= e = 0:
(e)
2
log(x2 + ex ) log(ex ( xex + 1))
lim = lim 4
x!1 log(x4 + e2x ) x!1 log(e2x ( ex2x + 1))
2
log(ex ) + log( xex + 1)
= lim 4
x!1 log(e2x ) + log( ex2x + 1)
2
x + log( xex + 1)
= lim 4
x!1 2x + log( ex2x + 1)
x ex x2
1+ ex x2 log( ex + 1)
= lim x3 e2x 4
x!1 2+ e2x x4
log( ex2x + 1)
h 2 i ex
log x +1 x2
ex
1+ ex
x
= lim h i e2x
x!1 x4
log +1 x4
e2x
2+ e2x
x3
1
= :
2
8. A func~ao f e cont nua em R+ e no intervalo [ 1; 0[ (tal resulta da continuidade das func~ oes
envolvidas nos respectivos dom nios e das propriedades das func~oes cont nuas). Vejamos se f e
igualmente cont nua em x = 0. Temos:
ex (x 1) + 1 ex 1 ex 1
lim f (x) = lim = lim ex = lim ex lim =1 1 = 0:
x!0+ x!0+ x x!0+ x x!0+ x!0+ x
lim f (x) = lim arcsin(x2 ) = arcsin(0) = 0 (porque x 7! arcsin(x2 ) e cont nua em x = 0):
x!0 x!0
conclui-se que f e tambem cont nua em x = 0. Podemos ent~ao a rmar que f e cont nua no seu
dom nio [ 1; +1[.