Professional Documents
Culture Documents
Introduo
No mbito da Educao Matemtica, diversos so os estudos acerca de contedos
Derivada
Alguns autores de Clculo I (FLEMMING, 1992, SWOKOWSKI, 1994, dentre
x 0
f ( x0 x) f ( x0 )
, se este limite existir.
x
x x0
f ( x) f ( x0 )
, que equivalente a anterior se considerarmos x x x0 ,
x x0
x 0
y f ( x )
dada por
f ( x x) f ( x)
." (GUIDORIZZI, 2002, p. 114). Podemos observar aqui,
x
que para o curso de Administrao ele no traz derivada num ponto, mas funo
derivada e ainda explica que esta frmula tambm pode ser escrita da seguinte forma:
dy
y
lim
, onde y f x x f x .
dx x 0 x
www.cepa.if.usp.br/e-calculo/index.htm.
f (x)
y
x
dy
, mas diz que "h uma tentao muito grande de olhar esta
dx
dy
f (x ) , que a notao de Leibnitz para
dx
dy
vire um quociente, nada mais
dx
dy f (x ).dx
denomina-se
diferencial
da
funo
dy
dx
virar um
x x0
f ( x) f ( x0 )
, dizendo que um limite que ocorre de modo natural tanto
x x0
Uma interpretao geomtrica da definio de derivada num ponto, que pode ser
vista nos grficos da Figura 1, a inclinao da reta tangente que passa pelo ponto
x0 , f x0 .
Q
D
y
f
x0
x0 + x
x
D
y
x0 + x
x
y
, onde y f ( x0 x) f ( x0 ) e x x x0 .
x
ento
f x x f x 0
y
lim 0
x0 x x0
x
m lim
ou
Q P
da funo f x no ponto x0 .
At aqui apresentamos a definio de derivada em um ponto. Generalizando,
podemos dizer que uma funo f uma funo derivvel, ou diferencivel, se for
derivvel em cada ponto de seu domnio. Lembrando, que neste caso, a funo
necessariamente contnua.
Ao observarmos o grfico de uma funo diferencivel, localmente parece uma
linha reta, no entanto, apesar de no ser uma linha reta, sua variao da reta to
pequena que no poderia ser detectado a olho nu, como podemos observar na Figura 2.
y
x0 , a aproximao de
f x f x0 f x0 x x0 . A
Assim
erro
nesta
aproximao
definido
por
( x) f x f x0 f x0 x x0 .
Alguns autores (GUIDORIZZI, 2001, HUGHES-HALLET et al., 2004, ANTON,
2000b, FINNEY et al., 2002) apresentam uma interpretao geomtrica para este erro
x , ou erro na aproximao, que se comete na aproximao de f pela reta tangente T
(x)
y
dy
f(x0)
x0
x=x0 + x
y dy x
.
x dx x
y
, representa a inclinao da reta secante S, e a
x
dy
, a inclinao da reta tangente T, assim se
dx
x
, tende a zero, podemos
x
dizer que a inclinao da reta secante tende para a inclinao da reta tangente. Para isso
chamaremos x
x
.
x
x 0 .
Assim, devemos mostrar que xlim
x0
Lembremos que
y dy x
, onde
x dx x
y f x f x0 ,
x x x0
dy
f ( x0 ) .
dx
Assim x
x
pode ser reescrito da seguinte forma:
x
f x f x0
f x f x0
f x0 x , isto , x
f x0 , x x0 .
x x0
x x0
Da,
f x f x0
f x f x0
f x 0 lim
f x 0
x x0
x x0
0
x x0
lim x lim
x x
x x
0
f x 0 f x 0 0
x 0 x 0 . Isto ,
ento essa funo ser contnua em x0 , pois xlim
x0
f x f x0
- f x0
x x0
se x x0
se x x0
Funo Composta
Assim como operamos com nmeros (adio, subtrao, multiplicao e diviso)
das funes dadas. Uma outra operao com funo, distinta das quatro anteriores, a
composio de funo. Ou seja, dada duas funes h e g, a funo composta de h com g,
denotada por h g , definida por h g x h g x .
Pode-se observar pelo esquema ilustrado na Figura 4 que essa composio uma
nova funo, isto , f x h g x e que o domnio da funo f igual ao domnio da
funo g, D f D g , desde que Im g Dh .
f g h x f g h x .
h(x)
g(x)
g x0 , h g x0 . Trace a reta
y h g x0 at interceptar
x0 , h g x0 . Tomando
o ponto x0 x , o
(x, h(g(x)))
y=x
(g(x), h(g(x)))
(x, g(x))
(g(x), g(x))
10
Regra da Cadeia
Swokowski (1994) e Lang (1965) argumentam que as regras de derivao, da
senx , etc. e
que no h uma regra, dentre essas, que possa ser aplicada diretamente s expresses
como
sen2 x
ou
x2 1 .
Dessa forma os autores buscam motivar o aluno a procurar um mtodo mais direto
para achar a derivada de y sen 2 x e tambm nos casos em que no possvel fazer
essa transformao, por exemplo, y sencos x 2 . "A chave consiste em encarar y
como uma funo composta de x." (SWOKOWSKI, 1994, p. 174).
Hughes-Hallet et al (2004) descrevem a funo composta y f ( x) h( g ( x)) ,
com h sendo a "funo de fora" e g a "funo de dentro" e escrevem z g (x) e
y h(z ) , logo y f ( x ) h( g ( x )) , e apesar de no demonstraram a Regra da Cadeia
.
." (HUGHES-HALLET et al., 2004, p. 106). Para esses autores, como
x
z x
dy
y
lim
, ento, no limite, quando x , y e z ficam cada vez menores,
dx x0 x
11
dy dy dz
dy
dz
.
h z ,
g x e
. Ainda, como
dx dz dx
dz
dx
d
h( g ( x )) h g x .g x . "Em
dx
palavras: A derivada de uma funo composta o produto das derivadas das funes "de
fora" e "de dentro". A derivada da funo "de fora" tem de ser calculada na "funo de
dentro"." (HUGHES-HALLET et al., 2004, p. 107).
Finney et al. (2002) tambm se referem Regra da Cadeia como Regra do
Externo-Interno e traduzem em palavras, "derive a funo 'externa' h, calcule-a na
funo 'interna' g(x) isolada, multiplicando-a depois pela derivada da 'funo interna'"
(FINNEY et al., 2002, p. 181). Estes mesmos autores se referem Regra da Cadeia,
quando existe mais de uma funo, como a 'Cadeia' de trs elos.
Quanto ao modo de se referir Regra da Cadeia, Guidorizzi (2002) fala de Regra
em Cadeia, referindo-se ao encadeamento de derivadas. Do ingls Lang (1965) temos,
The Chain Rule, significando tambm encadeamento.
Enunciados para o Teorema da Regra da Cadeia podem ser encontrados em
autores como Leithold (1990), Anton (2000a), Swokowski (1994), Santos e Bianchini
(2002), Flemming e Gonalves (1992), Guidorizzi (2001) e Finney et al. (2002) dentre
outros. Alguns desses autores se utilizam da notao de Leibnitz e outros da notao de
Newton, dependendo da convenincia para sua demonstrao. Em Anton (2000a),
podemos encontrar uma explicao para este fato, pois
Quando Newton e Leibnitz publicaram independentemente as
suas descobertas do Clculo, cada um usou uma notao para
derivada, e, por mais de 50 anos, houve uma intensa batalha
sobre qual era a melhor notao. No final, venceu a notao de
Leibnitz,
dy
, pois produzia frmulas corretas de forma natural.
dx
dy dy du
.
. (ANTON,
dx du dx
2000a, p. 211).
Embora, Anton (2000a) refira-se a notao de Leibnitz, como sendo melhor que a
de Newton, em seu enunciado da Regra da Cadeia, utiliza-se da notao de Leibnitz,
porm logo em seguida argumenta que "embora til, s vezes de difcil manejo, pois
envolve muitas variveis independentes." (ANTON, 2000a, p. 205). O enunciado da
12
h(u u ) h(u )
y
lim
(pelo fato da funo
u 0
u 0 u
u
A tese a ser demonstrada que f derivvel e que ela pode assim ser calculada
para todo x Dom g , ou seja, que existe f (x) lim
x 0
f ( x x) f ( x)
y
lim
e
x 0 x
x
h( g ( x )) h(u ) e
h( g ( x x )) h(u u ) .
y
h(u u ) h(u )
lim
.
x 0 x
x 0
x
Logo, lim
x0
y
h(u u ) h(u )
h(u u ) h(u ) u
lim
lim
.
x 0
x x0
x
x
u
(*)
h(u u ) h(u ) u
h(u u ) h(u ) g ( x x) g ( x )
.
lim
.
x0
u
x x0
u
x
lim
13
y
h(u ).g(x ) h(g ( x )).g(x ) , o que completa a prova no caso em que
x 0 x
lim
u 0 .
Entretanto, essa prova no geral, segundo a maioria dos autores, porque para
valores arbitrariamente pequenos de x poderia acontecer do acrscimo u 0 , isto
, uma pequena mudana em x poderia no causar nenhuma mudana em u, o que
invalida a ltima passagem de (*).
Porm, isso se verifica para um grande nmero de funes, mas no para todas.
Ento, quando seria possvel que u 0 ? Se g for constante a condio acima no
satisfeita. Como afirmam as autoras Flemming e Gonalves (1992), "neste caso,
podemos provar a frmula facilmente. De fato, se g ( x) c , ento g ' ( x ) 0 e
f x h( g ( x )) h(c ) constante. Assim, f ' ( x ) 0 h' (u ).g ' ( x ) ." (FLEMMING E
dy
y
lim
0
du
u
dy y
se u 0 .
du u
y dy
u , onde u 0 , quando
u du
dy
.u u .u .
du
(**)
.
u .
x du x
x
14
. lim
u lim
x 0 x
x 0 du x
x 0
x 0 x
x du x 0 x
lim
y
u
u
. lim
u lim
h(u ).g(x) h(g ( x)).g(x)
u 0 u x 0 x
x 0 x
lim
dy
.u u .u . (**)
du
Teorema:
Se
for
diferencivel
em
y h(u ) ,
se
ento
Prova:
Vamos definir
h u u h(u )
h(u ) se u 0
se u 0
Podemos observar que esta funo a mesma que Guidorizzi (2001) apresentou
quando aborda derivada e erro de aproximao pela reta tangente.
Se u 0 , tem-se que u .u h u u h(u ) h(u ).u
(***)
ou
y h(u ).u u .u
de
que
diferencivel
em
u,
uma
vez
que
h u u h(u )
lim u lim
u 0
u 0
Guidorizzi (2001) apresenta uma outra demonstrao para a Regra da Cadeia, que
parece ser mais grfica.
15
y h(x )
Suponha
x0 g (t 0 )
Im g Dom h ,
f (t ) h( g (t )) .
seja,
Vamos
provar
que
dada
por
Para
isto
consideremos
T ( x ) T ( x 0 ) h' ( x 0 ).( x x 0 )
funo
e
(reta
tangente)
T ( x 0 ) h( x 0 )
como
ento
h(x)
T
E(x)
T(x)
xo
onde
E( x)
(****)
h(x )
por
T( x)
x 0 ( x0 ) .
E( x) ( x). x x0 , onde xlim
x
0
h( g (t )) h( g (t 0 ))
( g (t ) g (t 0 )) E ( g (t ))
h' ( g (t 0 )).
t t0
t t0
t t0
16
f ' (t 0 ) lim
t t0
f (t ) f (t 0 )
h( g (t )) h( g (t 0 ))
lim
t t0
t t0
t t0
t t0
( g (t ) g (t 0 ))
( g (t ) g (t 0 ))
h' ( g (t 0 )). lim
h' ( g (t 0 )).g ' (t 0 )
t t0
t t0
t t0
Por
outro
lado,
de
E( x) ( x). x x0 ,
segue
E ( g (t )) ( g (t )). g (t ) g (t 0 ) .
g (t ) lim x 0 .
Temos tlim
t0
x x0
Da, lim
t t0
. g (t ) g (t 0 )
E ( g (t ))
lim ( g (t )).
0.g ' (t 0 ) 0
t t0
t t0
t t0
f (t ) f (t 0 )
h( g (t )) h( g (t 0 ))
lim
h' ( g (t 0 )).g ' (t 0 ) .
t t0
t t0
t t0
( f ( x )) n
. "Se n um inteiro e
f u nu n 1 .
f u un ,
as Regras da
y ( f ( x)) n ,
y f ( x ). f ( x ) f ( x ). f (x ) 2 f ( x ). f ( x )
Assim
Para n = 3
y ( f ( x )) 2 y 2.( f ( x )) 2 1. f (x )
17
y ( f ( x )) 3 f ( x ).( f ( x )) 2
y f (x ).( f ( x )) 2 f ( x ).(( f ( x )) 2 )
f (x ).( f ( x )) 2 f ( x ).2. f ( x ). f (x )
3.( f ( x )) 2 . f (x )
Assim
y ( f ( x )) 3 y 3.( f ( x )) 3 1. f (x )
x2 5 .
y x 2 5 ( x 2 5) 2 , segue que
1 1
1 2
( x 5) 2 .( x 2 5)
2
1 2
1
2x
( x 5) 2 .( 2 x)
1
2
2
2
2( x 5)
E portanto, y
x
2
x 5
x
x2 5
dy
da funo
dx
u g (x)
Sabemos que
dy
du
f (u ) e
g(x) .
du
dx
.
dx du dx
dy
realizado em cadeia:
dx
dy
du
, em seguida, calcula-se
e por
du
dx
multiplica-se
dy
du
por
du
dx
para
obter
dy
.
dx
18
Soluo:
x2 5
em funes que
saibamos derivar.
y
x2 5
Temos
equivalente a
1
1
dy
1
u 2 .u 2
du
2
e u x2 5 .
portanto
dy
1
,
du 2 u
por
outro
lado
du
x2 5 2x .
dx
dy dy du
1
.2 x .
dx du dx 2 u
dy
para
cursos
de
Matemtica.
Outros
autores
(LEITHOLD,
1990,
Consideraes Finais
Este artigo tem por objetivo apresentar um levantamento que alguns autores de
Clculo trazem em seus livros sobre Regra da Cadeia e discusses acerca de sua
demonstrao. Foi necessrio trazer outros elementos, tais como derivada, diferencial,
19
20