Escolar Documentos
Profissional Documentos
Cultura Documentos
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
2o EP
2012/1
E. A. Real
Vers
ao Tutor
Prel
udio 1 Em Matematica, o enunciado existe x tal que P (x) significa existe pelo menos um
objeto x que tem a propriedade P (x). Portanto, existem tres x tal que P (x), significa existem pelo
menos tres x tal que P (x).
Na maioria das vezes, mas n
ao em todas as vezes, para garantir que a afirmacao existe x que
satisfaz a propriedade P (x) e verdadeira, deve-se exibir um objeto x e mostrar que ele realmente tem a
propriedade P (x).
Exemplo 1 (a) O enunciado existe um n
umero real x tal que x2 < x e verdadeira, pois, por
2
2
exemplo, x = 1/2 R e vale x = (1/2) = 1/4 < 1/2 = x .
(b) A afirmac
ao existe um n
umero racional que pertence ao intervalo (0, 1) = {x R : 0 < x < 1}
e verdadeira, pois, por exemplo, 4/5 e um n
umero racional que pertence ao intervalo (0, 1), j
a
que 0 < 4/5 = 0, 8 < 1 .
(b) 2/2, 0, 121121112111121111121111112 . . . , /4, qualquer decimal nao periodica, sao exemplos
de n
umeros irracionais que pertencem ao intervalo [0, 1].
Prel
udio 2 Para mostrar que uma implicacao: se P(x) entao Q(x) e falsa, deve-se exibir um objeto
x do contexto em que se esta trabalhando, que satisfaca a hipotese P(x) e n
ao satisfaca a conclusao Q(x).
Ou seja,
se P(x) entao Q(x) e falsa equivale a existe x tal que P(x) e verdadeira e Q(x) e falsa.
O mesmo vale para implicacoes na forma: x, se P(x) entao Q(x). Ou seja,
x, se P(x) entao Q(x) e falsa equivale a x tal que P(x) e verdadeira e Q(x) e falsa.
Uma vez decidido se cada afirmacao e falsa ou verdadeira, e preciso justificar as respostas dadas!
Respostas - Em ambos os itens, a afirmacao dada e falsa. Seguem as justificativas para as respostas.
No caso (a) o enunciado afirma que: Para todos a, b se a, b R e a < b entao a2 < b2 . Isto e falso,
pois, por exemplo, existem 3, 2 R que satisfazem 3 < 2 e (3)2 > (2)2 (nao satisfazem a
comum dizer-se que esta solucao e um contra-exemplo para a afirmacao (a).
conclusao). E
No caso (b), a ideia e a mesma: O enunciado e falso porque existe, por exemplo, 1/2 R tal que 1/2 = 0
e 1/(1/2) = 2 > 1/2. Logo, tem-se um contra-exemplo para a afirmacao e ela e falsa.
Exerccio 2 Diga se s
ao verdadeiras ou falsas as afirmac
oes abaixo. Justifique suas respostas, provando as afirmac
oes verdadeiras e dando um contra-exemplo para as falsas.
(a) Para todos a, b R, se a b ent
ao a < b .
(b) Para todos a, b R, se a < b ent
ao a b .
(c) Para todo a R, se a = 0 ent
ao 1/a < 1 .
(d) Para todo a R, se a > 1 ent
ao 1/a < 1 .
(e) 1 e uma cota superior para o intervalo [0, 3/2) = {x R : 0 x < 3/2} .
(f ) Entre dois n
umeros reais existe um n
umero racional.
(g) Entre dois n
umeros reais existe um n
umero irracional.
(h) {1/n : n N} = (0, 1]. ( 1 )
(i) {1/n : n N} (0, 1].
Solu
c
ao (no caso das afirma
c
oes falsas, outros contra-exemplos podem tamb
em funcionar):
(a) A afirmacao e falsa pois, por exemplo, para a = b = 3 tem-se que 3 3 mas nao vale 3 < 3, pois
vale 3 = 3.
(b) Afirmac
ao verdadeira pela definicao da relacao menor ou igual: a b significa a < b ou a = b ( 2 )
Portanto, basta que uma destas situac
oes ocorra para que ja se possa afirmar que a b.
(c) Falsa. Por exemplo, a = 1/2 = 0 e 1/(1/2) = 2 > 1 .
(d) Verdadeira. Por hipotese: a R, a > 1. Assim, a > 0, donde a = 0, pela tricotomia. Portanto,
1/a existe e vale 1/a > 0. Como a > 1 e 1/a > 0 entao (1/a)a > (1/a)1 e da 1 > 1/a.
(e) Falsa, pois por exemplo, existe 5/4 [0, 3/2) e 1 < 5/4. Logo, 1 nao e cota superior de [0, 3/2) .
(f ) e (g) sao verdadeiras pelo Teorema da Densidade (ver Notas de Aula 2).
(h) Falsa, pois os conjuntos sao diferentes: existem elementos de (0, 1] que nao sao elementos de
{1/n : n N}: por exemplo, 2/3 (0, 1] e 2/3
/ {1/n : n N}.
(i) A afirmacao e verdadeira pois para todo n N, 1/n (0, 1].
Lembre: Dados A, B conjuntos, tem-se que: A B (A est
a contido em B) quando todo elemento de A e elemento
de B. Portanto, A * B quando existe um elemento de A que n
ao e elemento de B. A = B quando A B e B A.
2
Aten
c
ao: Em Matem
atica, o conectivo ou e usado num sentido n
ao-exclusivo, como na definica
o da uni
ao de
dois conjuntos: x A B significa x A ou x B, sendo que n
ao fica excluda a possibilidade de um mesmo elemento
x pertencer aos dois conjuntos A e B.
1
Exerccio 3 Sejam x, y R.
(a) Mostre que |x 1| + |x 2| 1;
(b) Se > 0 e n
umero real e |x y| < , mostre que |y| < |x| < |y| + .
Demonstra
c
ao - (a) Pode-se analisar os quatro casos possveis (como quase sempre que se trabalha
com modulo): x 1 0 e x 2 0, ou x 1 0 e x 2 < 0, ou x 1 < 0 e x 2 0 ou x 1 < 0
e x 2 < 0. Em cada caso, calcula-se o valor de |x 1| + |x 2| e verifica-se que a expressao obtida
e 1, considerando-se as restricoes sobre x.
Uma outra maneira e atentar para a forma das expressoes dentro do modulo e usar resultados ja
provados: de fato, se x R,
|x 1| + |x 2| = |x 1| + |2 x| |(x 1) + (2 x)| = |1| = 1.
A desigualdade esta provada.
(b) Como |x||y| |xy| e por hipotese |xy| < , entao |x||y| < . Da, usando as propriedades
de modulo e as propriedades algebricas dos n
umeros reais tem-se as seguintes equivalencias:
|x| |y| < < |x| |y| < |y| < |x| |y| + |y| < + |y| |y| < |x| < + |y|
Exerccio 4 Mostre, justificando detalhadamente cada passagem do seu raciocnio que:
2n2 + 3 1
1
(a) Se n N ent
ao 2
<
;
4n + 2 2
4n
1 + 2 10n 2
7
(b) Para todo n N,
< n.
n
5 + 3 10
3
10
Sugest
ao - Desenvolva o termo `
a esquerda de cada desigualdade.
Demonstra
c
ao - (a) Seja n R. Entao
2n2 + 3 1 4n2 + 3 4n2 2
1
1
=
=
.
2
=
2
2
2
4n + 2 2
2(4n + 2)
2(4n + 2)
2(4n + 2)
()
Na u
ltima igualdade acima eliminou-se o modulo pois o quaciente e positivo. Agora, como caso
particular do Exerccio 1 (e) do EP 1 tem-se as seguintes desigualdades:
1
2(4n2
+ 2)
1
1
1
2
.
+2
4n
4n
4n2
(d) [ 2, ] Q.
3
Solu
c
ao - (a) sup A = 3 e inf A = 1.
(b) Nao existe supremo de B, pois B nao e limitado superiormente. inf B = 5.
(c) C = {1/(2n + 1); n N} = {1/3, 1/5, 1/7, 1/9, . . . , 1/201, . . . , 1/2001, . . . , 1/20001, . . .}.
O sup C = 1/3 e o inf C = 0.
3
2n1 ;
}
n N . Mostre que inf C = 0.
Sugest
ao: Use a Propriedade Arquimediana na forma para todo n
umero real x existe n N tal que
n > x para mostrar que 0 e a maior das cotas inferiores de C.
claro que 0 e uma cota inferior para C, pois para todo x C, vale x > 0,
Demonstra
c
ao - (i) E
logo x 0.
(ii) Suponha agora que um n
umero real b satisfaz b > 0. Deve-se mostrar que b nao e uma cota
inferior para C. Pela Propriedade Arquimediana acima, existe n N tal que
n>
3+b
.
2b
2bn > 3 + b.
2nb b > 3.
b(2n 1) > 3.
3
.
2n 1
()
3
3
Assim, existe elemento 2n1
C tal que 2n1
< b. Logo b nao e cota inferior para C. Fica provado
entao que para todo n
umero real b > 0, b nao e uma cota inferior para C. Assim, 0 e a maior das
cotas inferiores de C. Logo, das etapas (i) e (ii) conclui-se que 0 = inf C
Importante: Para descobrir a desigualdade em (), basta fazer no rascunho uma conta de tras para
frente para achar um x C tal que b > x. Esta conta n
ao aparece na demonstra
c
ao:
b>
3
3+b
2nb b > 3 2nb > 3 + b |{z}
n>
.
2n 1
2b
3b>0
Exerccio 8 Considere C = {4n/(2n + 1); n N}. Use o Lema 2.1 (i) das NA 2 para mostrar que
sup C = 2.
Demonstra
c
ao- Primeiramente, e preciso mostrar que 2 e uma cota superior de C: ora, como para
4n
todo n N, 4n < 4n + 2 = 2(2n + 1) e 2n + 1 > 0 entao para todo n N, vale 2n+1
< 2. Portanto, 2
e uma cota superior para C.
Para mostrar que 2 e a menor das cotas superiores, deve-se mostrar que para todo n
umero real
> 0, existe x C tal que 2 < x.
Seja entao > 0.
A Propriedade Arquimediana acima, garante que existe n0 N tal que
n0 >
2
.
2
()
2 < 2n0 .
2 2n0 < 0 .
2 <
Aten
c
ao: Tal como no Exerccio anterior, para descobrir o n0 da desigualdade () faz-se no rascunho
a seguinte conta de tras para frente, que nao aparece na demonstracao:
Procura-se n0 N tal que 2 <
4n0
.
2n0 + 1