Exerccio 10

Realmente difcil.
Especificao. Mostrar uma funo que seja contnua apenas em -1, 0 e 1.
Entrada: A funo deve ser contnua apenas em -1, 0, e 1.
Sada: Mostrar uma funo assim.
Desenho. Ok, minha estratgia ser a seguinte: usar uma funo definida por
partes em cada intervalo, que seja contnua nos pontos especificados em cada um
deles.
Sendo assim, uma primeira verso do algoritmo seria:
1. definir a funo em (, 1]
2. definir a funo em (1, 1)
3. definir a funo em [1, )
4. concluir
Implementao. Ento vejamos que tipo de funo pode funcionar. Ora, ela tem
que ser discreta em todos os demais pontos do intervalo menos no especificado.
Uma funo assim deve cumprir esse papel:

1, se x R Q
f (x) =
x (, 1] .
x, se x Q,
Porque essa funo resolve o problema?
Por que em qualquer valor x 6= 1, a funo ficar alternando entre -1 e x,
tornando-se assim composta de saltos. Mas, na vizinhana de -1, em qualquer
sentido que se analise a reta real (tanto para a esquerda quanto para a direita),
haver um vizinho imediatamente prximo (to prximo quanto se queira) de -1
que ser um irracional. Sendo assim, o valor da funo ser -1 para esses valores.
E para -1, pela definio da funo, ela tambm assumir esse valor. Logo, tal
funo de fato uma funo contnua nesse ponto, pois, qualquer que seja > 0
considerado, haver > 0 (apesar de infinitamente pequeno, ele existir) tal que
|x (1)| < |f (x) f (1)| < .
Pelo mesmo raciocnio, verifica-se que:

0, se x R Q
f (x) =
x (1, 1)
x, se x Q,
e

1, se x R Q
f (x) =
x [1, )
x, se x Q,
conclem o problema, tornando a funo contnua em 0 e em 1.
Exerccio 19
Como demorei para resolver esse problema de cabea, resolvi registrar.
Especificao. f e g so definidas em R e (x) (M ) : |f (x) f (p)| M |g (x) g (p)|.
Provar que se g for contnua em p, f tambm o ser.
Entrada: f, g : R R, (x) (M ) : |f (x) f (p)| M |g (x) g (p)|.
Sada: Provar p q, sendo p : g contnua em p; e q : f contnua em p.
1

Desenho. Ok, minha estratgia ser a seguinte: aplicar a hiptese, modific-la, e

inferir a tese.
Sendo assim, uma primeira verso do algoritmo seria:
1. expandir a hiptese
2. alterar a hiptese para incluir M
3. concluir
Implementao. Eu precisei implementar para poder refinar o algoritmo.
Ento, vejamos o ponto de partida:
> 0, > 0 : |x p| < |g (x) g (p)| < .
A alterao que eu propus merece um refinamento agora. Se tal propriedade vale
para todo , ento, em particular, deve valer para 0 = M . Se assim for, ento, h
0 tal que

|x p| < 0 |g (x) g (p)| <

.
M
Bom, mas se isso for verdade, ento
|x p| < 0 M |g (x) g (p)| < .
Ora, mas como para todo x, |f (x) f (p)| < M |g (x) g (p)|, ento
|x p| < 0 |f (x) f (p)| < .
Como qualquer, fica assim comprovada a tese de que f contnua em p: dado
, basta considerar tal que |x p| < |g (x) g (p)| < M que
|x p| < |f (x) f (p)| < .
Exerccio 20
Este um exerccio muito bom. Considero que de fato um desafio.
No o resolveria. No no curto prazo (trabalhando direto, talvez em 10 anos
pudesse ter exito). Foi o Professor Celso Cardoso que acabou resolvendo pra mim.
Eu s tive o trabalho de expressar tudo em linguagem matemtica.
Especificao. Suponha f definida e contnua em R e que f (x) = 0 para todo x
racional. Prove que f (x) = 0 para todo x real.
Entrada: f definida; f contnua em R; f (x) = 0x Q.
Sada: Prova de que f (x) = 0x R.
Desenho. Vejamos o que consigo fazer.
A estratgia de prova ser aplicar a propriedade da conservao do sinal em uma
reduo ao absurdo:
Se f for contnua em p e f (p) 6= 0, ento existir um > 0 tal que
f (x) conservar o sinal de f (p) para p < x < p + , x Df .
Alm disso, ser preciso construir um Lema para concluir a questo.


p

Lema 1. Seja x R Q : x > 0. Dado > 0, p q, p Z, q Z :x q  < .

Demonstrao. Seja x = a1 .a2 a3 . . ., ai N uma representao de x. Da, seja

n N tal que 101n . Bom, ento, o nmero pq procurado ser y = trunc (x, n),
pois
X ai
1
xy =
< n ,
i
10
10
i=n+1
sendo
trunc (x, n) =

b10n xc
.
10n


Ok. Preciso aplic-las.

Implementao. Bastaria considerar que, se f (x) > 0 para algum x
/ Q, como
f contnua, haveria um > 0 tal que f (x) seria tambm positivo para todo x em
[p , + p]. Mas, pelo Lema 1, haver um racional pq nessa regio. E se assim for,
 
f pq = 0, contrariando a hiptese.
Logo, por reductio ad absurdum, f (x) = 0x R.
Exerccio 21
Este similar ao anterior, ento decidi que deveria registr-lo aqui.
Especificao. Suponha f definida e contnua em R e que f (x) = g (x) para todo
x racional. Prove que f (x) = g (x) para todo x real.
Entrada: f definida; f contnua em R; f (x) = g (x) x Q.
Sada: Prova de que f (x) = g (x) x R.
Desenho. Vejamos o que consigo fazer.
A estratgia de prova ser aplicar a propriedade da conservao do sinal em uma
reduo ao absurdo:
Se f for contnua em p e f (p) 6= 0, ento existir um > 0 tal que
f (x) conservar o sinal de f (p) para p < x < p + , x Df .
Implementao. Bastaria considerar que, se f (x) 6= g (x) para algum x
/ Q,
como f contnua, haveria um > 0 tal que f (x) seria tambm diferente de g (x)
para todo x em [p , + p]. Mas,
 pelo Lema
  do exerccio 20, haver um racional
p
p
nessa regio. E se assim for, f q = g pq , contrariando a hiptese.
q
Logo, por reductio ad absurdum, f (x) = g (x) x R.
Exerccio 24
Basta aplicar o raciocnio que o autor exibiu no exerccio anterior.
No vou nem explicitar o algoritmo, pois isto j est pronto.
Vou s implementar.
(a)


|f (x) f (2)| = x3 + x 10


= |x 2| x2 + 2x + 5 .

Como a funo f (x) = x2 + 2x + 5 crescente no intervalo [0, 3] (ver grfico da

Figura 0.1), o valor mximo da funo nesse intervalo ser f (3) = 20. Da:
|f (x) f (x)| 20 |x 2| .

(0.1)

Figura 0.1. Grfico da funo f (x) = x2 + 2x + 5 no intervalo [0, 3].

(b)

Basta usar = min 1, 20
para provar a continuidade da funo, pois se 1 <
ento 20 < , e

,
20

|x 2| < 1 1 x 3 1 x3 27 2 f (x) 30 8 f (x) 10 10

|f (x) f (2)| 10 < .

20

< 1 < 20,

20 |x 2| < |f (x) f (2)| < .

|x 2| <
20

Acho que vlido comentar que se 20

> 1, tal quantidade no pode ser tomado
como , pois a Desigualdade 0.1 no ser vlida, dado que|x 2| < 2 <
x < + 2 implicar que x poder ser maior que trs. Isso inviabiliza a considerao
de 20 como teto da funo x2 + 2x + 5.

Por outro lado, se 20

< 1, 1 no se pode considerar que = 1, pois nesse caso,
conclui-se que |f (x) f (2)| 10, e < 20, no h garantia de que a implicao
que define a continuidade seja verdadeira.
Em caso contrrio,

Exerccio 26
Tambm me tomou muito tempo. Decidi registrar.

Esboo do algoritmo. Vejamos se entendi a ttica usada pelo Guidorizzi para

resolver um problema similar.
1. fatorar o consequente da implicao para gerar um produto do tipo |x p|
g (x).
2. aplicar a desigualdade triangular a g (x)
3. determinar um intervalo para x a fim de estabelecer um teto para a desigualdade resultante
anterior.
o
n da aplicao do comando

4. aplicar = min p a, b p, g(a)

.
, g(b)
Implementao. Vejamos se isso funciona.



1
1 

|f (x) f (p)| = x + p 
x
p



1
= |x p| 1 
px


1
|f (x) f (p)| |x p| 1 +
.
|px|
Ok. Agora, viria a etapa de determinar um intervalo para x.
Acho que aqui cabe um refinamento.
3. determinar um intervalo para x a fim de estabelecer um teto para a desigualdade resultante da aplicao do comando anterior.
1
3.1. investigar o comportamento da funo 1 + |px|
.
3.2. determinar a partir de que valor a funo se estabiliza.
Visualizando o grfico da funo, percebe-se que a partir de qualquer valor positivo de x, este ser o mximo da funo, pois ela decrescente, e converge para a
assntota y = 1.
Como tal intervalo deve conter p, vou seguir a tradio consagrada de escolher p2 ,
mas reconheo que qualquer outra escolha positiva para x iria estabelecer um teto
1
.
para 1 + |px|
Tudo bem ento.
A questo apresentada pelo autor envolve apenas p > 0. Logo, vou considerar x >
0 tambm, pois em geral os intervalos determinados por so muito pequenos e em
torno de p. Reconheo que estou simplificando o problema, e que no apresentarei
uma soluo geral assim.
Seja x > p2 .
Nessa condio,
1
2
1
2
<
< 2
x
p
xp
p
1
2
1 +
< 1 + 2.
xp
p
Da,


2
|f (x) f (p)| < |x p| 1 + 2 .
p
Ok.
Agora o problema chega a sua etapa final.
E eu acho que mereceum refinamento.

p

4. aplicar = min 2 , g p .
(2)

< p2 , basta aplicar a definio.



p
p
2
4.2. em caso contrrio, = 2 , e 2 1 + p2 < .
4.1. se

g ( p2 )

Implementao. Deve funcionar.

Seja g p < p2 . Ento, = g p , e da,
(2)
(2)

1 + p22


2
|x p| 1 + 2 <
p
|f (x) f (p)| < .
|x p| <

preciso resolver esse problema em caso contrrio.

Seja = p2 . Da,
p
p
3p
<x<
2
2
2
2
1
2
< <
3p
x
p
1
1
1
1
1
1
p
<x+ p < p+
2
3p
x
p
2
p
p
1
p 1
|f (x) f (p)| < +
< + .
2 3p
2 p
|x p| <

Como = p2 implica em p2 + p1 < , o teorema estaria demonstrado.

O que eu tomei o cuidado de verificar foi a motivao para o autor usar a condio
(
)
p

.
= min
,
2 g p2
Porque ele usaria tal condio?
Bom, parece-me prudente investigar o que impossibilita usar a = p2 quando

< p2 e vice-versa.
g ( p2 )
E para tal, considero importante averiguar quais seriam as implicaes de cada
uma das escolhas nos caso em que so inapropriadas, para determinar exatamente
onde est o erro. Eu pensei por exemplo, em investigar qual seria o determinado
por cada escolha, e compar-lo com o efetivo para auxiliar nesse processo.
Vejamos o que encontrei.
Seja = p2 mesmo que g p < p2 . Decorre disso que
(2)
p
p 1
|x p| < |f (x) f (p)| < + .
2
2 p
p

Mas, como g p < 2 , ento

(2)
p p
< g
2 2
p 1
< + ,
2 p
e fica evidente que tal valor de no garante a continuidade da funo.
E o outro caso?

Seja ento =

,
g ( p2 )

mesmo que

g ( p2 )

> p2 .

Sendo assim,

2

|x p| 1 + 2 < .
|x p| <
p
g p2

O problema dessa abordagem que, sendo g p > p2 , no d para garantir que

(2)


|f (x) f (p)| < |x p| 1 + p22 , conforme se ilustra no grfico da Figura 0.2.


Figura 0.2. Representao grfica da funo 1 + x1 . Em azul a curva

para x > 12 . Em vermelho, x < 21
. Verifica-se que o teto estabelecido
para a funo no intervalo 12 , no vlido no outro intervalo.
Pois, se

g ( p2 )

>

p
2

e |x p| <

,
g ( p2 )

h um intervalo no qual a funo no

contnua. Conforme ilustrado anteriormente, a continuidade da funo, nesse caso,

est associada ao teto determinado por x > p2 .
Ora, se |x p| < g p , ento,
(2)

p +p < x < p+
g 2
g p2

.
2 +p < x < p+
1 + p2
1 + p22
Como 1+ 2 > p2 1+ 2 < p2 , 1+ 2 + p < p2 + p = p2 . No intervalo
p2
p2
p2


1
1+ 2 + p, p2 , no h garantia de que a funo seja contnua, pois 1 + xp
no
p2

ser mais limitada por 1 +

2
.
p2


Isso explica porque o autor tomou o cuidado de considerar = min

p
,
2 g( p )
2

Exerccio 27
Como esse exerccio me tomou algum tempo, decidi deixar registrado.
(a)


.

Esboo do algoritmo. o seguinte:

1. Desenvolver o membro esquerdo da desigualdade.
2. Aplicar a hiptese.
3. Concluir.
Vejamos a implementao.
Implementao. verdade que:
 3



x p3  = |x p| x2 + xp + p2  .
O termo x2 + xp + p2 no pode ser negativo, pois as razes dessa equao so
complexas, ou seja, tal funo nunca atinge o eixo das abscissas, e para grandes
valores de x, x2 se torna o termo dominante da expresso, forando o resultado a
ser positivo.
Decorre disso que
 3



x p3  = |x p| x2 + xp + p2 .
(0.2)
Supondo que p 0, segue da hiptese que
(0.3)

2p x 2p.

Ento, vejamos. Decorre de 0.3 que:

2p2 xp 2p2
(0.4)

xp 2p2

e
(0.5)

x2 4p2 .

Aplicando-se ambas as desigualdades 0.4 e 0.5 na equao 0.2, deduz-se a tese:

 3



x p3  |x p| 4p2 + 2p2 + p2
= 7p2 |x p| .
Caso p < 0, basta trocar p por p, mas o resultado das desigualdades no vai se
alterar.
(b)
Bom, essa parte do exerccio consiste em concluir do item anterior que a funo
contnua em p.
Considerei melhor elaborar quais as estratgias que poderiam gerar alguma soluo.
Certamente, deve-se concluir que vale a definio de funo contnua.
A grande questo aqui como implementar essa estratgia.
H, a meu ver, duas estratgias. A primeira delas seguir a recomendao do
autor, e desenvolver a tese para estabelecer uma relao dentre e .
A outra transformar a hiptese para que assuma uma forma similar a da tese,
e ento, que isso revele a relao dentre e .
Mas, vejamos.
Nesse caso, preciso usar explicitamente que
 3

x p3  7p2 |x p|
para deduzir a continuidade da funo.
Bom, claro que essa desigualdade relaciona |x3 p3 | e |x p|.
Ento, talvez, bastasse explorar isso para que se determinasse a concluso.

T. Ento, se eu seguir a segunda estratgia, terei que fazer algo do tipo



|x p| < 7p2 |x p| < 7p2 x3 p3  < 7p2 .
Ora, isso sugere claramente que, dado , se |x p| < 7p2 , pode-se demonstrar a
continuidade da funo.
Deixem-me testar isso:



|x p| < 2 7p2 |x p| < x3 p3  < ;

7p
conforme eu suspeitei. Isso prova a continuidade da funo.
Seo 3.3
Exerccio 5
Como esse exerccio me tomou algum tempo, decidi deixar registrado.
(n)
Esboo do algoritmo. o seguinte:
1. Dividir o numerador pelo denominador.
2. Aplicar o limite ao resultado.
3. Concluir.
Vejamos a implementao.
Implementao. Bom, eu imagino que ao longo dessa resoluo, eu v refinando
o algoritmo.
Vejamos como fica a diviso de xn pn por x p.
n1

xn pn X n1i i
=
x
p.
xp
i=0
Agora, eu deveria tomar o limite disso para x p.
lim

xp

n1
X
i=0

n1i i

p =

n1
X

pn1 = npn1 .

i=0

Bom, na verdade era bem simples, e eu s posso ter demorado para resolv-lo
porque estava com muito sono.
(o)
Esboo do algoritmo. o seguinte:
1. Rearranjar.
2. Aplicar o algoritmo do exerccio anterior.
Vejamos a implementao.
Implementao. Basta rearranjar a expresso, que aparecer o que j foi .

n
x np
1
.
=
n
n
n
n p)
xp
( x) (

x n p

10

Pelo exerccio anterior,

n
lim

xp

x np
=
xp
=

1

limxp

n
n
x) ( n p)

n x
np

1
p
.
n
n pn1

Exerccio 12
Esboo do algoritmo. Vejamos a estratgia.
Vou provar primeiro a implicao direta, e depois penso na reversa.
Para a implicao direta, parece-me que a soluo de fato bem simples. Basta
aplicar a definio e rearranjar.
1. aplicar a definio;
2. rearranjar;
3. concluir.
Vejamos a implementao.
Implementao. Ento vejamos.
lim f (x) = L > 0, > 0 : 0 < |x p| < 0 < |f (x) L| <

xp

L < f (x) < L +

L + 0 < f (x) < L + 0 +
< f (x) L 0 < +
< (f (x) L) 0 < +
0 < |[f (x) L] 0| < .
Ou seja,
lim f (x) = L lim f (x) L = 0.

xp

xp

O problema desses exerccios encontrar um mtodo de prova independente para

demonstrar a implicao reversa:
lim f (x) L = 0 lim f (x) = L.

xp

xp

O que eu posso fazer exibir uma prova bem ingnua, baseada nas propriedades
listadas nessa seo, mas ainda no demonstradas no texto, por hora.
Mas o seguinte.
Vou admitir que
lim L = L.
xp

Da,
lim f (x) L = 0 lim f (x) lim L = 0.

xp

xp

xp

Acrescendo-se limxp L a ambos os lados da equao, deduz-se a implicao reversa:

lim f (x) lim L = 0 lim f (x) = lim L lim f (x) = L.

xp

Creio que seja isso.

xp

xp

xp

xp

11

Exerccio 13
Esboo do algoritmo. Vejamos a estratgia.
Acho que melhor considerar primeiro a implicao direta, e depois a reversa.
Ento, vejamos a implicao direta.
f (x)
f (x)
= 0 lim
= 0.
xp x p
xp |x p|
bem simples. Basta aplicar a definio, e rearranjar.
1. Aplicar a definio de limite.
2. Modificar o denominador para incluir o mdulo.
3. Concluir
Vejamos a implementao.
lim

Implementao. bem simples:

lim

xp

f (x)
= 0 > 0, > 0 :
xp


 f (x)

0 < |x p| < 
0 <
xp


 f (x) 

 < ,
0 < |x p| < 
|x p| 

pois |x p| = ||x p||. Logo,

lim

xp

f (x)
f (x)
= 0 lim
= 0.
xp
xp
|x p|

O problema de mostrar a implicao reversa est se mostrando bem mais complicado. Eu no estou conseguindo conceber um mtodo independente.
Bom, eu tive uma idia.
Ento, vejamos.
Se x p, ento |x p| = x p, e nessa regio,
f (x)
f (x)
= lim
= 0.
xp x p
xp |x p|
lim

Por outro lado, se x < p, ento |x p| = (x p), e neste caso,

f (x)
f (x)
= lim
.
xp |x p|
xp (x p)
lim

De acordo com o quadro de observaes dessa seo 3.3 (logo aps o exemplo 5),
vale que
lim kf (x) = k lim f (x) .
xp

xp

Decorre disso que

f (x)
f (x)
= lim (1)
xp
(x p)
xp
f (x)
f (x)
f (x)
lim
lim
= lim
xp x p
xp x p
xp |x p|
f (x)
lim
= (1) (0) = 0.
xp x p
lim

xp

12

Logo,
f (x)
f (x)
= 0 lim
= 0.
xp |x p|
xp x p
lim

Eu acho que isso.

Exerccio 14
Esboo do algoritmo. Creio que a melhor estratgia para resolver esse problema
seja uma prova do tipo reductio ad absurdum.
Seno vejamos. Supe-se que L 0. Da, aplica-se o teorema da conservao do
sinal para mostrar que isso contradiz a hiptese.
1. Supor que L 0.
2. Aplicar a conservao do sinal para concluir que h uma regio em torno
de p para a qual a funo s pode assumir valores negativos.
3. Mostrar que isso contradiz a hiptese.
4. Concluir.
Vejamos a implementao.
Implementao. Seja ento L 0. Pelo Teorema da Conservao do sinal, existe
um > 0 tal que para 0 < |x p| < , f (x) 0. Ora, mas isso impossvel, pois
por hiptese, h r tal que para 0 < |x p| < r, f (x) 0. Logo, por reductio ad
absurdum, L 0.
Exerccio 15
Esboo do algoritmo. o seguinte: minha estratgia ser invocar a conservao
do sinal para estabelecer uma regio na qual a funo ser sempre positiva (dada
a sua continuidade); e a partir do fato do conjunto dos racionais ser denso, provar
que a conservao do sinal se extenderia por toda a reta real.
1. invocar a conservao do sinal para mostrar que a funo positiva para
um intervalo em torno de um racional.
2. invocar a densidade dos racionais para mostrar que a reta real est repleta
de racionais.
3. concluir
Vejamos a implementao.
Implementao. Ento vamos l.
Pelo teorema da conservao do sinal, se a funo f (x) positiva para algum
racional, ento, num intervalo centrado em x de raio pelo menos igual a f (x), a
funo assume valores positivos.
Mas como o conjunto dos nmeros racionais denso, ou seja, para quaisquer dois
reais < , h um racional r entre eles (ou, < r < ), ento, para qualquer
intervalo da reta real haver um racional garantindo que a funo assuma valores
positivos nessa regio. Logo, tal funo positiva para qualquer x pertencente aos
reais.
Exerccio 5
No vou me alongar muito porque esse problema relativamente simples: se o
limite existir, ento os limites laterais existem e so iguais. Se limxp+ f (x) > 0
limxp f (x) > 0 e se limxp+ f (x) = 0 limxp f (x) = 0. Ento, se o limite
existir, limxp f (x) 0.

13

Exerccio 6
Ento vejamos. Vou fazer esse exerccio usando o mtodo mais tradicional.
Especificao. Provar que limxp

f (x)f (p)
xp

= 0, desde que o limite exista.

Parametros de entrada. f uma funo definida em um intervalo aberto I, p I,

x I (f (x) f (p)).
Parmetros de sada. Prova de que limxp

f (x)f (p)
xp

= 0.

Esboo do algoritmo. Ento vejamos qual a estratgia a ser seguida. O prprio

autor j deu a dica: analisar o sinal do limite da razo incremental para x tendendo
a p pela direita e pela esquerda.
Bom, essa dica muito valiosa, pois, dada a hiptese x I (f (x) f (p)),
pode-se concluir da anlise do sinal do limite da razo incremental que se tal limite
existir, ele s pode ser 0.
Ento, uma primeira verso do algoritmo seria:
1. Analisar o sinal do limite da razo incremental para x tendendo a p pela
direita e pela esquerda.
2. Aplicar a definio de limite em funo de limites laterais.
Vejamos a implementao.
Implementao. Sendo x I (f (x) f (p)) verdadeira, ento se x tender a p
pela esquerda, x < p, e f (x) f (p). Logo:
f (x) f (p)
0,
lim
xp
xp
pois x p < 0 e f (x) f (p) 0.
Analogamente, se x tender a p pela direita,x > p, e f (x) f (p). Logo:
f (x) f (p)
lim+
0,
xp
xp
pois nesse caso, x p > 0 e f (x) f (p) 0.
(p)
Ora, da definio de limite envolvendo limites laterais, o limite limxp f (x)f
s
xp
existir se os limites laterais existirem e forem iguais.
(p)
Como eles s sero iguais se forem nulos, ento, limxp f (x)f
= 0.
xp