Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.

337-367, 2012
Uma Sequncia Didtica para explorar a regra de L`Hospital com o
uso da Tecnologia

A Didactical Sequence to explore the rule of L'Hospital with the use of technology
_____________________________________
FRANCISCO REGIS VIEIRA ALVES
1

HERMNIO BORGES NETO
2



Resumo
Apresenta-se uma Engenharia Didtica ED, com o tema envolvendo situaes de
ensino, no contexto de uso regra de LHospital no curso de licenciatura em Matemtica
do Instituto Federal de Educao, Cincia e Tecnologia do Estado do Cear - IFCE. A
fase de experimentao e validao da ED apoiada na metodologia de ensino
nominada Sequncia Fedathi. Deste modo, produziu-se um clima de investigao em
duas atividades, com a participao de quatro duplas de alunos da licenciatura em
Matemtica, nas quais, o uso do Geogebra se mostrou essencial. Na etapa de anlise a
posteriori, destacamos: com a explorao do software, os alunos comparam os dados
de natureza geomtrica com os de natureza analtico-algbrica; o software possibilitou
um entendimento, mediante a natureza da mediao didtica, da manifestao de
indeterminaes de natureza geomtrica, alm de evitar a aplicao irrefletida da
regra, o que recorrente num ensino que se limita ao quadro algbrico.
Palavras-chave: Engenharia Didtica; Regra de LHospital; Geogebra.

Abstract
It presents an Didactical Engineering DE, with situations involving the issue of
education, in the context of the use of L'Hospital rule, in the course of a degree in
Mathematics from the Instituto Federal de Educao, Cincia e Tecnologia do Estado
do Cear - IFCE. The phase of experimentation and validation of DE is supported in
the teaching methodology nominated Fedathi sequence. Thus, there has been a research
climate in two activities, with the participation of four pairs of undergraduate students
in Mathematics, in which the use of GeoGebra proved essential. In the subsequent
analysis, include: the exploitation of software, students compare the datas with the
geometric nature of the analytic-algebraic nature, the software enabled an
understanding, through the didactic nature of mediation, the manifestation of
indeterminacies in nature geometric, and avoid the unthinking application of the rule,
which the applicant is a teaching that is limited to the algebraic framework.
Key words: Didactical Engineering; LHospital Rule; Geogebra.






1
Instituto Federal de Educao, Cincia e Tecnologia do Estado do Cear IFCE. Doutor em Educao
com nfase no ensino superior. E-mail: fregis@ifce.edu.br
2
Universidade Federal do Cear UFC. Ps doutor em Educao Matemtica. E-mail:
herminio@multimeios.ufc.br
338 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Introduo
Este trabalho apresenta os resultados pertinentes a um estudo desenvolvido num
contexto de aplicao particular de ensino do Clculo. Assim, desenvolvemos no curso
de licenciatura em Matemtica uma investigao que teve como objetivo conceber uma
Engenharia Didtica ED com vistas estruturao/explorao de atividades de ensino
apoiadas, em suas fases de experimentao, nos pressupostos da Sequncia Fedathi
SF, envolvendo a regra de LHospital.
Neste artigo, identificamos determinados elementos abordados pelos livros didticos
que podem atuar, quer seja pela sua natureza metodolgica, que seja pela sua prpria
natureza epistemolgica, como entraves, no ensino/aprendizagem. Em seguida,
evidenciamos uma perspectiva diferenciada em decorrncia da explorao didtica da
tecnologia. Descrevemos, por fim, algumas fases da ED, com o tema regra de
L`Hospital. A escolha de tal temtica em decorrncia da aparente escassez de estudos
no Brasil que busquem compreender dificuldades especficas com respeito ao
ensino/aprendizagem desta regra.
1. Sobre a Regra de LHospital nos livros de Clculo
No Brasil, os livros didticos usuais (GUIDORIZZI, 2010; LEITHOLD, 1994;
STEWART, 2001; SIMMONS, 1988) adotados no ensino deste contedo, privilegiam,
de modo tradicional (ARTIGUE, 2002), o carter algortmico e a aplicao automtica
do teorema que possibilita evitarmos o tratamento direto de indeterminaes ou formas
indeterminadas do tipo
0
0 ,
0
0
,

,
0
,

, 1

etc..
Nos cursos de Clculo, a tcnica conhecida que permite eliminar indeterminaes como
estas conhecida como regra de L`Hospital. Reparemos, entretanto, que a mesma
utilizada como ferramenta para calcular limites indeterminados, sem a preocupao de
uma justificativa, o que para o aprendizado matemtico de certa forma um problema..
(BARBOSA, 2008, p. 12).
Destacamos ento seu enunciado: supondo que f e g so diferenciveis e '( ) 0 g x =
prximo do ponto x a = (exceto possivelmente em a). Considerando ainda que
lim ( ) 0 e lim ( ) 0
lim ( ) e lim ( )
x a x a
x a x a
f x g x
ou
f x g x


= =

= =

, temos uma forma indeterminada do tipo

Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 339
0 0 ou . Ento
( ) '( )
lim lim
( ) '( )
x a x a
f x f x
g x g x

se o limite do lado direito existir (ou

ou
.
O que se sobressai neste enunciado diz respeito quantidade de hipteses e outras
noes matemticas relativas ao clculo intricado de limites (MAURICE, 2000, p. 26).
Ademais, uma condio importante e de difcil entendimento refere-se justamente
condio de existncia de um limite, como vemos a indicao no enunciado acima.
Reparemos que muitos autores de livros didticos no Brasil limitam-se a analisar a
condio suficiente para a existncia, caracterizada pela condio analtica
(*) lim ( ) lim ( )
x a x a
f x f x


, desprovida de qualquer interpretao topolgica. O
entendimento da noo de existncia requerido, por exemplo, quando Stewart (2001),
ao explicar o comportamento de limites do quociente de funes que se aproximam da
expresso
0
0
, acrescenta, de modo peremtrio que o smbolo
0
0
no est definido
(STEWART, 2001, p. 304), portanto, no existe.
Em sua dissertao, Barbosa (2008, p. 41) pontua uma atribuio histrica mais
coerente descoberta da regra para o tratamento da indeterminao
0
0
ao jovem
Johanen Bernoulli (1667-1748). Em outros casos envolvendo a noo de
indeterminao, como na situao de

, a verificao da possibilidade de clculo de

um limite pode reduzir a compreenso da noo de existncia verificao da
ocorrncia de uma igualdade (*). Alm disso, uma condio necessria, todavia, no
suficiente, para a existncia do limite num ponto x a = refere-se ao carter limitado da
imagem da funo f .
Por exemplo, nos grficos das figuras 7 e 8, divisamos o comportamento das funes
que se apresentam no numerador e denominador, respectivamente, do limite
0
2
1 cos( )
x x
x
e e
lim
x

. Com apoio na visualizao, depreendemos que tanto a funo

[ 2]
x x
e e

como [1 cos( )] x possuem uma imagem limitada numa vizinhana do

ponto 0 x , pois, na medida em que 0 x

ou 0 x

, suas respectivas imagens
assumem valores pequenos, o que se caracteriza como uma condio apenas necessria,
e no suficiente (*), para a existncia do mesmo (ver figura 8).
340 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Outra situao didtica importante a explorao de contraexemplos. De fato,
considerando o seguinte limite
( )
lim
x
x sen x
x

, quando nos restringimos aos

procedimentos analticos, deparamos a seguinte indeterminao
( )
lim
x
x sen x
x

,
onde vale destacar que o comportamento de crescimento devido componente linear,
pois ( ) 1 sen x . Por outro lado, se tentamos aplicar a ideia da regra de LHospital,
concluiremos que
1 cos( )
1 cos( )
1
x
x

, entretanto, a imagem desta funo trigonomtrica

oscila entre [0, 2] ( x
)
, o que nos impede de elaborar qualquer ilao sobre ela.
Est registrado em alguns livros o esforo no sentido de se atribuir um significado
metafrico (intuitivo) para alguns casos de indeterminaes. Stewart (2001, p. 306)
explica que H uma luta violenta entre o numerador e o denominador. Se o numerador
ganhar, o limite ser ; se o denominador ganhar, a resposta ser 0 . Ou algum
equilbrio, e, nesse caso, a resposta pode ser algum nmero positivo, finito.. Stewart
explica o surgimento de indeterminaes semelhantes ao caso dos seguintes limites que
estudaremos em seguida, descritos por
0
2
1 cos( )
x x
x
e e
lim
x

e
2
2
2
0
1
( )
x
x
e
lim
sen x

.
Apesar de positiva e de ser observada como o esforo particular de certos autores de
livros, a valorizao do metaphorical insight (OTTE, 2008), a interpretao dinmica
descrita por Stewart, entretanto, pode proporcionar tambm dificuldades, sobretudo,
quando saber se a resposta final do comportamento do quociente um nmero no nulo,
se simplesmente infinito ou ainda, pelo fato das funes presentes na frao
f
g
serem
ambas contnuas no ponto 0 x , a frao
0
0
indicar exatamente os valores assumidos.
Uma noo estreitamente vinculada regra de LHospital e que recebeu ateno h
sculos antes de Cristo, denotada em Matemtica por e simboliza o infinito, o qual
foi definido de maneiras diferentes, segundo pocas diferentes (MAURICE, 2000, p.
27). Vale mencionar que, pela aplicao da regra de LHospital, que hora discutimos,
os alunos deparam noes de difcil entendimento. Com efeito, tal entidade conceitual,
dependendo da noo adotada (MAURICE, 2000, p. 28) passvel de uma anlise e
descrio lgica, aritmtica, algbrica e geomtrica (COUTURAT, 1973), que pode
atuar como um entrave ou obstculo epistemolgico (ARTIGUE, 1995b, p. 111).
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 341
Couturat (1973, p. 341) evidencia ainda um papel recorrentemente assumido pelo
matemtico ao recordar que o matemtico no define, de modo profundo, e no definiu
o nmero; ele define somente a igualdade de nmeros, e isto lhe fornece condies
suficientes para a construo de toda a Aritmtica.. Mais adiante, Couturat lembra que
tal modo de definio implica uma ideia filosfica, todavia, esta no a principal
ocupao do matemtico. (COUTURAT, 1973, p. 342).
Ora, as consideraes do matemtico e lgico Louis Couturat (1868-1914) preservam
vigor e adequao nossa realidade atual. De fato, no ensino acadmico, tanto por parte
de professores, como por parte do relato de investigadores (HEREDIA, 2007), registra-
se a nfase nas manipulaes algbricas em detrimento do significado conceitual e a
compreenso intuitiva dos conceitos, incluindo-se a as noes topolgicas (BRIDOUX,
2011) das definies matemticas formais.
Por outro lado, vale evidenciar que as definies matemticas so puramente nominais
e, em conseqncia, pressupem sempre os conceitos que elas tencionam construir.
(COUTURAT, 1973, p. 342), todavia, num contexto inicial do primeiro contato com o
Clculo, a nfase no ensino poderia ser dada ao significado, uma vez que o domnio
puramente lgico-matemtico no fator suficiente garantidor de uma compreenso
satisfatria deste corpus terico.
Em todo caso, sabemos que esta ou aquela forma de abordar o Clculo depender da
expectativa dos professores desta disciplina (SILVA, 2011, p. 400). No prximo
segmento, introduziremos em nossa discusso a tecnologia. Seu papel se destaca no
sentido de proporcionar a evoluo de habilidades cognitivas pertinentes visualizao
e percepo de propriedades geomtricas e topolgicas no
2
IR .
1.1. O uso da tecnologia no ensino do Clculo e um pouco de Histria
Concordamos com Artigue (2007, p. 69) quando acentua que a escolha de uma
tecnologia envolve uma razo pessoal.. Um pouco mais adiante, a pesquisadora explica
ainda que a explorao de instrumentos tecnolgicos possibilita a explorao de
situaes inimaginveis quando restritas ao lpis/papel (ARTIGUE, 2007, p. 73).
Neste contexto de discusso, destacamos o software Geogebra que tem sido
instrumento empregado na mediao envolvendo o ensino, adotado em inmeras
investigaes (ALVES, 2012) que envolvem uma preocupao em torno de problemas e
entraves registrados nas prticas docentes no locus acadmico (ARTIGUE, 1995c).
Cabe aqui um pequeno comentrio de natureza histrica, no intuito de divisarmos dois
pontos de vista. O primeiro, diz respeito ao modo pelo qual os matemticos do passado
342 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
atacaram problemas importantes. Alonso (2004, p. 135), por exemplo, comenta que o
esforo de LHospital em representar geometricamente as diferencias de ordem maiores
do que um, ao descrever a noo de ponto de inflexo. Na figura 1 destacamos os
diagramas fornecidos pelo prprio LHospital, o que possibilitou a transmisso de suas
ideias a outros matemticos.

Figura 1: Alonso (2004) explica o esforo de LHospital em representar geometricamente certos conceitos
O mesmo expediente pode ser verificado na descrio de Barbosa (2008) sobre o
trabalho do LHospital. Alm disso, Barbosa (2008, p. 38-39) acrescenta alguns grficos
computacionais para explicar trechos escritos pelo matemtico no livro intitulado
Analisis des infiniment petits pour lintelligence des lignes courbes. Ademais, com o
livro Analyse des infiniment petit em 1694, LHospital introduziu ideias inovadoras que
marcaram o novo Clculo, segundo Hairer & Wanner (2008, p. 83).
Hodiernamente, presenciamos o mesmo expediente no que concerne a explorao de
uma diversidade de representaes para os conceitos - notadamente, os de natureza
grfica, seguindo-se a uma mudana das prticas educativas e da dialtica da mediao
do professor, graas insero da tecnologia em sala de aula (ARTIGUE, 1997; 2007).
No contexto de ensino especfico do Clculo, a explorao de softwares no ensino de
Matemtica tem sido registrada h dcadas (ARTIGUE, 1997), mesmo assim, a
persistncia de dificuldades especficas na aprendizagem marcada por aspectos
intrnsecos ao prprio saber (ARTIGUE, 1995c) ou o modo de sua apresentao no
locus acadmico. Bridoux (2011, p. 31) aponta um dos elementos intrnsecos a esse
saber quando menciona que, no caso da topologia da reta ou topologia do espao
n
IR ,
mostramos que o trabalho tcnico de manipulao de definies implica numerosas
adaptaes que colocam em jogo nmeros conhecimentos prvios sobre nmeros reais.
(BRIDOUX, 2011, p. 31). Artigue (1995c) aponta ainda elementos como: nmeros
reais, funo e limite, vinculados s dificuldades de conceitualizao.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 343
Neste sentido, destacamos a importncia da compreenso das noes de vizinhana e de
conjuntos abertos. A tecnologia proporciona a produo de sentenas proposicionais
relativas visualizao e ao entendimento de propriedades do grfico (em azul) de
funes como
( ) x sen x
x

. Quando aplicamos a regra de L`Hospital, obtemos

1 cos( ) 1 x e, tal funo no possui um nico valor como limite, quando x ; mas,
se mantm limitada ao longo de toda a reta real (grfico em vermelho). Este exemplo
funciona como advertncia para estudantes que procuram aplicar teoremas e
formulaes, de modo precipitado, irrefletido e sem ateno s hipteses e a seu
significado geomtrico (figura 2). Destaquemos, ainda, que o software no evidencia o
ponto de descontinuidade da funo inicial no ponto 0 x .

Figura 2: Explorao de contraexemplos com apoio na tecnologia
2 Problema da Pesquisa
O problema de investigao diz respeito abordagem didtica da regra de LHospital e
ao entendimento da manifestao (no quadro geomtrico) de formas indeterminadas no
clculo de limites. Assim, a formulao deste problema indica uma dificuldade que
pretendemos resolver ou, pelo menos, compreender no contexto de um curso de
graduao em Matemtica (licenciatura). Por outro lado, diante dos entraves (de
natureza epistemolgica, histrica e didtica) apontados nas sees anteriores,
levantaremos algumas hipteses que tencionamos averiguar ao decorrer do estudo.
2.1 Hipteses da Pesquisa
Desde que apoiamos nossas aes nos pressupostos da ED, ento assumimos
determinadas hipteses de trabalho ao longo de todo o processo investigativo:
1) com o uso da tecnologia os alunos reveem suas estratgias empregadas nas
atividades que passam a ser no apenas apoiadas na atividade algbrica;
344 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
2) o software proporciona a explorao de habilidade pertinentes visualizao e
percepo no sentido de extrair concluses para a aplicao de regra de LHospital e
3) o software proporciona a formulao de sentenas proposicionais extradas da
visualizao e percepo das propriedades topolgicas dos grficos das funes
presentes no numerador e no denominador da frao que se tenciona analisar e calcular
os limites laterais e sua condio de existncia (*).
2.2 Objetivos da Pesquisa
Este trabalho teve como objetivo geral implementar uma ED como metodologia de
pesquisa, envolvendo a explorao de situaes didticas relacionadas com a regra de
LHospital. Para alcanar este objetivo geral, descrevemos ainda os seguintes objetivos
especficos: promover a habilidade de visualizao da identificao de indeterminaes
do tipo
0
0
e

; explorar a tecnologia no sentido de provocar a reviso das estratgias

(na fase de prova da SF) e a manifestao de erros; com intermdio do uso do software,
evitar o emprego automtico da regra de LHospital nas fases de tomada de posio e
de maturao. Com respeito a este ltimo objetivo especfico, sua discusso e descrio
sero retomadas na prxima seo.
3. Metodologia da Pesquisa
A metodologia de pesquisa adotada foi a Engenharia Didtica - ED, que surgiu,
oficialmente, na rea de investigao da Didtica da Matemtica, no incio dos anos 80
(ARTIGUE, 2008, p. 10). Esse termo explicado por Artigue (1995a, p. 243), com vista
a caracterizar uma forma de trabalho didtico, semelhante ao trabalho de um
engenheiro que para realizar um projeto preciso, apoia-se sobre conhecimentos
cientficos de seu domnio e aceita se submeter a um controle do tipo cientifico,
todavia, ao mesmo tempo, encontra-se obrigado a trabalhar sobre objetos muito mais
complexos que os j depurados pela cincia e, assim, ataca, com todos os meios de que
dispe, os problemas que a cincia ainda no levou em considerao.
A metodologia de pesquisa por ns adotada se caracteriza como um esquema
experimental baseado em realizaes didticas em classe, isto , sobre a concepo, a
realizao, a observao e anlise de sequncias de ensino. (ARTIGUE, 1995a, p.
247). Almouloud (2007, p. 171) destaca que tal esquema experimental apresenta como
um modo de validao a comparao entre anlise a priori e anlise a posteriori e,
em virtude de apresentar uma validao interna, no h a necessidade de aplicao de
pr-teste ou ps-teste.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 345
A ED apresenta dois nveis de pesquisa: a microengenharia e a macroengenharia. A
pesquisa em microengenharia (com variveis de comando locais) apresenta um olhar
mais restrito, na medida em que se interessa pelas relaes e fenmenos que ocorrem
em sala de aula e so mais fceis de desenvolver na prtica (ARTIGUE, 1995b, p.
36). Neste nvel, podemos estudar determinado assunto no mbito da complexidade da
classe. No outro nvel (variveis macro-didticas ou globais), deparamos dificuldades
metodolgicas e institucionais que no foram objeto de nossa ateno.
Esta pesquisa uma microengenharia que busca desenvolver uma Engenharia Didtica
no contexto do ensino do Clculo em Uma Varivel Real (CUV), relativo estruturao
e explorao didtica de situaes problema envolvendo a regra de L`Hospital. Deste
modo, a regra de LHospital constituiu nosso objeto matemtico e procuramos
investigar os processos de ensino e aprendizagem em torno deste objeto, com o arrimo
da Sequncia Fedathi SF.
Como j mencionamos, nossa ED apresenta um mtodo de validao interna e no
emprega mtodos estatsticos comparativos, fundamentados em comparao externa,
aplicados em grupos experimentais ou de controle (ARTIGUE, 1995b, p. 37). Apresenta
tambm variveis macrodidticas e variveis microdidticas. Por fim, esclarecemos
que as primeiras variveis de comando, dizem respeito organizao global da ED,
enquanto que as variveis microdidticas relacionam-se com uma fase especfica.
4 Fases da Engenharia
4.1 Analises preliminares
De modo sistemtico, conforme Artigue (1995a, p. 249-250), nesta etapa consideramos:
uma anlise epistemolgica dos contedos visados no ensino; anlise dos entraves no
campo de ensino em que pretendemos realizar uma ao didtica; exame das
concepes e conhecimentos prvios dos alunos e, por fim, anlise do ensino atual e
seus efeitos. Por fim, todos os elementos anteriores levaram em considerao os
objetivos desta investigao.
No que se refere ao exame das concepes e conhecimentos prvios dos estudantes que
participaram do estudo (anlises preliminares ou anlise terica), destacamos dois
conhecimentos especficos que devem proporcionar a ao e o engajamento dos
mesmos nas atividades que propomos. O primeiro, diz respeito ao fato de que a eles
apresentamos o teorema que enunciamos na seo 1 e, as duas demonstraes possveis
da regra, todavia, numa perspectiva de anlise cognitiva, os mesmo apresentaram
346 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
dificuldades inerentes ao entendimento dos argumentos formais, sobretudo, envolvendo
a formulao (ARTIGUE, 2002, p. 174) e com respeito noo de limite, em
consonncia ao que prev Artigue (1995b, p. 114).
Segundo, a partir da figura 4 (p. 11), proporcionamos sua familiarizao pertinente
explorao e obteno de grficos de funes no Geogebra. Deste modo, exploramos a
manipulao e entendimento do comportamento do crescimento de funes que,
geralmente, comparecem nos clculos envolvendo o uso da regra.
Parte das anlises preliminares constituda tambm, segundo Almouloud (2007, p.
172), de uma anlise da organizao didtica referente ao objeto matemtico escolhido.
Deste modo, realizamos uma pesquisa em livros didticos de CUV (GUIDORIZZI,
2010; LEITHOLD, 1994; SIMMONS, 1988; STEWART, 2001), com o objetivo
precpuo de compreender e comparar a abordagem e a demonstrao formal do teorema
que caracteriza a regra de L`Hospital. O objetivo desta reviso bibliogrfica foi
encontrar atividades didticas potencializadoras e diferenciadas dos conceitos
matemticos envolvendo nosso objetivo geral.
A parte preditiva desta fase centra-se nas caractersticas das situaes didticas que
tencionamos levar aos estudantes e que sero descritas na prxima seo. Consideramos
tambm o que pode ser posto em funcionamento pelos sujeitos em circunstncia de
ao, seleo, deciso, controle e validao dos resultados. Neste caso, por exemplo, os
estudantes dispem da aplicao do teorema enunciado no incio da seo 1.
Reparemos, entretanto, que os elementos considerados nesta fase podem ser retomados
na etapa seguinte (ALMOULOUD, 2010, p. 173).
4.2 Concepo e Anlise a priori
Salientamos que a ED uma metodologia de pesquisa, sendo assim, torna-se
indispensvel o uso de teorias que servem para fundamentar nossa investigao e para a
leitura/interpretao dos dados. Ademais, na anlise a priori, determinaremos o
controle do comportamento dos alunos e seu sentido (ARTIGUE, 1995a, p. 258).
Artigue (2008, p. 12-13), ao descrever as mudanas atuais e a evoluo da ED,
evidencia a contribuio e influncia de outras teorias empregadas de modo conjunto
com a ED, o que condiciona um design didtico privilegiado. Deste modo, adotamos
como metodologia de ensino conhecida como Sequncia Fedathi (SF), a qual tem sido
utilizada em trabalhos (ALVES, 2011) desenvolvidos no Estado do Cear.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 347
A explorao de um problema, por parte do professor de Matemtica, influenciado pelos
fundamentos assumidos na Sequncia Fedathi SF (BORGES NETO et al, 2001;
BORGES NETO & SANTANA, 2001), no orienta sua explicitao imediata do
mesmo. Alm disso, as situaes devem ser portadoras de um potencial capaz de fazer
surgir as concepes, produo de conjecturas, aes e decises dos estudantes em
situao que so objeto de nossa ateno.
No que se refere ao funcionamento do sistema pedaggico, a SF valoriza a investigao
matemtica por parte do estudante, de modo semelhante atividade do matemtico
profissional (BORGES NETO et al, 2001). Assim, orienta a atividade da mediao do
professor no sentido de evitar o fortalecimento de um ritual de ensino indefectvel, que
condiciona a ao do estudante (ou grupos de estudantes) ao emprego automtico de
modelos formais matemticos, desprovidos de sentido e de um real entendimento.
De modo sistemtico, com o objetivo precpuo de estruturao da sequncia, seguimos
as etapas a seguir expressas.
Fase 1 Tomada de posio apresentao do problema.
No que se refere aos alunos, faz parte do seu papel a descoberta/identificao de um
problema relevante. No caso das duas atividades propostas e a explorao do recurso
computacional, os estudantes vivenciam um clima de debate em sala de aula. Cabe ao
professor estimular os aprendizes formulao de conjecturas. Por outro lado, a
proposta metodolgica apoiada nos pressupostos da SF valoriza o papel do erro. Deste
modo, na atividade 1 (figura 7), apresentamos aos estudantes um grfico incorreto da
funo
2
1 cos( )
x x
e e
x

(atividade 1). Com efeito, o grfico correto exibido na figura 3

(lado esquerdo) e inferimos que o limite vale 2, de acordo com os limites laterais.

Figura 3: Explorao e valorizao didtica do erro nas fases de mediao da SF
348 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Nessa fase, a visualizao e entendimento acerca do crescimento/decrescimento das
funes (e suas combinaes) envolvidas no quociente
2
1 cos( )
x x
e e
x

essencial. Aqui,
empregamos a situao discutida por Alves (2012, p. CLXXIV). Nessa situao
didtica, nos apoiando-nos na descrio de Artigue (1995b, p. 38), identificamos as
possveis concepes e obstculos que podem atuar com entraves s situaes propostas
na experimentao.
Sendo assim, com base na anlise e explorao das funes que exibimos na figura 4, os
alunos adquiriram o entendimento sobre a razo de crescimento/decrescimento
pertinente ao quociente
( )
( )
f x
g x
e a verificao da condio (*) (ver pgina 3).

Figura 4: Explorao e entendimento sobre o comportamento de funes (ALVES, 2012, p. CLXXIV)

Na prxima fase, explicitamos o problema em foco.
Fase 2 Maturao entendimento e identificao das variveis envolvidas no problema.
Nesta fase, os alunos so estimulados identificao das variveis mais pertinentes
(com a explorao do software), ou melhor, expressando, os elementos invariantes das
situaes. Parte destes elementos diz respeito aos teoremas que podem ser empregados
para a aplicao de uma estratgia que pode possuir maior chance de xito. Devido ao
uso da tecnologia, as possveis estratgias implementadas na prxima fase no devem se
restringir apenas ao quadro analtico-algbrico.
Fase 3 Soluo apresentao e organizao de esquemas/modelos que visem soluo
do problema.
Nesta fase, os alunos devem empregar uma estratgia com vistas soluo das
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 349
atividades propostas. Reparemos que por opo e limites de sntese deste artigo, casos
de indeterminaes do tipo
0
0 ,
0
,

ou 1

no sero analisadas aqui. Cabe destacar

ainda que as indeterminaes aqui analisadas so do tipo 0 0 e . Todavia, podem
ocorrer duas possibilidades: (i)
( )
lim
( )
x a
f x
g x

, com , f g contnuas no ponto x a = e

( ) 0 ( ) f a g a = = ; (ii)
( )
lim
( )
x a
f x
g x

, com lim ( ) 0 lim ( )

x a x a
f x g x

= = . Nesta fase ainda,
simbologias que podem provocar confuses dizem respeito, por exemplo, simbologia
( ) '( )
lim
( ) '( )
x a
f x f a
g x g a

= que detalharemos, do ponto de vista formal, na prxima fase. Vale

sublinhar, entretanto, que os problemas (ARTIGUE, 2002) pertinentes ao smbolo
'( ) f a so bastante conhecidos na literatura, bem como as incompreenses e erros
usuais manifestados pelos alunos quando lidam com expresses do tipo
( ) 0
0
a
a = e
0
0
,
relatada na tese de Maurice (2000, p. 32).
Vale comentar ainda que, no ensino ordinrio, sem o uso das tecnologias, as tarefas em
torno do uso da regra de LHospital apresentam, do ponto de vista da mediao
didtica, apenas a fase de soluo. Para exemplificar, encontramos em Bourchtein &
Bourchtein (2010, p. 285) os seguintes limites
2008
2 1004
( 1)
lim
( 3 5)
x
x
x x
+
+
+ +
e
2
0
1
cos
lim
( )
x
x
x
sen x

| |

|
\ .
.
No primeiro caso, apesar de se apresentar como um caso extremo, o aluno necessitaria
empregar a regra de LHospital 2008 vezes sucessivas (BOURCHTEIN &
BOURCHTEIN, 2008, p. 285), com nfase no vis procedimental. Outrossim, o
conhecimento conceitual negligenciado em detrimento do procedimental. Enquanto
que no caso de
2
0
1
cos
lim
( )
x
x
x
sen x

| |

|
\ .
, temos um contraexemplo enriquecedor. Nesse sentido,
a impossibilidade da aplicao da regra devida ao fato de que no contamos com a
existncia do seguinte limite
0
1 1
2 cos
lim
cos( )
x
x sen
x x
x

| | | |
+
| |
\ . \ .
exigido no enunciado (p. 2).
Geometricamente, podemos instigar o estudante ao entendimento acerca da no
existncia desse ltimo limite, graas ao crescimento/decrescimento indefinido da
350 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
declividade, na medida em que 0 x

ou 0 x

(ver figura 5, lado direito).

Figura 5: Contraexemplo para a regra de L`Hospital com apoio computacional
Fase 4 Prova formalizao do modelo matemtico a ser ensinado.
Na ultima fase, o professor deve retomar a conduo do debate com a inteno de
evidenciar e indicar a adequao dos argumentos vlidos aplicados na resoluo das
atividades propostas, os limites de aplicabilidade destes e a possibilidade de restries
e/ou inconsistncias com o modelo formal aqui adotado (teorema, seo 1).
Sublinhamos que nosso contexto de discusso diz respeito a um curso de licenciatura
em Matemtica. Deste modo, nas situaes didticas em que exploramos a regra de
L`Hopital, o conhecimento e domnio das demonstraes no so essenciais e, sim, o
entendimento de suas limitaes e possveis interpretaes geomtricas. Ademais, vale
observar que nas duas demonstraes mais divulgadas (BARBOSA, 2008;
BOURCHTEN & BOURCHTEN, 2010; LIMA, 2006), os conhecimentos de Anlise
Real so exigidos.
Bourchten & Bourchten (2010, p. 275-276) apresenta a demonstrao da regra em toda
a sua generalidade, como consequncia do teorema de Cauchy. Cabe mencionar,
entretanto, um caso especial da regra (STEWART, 2001, p. 307) quando sabemos a
priori que no clculo do limite lim ( ) ( )
x a
f x g x

ocorra que ( ) ( ) 0 f a g a , com ' f e ' g

contnuas e vale '( ) 0 g a . Diante destas hipteses, escrevemos:
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) 0
lim lim
lim '( ) lim ( )
'( ) '( )
lim
( ) ( ) ( ) 0
'( ) lim '( ) '( ) lim ( )
lim lim
i ii iii iv v
x a x a
x a x a
x a
x a x a
x a x a
f x f a f x
f x f x
f x f a
x a x a
g x g a g x
g x g x g a g x
x a x a

( )
( ) ( ) '( )
lim lim lim
( ) ( ) '( )
vi
x a x a x a
f x f x f x
g x g x g x

.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 351
Certamente todas as inferncias partiram da condio inicial em que o limite
lim '( ) '( )
x a
f x g x

existe. E usando ainda a continuidade das derivadas, estabelecemos

ainda que
( )
( ) '( ) '( )
lim lim
( ) '( ) '( )
vii
x a x a
f x f x f a
g x g x g a

possui um significado geomtrico importante,
que descreve o comportamento das declividades de retas tangentes ao grfico das
funes presentes no numerador e no numerador da frao f g . Por outro lado, Lima
(2006, p. 91) enfraquece as hipteses acima, tomando apenas funes f e g derivveis,
com ( ) ( ) 0 f a g a . Segue ento sua demonstrao:
( ) ( ) 0
( ) '( ) ( ) '( )
lim lim lim lim
( ) ( ) 0
( ) '( ) ( ) '( )
definio
x a x a x a derivada x a
f x f x
f x f a f x f a
x a x a
g x g x
g x g a g x g a
x a x a

.
Cabem alguns comentrios para que possamos comparar as duas dedues formais.
Inicialmente, na primeira deduo, empregamos seis passagens dedutivas (inferncias
lgicas) apoiadas em propriedades garantidas pelas hipteses assumidas a priori. Neste
caso ainda, as funes
1
, f g C , ou seja, possuem as derivadas de primeira ordem
contnuas, enquanto que no segundo caso, elas so apenas diferenciveis no ponto
x a = .
Quando comparamos os grficos das figuras 11, 12, 13 e 14, visualizamos que no caso
da figura 12, tanto a imagem da funo do numerador como
2
2
1
x
e como a imagem da
funo do denominador
2
( ) sen x tanto se aproximam de zero como, em virtude da
continuidade de ambas, assume o valor 0 , da, surge a indeterminao
0
0
e nada se
pode concluir. Todavia, pela figura 11, conclumos que o limite do quociente

2
2 2
1 ( )
x
e sen x existe e tende para o quociente
4
2
2
(pelo grfico 14).
Observamos que, segundo Stewart (2001, p. 307), contamos com a continuidade das
funes ' f e ' g , assim a frao
'( )
'( )
f a
g a
designa os valores precisamente assumidos
pelas mesmas. Por outro lado, de acordo com o que assumido por Lima (2006, p. 91),
na igualdade
( ) '( )
lim
( ) '( )
x a
f x f a
g x g a

= , os smbolos '( ) f a e '( ) g a representam dois limites a

calcular do tipo
( ) ( )
'( ) lim
x a
f x f a
f a
x a

e, neste caso, no nos importa a funo '( ) f x

352 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
estar ou no definida neste ponto, embora, uma funo diferencivel no ponto, a
fortiori, ser tambm contnua no ponto. Em relao a este fato, Lima (2006, p. 91)
indica uma importante observao e o equvoco frequente no processo desse clculo.

Figura 6: Interpretao geomtrica da regra de LHospital
Por fim, na demonstrao de Lima (2006, p. 91) no contamos com a existncia do
limite
'( )
lim
'( )
x a
f x
g x

. Neste caso, o argumento de Stewart (2001, p. 307) garante que o

aluno pode passar investigao do limite do quociente das derivadas de ordem
imediatamente superior. J no caso de Lima (2006, p. 91), temos a indicao precisa do
valor do limite
'( )
'( )
f a
g a
que, geometricamente, representa o quociente entre dois nmeros
os quais fornecem o valor das declividades de duas retas tangentes, no ponto x a = , aos
grficos das funes f e g , como j explicamos h pouco.
As atividades que apresentamos possuem um elemento diferenciado, em relao ao
estilo de questes que observamos nos livros de Clculo (GUIDORIZZI, 2010;
LEITHOLD, 1994; SIMMONS, 1988; STEWART, 2001) aqui consultados. De fato, a
extrao e a comparao dos dados de natureza analtica e geomtrica recorrente em
cada situao proposta. Apresentamos, pois, a anlise a priori das situaes-problema,
na perspectiva de Almouloud (2007, p. 176), quando evidencia a relevncia de uma
anlise matemtica, bem como uma anlise didtica.
Atividade 1. Considerando o seguinte limite
0
2
1 cos( )
x x
x
e e
lim
x

, observe seu grfico (fig. 7)

e (a) analise de modo convincente sua existncia (sem realizar clculos) em um ponto.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 353
Comentrio: Reparemos que neste caso, quando restrito ao ambiente lpis/papel, o
solucionador de problemas deve identificar uma indeterminao do tipo
0
0
, uma vez
que
0 0
0
2 2
1 cos( ) 1 cos(0)
x x
x
e e e e
lim
x

e as funes do numerador e denominador so
contnuas no ponto 0 x . Tal indeterminao pode ser evitada pela aplicao da regra.

Figura 7: Comportamento do quociente das funes na origem
(b) Analisando o comportamento dos grficos das funes e g f explique (justifique)
se h alguma indeterminao e indique o ponto escolhido.
Comentrio: Nesta situao, com apoio na visualizao (fase de tomada de posio e
maturao), o solucionador de problemas deve comparar os grficos exibidos nas
figuras 8 e 9. Concluir do grfico 7 que h uma indeterminao, uma vez que tanto a
funo do numerador como a funo do denominador se aproximam de zero, na medida
em que 0 x , todavia, o limite (figura 7) existe. Assim, na fase de soluo, dever
usar a regra de LHospital. A situao de conflito aqui (na fase de maturao) se
caracteriza pelo fato de que se consegue prever o valor do limite geometricamente,
todavia, analiticamente, o solucionador deve perceber a necessidade de uso da regra.

Figura 8: Comportamento da imagem das funes quando 0 x

, 0 x

e a indeterminao
354 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
c) Analisando o comportamento dos grficos das funes ' e g' f explique (justifique)
se h alguma indeterminao e indique o ponto escolhido.
Comentrio: Neste item, com apoio na visualizao do grfico, o solucionador deve
compreender que a indeterminao em
'( )
'( ) ( )
x x
f x e e
g x sen x

persiste, pois suas imagens

tendem para zero. O solucionador deve buscar, ento, informaes das derivadas de 2
ordens na fase de soluo e deve compreender que existe o limite do quociente.

Figura 9: Comportamento da imagem das funes quando 0 x

, 0 x

e a indeterminao
d) Analisando o comportamento dos grficos das funes '' e g'' f explique (justifique)
se h a ocorrncia de alguma indeterminao e indique o ponto escolhido.
Comentrio: Com base na figura 10, os alunos devem perceber que nas vizinhanas da
origem, a imagem da 2 derivada da funo do numerador se aproxima de 2, enquanto
que a imagem da 2 derivada da funo do numerador se aproxima de 4, na medida em
que 0 x

e 0 x

. Aqui o solucionador deve compreender, com apoio no grfico,
que necessrio derivar as funes do numerador e denominador.

Figura 10: A indeterminao no se manifesta mais no quadro geomtrico
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 355
e) Baseando-se nos itens anteriores e nos grficos em questo, justifique quantas vezes
devemos aplicar a regra de L`Hospital na avaliao do limite
0
2
1 cos( )
x x
x
e e
lim
x

.
Finalmente, calcule o limite indicado analiticamente pelo uso de teoremas.
Comentrio: Quando restrita ao contexto lpis e papel, a resoluo do limite acima
envolve a aplicao de procedimentos previstos pela regra de L`Hospital. Neste caso, as
inferncias so produzidas tambm a partir de informaes extradas dos grficos.
Atividade 2. Considerando o seguinte limite
2
2
2
0
1
( )
x
x
e
lim
sen x

, observe seu grfico (fig. 11)

e (a) analise de modo convincente sua existncia (sem realizar clculos).

Figura 11: Comportamento do quociente das funes na origem
(b) Analisando o comportamento dos grficos das funes e g f explique se h
ocorrncia de alguma indeterminao e indicar no
2
IR o ponto escolhido.

Figura 12: Comportamento da imagem das funes quando 0 x

, 0 x

e a indeterminao
c) Analisando o comportamento dos grficos das funes ', g' e '/ g' f f explique se h
alguma indeterminao e indicar no
2
IR ponto escolhido.
Comentrio: Com o apoio visual o estudante deve prever o comportamento dos limites
laterais
0 0
lim '( ) '( ) lim '( ) '( )
x x
f x g x f x g x


e verificar a condio (*) (ver pgina 3).
356 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012

Figura 13: Comportamento da imagem das funes quando 0 x e a indeterminao
d) Baseando-se nos itens anteriores e nos grficos em questo, justificar quantas vezes
devemos aplicar a regra de L`Hospital na avaliao do limite
2
2
2
0
1
( )
x
x
e
lim
sen x

? Finalmente
calcule o limite indicado analiticamente, caso exista.
Comentrio: Quando restrita ao contexto lpis e papel, difcil a tarefa de relacionar o
limite
( ) ''( )
lim
( ) ''( )
x a
f x f a
g x g a

com a descrio geomtrica que exibimos na figura 14. Esta

igualdade pode ser deduzida a partir dos argumentos utilizados em conjunto de Stewart
(2001, p. 307) e Lima (2006, p. 91).

Figura 14: Na fase de soluo os alunos comparam os dados analticos com os dados extrados do grfico
Na prxima seo, apresentamos o conjunto dos dados recolhidos com consequncia da
experimentao desenvolvida no contexto de um curso de Licenciatura em Matemtica,
com a participao de 8 alunos. No houve atividades de reinvestimento dos
conhecimentos construdos, como resultado da mediao fundamentada na SF. Com
isto, esperamos contribuir na melhoria dos conhecimentos didticos que se tm sobre as
condies de transmisso e replicao didtica do saber matemtico aqui em foco.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 357
4.4 Anlise a posteriori e Validao
Nesta seo, apresentamos os dados pertinentes participao das quatros duplas de
estudantes, em uma sesso de experimentao, com duas horas de durao. Nossa
ferramenta terica empregada para a anlise a posteriori e validao se fundamenta nos
pressupostos da SF (fases de tomada de posio, maturao, soluo e prova). A
significao dos dados observados se faz, deste modo, com respeito s fases previstas
pela SF, com vistas validao de nossa ED.
Reparemos, no caso da dupla 1, que um dos membros da mesma reproduziu o grfico da
funo
2
1 cos( )
x x
e e
x

que, sem o auxlio computacional, se torna uma tarefa inexequvel.

Ademais, declarou ainda que [...] suave, possui uma nica concavidade., o que
demonstra uma interpretao intuitiva pertinente ao conceito de diferenciabilidade desta
funo. Sua atividade foi apoiada apenas na visualizao na fase de tomada de posio.

Figura 15: A dupla 1 avaliou o limite com apoio no grfico na fase de tomada de posio
Ainda na fase de tomada de posio, a dupla 1 requisitou a anlise dos grficos (no
computador) das funes segundo o software. Na figura 16, a dupla inspecionou a
ocorrncia de indeterminaes no ponto 0 x , de acordo com a ordem das derivadas
das funes. Aqui, a capacidade de visualizao exigida, na medida em que o
solucionar percebe at que ordem necessria derivao das funes presentes no
numerador e denominador.
De fato, essa dupla identificou o comportamento do grfico que exibimos na figura 10
e, a partir desse, observaram a possibilidade de se livrar da indeterminao, sem o uso
de expedientes de ordem analtica. Desta maneira, fizeram uso da regra de L`Hospital.
358 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012

Figura 16: A dupla 1 discutiu o comportamento do grfico da funo e suas derivadas
Na fase de soluo da SF, o mesmo membro da dupla 1 forneceu o seguinte
procedimento analtico para diagnosticar o surgimento da indeterminao
0
0
. Apesar de
no mencionar explicitamente, o sujeito empregou a continuidade das funes
2
x x
e e

e 1 cos( ) x no ponto 0 x . Vale destacar que essa dupla realizou a

identificao e a manipulao do software do grfico correto (fig. 3, lado esquerdo). A
partir do comportamento nas vizinhanas da origem, compreendeu que h um
comportamento estranho (do software) na origem, em decorrncia da indeterminao.

Figura 17: Na fase de soluo o aluno identifica a indeterminao
De acordo com nossos objetivos especficos, antes de qualquer algoritmizao das
atividades sugeridas, nossa mediao estimulou a atividade da dupla 1, qual, inferiu
dados a partir do quadro geomtrico e desenvolveu ilaes no que se refere quantidade
de vezes necessrias para que a indeterminao no limite desaparea (figura 10 da
atividade 1). Na figura 18, um dos sujeitos da dupla, a partir do grfico das funes
presentes no quociente
'( )
'( )
f x
g x
, declarou no item c. A partir de suas palavras,
deparamos a manifestao do entendimento dinmico-geomtrico de aproximao,
inerente ao conceito da existncia de limites desta natureza (na condio *, ver p. 3).
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 359

Figura 18: A dupla 1 analisou o comportamento do quociente das derivadas de 1 ordem
Mencionamos que de modo propositado, como assim explicamos na anlise a priori,
fornecemos um grfico exibido na figura 3 (do lado direito) de maneira incorreta (o
grfico correto indica o valor 2 como limite). No excerto abaixo (ver figura 19)
comprovamos que um dos alunos da dupla 1 percebeu e questionou a fidedignidade dos
dados fornecidos pelo software com os dados exibidos no documento.

Figura 19: Registramos a identificao do erro segundo a mediao da SF

Na fase de maturao, a dupla 1 respondeu o item e a partir das informaes extradas
do grfico e no empregou, de modo automtico e/ou irrefletido, a regra de L`Hospital.
Assim, suas concluses, na fase de prova da SF, perante os dois tipos de representaes
360 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
(algbrico e geomtrico) foram concordes. Neste caso como em outros, registramos o
alcance de um dos nossos objetivos especficos.

Figura 20: Na fase de soluo, a dupla 1 comparou os dados grficos com os dados analticos
Segundo um dos nossos objetivos especficos, conseguimos comprovar a manifestao
dos estudantes que recorreram aos grficos fornecidos e no apenas aplicao tcita e
imediata da regra de L`Hospital, restrita ao quadro algbrico. Reparemos na figura 21,
que um dos sujeitos desta dupla desenvolveu uma avaliao qualitativa (na fase de
maturao) de anlise do grfico da funo, com a identificao do comportamento da
concavidade e dos valores mnimos no grfico, sem o emprego de teoremas formais.

Figura 21: Na fase de maturao, a dupla 2 apoiou suas anlises no comportamento geomtrico
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 361
Um pouco mais adiante, na fase de prova, questionamos as escolhas tomadas pela dupla
1, inclusive a determinao do limite
0
2
1 cos( )
x x
x
e e
lim
x

requerido na atividade 1.
Escutamos a seguinte argumentao sobre sua existncia e verificao da condio (*):
Esse limite existe porque tanto faz se aproxima pela esquerda ou
direita...pelo grfico...existe aqui no zero...Mas temos que seu valor
1
2
...quando calculamos no ponto....no ponto zero o limite
existe...No, porque no tem indeterminao...a nica indeterminao
seria aqui...
A dupla 1 concluiu a existncia do limite abordado na atividade 1 apenas com apoio da
visualizao do grfico fornecido pelo software na fase de maturao. Comprovamos
um dos objetivos especficos na medida em que os alunos percebem a impreciso do
grfico indicando o limite de valor 0, 5 quando de fato deveria indicar o valor correto
2 .
No prximo trecho destacado na figura 22, um dos sujeitos da dupla 2, com arrimo
apenas na visualizao, desenvolveu uma anlise qualitativa do comportamento do
grfico da funo
2
1 cos( )
x x
e e
x

, na fase de maturao. Com a explorao do software e o

uso de alguns comandos bsicos do Geogebra, o sujeito observou o comportamento das
retas tangentes ao grfico. Registramos a produo da sentena proposicional
equivocada com respeito presena de pontos de inflexo. Apesar de equivocada sem o
grfico produzido pelo computador, torna-se uma tarefa bastante fastidiosa localizar os
pontos de inflexo desta funo, recorrendo-se ao estudo das derivadas de 1 e 2 ordem.

Figura 22: Concluso da dupla 2 com respeito ao uso da regra de LHospital
362 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Na resoluo da atividade 2, a dupla 2 desenvolveu sua atividade com apoio da extrao
de informaes do grfico exibido nas figuras 11, 12, 13 e 14. Registramos (na fase de
maturao) a formulao da sentena proposicional oriunda da visualizao e
explorao didtica do grfico [...] o grfico mostra que a funo f g assume valor
mnimo no ponto zero... o que confirma a nossa 3 hiptese de trabalho.

Figura 23: A dupla 3 extraiu informaes somente do grfico na fase de maturao
Na atividade 2, segundo o documento escrito de um dos sujeitos da dupla 3, observamos
que as escolhas (elaboradas na fase de tomada de posio) e concluses da estratgia
empregada foi fortemente influenciada pelos grficos fornecidos. Todavia, registramos
a preferncia pelo quadro analtico. De fato, a dupla 3, manifestou uma estratgia
invertida. Inicialmente a dupla fez os clculos analticos e, depois, comparou os dados
com os grficos. Seu comportamento descrito no seguinte trecho de entrevista.
Inicialmente, esse grfico eu no fiz no, eu calculei primeiro o
limite...Esse grfico dessa funo?! Porque esse limite aqui no
existe....Esse valor aqui pelo grfico no d...mas aqui d 1 1 no
numerador e 0 no denominador....Eu calculei...aqui d zero e zero em
baixo...No grfico, existe....mas por aqui....eu fazendo os clculos no
bateu...Pelo grfico....quando 0 e 0 x x


.
Est dando outro valor...
Para concluir, sublinhamos que na tradio do ensino acadmico do Clculo, com forte
apelo ao quadro algbrico (ARTIGUE, 1995c, p. 114), identificamos a tendncia de se
definir uma indeterminao sob o ponto de vista algbrico-simblico, como assim o
indica Maurice (2000, p. 19). Sob outro ponto de vista, neste estudo, sob a influncia da
mediao e dos pressupostos da SF, conduzimos tanto a dupla 4, bem com as demais, ao
entendimento da manifestao das formas indeterminadas por meio do quadro
geomtrico. No obstante, nas figuras 14 e 22, os alunos aprenderam a identificar,
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 363
geometricamente, at que ordem se deve efetuar o processo de derivao das funes
presentes no numerador e denominador dos limites.

Figura 24: Na fase de prova a dupla 3 confrontou os dados analticos com o comportamento do grfico
das funes (das derivadas) e at que ordem se deve aplicar a regra.
5 Concluso e consideraes finais
A explorao da tecnologia proporciona a mudana das prticas e hbitos dos estudantes
perante a atividade solucionadora de problemas. Em nosso estudo, diferentemente da
abordagem dos livros de Clculo consultados e com apoio nos momentos de mediao
(fases de ensino), previstos pela SF, concebemos e produzimos situaes de
ensino/aprendizagem que detinham o potencial de estimular a produo de conjecturas
graas visualizao e percepo de propriedades geomtricas e topolgicas dos
conceitos relacionados regra de LHospital.
Com base numa viso didtico-epistemolgica que possui a SF, nas atividades escritas
pertinentes s quatro duplas participantes deste estudo, registramos que os alunos
manifestaram um hbito que se caracterizou em confrontar os dados analticos obtidos
por inferncias lgicas condicionadas pela regra de LHospital, com os dados extrados
dos grficos (de natureza geomtrica) presentes nas duas atividades estruturadas.
Ademais, segundo a perspectiva da SF, a valorizao dos erros que podem ocorrer
como, por exemplo, 0 0 0 ou , adquirem papel de destaque na medida em
que o aluno se conscientiza das aes e estratgias pouco exitosas escolhidas na fase de
maturao. Assim, apresentamos um grfico na atividade 1 que induziu os alunos a
elaborarem falsas conjecturas pertinentes a condio suficiente de existncia (*) do
limite designado por
0
2
1 cos( )
x x
x
e e
Lim
x

. Todas as duplas identificaram a discordncia do

modelo apresentado no papel e o exibido pelo computador (atividade 1, fig. 7). E este
fato comprovou que sua ao no foi oriunda somente da algebrizao da atividade 1
proposta, pois, o recurso do software (na fase de maturao) provocou incerteza.
364 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Com a atividade 2, registramos estratgias semelhantes e, com isto, comprovamos
nossas hipteses desta engenharia. Observemos, entretanto, que as atividades
tradicionais, restritas ao ambiente lpis/papel, permitem a manifestao da noo do
infinito de modo restrito ao quadro algbrico e, em nosso caso, proporcionamos
situaes didticas que envolvem o entendimento de sua manifestao do ponto de vista
geomtrico.
Embora indicado de modo en passant por certos autores (MAURICE, 2000, p. 239), a
anlise da natureza pertinente ao uso de registros de representao semiticas
(DUVAL, 1995) envolvidos em nossa investigao no recebeu maior ateno, muito
menos, uma caracterizao dos tipos ou categorizao dos erros recorrentes dos
estudantes em situaes de uso da regra de LHospital, apesar de adotarmos, como
objetivos especficos, apenas a relevncia de sua ocorrncia e/ou manifestao. Tal
tarefa ser postergada para futuros estudos focando tal temtica.
Por fim, concordamos com Henriques, Attie & Farias (2007, p. 78) quando declaram
que a utilizao do ambiente computacional pode auxiliar no processo dialtico de
controle e de pr-estruturao das aes.. De fato, em nossa experimentao, ante o
clima de investigao promovido pela metodologia de ensino nominada Sequncia
Fedathi, proporcionamos a estruturao de situaes didticas que apresentam o
potencial de permitir sua replicabilidade (ARTIGUE, 1995b, p. 51) ou reprodutividade
e a regularidade dos fenmenos didticos identificados (ALMOULOUD, 2007, p. 176)
em outras experimentaes relacionadas ao mesmo objeto matemtico.
REFERNCIAS
ALMOULOUD, Saddo. Ag. Fundamentos da didtica da matemtica. Paran: Editora
UFPR. 2007, 216p.
ALONSO, Apolo. C. Un acercamiento a la construccin social del conocimiento:
estudio de la evolucin didctica del punto de inflexion (Tesis en Matemtica
Educativa) Instituto Politcnico Nacional do Mexico. Mexico D.F.: Centro de
Investigacin en Ciencia Aplicada. 2004, 248p.
ALVES, Francisco. R. V. Aplicaes da Sequncia Fedathi na promoo das categorias
do raciocnio intuitivo no Clculo a Vrias Variveis. Tese (Doutorado em Educao)
Universidade Federal do Cear, Fortaleza, 2011, p. 353p. Disponvel em:
http://www.teses.ufc.br/tde_biblioteca/login.php
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 365
ALVES, Francisco. R. V. Explorao de noes topolgicas na transio do Clculo
para a Anlise Real com o Geogebra. In: REVISTA DO INSTITUTO GEOGEBRA
INTERNACIONAL DE SO PAULO, 1, CLXV-CLXXIX, 2012, Disponvel em:
http://revistas.pucsp.br/index.php/IGISP/index. Acessado em: 04 de Abril de 2012.
ARTIGUE, Michle. Ingnierie didactique. In: BRUN, J. Didactiques des
Mathmatiques. Paris : Dlachaux et Niestle, p. 243-263, 1995a.
ARTIGUE, Michle. Ingenieria Didctica. In: ARTIGUE, Michelle ; DOUADY,
Rgine ; MORENO, Luis & Gomez, Pedro. Ingeniria Didctica en Educacin
Matemtica. Bogot : Grupo Editorial Iberoamericano, p. 33-61, 1995b. Disponvel em:
http://funes.uniandes.edu.co/676/1/Artigue1995Ingenieria.pdf. Acessado em: 10 de abril
de 2012.
ARTIGUE, Michle. La enseanza de los princpios del Clculo: problemas
epistemolgicos, cognitivos y didcticos. In: ARTIGUE, Michle ; DOUADY, Rgine ;
MORENO, Luis & Gomez, Pedro. Ingenieria Didactica en Educacin Matemtica.
Bogot : Grupo Editorial Iberoamericano, p. 97-140, 1995c. Disponvel em:
http://funes.uniandes.edu.co/676/1/Artigue1995Ingenieria.pdf. Acessado em: 10 de abril
de 2012.
ARTIGUE, Michle. Le logiciel DERIVE comme rvlateur de phnomnes didactiques
lis a lutilisation denvironnement informatiques pour lapprentissage. In: Educational
Studies in Mathematics, 33, p. 133-169, 1997.
ARTIGUE, Michle. Analysis. In: Tall, David. Advanced Mathematical Thinking. New
York: Klumer Academic Publishers, p. 167-196, 2002.
ARTIGUE, Michle. Digital Technologies: a window on theorical issues in
mathematics education. In: CERME 5, Grcia, plenary, p. 68-82, 2007.
ARTIGUE, Michle. Didactical design in Mathematics Education. In: WINSLON, Carl.
(ed.) Nordic Research in Mathematics Education. NORMA08, 2008, P. 7-17.
Disponvel em: https://www.sensepublishers.com/files/9789087907839PR.pdf.
Acessado em: 20/06/2012.
BARBOSA, Everaldo. F. A regra de LHospital: anlise histrica da regra de
LHospital (dissertao) Ps graduao em Matemtica. Campinas: Universidade
Estadual de Campinas, 2008, 90p.
BORGES, Hermnio. et al. (2001). A Sequncia Fedathi como proposta metodolgica
no ensino-aprendizagem de Matemtica e sua aplicao no ensino de retas paralelas, In:
XV EPENN ENCONTRO DE PESQUISA EDCACIONAL DO NORDESTE. So
366 Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012
Lus, p. 590-609. Disponvel em:
http://www.multimeios.ufc.br/arquivos/pc/fedathi/fedathi-a-sequencia-de-fedathi-como-
proposta.pdf. Acessado em: 10 de abril de 2012.
BORGES NETO, Herminio. & SANTANA, Jos. Rogrio. (2001). Fundamentos
epistemolgicos da Teoria de Fedathi no ensino de Matemtica. In: Anais do XV
EPENN - Encontro De Pesquisa Educacional do Nordeste, vol. nico, p.1-12, So Lus.
Disponvel em: http://www.multimeios.ufc.br/fedathi.php. Acessado em: 10 maio 2012.
BOURCHTEIN, Lioudmila & BOURCHTEIN, Andrei. Anlise Real: funes de uma
varivel real. Rio de Janeiro: Editora Cincia Moderna. 2010, 426p.
BRIDOUX, Stphanie. Enseignement de premires notions de topologie luniversit :
une tude de cas. (Thse de doctorat) cole de doctorat Savoir Scientifiques.
Grenoble: Universit Joseph Fourier, 2011, 339p.
COUTURAT, Louis. De lInfinit mathematiques. Paris: Librarie Scientifique et
Technique. 1973, 695p.
DUVAL, Raymond. Smiosis et Pense Humaine. Paris: Peter Lang dition, 1995.
GUIDORIZZI, Hamilton. Um curso de Clculo. v. 1, Rio de Janeiro : LTC, 2010.
HAIRER, E. & WANNER, G. Analysis by its History. New York: Springer, 2008, 389p.
HENRIQUES, Afonso; ATTTIE, J. Paulo & FARIAS, Luiz, M. Referncias tericas da
didtica francesa: anlise didtica visando o estudo de integrais mltiplas com o auxlio
do software Maple. In: Educao Matemtica Pesquisa, 1, 2007, p. 51-81.
HEREDIA, Ana. S. B. Obstculos didcticos y el discurso explicativo de los libros de
texto de Clculo. (Tesis en Matemtica Educativa) - Instituto Politcnico Nacional do
Mexico. Mexico D.F.: Centro de Investigacin en Ciencia Aplicada. 2007, 140p.
LIMA, Elon. L. Anlise Real. v. 1, Rio de Janeiro: SBM, 2006.
LEITHOLD, Louis. O Clculo com Geometria Analtica. v. 1, 3 edio, Editora:
Harbra, 1994.
MAURICE, L. Les ides dlves du collgial propos des limites de fonctions
rationnelles faisant intervenir le zro et linfinit (thse de doctorat), Qubec: Universit
Laval, 2000, 234p.
OTTE, Michael. Metaphor and contingency. In: Radford, L.; Schbring, G. & Seeger,
F. Semiotics in Mathematics Education, p. 63-82, Rotterdam: Sense Publishers, 2008.
SILVA, Benedito. A. Diferentes dimenses do ensino e da aprendizagem do Clculo.
In: Educao Matemtica e Pesquisa. v. 13, p. 393-413, 2011.
Educ. Matem. Pesq., So Paulo, v.14, n.2, pp.337-367, 2012 367
SIMMONS, George. F. Clculo com Geometria Analtica. So Paulo: Editora McGraw-
Hill, 1988, 846p.
STEWART, James. Clculo, v. 1, 4 edio, So Paulo: Pioneira, 2001.
Copyright of Educao Matemtica Pesquisa is the property of Pontificia Universidade Catolica de Sao Paulo,
Programa de Estudos Pos-Grad. em Educacao Matematica and its content may not be copied or emailed to
multiple sites or posted to a listserv without the copyright holder's express written permission. However, users
may print, download, or email articles for individual use.