Clculo 2 - Cap a tulo 2.

7 - Diferenciabilidade e continuidade das derivadas parciais

Cap tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

2.7.1 - Teorema do Valor Mdio e 2.7.2 - Diferenciabilidade e continuidade das derivadas parciais

Veremos, neste cap tulo, um teorema que facilita em muito a vericao de diferenciabilidade de uma funo ca ca de diversas variveis. Antes de provarmos o teorema principal deste cap a tulo, necessrio primeiro voltar a um e a teorema importante das derivadas de funes de uma varivel real. co a

2.7.1 - Teorema do Valor Mdio e

Neste cap tulo, veremos um teorema que simplica bastante a determinao de diferenciabilidade de uma ca funo baseando-se na continuidade de suas derivadas parciais. isto encerra a nossa discusso de diferencibilica a dade de uma funo. ca A demonstrao desse teorema depende de um outro teorema muito importante do Clculo, o Teorema do ca a Valor Mdio, que enunciado a seguir. A Leitura Complementar 2.7.1 faz um estudo mais aprofundado desse e e teorema. Teorema 1 - Teorema do Valor Mdio: se f for cont e nua em um intervalo fechado [a, b] e derivvel a no intervalo aberto (a, b), ento existir pelo menos um c [a, b] tal que a a f (b) f (a) = f (c) . ba A explicao desse teorema se d da seguinte forma: ca a consideremos uma funo cont ca nua limitada por um intervalo [a, b], como a da gura ao lado, onde f (a) no a e necessariamente igual a f (b). Podemos traar uma reta c secante entre os pontos (a, f (a)) e (b, f (b)). Esta reta secante, a exemplo da equao da reta tangente a um ca ponto, tem a equao dada por ca f (b) f (a) y(x) = f (a) + m(x a) , m = . ba

y f (b)

a [
c f (a)

] b

Para vericar que esta equao a correta, podemos calcular ca e y(a) = f (a) + f (b) f (a) 0 = f (a) , ba f (b) f (a) y(b) = f (a) + (b a) = f (a) + f (b) f (a) = f (b) . ba

O que o Teorema do Valor Mdio arma que, traando uma secante entre quaisquer dois pontos do e e c intervalo, haver sempre um ponto c entre esses dois pontos cuja derivada ser igual ao coeciente angular da a a reta secante.

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais Exemplo 1: considere a funo f (x) = x2 2x + 1, cuja derivada f (x) = 2x 2. O coeciente angular ca e da reta secante entre os pontos a = 1 e b = 2 dado por e f (2) f (1) (4 4 + 1) (1 2 + 1) 1 f (b) f (a) = = = =1. ba 21 1 1 Para calcularmos o valor c para o qual f (b) f (a) = f (c), podemos escrever ba 3 . 2

f (c) = 1 2c 2 = 1 2c = 3 c = Isto corrobora o teorema.

2.7.2 - Diferenciabilidade e continuidade das derivadas parciais

Vamos agora enunciar e provar um teorema que mostra que uma funo diferencivel em um determinado ca e a ponto de seu dom nio se ela tiver derivadas parciais cont nuas nesse mesmo ponto. Teorema 2 - Dada uma funo f : A R2 R, onde A um conjunto aberto, se existem as derivadas ca e f f (x0 , y0 ) e (x0 , y0 ), onde (x0 , y0 ) A, ento f diferencivel nesse ponto. a e a parciais x y

Demonstrao: como o dom A da funao aberto, poss denir uma bola aberta em torno do ponto ca nio c e e vel (x0 , y0 ) A que esteja inteiramente contida em A. Consideremos agora um ponto deslocado do original dado por (x0 + x, y0 + y), tambm pertendente ` mesma bola aberta (gura abaixo e ao lado). e a Podemos escrever a diferena da funao f entre esses dois pontos da seguinte forma: c c
f = f (x0 + x, y0 + y) f (x0 , y0 ) = f (x0 + x, y0 + y) f (x0 , y0 + y) + f (x0 , y0 + y) f (x0 , y0 ) . Pelo Teorema do Valor Mdio, existe um x [x0 , x0 + x] tal que e f f (x0 + x, y0 + y) f (x0 , y0 + y) = (, y0 + y) x x x f (, y0 + y)x . x f (x0 + x, y0 + y) f (x0 , y0 + y) = x De modo semelhante, existe um y [y0 , y0 + y] tal que f (x0 , y0 + y) f (x0 , y0 ) f = (x0 , y) y y f f (x0 , y0 + y) f (x0 , y0 ) = (x0 , y)y . y Podemos, ento, escrever a f (x0 + x, y0 + y) f (x0 , y0 ) = f f (, y0 + y)x + x (x0 , y)y . x y x x0 x0 + x y y0 + y y0

Como a nossa intenao conseguir a funao G(x, y) vista na deniao de diferenciabilidade de uma funao no c e c c c cap tulo passado, escrevemos f f (x0 , y0 )x (x0 , y0 ) = x y f f f f (, y0 + y)x + x (x0 , y )y (x0 , y0 )x (x0 , y0 ) = = x y x y f f f f = (, y0 + y) x (x0 , y0 ) x + (x0 , y ) (x0 , y0 ) y . x x y y G(x, y) = f (x0 + x, y0 + y) f (x0 , y0 )

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

A condiao de diferenciabilidade da funao f em (x0 , y0 ) ca, agora, c c G(x, y) = (x,y)(0,0) ||(x, y)|| f f f (, y + y) f (x , y ) x (x0 , y ) (x0 , y0 ) y 0 0 x x 0 x y y = lim + = ||(x, y)|| ||(x, y)|| (x,y)(0,0) lim =
(x,y)(0,0)

lim

f f x f y f (, y0 + y) x (x0 , y0 ) + (x0 , y) (x0 , y0 ) x x ||(x, y)|| y y ||(x, y)||

Caso as derivadas parciais com relaao a x e com relaao a y sejam cont c c nuas, ento a lim f f (, y0 + y) x (x0 , y0 ) = 0 x x e lim f f (x0 , y ) (x0 , y0 ) = 0 . y y

(x,y)(0,0)

(x,y)(0,0)

Alm disso, e x = ||(x, y)|| de modo que

(x,y)(0,0)

x (x)2 + (y)2

1 e

y = ||(x, y)||

y (x)2 + (y)2

1,

lim

G(x, y) =0, ||(x, y)||

o que prova que a funao diferencivel em (x0 , y0 ). c e a

Esse teorema ser usado a seguir para provar a diferenciabilidade de algumas funes. a co Exemplo 1: verique se a funo f (x, y) = xy 2 4x diferencivel em todo o seu dom ca e a nio.
Soluao: as derivadas parciais dessa funao cam c c f (x, y) = y 2 4 x e f (x, y) = 2xy , y

de modo que elas so cont a nuas em todo o R2 . Portanto, f diferencivel em todo o seu dom e a nio, que o prprio e o 2 R .

Exemplo 2: verique se f (x, y) =

Soluao: para (x, y) = (0, 0), as derivadas parciais dessa funao cam c c 2xy f (x, y) = x x2 f (x, y) = y

, (x, y) = (0, 0) diferencivel em (0, 0). e a x2 + y 2 0 , (x, y) = (0, 0)

e

x2 y

1 x2 + y 2 x2 y (x2 + y 2 )1/2 2x x3 y 2xy 2 2 = x2 + y 2 (x + y 2 )3/2 x2 + y 2 1 x2 + y 2 x2 y (x2 + y 2 )1/2 2y x2 y 2 x2 2 2 = . 2 + y2 x (x + y 2 )3/2 x2 + y 2

Para (x, y) = (0, 0), precisamos calcular as derivadas parciais pela deniao: c (x)2 0 f (0 + x, 0) f (0, 0) f (0, 0) = lim = lim x0 x0 x x f (0, 0 + y) f (0, 0) f (0, 0) = lim = lim y0 y0 y y 0 x)2 =0, x 0 y 0 (y)2 =0. y

Falta agora provar que as derivadas parciais so cont a nuas em (0, 0). Para a derivada parcial com relaao a x, c temos

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

f 2x (x, y) = lim (x,y)(0,0) x (x,y)(0,0) lim Como lim lim x = 0, y x2 + y2 1 e y x2 + y 2 x2 + y2 y x2 + y 2 x2 + y2 y x2 + y2

x2

(x,y)(0,0)

x2

x2 1, de modo que + y2

x2

1, ento a

(x,y)(0,0)

f f (x, y) = 0, de modo que (x, y) cont e nua em (0, 0). x x

Para a derivada parcial com relaao a y, temos c f x (x, y) = lim (x,y)(0,0) (x,y)(0,0) x lim Como lim y = 0 e usando os resultados anteriores, x x2 + y2 y x2 x2 + y 2 y x2 + y2 .

(x,y)(0,0)

f (x, y) = 0, de modo que (x,y)(0,0) y lim

f (x, y) cont e nua em (0, 0). y Como as duas derivadas parciais so cont a nuas em (0, 0), ento f diferencivel nesse mesmo ponto. a e a

O prximo exemplo mostra que mesmo quando as derivadas parciais de uma funo no so cont o ca a a nuas em um determinado (x0 , y0 ), essa mesma funo pode ser diferencivel nesse ponto. ca a 1 (x2 + y 2 ) sen , (x, y) = (0, 0) 2 + y2 diferencivel em (0, 0). e a Exemplo 3: verique se f (x, y) = x 0 , (x, y) = (0, 0)
Soluao: para (x, y) = (0, 0), as derivadas parciais dessa funao cam c c f 1 1 + (x2 + y 2 ) cos 2 (x, y) = 2x sen 2 x x + y2 x + y2 1 1 f + (x2 + y 2 ) cos 2 (x, y) = 2y sen 2 y x + y2 x + y2 1 1 2x 1 2x = 2x sen 2 2 cos 2 , (x2 + y 2 )2 x + y2 x + y2 x + y2 1 1 2y 1 2 2y = 2y sen 2 2 cos 2 . (x + y 2 )2 x + y2 x + y2 x + y2

Para (x, y) = (0, 0), precisamos calcular as derivadas parciais pela deniao. Para a derivada parcial com relaao c c a x, temos f (0 + x, 0) f (0, 0) f (0, 0) = lim = lim x0 x0 x x Como lim x = 0 e sen (x)2 sen x 1 (x)2 1 . (x)2

= lim x sen
x0

(x,y)(0,0)

f 1 1, ento a (0, 0) = 0. (x)2 x

Para a derivada parcial com relaao a y, temos c f f (0, 0 + y) f (0, 0) (0, 0) = lim = lim y0 y0 y y Como lim y = 0 e sen (y)2 sen y 1 (y)2 1 . (y)2

= lim y sen
y0

(x,y)(0,0)

f 1 1, ento a (0, 0) = 0. 2 (x) y

Podemos, ento, escrever as derivadas parciais com relaao a x e a y da seguinte forma: a c 1 2x 1 f 2x sen 2 2 cos 2 , (x, y) = (0, 0) (x, y) = e x + y2 x + y2 x + y2 0 , (x, y) = (0, 0) x 1 2y 1 f 2y sen 2 2 cos 2 , (x, y) = (0, 0) (x, y) = . x + y2 x + y2 x + y2 0 , (x, y) = (0, 0) y

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

Vamos agora vericar se as derivadas parciais so cont a nuas em (0, 0). A primeira parte de cada expresso para a as derivadas parciais formada por um limite tendendo a zero quando (x, y) (0, 0) multiplicado por uma funao e c limitada, porm isto no verdade para a segunda expresso de cada derivada parcial. Vamos, ento, testar os e a e a a limites quando (x, y) (0, 0) de dois caminhos distintos para ambas as derivadas parciais. Comeando pelo caminho dado pela imagem da funao vetorial F (t) = (x(t), y(t)) = (t, 0), teremos os seguintes c c limites:
(x,y)(0,0)

f 2t 1 2 1 1 1 (x, y) = lim 2t sen 2 2 cos 2 = lim 2t sen 2 cos 2 t0 t0 x t + 02 t + 02 t + 02 t t t 1 20 1 f = lim 0 = 0 . 2 cos 2 (x, y) = lim 2 0 sen 2 lim t0 t0 t + 02 t + 02 t + 02 (x,y)(0,0) y lim

1 1 e cos 2 so limitadas, o limite para a derivada parcial de f com relaao a x ca, para t 0 (t a c t2 t tendendo a zero pela esquerda, ou seja, t tendendo a zero a partir de valores negativos de t), Como sen lim 1 2 1 f (x, y) = lim 2t sen 2 cos 2 x t t t t0 = 0 () = .

(x,y)(0,0)

J para t 0+ (t tendendo a zero pela direita, ou seja, t tendendo a zero a partir de valores positivos de t), a lim f 1 2 1 (x, y) = lim 2t sen 2 cos 2 x t t t t0+ = 0 = .

(x,y)(0,0)

Dessa forma, o limite da derivada parcial de f com relaao a x quando (x, y) (0, 0) no existe e essa derivada c a parcial no cont a e nua em (0, 0). Considerando agora o caminho dado pela imagem da funao vetorial F (t) = (x(t), y(t)) = (0, t), teremos os c seguintes limites: 1 f 20 1 = lim 0 = 0 , 2 cos 2 (x, y) = lim 2 0 sen 2 t0 t0 x 0 + t2 0 + t2 0 + t2 1 1 2t 1 2 1 f = lim 2t sen 2 cos 2 2 cos 2 (x, y) = lim 2t sen 2 lim t0 t0 0 + t2 0 + t2 0 + t2 t t t (x,y)(0,0) y lim

(x,y)(0,0)

Como j vimos antes, o segundo limite no existe, de modo que a derivada parcial de f com relaao a y tambm a a c e no cont a e nua em (0, 0). Era de se esperar agora que a funao f no fosse diferencivel em (0, 0). Porm, podemos calcular c a a e G(x, y) = f (x0 + x, y0 + y) f (x0 , y0 ) = (x)2 + (y)2 sen de modo que G(x, y) = lim lim (x,y)(0,0) (x,y)(0,0) ||(x, y)|| =
(x,y)(0,0)

f f (x0 , y0 )x (x0 , y0 )y = x y

1 1 0 0 x 0 y = (x)2 + (y)2 sen , (x)2 + (y)2 (x)2 + (y)2

(x)2 + (y)2 sen

(x)2

1 + (y)2

(x)2 + (y)2

lim

(x)2 + (y)2 sen

1 . (x)2 + (y)2 1 1, ento a + (y)2 G(x, y) = 0, de (x,y)(0,0) ||(x, y)|| lim

Como

(x,y)(0,0)

lim

(x)2 + (y)2 = 0

sen

(x)2

modo que f diferencivel em (0, 0). e a

Um ultimo exemplo serve para lembrar que uma funo pode ser diferencivel em um ponto quando suas ca a derivadas parciais no forem cont a nuas nesse ponto, mas que ela no ser diferencivel em um ponto onde suas a a a derivadas parciais no existam. a

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais sen (x2 + y 2 ) , (x, y) = (0, 0) Exemplo 4: verique se f (x, y) = diferencivel em (0, 0). e a x2 + y 2 1 , (x, y) = (0, 0)
Soluao: para (x, y) = (0, 0), as derivadas parciais dessa funao cam c c cos(x2 + y 2 ) 2x (x2 + y 2 ) sen (x2 + y 2 ) 2x f e (x, y) = x (x2 + y 2 )2 cos(x2 + y 2 ) 2y (x2 + y 2 ) sen (x2 + y 2 ) 2y f . (x, y) = y (x2 + y 2 )2 Para (x, y) = (0, 0), precisamos calcular as derivadas parciais pela deniao: c sen (x)2 1 f 1 f (0 + x, 0) f (0, 0) sen (x)2 (x)2 + lim (0, 0) = lim = lim = lim , 3 x0 x x0 x0 x0 x x x (x) sen (y)2 1 1 f (0, 0 + y) f (0, 0) sen (y)2 f (y)2 + lim (0, 0) = lim = lim = lim . y0 y y0 y0 y0 y y y (y)3 1 1 e lim no existem. Portanto, a funao no diferencivel em (0, 0), pois no podemos a c a e a a x y0 y montar a funao G(x, y) adequada. c Os limites lim
x0

Terminamos por aqui a nossa anlise da diferenciabilidade de uma funo. Todos os resultados aqui vistos a ca podem ser generalizados para funes de mais de duas variveis. co a

Resumo
Teorema do Valor Mdio. Se f for cont e nua em um intervalo fechado [a, b] e derivvel no intervalo a aberto (a, b), ento existir pelo menos um c [a, b] tal que a a f (b) f (a) = f (c) . ba Diferenciabilidade e continuidade das derivadas parciais. Dada uma funo f : A R2 R, ca f f (x0 , y0 ) e (x0 , y0 ), onde (x0 , y0 ) onde A um conjunto aberto, se existem as derivadas parciais e x y A, ento f diferencivel nesse ponto. a e a

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

Leitura Complementar 2.7.1 - Teorema do Valor Mdio e

Em Clculo 1, vrias denies foram dadas de maneira informal e zemos vrias armaes que, na a a co a co verdade, so teoremas que precisam ser provados. Esta leitura complementar se encarrega de enunciar e provar a um dos teoremas mais importantes do clculo com funes de uma varivel real: o Teorema do Valor Mdio. a co a e Noi entanto, para prov-lo, necessrio fazer algumas denes e provar outros teoremas, o que feito a seguir. a e a co e Para que possamos dar denies coerentes do que um mximo ou um m co e a nimo de uma funo, conceitos ca importantes para o Teorema do Valor Mdio, precisamos do conceito de vizinhana, denido a seguir. e c Denio 1 - Dado um n mero real a qualquer pertencente a um subintervalo I R, denimos ca u uma vizinhana desse ponto como sendo um conjunto de pontos pertencentes a I que estejam a uma c distncia menor que um n mero > 0 de a, isto , uma vizinhana de a o intervalo a u e c e {x I | a < x < a + } = {x I | |x a| < } . Vamos, agora, `s denies de mximos e m a co a nimos locais e globais. Denio 2 - Dados uma funo f (x) e um ponto a D(f ), f (c) um mximo local de f se ca ca e a f (c) f (x) para todo x pertencente a alguma vizinhana de a. c

Denio 3 - Dados uma funo f (x) e um ponto a D(f ), f (c) um m ca ca e nimo local de f se f (c) f (x) para todo x pertencente a uma vizinhana de a. c

Denio 4 - Dados uma funo f (x) e um ponto a D(f ), f (c) um mximo global de f se ca ca e a f (c) f (x) para todo x D(f ).

Denio 5 - Dados uma funo f (x) e um ponto a D(f ), f (c) um m ca ca e nimo global de f se f (c) f (x) para todo x D(f ). Uma denio completa de um ponto de inexo ainda no pode ser dada, mas a seguir fazemos uma ca a a denio temporria. ca a Denio 6 - Dada uma f (x), se f (c), c D(f ), no nem um mximo (local ou global) nem um ca a e a (c) = 0, ento c um ponto de inexo de f . m nimo (local ou global) de f e f a e a Note que a denio acima no limita um ponto de inexo a ocorrer somente quando f (c) = 0 e f (c) no ca a a a for nem um mximo nem um m a nimo da funo. Como ser visto na prxima aula, h outros casos em que ca a o a surgem pontos de inexo e f (c) = 0. a Vamos agora enunciar e provar um teorema do matemtico francs Pierre de Fermat (1601-1665). a e Teorema 1 - Teorema de Fermat: se f (a) um ponto de mximo ou de m e a nimo de f , ento a a e um ponto cr tico de f .

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais Demonstrao: provaremos o teorema por absurdo. ca
Suponhamos que a seja um ponto de mximo ou de m a nimo local de f tal que f (a) = 0. Por conseqncia, ue f (a) < 0 ou f (a) > 0. Se f (a) > 0, ento a

f (a) = lim Para que f (a) exista, devemos ter lim

h0

f (a + h) f (a) >0. h

h0

f (a + h) f (a) f (a + h) f (a) = lim + h h h0

e, de acordo com a nossa hiptese, devemos ter o lim f (a + h) f (a) >0 e h lim f (a + h) f (a) >0. h

h0

h0+

Podemos assumir que, para valores sucientemente pequenos de h (para os dois casos), tenhamos f (a + h) f (a) >0. h Para o limite pela esquerda, h < 0, de modo que f (a + h) f (a) < 0 f (a + h) < f (a) , o que signica que a no pode ser um m a nimo da funao. Para o limite pela direita, h > 0, de modo que c f (a + h) f (a) > 0 f (a + h) > f (a) , o que signica que a no pode ser um mximo da funao. Como os dois limites tm que ser vlidos, ento a no pode a a c e a a a ser nem um mximo nem um m a nimo da funao, o que contradiz nossa hiptese inicial. Portanto, se a um ponto c o e de mximo ou de m a nimo da funao, ento f (a) no pode ser positiva. c a a Suponhamos agora que f (a) < 0. Ento, a f (a) = lim Para que f (a) exista, devemos ter lim f (a + h) f (a) f (a + h) f (a) = lim + h h h0 f (a + h) f (a) <0. h

h0

h0

e, de acordo com a nossa hiptese, devemos ter o lim f (a + h) f (a) <0 e h lim+ f (a + h) f (a) <0. h

h0

h0

Novamente, podemos assumir que, para valores sucientemente pequenos de h (para os dois casos), tenhamos f (a + h) f (a) <0. h Para o limite pela esquerda, h < 0, de modo que f (a + h) f (a) > 0 f (a + h) > f (a) , o que signica que a no pode ser um mximo da funao. Para o limite pela direita, h > 0, de modo que a a c f (a + h) f (a) < 0 f (a + h) < f (a) , o que signica que a no pode ser um m a nimo da funao. Como os dois limites tm que ser vlidos, ento a no pode c e a a a ser nem um mximo nem um m a nimo da funao, o que contradiz nossa hiptese inicial. Portanto, se a um ponto c o e de mximo ou de m a nimo da funao, ento f (a) no pode ser negativa. c a a Como f (a) no pode ser nem negativa nem positiva se a for um mximo ou um m a a nimo da funao, e como f (a), c por hiptese, existe, ento, necessariamente, f (a) = 0. Isto prova o teorema. o a

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

Pierre de Fermat (1601-1665): foi um dos grandes matemticos de todos os tempos, embora sua principal a ocupaao fosse o direito. Estudou matemtica nas Universidades de Toulouse e Bordeaux e depois formou-se c a em leis na Universidade de Orlans. Fez diversas contribuioes ` matemtica, tendo inventado mtodos para e c a a e calcular mximos e m a nimos de funoes e retas tangentes a diversas guras, tcnicas que so precursoras do c e a Clculo Diferencial. Tambm fez importantes descobertas no campo matemtico chamado teoria dos nmeros. a e a u Uma famosa conjectura sua, conhecida como o ultimo teorema de Fermat, resistiu cerca de 300 anos, at ser e nalmente provada pelo matemtico ingls Andrew John Wiles em 1994. a e

Veremos agora dois teoremas de muita importncia no Clculo: os teoremas de Rolle e do Valor Mdio, a a e sendo o segundo uma generalizao do primeiro. ca Consideremos uma funo cont ca nua limitada por y um intervalo [a, b], como a da gura ao lado, onde f (a) = f (b). O teorema de Rolle arma que, se essa funo for diferencivel no intervalo (a, b), enca a f (a) = f (b) to haver nesse intervalo ao menos um ponto cuja a a c2 derivada nula. Na gura ao lado, por exemplo, e x [ ] h dois pontos de derivada nula dentro do intervalo a a c1 b [a, b]. A demonstrao desse teorema baseada no ca e Teorema de Weierstrass (Aprofundamento 4) e no Teorema de Fermat (teorema 1 desta leitura complementar). Teorema 2 - Teorema de Rolle: se f for cont nua em um intervalo fechado [a, b], derivvel no a intervalo aberto (a, b) e se f (a) = f (b), ento existir pelo menos um c [a, b] tal que f (c) = 0. a a

Demonstrao: primeiro, vamos considerar o caso de uma funao constante, f (x) = k, k R. Neste caso, ca c qualquer ponto c (a, b) ser tal que f (c) = 0. a Se f (x) no for constante, ento, pelo Teorema de Weierstrass (Aprofundamento 4), existem x1 [a, b] e x2 [a, b] a a tais que f (x1 ) f (x) f (x2 ), x [a, b]. Como a funao no constante, ento f (x1 ) = f (x2 ). Como f (a) = f (b), c a e a por hiptese, isto signica que no podemos ter f (x1 ) = f (a) e f (x2 ) = f (b) ou f (x1 ) = f (b) e f (x2 ) = f (a). o a Portanto, x1 e x2 no podem ser ambos extremos do intervalo [a, b]. Sendo assim, pelo menos um deles tem que a estar no intervalo (a, b), onde f (x) sempre derivvel. Vamos chamar esse ponto (x1 ou x2 ) de c. Sendo assim, de e a acordo com o Teorema de Fermat, c um ponto cr e tico de f (x) em x (a, b). Como, por hiptese, f (c) existe, ento o a f (c) = 0.

Michel Rolle (1652-1719): Rolle nasceu na Frana e teve pouca educaao formal, tendo sido basicamente um c c auto-didata. Trabalhou como assistente de advogado, escriba e especialista em contas, tendo depois recebido penses especiais do governo para que trabalhasse em matemtica. Publicou o teorema pelo qual mais conhecido o a e em um livro obscuro. Descrevia o Clculo como uma coleao de falcias engenhosas. a c a y f (b)

Tomemos agora uma funo cont ca nua limitada por um intervalo [a, b], como a da gura ao lado, onde f (a) no a e necessariamente igual a f (b). Podemos traar uma reta c secante entre os pontos (a, f (a)) e (b, f (b)). Esta reta secante, a exemplo da equao da reta tangente a um ca ponto, tem a equao dada por ca y(x) = f (a) + m(x a) , m = f (b) f (a) . ba

a [
c f (a)

] b

Para vericar que esta equao a correta, podemos calcular ca e y(a) = f (a) + f (b) f (a) f (b) f (a) 0 = f (a) , y(b) = f (a) + (b a) = f (a) + f (b) f (a) = f (b) . ba ba

Clculo 2 - Cap a tulo 2.7 - Diferenciabilidade e continuidade das derivadas parciais

10

O que o Teorema do Valor Mdio arma que, traando uma secante entre quaisquer dois pontos do e e c intervalo, haver sempre um ponto c entre esses dois pontos cuja derivada ser igual ao coeciente angular da a a reta secante. A demonstrao do teorema baseia-se na funo g(x) = f (x) y(x), que tal que ca ca e g(a) = f (a) y(a) = f (a) f (a) = 0 e g(b) = f (b) g(b) = f (b) f (b) = 0 . Escrevendo g(x) = f (x) f (a) m(x a) = f (x) mx + ma , temos que g (x) = f (x) m 1 + 0 = f (x) m = f (x) f (b) f (a) . ba

Teorema 3 - Teorema do Valor Mdio: se f for cont e nua em um intervalo fechado [a, b] e derivvel a no intervalo aberto (a, b), ento existir pelo menos um c [a, b] tal que a a f (b) f (a) = f (c) . ba

Demonstrao: consideremos a funao ca c

g(x) = f (x) y(x) = f (x) f (b) f (a) (x a) . ba

Como f (x) cont e nua em [a, b] e diferencivel em (a, b), ento g(x) tambm o . Alm disso, g(a) = g(b) = 0. Como a a e e e g(a) = g(b), ento, pelo Teorema de Rolle, existe ao menos um ponto c (a, b) tal que g (c) = 0. Considerando a a derivada de g(x), temos, ento, a g (c) = 0 f (x) provando o teorema. f (b) f (a) f (b) f (a) = 0 f (x) = , ba ba