Captulo 10

APNDICE
10.1 Limites
Proposio 10.1. (Unicidade do limite)
Se lim
xb
f(x) = L
1
e lim
xb
f(x) = L
2
; (L
1
, L
2
R), ento L
1
= L
2
. Em outras palavras se o limite existe ( um
nmero real), ele nico.
Prova: Se lim
xb
f(x) = L
1
, ento para todo

2
> 0 existe
1
> 0, tal que se 0 < |x b| <
1
ento
|f(x) L
1
| <

2
. Se lim
xb
f(x) = L
2
, ento para todo

2
> 0 existe
2
> 0, tal que se 0 < |x b| <
2
ento
|f(x) L
2
| <

2
. Seja o menor entre
1
e
2
. Em particular, (b , b + ) (A {b}) = ; logo, existe
z A tal que 0 < |z b| < e |L
1
L
2
| = |L
1
f(z) +f(z) L
2
| |L
1
f(z)| +|f(z) L
2
| <
<

2
+

2
= ; logo, |L
1
L
2
| < , para todo > 0; consequentemente, L
1
= L
2
.
Proposio 10.2.
1. Se lim
xb
f(x) = L > 0, ento existe > 0 tal que f(x) >
L
2
, para todo x (b , b +)
_
A {b}
_
.
2. Se lim
xb
f(x) = L < 0, ento existe > 0 tal que, para todo x (b, b+)
_
A{b}
_
tem-se f(x) <
L
2
.
Prova: 1. Seja =
L
2
; ento, existe > 0 tal que para todo x (b , b +)
_
A {b}
_
; logo,
|f(x) L| <
L
2
ou
L
2
< f(x) <
3 L
2
.
2. Exerccio.
Proposio 10.3. Se lim
xa
f(x) e lim
xa
g(x), existem, ento para todo , R:
1. lim
xa
_
f(x) + g(x)

= lim
xa
f(x) + lim
xa
g(x).
2. lim
xa
_
f(x) g(x)

=
_
lim
xa
f(x)
_
lim
xa
g(x)

.
3. lim
xa
f(x)
g(x)
=
lim
xa
f(x)
lim
xa
g(x)
, se lim
xa
g(x) = 0.
4. lim
xa
_
f(x)

n
=
_
lim
xa
f(x)

n
, se n N.
5. lim
xa
n
_
f(x) =
n
_
lim
xa
f(x), se lim
xa
f(x) 0 e n qualquer natural, ou lim
xa
f(x) < 0 e n um natural
mpar.
399
400 CAPTULO 10. APNDICE
6. lim
xa
ln
_
f(x)

= ln
_
lim
xa
f(x)

, se lim
xa
f(x) > 0.
7. Se lim
xa
h(x) = lim
xa
g(x) = L e existe > 0 tal que h(x) f(x) g(x), para 0 < |x a| < , ento
lim
xa
f(x) = L.
Prova: Provaremos 2 e 7. As demais propriedades cam como exerccios.
2. Sejam lim
xa
f(x) = L e lim
xa
g(x) = M, de denio:
|f(x) g(x) LM| = |f(x) g(x) f(x) M +f(x) M LM| |f(x)| |g(x) M| +|M| |f(x) L|.
Como lim
xa
f(x) = L, dado > 0 existe
1
> 0 tal que |f(x) L| < se 0 < |x a| <
1
; logo,
|f(x)| < |L| + 1 se 0 < |x a| <
1
. Por outro lado tambm existe
2
> 0 tal que |f(x) L| <
<

2 (|M|+1)
se 0 < |x a| <
2
; analogamente, existe
3
> 0 tal que |g(x) M| <

2 (|L|+1)
. Seja um
nmero menor que
1
,
2
e
3
; ento: |f(x) g(x) LM| |f(x)| |g(x) M| +|M| |f(x) L|

_
|L| + 1
_
K
1
+|M|K
2
<

2
+

2
= , se 0 < |x a| < , onde K
1
=
_

2 (|L|+1)
_
e K
2
=
_

2 (|M|+1)
_
.
7. Para todo > 0, existem
1
,
2
> 0 tal que se 0 < |x a| <
1
, ento, L < h(x) < L + e se
0 < |x a| <
2
, ento, L < g(x) < L + ; considere menor que
1
e
2
; logo, se 0 < |x a| < ;
ento, L < h(x) f(x) g(x) < L +.
Teorema 10.1. Seja f(x) uma funo com domnio D nas condies das denies. Ento lim
xa
f(x) = L se e
somente se os limites laterais existem e lim
xa
+
f(x) = lim
xa

f(x) = L.
Prova: A condio necessria segue das denies. Reciprocamente, se os limites laterais existem e
lim
xa
+
f(x) = lim
xa

f(x) = L, temos que dado > 0 existem

1
,
2
> 0, tais que se a < x < a +
1
ento
|f(x) L| < e se a
2
< x < a, ento |f(x) L| < . Note que
1
e
2
podem ser iguais ou diferentes,
(arranje exemplos). Caso
1
=
2
, considere = mn{
1
,
2
}; ento se |xa| < temos que |f(x)L| < .
10.2 Funes Derivveis
Teorema 10.2. Se f derivvel em x
0
ento f contnua em x
0
.
Prova: Como f derivvel em x
0
, temos: f

(x
0
) = lim
xx0
f(x) f(x
0
)
x x
0
. Devemos provar que
lim
xx0
f(x) = f(x
0
), o que equivalente a lim
xx0
(f(x) f(x
0
)) = 0.
lim
xx0
(f(x) f(x
0
)) = lim
xx0
(x x
0
)
_
f(x) f(x
0
)
x x
0
_
= lim
xx0
(x x
0
) lim
xx0
f(x) f(x
0
)
x x
0
= 0;
logo, lim
xx0
f(x) = f(x
0
). A recproca do teorema falsa.
Proposio 10.4. Sejam u = u(x) e v = v(x) funes derivveis; ento:
1. Regra da soma: As funes u v so derivveis e
(u v)

(x) = u

(x) v

(x)
2. Regra do produto: A funo u v derivvel e
(u v)

(x) = u

(x) v(x) +u(x) v

(x)
10.2. FUNES DERIVVEIS 401
3. Regra do quociente: A funo
u
v
derivvel, e
_
u
v
_

(x) =
u

(x) v(x) u(x) v

(x)
(v(x))
2
se v(x) = 0
Provaremos a segunda propriedade; as outras provas so anlogas.
(u v)

(x) = lim
t0
(u v)(x +t) (u v)(x)
t
.
(u v)(x +t) (u v)(x) = u(x +t) v(x +t) u(x) v(x); somando e subtraindo o termo
u(x +t) v(x), obtemos:
(u v)(x +t) (u v)(x) = u(x +t) v(x +t) u(x +t) v(x) +u(x +t) v(x) u(x) v(x); logo,
(u v)(x +t) (u v)(x) = u(x +t) (v(x +t) v(x)) +v(x) (u(x +t) u(x)).
Ento: (u v)

(x) = lim
t0
u(x +t) (v(x +t) v(x)) +v(x) (u(x +t) u(x))
t
; logo,
(u v)

(x) = u(x) lim

t0
v(x +t) v(x)
t
+v(x) lim
t0
u(x +t) u(x)
t
,
pois, lim
t0
u(x +t) = u(x) (u derivvel, logo contnua). Logo (u v)

(x) = u(x) v

(x) +v(x) u

(x).
Teorema 10.3. Regra da Cadeia
Sejam f e g funes, tais que g f esteja bem denida. Se f derivvel em x e g derivvel em f(x), ento g f
derivvel em x e:
(g f)

(x) = g

(f(x)) f

(x).
Prova: Se x
0
Dom(f), provaremos que (g f)

(x
0
) = g

(f(x
0
)) f

(x
0
). Consideremos a seguinte
funo:
G(t) =
_
_
_
g(t) g(f(x
0
))
t f(x
0
)
se t = f(x
0
)
g

(f(x
0
)) se t = f(x
0
).
G contnua em t
0
= f(x
0
), de fato:
lim
tf(x0)
G(t) = lim
tf(x0)
g(t) g(f(x
0
))
t f(x
0
)
= g

(f(x
0
)) = G(f(x
0
)).
G tambm contnua em t = f(x) = f(x
0
), pois para s = f(x
0
), temos:
lim
st
G(s) = lim
st
g(s) g(f(x
0
))
s f(x
0
)
=
g(t) g(f(x
0
))
t f(x
0
)
= G(t).
f diferencivel, logo contnua; ento, G f contnua em Dom(f), e:
lim
xx0
G(f(x)) = G(f(x
0
)) = g

(f(x
0
)).
Por outro lado, se x = x
0
:
g(f(x)) g(f(x
0
))
x x
0
= G(f(x))
_
f(x) f(x
0
)
x x
0
_
.
No caso que f(x) = f(x
0
) se x = x
0
, ambos os lados da ultima igualdade so nulos.
(g f)

(x
0
) = lim
xx0
g(f(x)) g(f(x
0
))
x x
0
= lim
xx0
G(f(x))
_
f(x) f(x
0
)
x x
0
_
= g

(f(x
0
)) f

(x
0
).
Proposio 10.5. Se f uma funo derivvel no intervalo (a, b) e x
0
(a, b) um extremo relativo de f, ento
f

(x
0
) = 0.
402 CAPTULO 10. APNDICE
Prova: Suponha que x
0
um ponto de mximo relativo de f; como f derivvel em (a, b), temos:
f

(x
0
) = lim
xx0
f(x) f(x
0
)
x x
0
.
Mais ainda: f

(x
0
) = lim
xx0
+
f(x) f(x
0
)
x x
0
= lim
xx0

f(x) f(x
0
)
x x
0
.
i) Se x x
+
0
, ento x x
0
> 0 e f(x) f(x
0
) 0, logo f

(x
0
) 0.
ii) Se x x
0

, ento x x
0
< 0 e f(x) f(x
0
) 0, logo f

(x
0
) 0.
De i) e ii) temos que f

(x
0
) = 0. A prova para mnimo anloga.
Teorema 10.4. (do Valor Mdio)
Seja f : [a, b] R contnua e derivvel em (a, b). Ento existe pelo menos um x
0
(a, b) tal que:
f

(x
0
) =
f(b) f(a)
b a
Prova: Considere a funo F(x) = f(x) f(a) (x a)
_
f(b) f(a)
b a
_
. F contnua em[a, b], derivvel
em (a, b) e F(a) = F(b); F

(x) = f

(x)
f(b) f(a)
b a
. Pelo Teorema de Rolle aplicado a F, existe x
0

(a, b) tal que F

(x
0
) = 0; ento:
f

(x
0
) =
f(b) f(a)
b a
.
Interpretao geomtrica da funo auxiliar F
i) A equao da reta que passa pelos pontos A = (a, f(a)) e B = (b, f(b)) :
y =
_
f(a) f(b)
b a
_
(x a) +f(a).
ii) F(x) = f(x)y, ou seja, F(x) representa a diferena das ordenadas do grco de f e da reta que passa
pelos pontos A e B para os pontos de mesma abscissa. Observe que no desenho anterior, F(x) 0, para
todo x [a, b], pois o grco de f est abaixo da reta que passa por A e B.
Teorema 10.5. (Teorema do Valor Mdio Generalizado )
Sejam f e g funes contnuas em [a, b] e derivveis em (a, b). Se g

(x) = 0 para todo x (a, b), ento existe pelo

menos um x
0
(a, b) tal que:
f

(x
0
)
g

(x
0
)
=
f(b) f(a)
g(b) g(a)
.
Prova: i) Observemos, primeiramente, que a expresso do enunciado do Teorema est bem denida. De
fato, se g(a) = g(b), considerando h(x) = g(x) g(a), obtemos h(a) = h(b) = 0; como h contnua em
[a, b] e derivvel em (a, b), pelo Teorema de Rolle temos que existe x
0
(a, b) tal que h

(x
0
) = 0; ento
g

(x
0
) = 0, o que uma contradio com a hiptese do Teorema. Logo, g(a) = g(b).
ii) Denamos a seguinte funo: F(x) =
_
f(b) f(a)
_ _
g(x) g(a)
_

_
f(x) f(a)
_ _
g(b) g(a)
_
.
F contnua em [a, b] e derivvel em (a, b), F(a) = F(b) e:
F

(x) = g

(x)
_
f(b) f(a)
_
f

(x)
_
g(b) g(a)
_
.
Pelo Teorema de Rolle, existe x
0
(a, b) tal que F

(x
0
) = 0. Usando a expresso da derivada de F
obtemos o resultado.
10.3. FUNES INTEGRVEIS 403
Teorema 10.6. (LHpital)
Sejam f e g funes derivveis num domnio D que pode ser um intervalo aberto ou uma reunio de intervalos
abertos, exceto possivelmente num ponto a e g(x) = 0, para todo x = a.
1. Se lim
xa
f(x) = lim
xa
g(x) = 0 e lim
xa
f

(x)
g

(x)
= L, ento:
lim
xa
f(x)
g(x)
= lim
xa
f

(x)
g

(x)
= L.
2. Se lim
xa
f(x) = lim
xa
g(x) = e lim
xa
f

(x)
g

(x)
= L, ento:
lim
xa
f(x)
g(x)
= lim
xa
f

(x)
g

(x)
= L.
Prova: 1. Provaremos que: lim
xa
+
f(x)
g(x)
= lim
xa
+
f

(x)
g

(x)
, o outro caso analogo. Consideremos as funes:
F(x) =
_
f(x) se x = a
0 se x = a
e G(x) =
_
g(x) se x = a
0 se x = a.
Seja > a, F e G so derivveis em (a, ) e
lim
xa
+
F(x) = lim
xa
+
f(x) = lim
xa
+
G(x) = lim
xa
+
g(x) = 0.
F

= f

e G

= g

em (a, ). Se x (a, ); ento F e G so contnuas em [a, x]; logo, pelo teorema do

valor mdio generalizado, existe x
0
(a, x) tal que:
F(x) F(a)
G(x) G(a)
=
F

(x
0
)
G

(x
0
)
,
como F(a) = G(a) = 0, temos
F(x)
G(x)
=
F

(x
0
)
G

(x
0
)
se x
0
(a, x). Ento:
lim
xa
+
f(x)
g(x)
= lim
xa
+
F(x)
G(x)
= lim
x0a
+
F

(x
0
)
G

(x
0
)
= lim
xa
+
F

(x)
G

(x)
= lim
xa
+
f

(x)
g

(x)
;
pois se x a
+
; ento x
0
a
+
.
Fazendo t =
1
x
; ento f

(x) = f

_
1
t
_
1
t
2
e g

(x) = g

_
1
t
_
1
t
2
; logo
lim
x+
f(x)
g(x)
= lim
t0
+
f
_
1
t
_
g
_
1
t
_
= lim
t0
+
f

_
1
t
_
g

_
1
t
_
= lim
x+
f

(x)
g

(x)
.
10.3 Funes Integrveis
Proposio 10.6. Se f e g so funes integrveis em [a, b], ento:
1. Linearidade da Integral. f + g funo integrvel em [a, b], para todo , R e:
_
b
a
_
f(x) + g(x)
_
dx =
_
b
a
f(x) dx +
_
b
a
g(x) dx.
404 CAPTULO 10. APNDICE
2. Monotonicidade da Integral. Se f(x) g(x) em [a, b]; ento,
_
b
a
f(x) dx
_
b
a
g(x) dx.
3. |f| integrvel e:

_
b
a
f(x) dx

_
b
a

f(x)

dx.
4. Sejam a < c < b e f uma funo integrvel em [a, c] e [c, b] respectivamente. Ento f integrvel em [a, b]
e:
_
b
a
f(x) dx =
_
c
a
f(x) dx +
_
b
c
f(x) dx.
Prova: 1. Provaremos que para toda partio P de [a, b] e para todo c
i
[x
i1
, x
i
] teremos que
lim
|xi|0
n

i=1
_
f + g
_
(c
i
)x
i
existe. De fato:
lim
|xi|0
n

i=1
_
f + g
_
(c
i
)x
i
= lim
|xi|0
_
n

i=1
f(c
i
)x
i
+
n

i=1
g(c
i
)x
i
_
=
= lim
|xi|0
n

i=1
f(c
i
)x
i
+ lim
|xi|0
n

i=1
g(c
i
)x
i
=
_
b
a
f(x) dx +
_
b
a
g(x) dx,
pois f e g so integravis em [a, b]; logo:
_
b
a
_
f(x) + g(x)
_
dx =
_
b
a
f(x) dx +
_
b
a
g(x) dx.
2. Por 1. provaremos que se h = f g; ento,
_
b
a
h(x) dx 0. Para toda partio P de [a, b] e para todo
c
i
[x
i1
, x
i
] temos que h(c
i
) 0; logo,
n

i=1
h(c
i
)x
i
0 e:
_
b
a
h(x) dx = lim
|xi|0
n

i=1
h(c
i
)x
i
0.
4. Para toda partio P de [a, b] tal que c = x
i
para algumi; ento [a, c] subdividido emr subintervalos
e [c, b] em n r subintervalos; logo:
n

i=1
f(c
i
)x
i
=
r

i=1
f(c
i
)x
i
+
nr

i=r
f(c
i
)x
i
.
Ento:
_
b
a
f(x) dx = lim
|xi|0
n

i=1
f(c
i
)x
i
= lim
|xi|0
r

i=1
f(c
i
)x
i
+ lim
|xi|0
nr

i=r
f(c
i
)x
i
; logo:
_
b
a
f(x) dx =
_
c
a
f(x) dx +
_
b
c
f(x) dx.
Teorema 10.7. (Fundamental do Clculo).
Seja f : [a, b] R uma funo contnua. A funo g(x) =
_
x
a
f(t) dt derivvel e:
g

(x) = f(x), ou, g

(x) =
d
dx
_
x
a
f(t) dt = f(x).
10.3. FUNES INTEGRVEIS 405
Prova: Seja h R tal que x +h [a, b]:
g(x +h) g(x) =
_
x+h
a
f(t) dt
_
x
a
f(t) dt =
_
x+h
a
f(t) dt +
_
a
x
f(t) dt =
_
x+h
x
f(t) dt.
Suponha que h > 0. Como f contnua no intervalo [x, x + h], pelo teorema de Weierstrass, existem
u, v [x, x +h] tal que f(u) f(t) f(v), ento
_
x+h
x
f(u) dt
_
x+h
x
f(t) dt
_
x+h
x
f(v) dt;
logo:
hf(u)
_
x+h
x
f(t) dt hf(v),
e f(u)
1
h
_
x+h
x
f(t) dt f(v). Por outro lado, se h 0, ento u x e v x, e:
lim
h0
f(u) = lim
ux
f(u) = f(x), lim
h0
f(v) = lim
vx
f(v) = f(x),
pois f contnua; ento:
f(x) lim
h0
g(x +h) g(x)
h
f(x),
donde g

(x) = f(x). Analogamente se h < 0.

Corolrio 10.8. Se f uma funo integrvel em [a, b] e admite uma primitiva F(x) em [a, b], ento:
_
b
a
f(x) dx = F(b) F(a)
Prova: Dena:
G(x) =
_
x
a
f(x) dx.
Pelo Teorema Fundamental do Clculo: G

(x) = f(x), x [a, b]. Logo, existe C R tal que:

G(x) = F(x) +C.
Por outro lado: G(a) = 0, ento C = F(a) e:
G(x) = F(x) F(a) = G(b) =
_
b
a
f(x) dx = F(b) F(a).
406 CAPTULO 10. APNDICE