Anlise de livros de clculo a vrias variveis: o caso da

comutatividade das derivadas parciais

Francisco Regis Vieira Alves
Departamento de Matemtica, Instituto Federal de Educao, Cientfica e Tecnolgica do Cear IFCE
Brasil
fregis@ifce.edu.br
Hermnio Borges Neto
Universidade Federal do Cear - UFC
Brasil
hermnio@ufc.br
Resumo
Este trabalho constitui a anlise de livros didticos adotados num curso introdutrio
de Clculo Diferencial e Integral a Vrias Variveis CVV, com respeito
propriedade da comutatividade das derivadas parciais (teorema de Schwarz).
Inicialmente, discutem-se alguns elementos pertinentes transio interna do Clculo
em Uma Varivel Real CUV para o CVV. Em seguida, apresentam-se os autores
escolhidos a partir de determinados critrios. Os dados so interpretados sob a
perspectiva terica de Duval (1991; 1993; 1995) e, com inspeo de cinco obras
didticas, destacam-se alguns indicadores que permitem afirmar que, do ponto de
vista lgico-matemtico, registra-se a diversidade de enunciados para o mesmo
teorema que caracteriza a propriedade em foco; ocorre uma varincia de registros que
referenciam/denotam o objeto derivada parcial e mista; a explorao predominante
de registros algbricos; identifica-se um repertrio restrito de contra-exemplos alm
da ausncia de tratamento para anlise das hipteses necessrias na verificao
analtica do teorema.
Palavras-chave: Teorema de Schwarz, Livros Didticos, Clculo Diferencial e
Integral, Representaes Semiticas.
Sobre o ensino de clculo
A quantidade de trabalhos e investigaes cientficas desenvolvidas no Brasil e no Exterior
acerca do ensino/aprendizagem de Clculo Diferencial e Integral em Uma Varivel Real (CUV)
extensa e apresenta vigor crescente desde a dcada de 1980. No contexto de interesse destes
estudos, observamos a ateno dispensada por autores reconhecidos internacionalmente no que
XIII CIAEM, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

diz respeito ao momento de transio do ensino escolar para o ambiente acadmico, o que se d
no primeiro ano de estudos em que os aprendizes deparam, no locus acadmico, um ensino
compulsrio de Clculo nos cursos de licenciatura e bacharelado em Matemtica no Brasil.
Por outro lado, identificamos a escassez de investigaes no Brasil e no Exterior (RALHA;
HIRST & VAZ, 2004) que envolvem questes mais profundas relacionadas ao
ensino/aprendizagem de Clculo Diferencial e Integral a Vrias Variveis (CVV). Com esta
preocupao, exibimos a seguinte tabela caracterizando o que nomeamos de transio interna do
CUV para o CVV. Na universidade, observamos esta transio no segundo ano de graduao.

Figura 1: Quadro de transio interna do CUV para o CVV referente ao 2 ano de estudos acadmicos.

Em virtude da necessidade de respeitar os limites de sntese deste trabalho, nos deter-nos-emos a

uma rpida discusso sobre a transio interna do CUV para o CVV, no que se refere aos
conceitos de limite, derivada e integral, para funes do tipo y = f ( x) e z = f ( x, y ) . No CUV,
estes conceitos so denotados, respectivamente, por lim x a f ( x ) = L , f '(a) e

f ( x)dx . No

CVV, as mudanas notacionais so considerveis, uma vez que os conceitos de limite, derivada e
f
f
integral podem ser denotados por lim ( x , y )( a ,b ) f ( x, y ) = L ,
( x, y ) ou
( x, y ) e
x
y
d

f ( x, y )dxdy . De imediato, observamos a mudana no caso da derivada para funes em

duas variveis reais, uma vez que, agora, podemos considerar duas taxas de variao

z z
.
e
x y

Quando tomamos, por exemplo, a noo de limite no CUV, notamos que, de modo tradicional,
os livros didticos restringem a explorao deste conceito ao plano \ 2 , explorando apenas duas
formas de aproximao unidimensional do ponto x = a (que denotamos por x a + ou x a ),
para a verificao da existncia do limite indicado por lim xa f ( x) = L . No caso do CVV,
quando consideramos o limite lim( x, y )( a,b) f ( x, y) = L , as habilidades adquiridas pelos estudantes
no caso do CUV na investigao de lim xa f ( x) = L nem sempre so exploradas e re-adaptadas.
Destarte, algumas simbologias e a condio de existncia descrita pela igualdade
lim xa+ f ( x) = lim xa f ( x) perdem seu sentido geomtrico estudado no CUV.
Ademais, temos inmeras formas de aproximao do par ordenado (a, b) no plano. De fato,
quando nos referimos ao smbolo lim( x, y )( a,b) f ( x, y) = L ou ainda limxa f ( x, y) = L , as tcnicas
yb

que envolvem a aproximao dos pares ordenados ( x, y ) (a, b) , onde x, y \ , so mais

sofisticadas. Por exemplo, antes de efetuar referido processo, tendo em vista prever o

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

comportamento da imagem da funo f ( x, y ) , no eixo das cotas (Oz), podemos considerar,

neste processo de aproximao, os casos em que: x = y , x > y e x < y . Alm disso, o
grfico da funo y = f ( x) est contido no \ 2 , enquanto o grfico de f ( x, y ) est contido no
\ 3 . Outra tcnica indicada consiste na anlise dos limites interados da funo f ( x, y ) .
Outro aspecto a ser destacado diz respeito ao carter geomtrico da noo de derivada. De fato,
de modo sistemtico, os livros de CUV explicam o significado de f '(a) como o coeficiente
angular da reta ( y f (a)) = f '(a )( x a) que ser tangente ao grfico da funo y = f ( x) , no
ponto (a, f (a )) \ 2 . De modo semelhante, quando temos a funo z = f ( x, y ) , fixando-se a
f
(a, b) , de modo semelhante, como o
segunda varivel y = b , podemos interpretar o smbolo
x
f
coeficiente angular da reta ( z f (a, b)) = (a, b)( x a) tangente superfcie no \ 3 descrita
x
por z = f ( x, y ) , no ponto (a, b, f (a, b)) \ 3 , paralela ao plano xOz.
No caso do conceito de integral, por exemplo, interessante comparar as notaes das integrais
definidas

f ( x)dx e

f ( x, y )dxdy . No contexto do CUV, relacionamos o primeiro smbolo

com o valor da rea limitada entre as retas x = a , x = b , o grfico da funo y = f ( x) e o eixo

Ox. J no segundo caso, podemos obter outras formas de interpretao geomtrica. Com efeito, o
aluno pode deparar a seguinte formulao

dxdy que neste caso coincide com a noo de

rea, o que j estava familiarizado no CUV. Por outro lado, quando consideramos a extenso do
conceito da integral de Riemann para funes do tipo z = f ( x, y ) , denotada agora
por

f ( x, y )dxdy , necessitamos de tcnicas difceis, uma vez que o domnio em \ 2

apresenta mais complicaes do que a reta real (HAIRER & WANNER, 2008, p. 330).
A primeira mudana neste contexto diz respeito noo de volume que esta ltima integral pode
assumir. No mbito das aplicaes, por exemplo, usamos integrais simples para encontrar o
centro de massa de uma lmina homognea com densidade de rea constante. Por outro lado,
com as integrais duplas, podemos encontrar o centro de massa de uma lmina homognea ou
no homognea (LEITHOLD, 1982, p. 792). Outras mudanas conceituais podem ser discutidas,
entretanto, tencionamos restringir nossa ateno a uma propriedade relacionada a um processo de
derivao de funes em duas variveis reais no mbito das abordagens dos livros didticos do
Clculo Diferencial e Integral a Vrias Variveis - CVV.
A escolha do contedo nos livros de clculo a vrias variveis

Para efeito de nossa anlise, os autores (LIMA, 2009; GUIDORIZZI, 1986; LEITHOLD, 1982;
STEWART, 2004; SWOKOWSKI, 1983) foram escolhidos com amparo nos seguintes critrios:
(i) seu uso em cursos de graduao em Matemtica; (ii) adequao didtico/metodolgica a um
curso de licenciatura em Matemtica; (iii) aspectos intuitivos, lgico-formais e histricos de
apresentao dos contedos. Com respeito, por exemplo, a este ltimo critrio, principalmente
quando nos referimos sua dimenso histrica, destacamos na figura 2 o quadro esquemtico do
principal conceito matemtico que discutiremos neste trabalho, a saber, a comutatividade das
derivadas mistas. Os autores Hairer & Wanner (2008) levantam a questo da dependncia da
XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

ordem de diferenciao e acrescentam que este problema manteve por sculos a ateno de
muitos matemticos para a evoluo das ideias envolvidas nesta questo.

Figura 2: Quadro explicativo da comutatividade proposto em Hairer & Wanner (2008, p. 316).

De fato, Hairer & Wanner (2008, p. 316) discutem o exemplo fornecido por Leonhard Euler
(1707-1783), que concebeu uma funo que aparentemente sempre possua a propriedade de
independncia da ordem de diferenciao. Euler a descreveu analiticamente por

f ( x, y ) = x 2 + n y 2 , onde x 2 + n y 2 > 0 , com x, y \ . Hairer & Wanner esclarecem que o

matemtico alemo no apenas forneceu as derivadas de 1 e 2 ordem, como tambm verificou
2 f
2 f
que
( x, y ) =
( x, y ) , para ( x, y ) \ 2 ; resultado que se mostrou incorreto sem um
yx
xy
acrscimo de determinadas condies formais s hipteses negligenciadas por Euler.
Dois contraexemplos fundamentais foram fornecidos por Karl Hermann Amandus Schwarz
(1843-1921) e por Giuseppe Peano (1858-1932). Neste sentido, Hairer & Wanner (2008, p. 317)
discutem, explorando uma notao moderna, as propriedades da funo f ( x, y ) = xy g ( x, y ) ,
onde a funo g ( x, y ) limitada e no necessariamente contnua nas vizinhanas da origem do
sistema \ 2 . Assim, os autores consideram
f
f ( x, y ) f (0, y )
(0, y ) = lim x 0
= lim x 0 y g ( x, y ) . E, em seguida, avaliam a derivada
x
x
f
f
(0, y )
(0, 0)
[ lim x 0 y g ( x , y ) ] 0
2 f
f

x
x
=
= lim y 0
y
(0, 0) =
(0,
)
lim

y0

yx
y x
y
y

Na sequncia, obedecendo o mesmo raciocnio, os autores explicitam

2
f
(0, 0) = lim x 0 lim y 0 g ( x, y ) (*). O aspecto que merece ateno aqui a descrio do
xy
comportamento das derivadas mistas com base no comportamento dos limites interados (*), que
obtivemos com a funo g ( x, y ) . Argumentaes desta natureza proporcionam uma relao mais
estreita entre os conceitos e podem auxiliar a transio do CUV para o CVV que apresentamos
na figura 1, na medida em que relacionamos a noo de limite interado com a derivada mista.
Com respeito a esta ltima, os livros de CVV exploram as propriedades da seguinte funo
x2 y2
(1). Por outro lado, antes de desenvolvermos uma anlise do modelo lgicof ( x, y ) = xy 2
x + y2
matemtico envolvido neste caso, apresentamos, segundo os livros escolhidos neste estudo, os
enunciados do teorema de Schwarz, que caracteriza a comutatividade das derivadas parciais
no ambiente do CVV. O primeiro enunciado desenvolvido no contexto da Anlise no \ n ,

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

contedo tradicionalmente estudado apenas em cursos de bacharelado em Matemtica.

Figura 3: Enunciado do teorema que caracteriza a comutatividade das derivadas (LIMA, 2009, p. 147).

Preservando nossa ateno com respeito ao critrio (ii) descrito h pouco, deter-nos-emos aos
enunciados equivalentes para funes do tipo f ( x, y ) . O primeiro enunciado encontrado no
livro de Swokowski (1983, p. 726), inclusive em edies atuais traduzidas para o portugus.

Figura 4: A comutatividade das derivadas mistas discutida em Swokowski (1983).

Leithold (1982, p. 754-756) apresenta o enunciado do mesmo teorema, como exibimos na figura
5, e comenta, na mesma seo, a diversidade de notaes para o mesmo objeto matemtico, ao
2 f
.
apresentar as seguintes notaes: D2 ( D1 f ) , D12 f , f12 , f xy , Dxy ( f ) ,
yx

Figura 5: O enunciado que caracteriza a comutatividade das derivadas mistas em Leithold (1982).

Observamos que o enunciado conhecido como teorema de Schwarz, que encontramos na obra de
Guidorizzi (1986, p. 858), equivalente ao enunciado da figura 3, no que diz respeito
caracterizao da classe de diferenciabilidade da funo. No caso de Guidorizzi, o autor diz que
uma funo de classe C 2 , quando suas derivadas de 1 e de 2 ordem so contnuas.

Figura 6: Enunciado do teorema, segundo Guidorizzi (1986), indicando a classe de diferenciabilidade.

Encerramos esta seo, destacando o critrio (iii) anlise lgico-matemtica de todos os

enunciados exibidos. Notamos que, de modo simplificado, podemos escrever ( H1 H 2 ) T ,
H1 : f, f x e f y contnuas
onde tomamos como hipteses
. E por tese T : f xy = f yx . Note-se que a
H 2 : f xy e f yx contnuas
nica exceo desta forma inferencial foi explorada em Stewart (2004, p. 902). Alm disso, a
XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

verificao analtica das condies de H1 , na origem, por exemplo, em relao a cada uma das
hipteses acima, consiste em estudar o comportamento dos limites lim( x, y)(0,0) f (x, y) = f (0,0) ,
lim(x,y)(0,0)

f
f
f
f
(x, y) = (0,0) , lim( x, y)(0,0) (x, y) = (0,0) (2). E no caso de H 2 , investigamos o
y
y
x
x

2 f
2 f
2 f
2 f
( x, y) =
(0,0) e lim(x, y)(0,0)
(x, y) =
(0,0) (3),
xy
xy
yx
yx
entretanto, do ponto de vista analtico, tais verificaes podem se tornar fastidiosas sem o uso da
tecnologia (ver figuras 7 e 8). Na prxima seo, apresentaremos a perspectiva terica na qual
referendamos/interpretamos os dados obtidos com suporte nos autores de livros mencionados.

comportamento de lim( x, y )(0,0)

A Teoria das Representaes Semiticas e aplicaes

O interesse acadmico por parte de estudantes e pesquisadores pela teorizao proposta por
Raymond Duval se torna visvel com o uso da Teoria das Representaes Semiticas em vrios
estudos envolvendo o ensino/aprendizagem de Matemtica. O motivo para tal fato parece
evidente, uma vez que, na introduo de sua obra, o autor sublinha a idia de que em
Matemtica, as representaes semiticas no so apenas indispensveis aos fins de
comunicao, elas so necessrias ao desenvolvimento da prpria atividade matemtica
(DUVAL, 1995, p. 3).
Duval (1995, p. 5) salienta, ainda, que a mobilizao ou passagem de um sistema de
representao a outro, ou a mobilizao simultnea de vrios sistemas de representao em curso
de uma mesma aprendizagem, nem sempre decorre de modo espontneo e natural. No contexto
do CVV, poderamos exemplificar diversas formas de registro que se referem ao mesmo objeto
matemtico, como o que chamamos de limite, o qual pode ser representado por:
Lim( x , y )( a ,b ) f ( x, y ) ; lim( x , y )( a ,b ) f ( x, y ) ; Limxa f ( x, y ) ou ainda lim xa [lim y b f ( x, y )]] . E o
y b

caso da noo de derivada mista em um ponto (a, b) , discutida na seo passada, que pode,

segundo os livros consultados, ser denotada por: f12 (a, b) ; ( f xy ) (a, b) ; D12 f (a, b) ; f xy (a, b) ;
+

f
f

(a, b) ou ainda (a, b)y=b . Estes so exemplos de registros algbricos

y x
yx

distintos do CVV, que designam o mesmo objeto. No contexto da aprendizagem, a importncia

da distino entre objeto e suas mltiplas representaes exaltada por Duval (1993, p. 37).

xy f ( x, y ) ;

Acrescentamos, ainda, que a mobilizao ou a passagem para outros registros, distintos dos
algbricos, como no caso de registros geomtricos ou registros numricos do CVV, pode se
tornar uma tarefa impraticvel sem um auxlio computacional, como podemos observar em
alguns estudos (RALHA; HIRST & VAZ; 2004). Ademais, recordamos que a noo de
representao se torna essencial na medida da forma segundo a qual a informao pode ser
descrita e levada em considerao num sistema particular de tratamento. (DUVAL, 1995, p. 17)
Identificamos um exemplo interessante, quando o estudante manifesta melhor entendimento do
f

(a, b) , uma vez que descreve de modo

processo matemtico relacionado ao registro

y x

explcito a informao, diferentemente de registros do tipo Df12 , f xy ou f12 que escondem ou

encobrem determinados significados operatrios. Levando em considerao estas colocaes,
XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

exibimos na figura 7 as derivadas de 1 e 2 ordem da funo (1). Sublinhamos que todo o

clculo algbrico efetuado pelo programa considera valores fora da origem. Alm disso, o
programa explorado aqui fornece em poucos segundos todas as derivadas da funo (1), que
podem ser descritas em termos de registros algbricos.

Figura 7: O software Maple evita clculos fastidiosos para os alunos fornecendo as derivadas.

No caso das derivadas mistas, o software Maple fornece a extensa listagem em termos de
registros algbricos, os quais apresentamos na figura 8. Sublinhamos que, segundo os dados
gerados por este Sistema Algbrico Computacional CAS, inferimos que
2 f
2 f
( x, y ) =
( x, y ) , para os pontos (figura 8).
yx
xy

Figura 8: O software Maple exibe as derivadas mistas em termos de registros algbricos.

Duval (1995, p. 28) salienta que um dos grandes problemas concernente psicologia diz
respeito natureza das relaes entre representaes mentais e representaes semiticas. As
representaes mentais, por exemplo, permitem uma viso do objeto na ausncia de significantes
perceptveis, todavia, um expediente tortuoso consiste em estimular a produo de
representaes mentais nos aprendizes quando restringimos o ensino s mdias lpis/papel. Na
figura 9, exibimos registros de natureza geomtrica em 3D, relacionados com a funo (1).

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

Figura 9: Registros de natureza geomtrica da funo (1) podem estimular representaes mentais.

Duval (1995, p. 36) descreve trs atividades cognitivas de representao inerentes

semisis (apreenso ou a produo de uma representao semitica). A primeira, segundo o autor
a formao de representaes em um registro semitico particular. Tal atividade funciona no
sentido de evocar/recordar um objeto, exprimir uma representao mental, e implica uma
atividade de seleo, no conjunto de possveis representaes, as que realmente tencionamos
representar. Duval caracteriza tambm a noo de tratamento de representaes semiticas que
se manifesta quando efetuamos transformaes sobre representaes no mesmo registro.
Por exemplo, podemos recorrer ao modelo epsilnico do CVV, caracterizado pela
condio lgica: dado > 0 , existe um > 0 , de modo que x, y Dom( f ( x, y )) , tenhamos
que se 0 < ( x, y ), (a, b) < implica que f ( x, y ) L < . Equivalentemente, exploramos a
formao de outra representao semitica ao escrevermos lim( x , y )( a ,b ) f ( x, y ) que, do ponto de
vista do tratamento, no sentido de Duval (1995), mais explorado no ensino ordinrio de CVV.
x2 y2
De fato, o limite da funo f ( x, y ) = xy 2
considerada pode ser designado pelo
x + y2
x2 y 2
, e, para efeito de simplificao das operaes de
x2 + y 2
tratamento efetivadas sobre este, tomamos seu comportamento na origem. Aps uma srie de
x2 y2
regras envolvendo seu significado operatrio, conclumos que lim ( x , y )(0,0) xy 2
= 0.
x + y2

registro algbrico lim ( x , y )(0,0) xy

Por fim, Duval (1995, p. 36) descreve a converso de registros como a transformao de
uma representao para outro registro distinto da representao inicial. Por exemplo,
sublinhamos a noo de que explorando por meio da visualizao de registros em 3D (figuras 9 e
10), podemos fornecer alguns indcios para o aprendiz no sentido de construir seu prprio valor
epistmico (DUVAL, 1991, p. 254) relativo a determinada propriedade, mediante a elaborao
de uma sentena proposicional relacionada s noes de funo e de suas derivadas parciais.
Na figura 10, podemos concluir que a derivada parcial de 1 ordem contnua, enquanto
que suas derivadas mistas (lado direito), apesar de coincidirem no modelo computacional fora da
origem (figura 8), so descontnuas na origem. Reparamos que, nesta anlise, no efetuamos
nenhum tratamento, entretanto, a formao do registro que chamamos de grfico da funo foi
fornecida pelo computador, e assumiu um papel essencial para nosso entendimento desta
propriedade. A visualizao de grficos como estes no \ 3 envolve habilidades que os aprendizes
ainda desconhecem pelo fato de que o ensino do CUV explora to-somente representaes em

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

2D. Analisando e comparando as figuras 7, 8, 9 e 10, podemos perceber a relevncia da

converso de registros semiticos, inclusive seu carter de complementaridade.

Figura 10: Registros geomtricos gerados pelo Maple relacionados com a derivada parcial e mista.

Na figura 10, exibimos outras representaes associadas funo que descrevemos em (1).
Qualquer situao relacionada no mbito da resoluo de problemas necessita da habilidade do
solucionador relativa mudana de registros (DUVAL, 1993). Assim, quando exploramos
registros diferenciados no CVV, possibilitamos maior repertrio de ao dos aprendizes, uma
vez que existem exemplos de registros no CVV que proporcionam entraves ao tratamento;
assim, a converso de registros pode auxiliar a atividade matemtica de modo promissor.
Discusso e anlises

Uma concluso imediata que identificamos nos livros consultados diz respeito diversidade de
enunciados relacionados com a comutatividade das derivadas parciais, descritos
predominantemente por meio da lngua materna (LM) e registros algbricos (RA). Alm disso,
encontramos de forma deficiente a explicao da propriedade em termos da converso para
registros geomtricos (RG), com exceo no caso de Stewart (2004). Ademais, os autores se
apoiam em determinados recursos peculiares na atividade de matemticos profissionais, como a
simplificao/condensao de notaes formais que, no sentido de Duval (1993, p. 49),
interpretamos como uma economia de tratamento e que podem no explicitar os significados
operatrios envolvidos, relacionados com cada simbologia e ensejar entraves aos incipientes.
Apesar de a obra de Lima (2009) no ser adequada para um curso inicial de CVV no ambiente de
um curso de licenciatura, esse livro apresenta qualidades que podem auxiliar o professor destes
contedos. O primeiro diz respeito a invarincia notacional, ou seja, o autor preserva a notao
das derivadas mistas durante toda a argumentao necessria. Por outro lado, aparentemente
como todos os outros autores, o nico contraexemplo fornecido o da funo (1), empregando
LM, RA e RG; entretanto, Lima (2009, p. 148) exibe apenas um grfico da funo (1) gerado
possivelmente por um CAS. Assim, acrescentamos que seu exemplo, no que diz respeito
converso de registros, pouco ou em quase nada auxilia o leitor a compreender o comportamento
geomtrico da propriedade investigada (figura 10). Note-se que Lima (2009, p. 149) apresenta
outra verso do mesmo teorema enunciado na figura 3.

Figura 11: 2 verso do enunciado do mesmo teorema, segundo Lima (2009).

Guidorizzi (1986, p. 858) e Stewart (2004, p. 902) descrevem a seo da propriedade que

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

10

investigamos explorando apenas a LM e RA. Na seo de exerccios, alm de no empregar RG,

Guidorizzi (1986) apresenta apenas o exemplo da funo (1) e no demonstra formalmente o
teorema. No caso do livro de Leithold (1982), observamos na seo 17.9, referente s derivadas
de ordem superior, uma mudana notacional constante. De fato, o autor exibe trs exemplos
iniciais de funes que sempre apresentam a propriedade da comutatividade das derivadas
mistas, empregando notaes simplificadas D12 f ( x, y ) e D21 f ( x, y ) , entretanto, no ltimo
exemplo, mostra a funo (1) e, explorando notaes diferentes, verifica f12 (0, 0) f 21 (0, 0) . Os
enunciados dos quatros exemplos encontrados em Leithold (1982) so em termos de LM e RA.
Nossas anlises no livro de Swokowski (1983) indicaram que a diversidade de registros
empregados pode confundir o leitor (figura 12). De fato, vemos na figura 12, o tratamento de
registros explorado por ele. O autor destaca apenas um exemplo no qual a comutatividade das
derivadas parciais sempre verdadeira explorando LM e RA. Nos quatro exerccios propostos,
de forma semelhante, identificamos a ausncia de RG e de contraexemplos distintos de (1).
Quando nos atemos a uma anlise lgico-matemtica do enunciado do teorema apresentado em
cada autor, observamos a discusso em que as condies da inferncia ( H1 H 2 ) T no se
verificam. Todos os autores recorrem ao exemplo (1), que, segundo a figura 10, no satisfaz H 2 ;
entretanto, no pormenorizam, em termos de tratamento dos registros, quais das hipteses
H1 ou H 2 so negadas. Analiticamente, as condies formais foram descritas em (2) e (3). Alm
disso, os autores consultados no fornecem ao leitor os registros algbricos - RA relacionados
com as derivadas de primeira e de segunda ordem; estas podem ser observadas nas figuras 7 e 8.

Figura 12: Swokowski (1983, p. 730) apresenta uma profuso de notaes para as derivadas mistas.

Tabela 1
Presena de registros nos livros de CVV em termos de LM, RA e RG.
Registro
LM
RA
RG
Notao
Contra
exemplo
do Teor.

Lima
(2009)
Sim
Sim
Sim
Notao
detalhada
Sim (1)

Guidorizzi
(1986)
Sim
Sim
No
Notao
detalhada
Proposto
como
exerccio
(1)

Leithold
(1982)
Sim
Sim
No
Notaes
simplificadas
Apenas um
resolvido (1)

Stewart
(2004)
Sim
Sim
Sim
Notao
detalhada
Nenhum

Swokowski
(1983)
Sim
Sim
No
Notaes
simplificadas
Nenhum
resolvido e
nenhum
exemplo

Notas. Dados obtidos a partir da anlise de livros do CVV com respeito ao teorema de Schwarz.
A ltima linha da tabela 1 merece alguns comentrios extras. Neste sentido, identificamos nas
obras consultadas apenas um contraexemplo (1), todavia, no divisamos nas argumentaes

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

11

destes autores uma explorao eficaz de RA no sentido de verificar a continuidade das derivadas
de 1 e 2 ordem. Assim, todo o tratamento das representaes foi desenvolvido no sentido de
evidenciar os valores numricos assumidos pelas derivadas mistas no ponto (0, 0) . Por fim,
registramos notaes simplificadas (tabela 1, 4 linha) quando deparamos registros do tipo f12
que apresentam uma grande operacionalidade para um profissional experiente, todavia, para o
estudante, pode atuar num sentido contrrio ao de permitir uma compreenso do seu significado.
Consideraes e recomendaes

Martinez-Planell & Gaisman (2010, p. 2) iniciam seu artigo sublinhando uma lacuna na literatura
no que se refere aos estudos e investigaes no campo do Clculo a Vrias Variveis. Deste
modo, com uma preocupao semelhante, desenvolvemos este trabalho que se caracterizou pela
anlise de algumas obras didticas com respeito comutatividade das derivadas parciais.
Nossas anlises indicaram que as atividades propostas nos livros de CVV consultados, com
exceo para o livro de Lima (2009), que se harmoniza a uma formao de futuros bacharis,
enfatizam o tratamento eminentemente algbrico das representaes (tabela 1, linha 2), em
detrimento do uso de registros de natureza geomtrica. Assim, outras habilidades exigidas nos
aprendizes podem ficar comprometidas, uma vez que, para a produo de uma resposta no
contexto da resoluo de problemas, o aluno necessita simultaneamente da formao, tratamento
e, sobretudo, da converso de registros, inclusive com apoio nos registros do CUV.
Um dado que merece ateno o fato de que todos os autores consultados apresentam apenas
como contraexemplo a funo descrita inicialmente em (1). Alm disso, em nenhum caso
encontramos a verificao efetiva da no-ocorrncia das hipteses H1 e H 2 , que descrevemos
em (2) e (3), previstas no enunciado do teorema (figura 11). Por outro lado, quando dedicamos
um pouco mais de tempo de investigao, encontramos em Hairer & Wanner (2008, p. 328), um
contraexemplo histrico fornecido do H. A. Schwarz, encontrado em 1873, descrito pela seguinte
funo

y
2
x a rc ta n
y
f ( x , y ) =
x
0 s e ( x ,y ) = ( 0 ,0 )

x
a rc ta n

s e (x ,y ) (0 ,0 )

Recordamos que nas sees anteriores sublinhamos a importncia de investigar a adequao

didtico/metodolgica a um curso de licenciatura em Matemtica. Com respeito ao item (ii),
evidenciamos existncia de trs categorias de livros de CVV. A primeira categoria se apresenta
por explorar de modo aprofundado os fundamentos de Anlise no \ n . No nos detemos de
modo prolongado em tal categoria, pois, evidenciamos que os objetivos de uma obra desta
natureza (LIMA, 2009) e o pblico ao qual o livro se destina so incompatveis com os objetivos
de formao de aluno de licenciatura em Matemtica. Outra categoria identificada por explorar
um pseudoformalismo e a predominncia de registros algbricos RA.
Os livros desta ltima categoria so caracterizados por enunciarem de modo formal o teorema
relacionado com a comutatividade de derivadas, efetuarem a demonstrao que, na maioria dos
casos se apoia nas ideias e conceitos do CUV, com exceo de Lima 2009. A ideia-chave do
teorema de Schwarz, todavia, no continua a ser aplicada e/ou explorada nos exerccios
subseqentes. Leithold (1982) como outros exemplos se encaixa nesta.
Por fim, identificamos livros (STEWART, 2004) que buscam explorar uma abordagem baseada
na converso de registros (com o uso da tecnologia), o que se mostra adequado para um curso de

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

12

licenciatura em Matemtica, apesar de no inovar na discusso dos contraexemplos. Embora no

participando de modo direto de nosso estudo, destacamos os autores Bortolossi (2009), Calahan
(2010), Ghorpade. & Limaye (2010). Nestes, ltimos autores, observamos, com maior
frequncia, a explorao de converses (DUVAL, 1993, p. 45) do tipo ilustrao (converso de
uma representao lingustica em uma representao figural) e descrio (converso de uma
representao no verbal em uma representao lingstica). Tal iniciativa pode evitar, pelo
menos em parte, aprendizagens indesejadas no ensino do CVV, recentemente apontadas em
alguns estudos (MARTINEZ-PLANELL & GAISMAN, 2009; 2010).
O expediente empregado por estes autores de livros mais atuais, quando desenvolvido no
contexto de ensino do CVV, poder auxiliar a promoo de um repertrio extenso de habilidades
e um entendimento mais significativo, principalmente quando tais habilidades so baseadas e/ou
ancoradas em aprendizagens anteriores, no contexto de ensino do CUV. Apesar de no contarmos com dados empricos para uma verificao em sala de aula, o aprofundamento da anlise de
alguns dos indicadores relacionados com o teorema de Schwarz, discutidos ao longo do texto,
poder atuar de modo profcuo, inclusive no desenvolvimento de pesquisas no futuro a respeito
de um perodo que nomeamos neste trabalho de transio interna do CUV para o CVV.
Bibliografia e referncias
Bortolossi, H. J. (2009). Clculo Diferencial a Vrias Variveis: um introduo otimizao. So Paulo:
Editora PUC-Rio.
Callahan, J. J. (2010). Advanced Calculus: a geometric point of view. New York: Springer. doi:
10.1007/978-1-4419-7332-0.
Duval, R. (1991). Strutucture du raisonnement dductif e apprentissage de la dmonstration, Educational
Studies in Mathematics, 22, 233-261.
Duval, R. (1993). Registres de reprsentation smiotique et fonctionnement cognitif de la pense. Annales
de Didactiques et de Sciences Cognitives, 5, 37-65.
Duval, R. (1995). Smiosis et Pense Humaine: registres smiotiques et apprentissages intellectuels.
Paris: Peter Lang Editeur.
Ghorpade, S. R. & Limaye, B. V. (2010). A Course in Multivariable Calculus. New York: Springer. doi :
10.1007/978-1-4419-1621-1.
Guidorizzi, H. L. (1986). Um curso de Clculo. So Paulo: Livros Tcnicos e Cientficos. v. II.
Hairer, E. & Wanner, G. (2008). Analysis by its History. New York: Springer.
Leithold, L. (1982). O Clculo com geometria analtica. So Paulo: Harbra. 2 edio.
Lima, E. L. (2009). Curso de Anlise. v. II. Rio de Janeiro: IMPA. 11 edio.
Martinez-Planell, R. & Gaisman, M. T. (2009). Students ideas on functions of two variables: domain,
range and representations. Proceedings of 31st annual meeting of Psychology of Mathematics
Education. Atlanta, GA: Georgia State University. 73-80.
Martinez-Planell, R. & Gaisman, M. T. (2010). Geometrical representations in the learning of twovariable functions. Educational Studies in Mathematics, 73, 3-19.
Ralha, E.; Hirst, K. & Vaz, O. (2004). A Portuguese study on learning concepts and proofs: multivariable
calculus and mathematica TM. Proceedings of the 10th International Congress on Mathematics
Education. Denmark, 1-12.

XIII CIAEM-IACME, Recife, Brasil, 2011.

Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais

13

Stewart, J. (2004). Clculo. v. II, 4 edio, So Paulo: Pioneira Thompson Learning.

Swokowski, E.W. (1983). Calculus with Analytic Geometry. Boston: Prindle, Weber & Schmidt.

XIII CIAEM-IACME, Recife, Brasil, 2011.