Você está na página 1de 20

ABORDAGENS SOBRE REGRA DA CADEIA:

UMA DISCUSSO ACERCA DE SUA DEMONSTRAO


Sandra Malta Barbosa
UNESP - Rio Claro - SP
sbarbosa@uel.br
1.

Introduo
No mbito da Educao Matemtica, diversos so os estudos acerca de contedos

nos quais os estudantes apresentam dificuldades na aprendizagem do Clculo


(VILLARREAL, 1999, CABRAL, 1998, dentre outros). Como professora de Clculo,
pude observar que a Regra da Cadeia um dos temas em que isso tambm acontece.
Cury (2004) argumenta que os erros cometidos, ao se estudar esse conceito, pelos
estudantes, parecem se encontrar no prprio conceito da funo composta, que muitas
vezes representa uma frmula a mais que o estudante apenas memoriza.
Ainda, na busca de trabalhos, em Educao Matemtica, com consultas feitas em
sites de busca, bibliotecas, artigos e peridicos, que tratam sobre o ensino de Regra da
Cadeia no encontrei referncias. Nas pginas dos sites que se pode encontrar sobre este
assunto, pude observar que abordam o tema Regra da Cadeia de maneira semelhante aos
livros de Clculo.
Sendo assim, este artigo tem por objetivo apresentar uma discusso sobre algumas
das abordagens que autores de diversos livros de Clculo, bem como alguns autores de
sites, trazem para demonstrao de Regra da Cadeia e como tratam este tema junto aos
estudantes que esto ingressando no ensino superior, sejam eles de Administrao,
Matemtica, Engenharia, dentre outros.
Desta forma, fez-se necessrio uma padronizao das letras, que representam as
funes e que so utilizadas nas demonstraes, com o intuito de facilitar a leitura de
modo que o leitor no se perca.
Inicialmente, apresento consideraes sobre Derivada e Funo Composta, para
posteriormente abordar a derivada de funo composta. Ou como alguns autores trazem:
"Regra da Cadeia para Derivao de Funo Composta" (GUIDORIZZI, 2001, p. 171)

ou ainda "Derivadas de funes compostas: A Regra da Cadeia" (SANTOS E


BIANCHINI, 2002, p. 177).
2.

Derivada
Alguns autores de Clculo I (FLEMMING, 1992, SWOKOWSKI, 1994, dentre

outros), e sites1, apresentam a seguinte definio para derivada em um ponto: A derivada


de uma funo f (x ) no ponto x0 de seu domnio, denotado por f (x0 ) , o limite
dado pela seguinte frmula f (x0 ) lim

x 0

f ( x0 x) f ( x0 )
, se este limite existir.
x

Outros autores (SANTOS E BIANCHINI, 2002, ANTON, 2000a, GUIDORIZZI,


2001, dentre outros) trazem outra frmula para expressar a definio de derivada,
f (x0 ) lim

x x0

f ( x) f ( x0 )
, que equivalente a anterior se considerarmos x x x0 ,
x x0

e quando x 0 temos que x x0 .


Apesar de serem equivalentes, essas frmulas trazem abordagens distintas,
dependendo do curso ao qual destinado o livro. Isso fica evidente quando o mesmo
autor, Guidorizzi, ao escrever para o curso de Matemtica (GUIDORIZZI, 2001) e para
o curso de Administrao (GUIDORIZZI, 2002) apresenta diferentes frmulas para
cursos distintos.
Para o curso de Administrao, Guidorizzi (2002) introduz derivada da seguinte
maneira: "A derivada da funo y f (x) a funo
f (x) lim

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

Pode-se observar que o autor se utiliza da notao de Leibnitz, e no por acaso,


pois ao se referir taxa de variao ele tem a seguinte explicao:
Para x suficientemente pequeno f (x) aproximadamente
a taxa mdia de variao de y entre x e x x , ou seja,
1

www.cepa.if.usp.br/e-calculo/index.htm.

f (x)

y
x

que equivalente a y f (x).x . O que

significa que no nvel de x, f (x ).x uma estimativa para a


variao y em y, correspondente variao x em x, com
x suficientemente pequeno. (GUIDORIZZI, 2002, p. 135)

Para explicar diferencial, para o curso de Administrao, o autor se utiliza da


notao de Leibnitz,

dy
, mas diz que "h uma tentao muito grande de olhar esta
dx

notao como um quociente" (GUIDORIZZI, 2002, p. 135). Embora essa notao no


seja um quociente, o autor argumenta que os matemticos gostariam de olh-la como
um quociente e ento criaram uma funo usando como variveis as notaes dx e dy, e
chamaram-na de diferencial. Assim,

dy
f (x ) , que a notao de Leibnitz para
dx

derivada, poderia ser vista como quociente. Isto ,


se queremos que a notao

dy
vire um quociente, nada mais
dx

natural do que a seguinte definio: Diferencial de uma


funo: Seja y f (x) uma funo derivvel. A funo dada
por

dy f (x ).dx

denomina-se

diferencial

da

funo

y f (x) . Nesta funo, a varivel dy depende das variveis x e

dx. Leibnitz chamava dy de diferencial de y e dx de diferencial


de x. (...) Com esta definio, a notao de Leibnitz para a
derivada pode ser olhada como um quociente: o quociente da
diferencial de y pela diferencial de x. Dessa forma, os
matemticos conseguiram fazer a notao

dy
dx

virar um

quociente! (GUIDORIZZI, 2002, p. 135).


Para o curso de Matemtica, Guidorizzi (2001) apresenta a frmula
f (x0 ) lim

x x0

f ( x) f ( x0 )
, dizendo que um limite que ocorre de modo natural tanto
x x0

na geometria quanto na fsica. E a partir de uma interpretao geomtrica, acerca da reta


tangente e seu coeficiente angular, Guidorizzi (2001) defini derivada de uma funo,
erro de aproximao por uma reta tangente e diferencial.

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

Figura 1 - Interpretao Geomtrica da Derivada num ponto.


Pelo grfico, a inclinao da reta secante S, ou coeficiente angular de S dado
pela tg

y
, onde y f ( x0 x) f ( x0 ) e x x x0 .
x

Se mantivermos o ponto P fixo e movermos o ponto Q em direo ao ponto P,


ento a inclinao de S se modificar. medida que o ponto Q, dinamicamente,
aproxima-se do ponto P, a inclinao da reta S varia cada vez menos, ou seja, a taxa de
variao, entre y e x , tende para um valor constante que chamamos inclinao da
reta tangente curva no ponto P. Assim se denominarmos m como sendo essa inclinao

ento

f x x f x 0
y
lim 0
x0 x x0
x

m lim

ou
Q P

e a essa inclinao denominamos derivada

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

Figura 2 - Aproximao pela reta Tangente


A essa reta que pensamos ver ao observarmos bem de perto o grfico da funo
f x em x x0 tem coeficiente angular igual derivada f (x0 ) , de modo que essa

equao T x f x0 f x0 x x0 . Pelo fato do grfico parecer uma linha reta


significa que T x uma boa aproximao de f x . Isto , para valores prximos a
f x pela reta tangente

x0 , a aproximao de

f x f x0 f x0 x x0 . A

expresso f x0 f x0 x x0 chamada de linearizao local de f prximo de


x x0 .

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

em x0 , f x0 , como podemos observar no grfico da Figura 3.


S
f(x)

(x)
y
dy

f(x0)

x0

x=x0 + x

Figura 3 - Erro de Aproximao


Podemos notar que o incremento de y, y , diferente do diferencial de y, dy .
Para observamos essa diferena devemos atribuir s variveis x (incremento de x) e
dx (diferencial de x) o mesmo valor. Assim, para x dx , temos y dy x .

Desta forma, ao dividimos y dy x por x dx , obtemos


O primeiro membro desta igualdade,

y dy x

.
x dx x

y
, representa a inclinao da reta secante S, e a
x

primeira parcela do segundo membro,

dy
, a inclinao da reta tangente T, assim se
dx

provarmos que a segunda parcela do segundo membro,

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

Notemos que x uma funo que depende de x e se definirmos x0 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

Este resultado, que pode ser encontrado em Guidorizzi (2001), Hughes-Hallet et


al (2004) e Anton, (2000a), ser necessrio para a demonstrao da Regra da Cadeia
posteriormente.
3.

Funo Composta
Assim como operamos com nmeros (adio, subtrao, multiplicao e diviso)

podemos operar com funes f g , f g , f .g , g 0 , cujo domnio a interseco


g

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 .

Figura 4 - Esquema de Composio de Funo


Alguns autores, dentre eles Hughes-Hallet et al. (2004), Anton (2000a) e Moise
(1977), coloquialmente, interpretam funo composta como uma "funo de uma
funo" (HUGHES-HALLET et al., 2004, p. 15), ou "funo de dentro" (funo g) e
"funo de fora" (funo h) (ANTON, 2000a, p. 51, MOISE, 1977, p. 148).

A ordem na qual as funes so compostas pode fazer diferena no resultado final,


pois para a composio de funo nem sempre vale a propriedade comutativa. As
composies de funes podem, tambm, ser definidas para trs ou mais funes, por
exemplo,

f g h x f g h x .

Anton (2000a) sugere um procedimento para

decomposio de funo, isto , dada uma funo composta f x , achar as funes


componentes h x e g x , mais simples, que compem a funo dada.
Graficamente, podemos indagar qual seria o grfico da funo composta
f x h g x dada a partir dos grficos das funes componentes h x e g x . Na

Figura 5 so dados os grficos das funes g x e h x , respectivamente, ento como


obter o grfico da funo f x ?
y

h(x)

g(x)

Figura 5 - Grficos das Funes Componentes g x e h x , respectivamente.


Uma maneira de pensarmos o grfico da funo composta f ( x) h( g ( x)) , a
partir dos grficos das funes componentes, pode ser encontrada no site
http://archives.math.utk.edu/visual.calculus/0/compositions.6/index.html.
Considere os grficos de g, h e funo identidade ( y x ) num mesmo plano
cartesiano. A partir de um ponto x0 do domnio da funo g, e sua imagem, g x0 ,
marcar o ponto x0 , g ( x0 ) no grfico de g. Traar a reta y g x0 at interceptar a
funo identidade, e portanto, o ponto g x0 , g x0 a interseco desta reta com a
identidade, e com essa abscissa g ( x0 ) , definir sua imagem por h, isto , h g x0 ,

determinando assim o ponto

g x0 , h g x0 . Trace a reta

a reta y x0 , obtendo assim o ponto

y h g x0 at interceptar

x0 , h g x0 . Tomando

o ponto x0 x , o

conjunto de pontos x, h g x formaria o grfico da funo f x h g x h g x .


Obtendo assim o grfico da funo composta f a partir dos grficos das funes
componentes g e h. Podemos visualizar esse raciocnio no grfico da Figura 6.

(x, h(g(x)))

y=x

(g(x), h(g(x)))

(x, g(x))

(g(x), g(x))

Figura 6 - Raciocnio para obteno do grfico da funo composta f, a partir do


grfico de suas funes componentes g e h.
Podemos observar at aqui, que diferentes autores abordam a funo composta de
forma algbrica ou na forma de um esquema como visto a Figura 4. Nenhum autor,
dentre os que pesquisei, aborda um raciocnio grfico ou geomtrico. Apenas um site,
que envolve uma tecnologia dinmica, foi possvel observar uma abordagem que fosse
possvel compreender como obtido o grfico de uma funo composta a partir dos
grficos de suas funes componentes, como pode ser visualizado nos grficos da
Figura 6.
Penso que essa abordagem grfica uma alternativa abordagem unicamente
algbrica apresentada nos diversos livros de Clculo.

10

Concluindo os temas Derivada e Funo Composta, passo agora, a apresentar e


discutir o enunciado e demonstrao do Teorema da Regra da Cadeia, como ,
geralmente, encontrado nos livros de diversos autores de Clculo.
4.

Regra da Cadeia
Swokowski (1994) e Lang (1965) argumentam que as regras de derivao, da

soma, da diferena, do produto e do quociente se aplicam a uma gama limitada de


funes, pois s podem ser usadas para derivar funes que envolvem x n ,

senx , etc. e

que no h uma regra, dentre essas, que possa ser aplicada diretamente s expresses
como

sen2 x

ou

x2 1 .

Para essas funes seriam necessrias algumas

transformaes, por exemplo, funo sen2 x seria transformada em 2senx cos x e


ento seria aplicado a regra do produto.
Isto ,
Dx sen 2 x Dx 2 senx cos x 2 Dx senx cos x
2 senx D x cos x cos x Dx senx 2 senx senx cos x. cos x

2 sen 2 x cos 2 x 2 cos 2 x

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

formalmente, enunciam-na a partir de pequenas variaes, isto , "uma pequena


variao em x, digamos x , gera uma pequena variao em z, z , que por sua vez,
gera uma pequena variao em y, y . Se x e z forem diferentes de zero, temos
y y z

.
." (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

temos a Regra da Cadeia

dy dy dz
dy
dz

.
h z ,
g x e
. Ainda, como
dx dz dx
dz
dx

z g x , fazendo as devidas substituies temos

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

Um bom exemplo a regra da cadeia

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

Regra da Cadeia aparece em Anton (2000a), porm a demonstrao s aparece no


Apndice A de Anton (2000b).
Para este artigo, padronizei as letras, que representam as funes, e as notaes,
utilizando, quando conveniente, a notao de Newton e em outros momentos a notao
de Leibnitz. Assim temos:
Teorema: A Regra da Cadeia: Sejam y h(u ) e u g (x) duas funes
derivveis, com Im g Dom h e consideremos a funo composta y f ( x) h( g ( x))
. Ento f derivvel e f (x) h(g ( x)).g(x ) , para todo x Dom g .
g ( x x) g ( x)
u
lim
(pelo fato da
x 0
x 0 x
x

Por hiptese, existem: g(x) lim

h(u u ) h(u )
y
lim
(pelo fato da funo
u 0
u 0 u
u

funo g ser derivvel) e h(u ) lim


h ser derivvel).

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

que f (x) h(g ( x)).g(x ) , para todo x Dom g .


Demonstrao:
Precisamos mostrar que existe o seguinte limite:
y
f ( x x ) f ( x )
h( g ( x x)) h( g ( x))
lim
lim
x 0 x
x 0
x 0
x
x
lim

Sendo u g (x) , colocamos u g ( x x) g ( x) . Ento, u depende de x


e, quando x 0 , temos u 0 . Temos assim, g ( x x) g ( x) u u u e
podemos escrever:

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

Suponhamos que u 0 . Ento,


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

Quando x 0 , temos u 0 , e utilizando a hiptese, temos:

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

GONALVES, 1992, p. 175-176).


Mas ser que existe outro caso que isso acontea? Isso pode ocorrer se a funo
no for constante? Ou apenas no caso em que a funo constante ? A no ser por essas
autoras, nenhum outro autor, dentre os que pesquisei, menciona tal argumento.
Uma demonstrao para o caso geral que evite a referida passagem pode ser feita,
atravs de outro argumento.

Da definio de derivada h(u ) , temos que: h(u ) =

dy
y
lim

0
du
u

dy y

se u 0 .
du u

Mas isso equivalente a dizer que

y dy

u , onde u 0 , quando
u du

u 0 , ou ainda que, multiplicando por u , temos


y

dy
.u u .u .
du

(**)

Pode-se observar que comeamos supondo que o acrscimo u 0 , mas a ltima


equao (**) vlida mesmo no caso em que u 0 . A partir dela, dividindo ambos os
membros por x , que, com certeza no zero pela definio de derivada da funo g,
temos:
y dy u
u

.
u .
x du x
x

14

e, fazendo x 0 , no limite, e j que u 0 ,


y
dy u
u dy
u
u
lim
.
lim u .

. 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

obtemos a Regra da Cadeia.


Alguns autores, como Lang (1965) e Anton (2000) apresentam esta expresso
como um outro teorema, sendo mais rigorosos em termos da expresso
y

dy
.u u .u . (**)
du

Teorema:

Se

for

diferencivel

em

y h(u ) ,

se

ento

y h(u ).u u .u onde u 0 , quando u 0 e u 0 se u 0 .

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

(***)

Mas y h u u h(u ) , e assim (***) pode ser escrita como


u .u y h(u ).u

ou

y h(u ).u u .u

Se u 0 , a expresso acima ainda vlida, logo vlida para todos os valores


de y . Resta mostrar que u 0 quando u 0 . Mas isso segue a partir da
hiptese

de

que

diferencivel

em

u,

uma

vez

que

h u u h(u )

h(u ) h(u ) h(u ) 0 .


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 )

derivvel em x0 , x g (t ) derivvel em t 0 , com

Im g Dom h ,

f (t ) h( g (t )) .

seja,

Vamos

provar

que

dada

por

f ' (t 0 ) h' ( g (t 0 )).g ' (t 0 ) .

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

T ( x ) h( x 0 ) h' ( x0 ).( x x 0 ) , conforme ilustrado no grfico da Figura 7.


y

h(x)
T
E(x)

T(x)

xo

Figura 7 - Ilustrao da reta tangente funo dada.


Podemos observar que o grfico de T a reta tangente ao grfico de h, em
( x0 , h( x0 )) , temos h( x) T ( x) E ( x) ou
h( x) h( x0 ) h' ( x 0 ).( x x0 ) E ( x) , x D h

onde

E( x)

(****)

o erro que se comete ao aproximar

h(x )

por

T( x)

x 0 ( x0 ) .
E( x) ( x). x x0 , onde xlim
x
0

Substituindo em (****) x g (t ) , x0 g (t 0 ) e dividindo ambos os membros por


t t 0 , t t 0 , obtemos

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

Aplicando o limite para a igualdade acima, temos que o primeiro membro


representa a derivada da funo composta f (t ) h( g (t )) , no ponto t 0 , isto ,

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

No segundo membro, a primeira parte fica


lim h' ( g (t 0 )).

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

Portanto, f ' (t 0 ) lim


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

Podemos notar, que a no ser pela autoras Flemming e Gonalves (1992), os


demais autores que aparecem nesta pesquisa abordam a demonstrao da Regra da
Cadeia considerando o erro de aproximao da reta Tangente ao grfico da funo dada.
E, dentre estes autores, apenas Guidorizzi (2001) faz uma tentativa de uma abordagem
grfica para a demonstrao de Regra da Cadeia.
Outros autores (GUIDORIZZI, 2002, FINNEY et al., 2002) enunciam a Regra da
Cadeia a partir da derivada de
Potenciao afirmam que

( f ( x )) n

. "Se n um inteiro e

f u nu n 1 .

f u un ,

as Regras da

Se u uma funo derivvel de x, podemos

aplicar a Regra da Cadeia, ampliando-a para a Regra da Cadeia para Potncias:


d n
du
u nu n 1
. " (FINNEY et al., 2002, p. 184). "Sendo f(x) derivvel, vlida a
dx
dx

seguinte regra para a derivada de

y ( f ( x)) n ,

y ( f ( x)) n y n.( f ( x )) n 1. f (x ) "

onde n 0 um real qualquer.

(GUIDORIZZI, 2002, p. 159).

Como exemplo Guidorizzi (2002) pede para justificar o caso n = 2 e n = 3 usando


a regra do produto, isto ,
Para n = 2
y ( f ( x)) 2 f ( x ). f ( x)

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 )

Num exemplo, Guidorizzi (2002) pede para calcular a derivada de


Soluo:

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

Nosso objetivo a seguir estabelecer uma regra,


denominada regra da cadeia, para a derivada

dy
da funo
dx

composta y f ( g ( x)) . Esta funo pode ser reescrita da


seguinte forma:
y f (u )

u g (x)

Sabemos que

dy
du
f (u ) e
g(x) .
du
dx

Pois bem, a regra da cadeia para o clculo da derivada de


y em relao a x :
dy dy du

.
dx du dx

Observe que o clculo de


primeiro calcula-se
ltimo

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

(GUIDORIZZI, 2002, p. 160)


Assim o mesmo exemplo usando, agora, regra da cadeia fica da seguinte forma

18

Soluo:

Precisamos desmembrar a funo

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

Pela regra da cadeia,

dy

Simplificando e substituindo u por x 2 5 resulta dx 2


que o resultado
x 5
obtido no exemplo anterior.
Podemos notar, que alguns dos autores citados (GUIDORIZZI, 2001, ANTON,
2000a, ANTON, 2000b) abordam a Regra da Cadeia de uma forma algbrica bastante
forma, porm tentando trazer alguns grficos na demonstrao, pois seus livros esto
voltados

para

cursos

de

Matemtica.

Outros

autores

(LEITHOLD,

1990,

SWOKOWSKI, 1994, SANTOS E BIANCHINI, 2002, FINNEY et al., 2002,


FLEMMING E GONALVES, 1992) trazem uma abordagem algbrica, porm no tm
a preocupao de serem to formais, procurando enfatizar a aplicabilidade, pois estes
livros so adotados em cursos como Engenharia. J Guidorizzi (2002) traz uma
abordagem aplicada Administrao, no tendo a preocupao com demonstrao, a
no ser de modo intuitivo.
Desta forma, de acordo com o curso, onde adotado o livro, as abordagens de
Regra da Cadeia e sua demonstrao so distintas. Porm, podemos observar que
quando a abordagem traz uma conotao grfica, a demonstrao algbrica no fica
isolada e, consequentemente, o conceito vai sendo produzido utilizando-se de vrias
abordagens, no s a algbrica.
4.

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

linearizao parcial, Funo Composta e suas representaes algbrica e grfica, para


que finalmente pudssemos discutir Regra da Cadeia e sua demonstrao.
Ao fazer esse levantamento podemos notar uma forte abordagem algbrica em
detrimento da abordagem grfica. Minha proposta, que foge ao escopo desde artigo,
consiste em investigar como os estudantes, ao fazerem uma abordagem grfica,
produzem conhecimento acerca de Regra da Cadeia, buscando uma alternativa
abordagem estritamente algbrica. Apesar de no ser uma abordagem encontrada nos
livros, acredito que a abordagem grfica, para Regra da Cadeia pode auxiliar no seu
entendimento e sua demonstrao.
Referncias Bibliogrficas
ANTON, H. Clculo A: um novo horizonte. 6 ed., v. 1. Porto Alegre: Bookman, 2000a.
ANTON, H. Clculo A: um novo horizonte. 6 ed., v. 2. Porto Alegre: Bookman, 2000b.
CABRAL, T. C. B. Contribuies da Psicanlise Educao Matemtica: A Lgica da
Interveno nos Processos de Aprendizagem. Tese (Doutorado em Educao) - USP,
So Paulo: USP, 1998.
CURY, H. N. "Professora, eu s errei um sinal!": como a anlise de erros pode
esclarecer problemas de aprendizagem. In: CURY, H. N. (Org.) Disciplinas
Matemticas em Cursos Superiores: reflexes, relatos e propostas. Porto Alegre:
EDIPUCRS, 2004, p. 111-138.
FINNEY, R. L., WEIR, D. M., GIORDANO, F. R. Clculo de George B. Thomas Jr. v.
1. So Paulo: Addison Wesley, 2002.
FLEMMING, D. M., GONALVES, M. B. Clculo A: Funes, Limite, Derivao,
Integrao. 5 ed., revista e ampliada. So Paulo: Makron Books, 1992.
GUIDORIZZI, H. L. Matemtica Para Administrao. Rio de Janeiro: LTC - Livros
Tcnicos e Cientficos Editora S. A., 2002.
GUIDORIZZI, H. L. Um Curso de Clculo. 5 ed., v. 1. Rio de Janeiro: LTC - Livros
Tcnicos e Cientficos Editora S. A., 2001.
HUGHES-HALLETT, D., GLEASON, A. M., MCCALLUM, W. G., PASQUALE, A.,
FLATH, D. E., QUINNEY, D., LOCK, P. F., RASKIND, W., GORDON, S. P., RHEA,
K., LOMEN, D. O., TECOSKY-FELDMAN, J., LOVELOCK, D., THRASH, J. B.,
OSGOOD, B. G., TUCKER, T. W. Clculo de Uma Varivel. 3 ed. Rio de Janeiro: LTC
- Livros Tcnicos e Cientficos Editora S. A., 2004.

20

LANG, S. A First Course in Calculus. London: Addison Wesley Publishing Company,


1965.
LEITHOLD, L. O Clculo com Geometria Analtica. 3 ed., v. 1. So Paulo: Editora
Harbra Ltda, 1994.
MOISE, E. E. Clculo: um curso universitrio. v. 1. So Paulo: Edgard Blcher, 1972.
SANTOS, A. R., BIANCHINI, W. Aprendendo Clculo com Maple: Clculo de uma
varivel. Rio de Janeiro: LTC - Livros Tcnicos e Cientficos Editora S. A., 2002.
SWOKOWSKI, E. W. Clculo com Geometria Analtica. 2 ed., v. 1. So Paulo: Makron
Books, 1994.
VILLARREAL, M. E. O Pensamento Matemtico de Estudantes Universitrios de
Clculo e Tecnologias Informticas. Tese (Doutorado em Educao Matemtica) IGCE, Rio Claro: UNESP, 1999.