INTERPRETAO GEOMTRICA DE DIFINIES E TEOREMAS: O CASO

DA ANLISE REAL
Francisco Regis Vieira Alves Hermnio Borges Neto
fregis@ifce.edu.br herminio@multimeios.ufc.br
Instituto Federal de Educao, Cincia e Tecnologia do Estado do Cear - IFCE,
Universidade Federal do Cear - UFC

Modalidad: Comunicacion
Nivel educativo: Universitrio
Palabras clave: Interpretao geomtrica, Definies e Teoremas, Anlise Real,
Geogebra.
Resumo
Reconhecidamente, a complexidade e a natureza dos conceitos em Anlise Real
proporcionam uma mudana de percepo, na transio dos estudos do Clculo para a
Anlise Real. Por outro lado, registramos na prpria Histria da Matemtica, o esforo
de figuras emblemticas do passado, no sentido de transmitir/significar aos seus
contemporneos suas ideias matemticas pertinentes s definies, propriedades e
teoremas desta teoria. Deste modo, a tecnologia e, notadamente, o software Geogebra,
pode proporcionar o entendimento e a descrio geomtrico-dinmica de definies e
teoremas importantes, tais como: definio de valor de aderncia de uma sequncia,
definio de imagem limitada/ilimitada, definio de existncia de limites, definio de
funo cncava/convexa, definio de continuidade uniforme, definio de funes
lipschitizianas, o teorema de Rolle, do Valor Mdio, o teorema de Cauchy, Regra de
LHopital, etc. Assim, com o arrimo do Geogebra, discutiremos situaes e construes
geomtricas que podem proporcionar o entendimento de ideias fundamentais neste
contexto de ensino.
1. Introduo
De modo irrefutvel, a complexidade e o crescente formalismo dos contedos de
Anlise Real proporcionam, at mesmo para as mentes mais hbeis e talentosas,
incompreenses e o choque entre ideias intuitivas, informais, que adquirimos acerca de
determinados conceitos, mesmo antes de um treinamento formal, com ideias abstratas,
generalizadoras, estruturais e inerentes a determinados contedos teoria subjacente.
Com efeito, registramos na prpria Histria da Matemtica, situaes em que o
conhecimento intuitivo de matemticos emblemticos do passado, descrito, num
momento inicial, por meio de grficos e figuras, contrariou, a posteriori, o
conhecimento formal, o qual, com respeito ao estabelecimento de definies e teoremas,
exigiu sculos para sua evoluo ao estdio atual do conhecimento matemtico.
Assim, neste trabalho, trazemos algumas definies e teoremas relevantes em Anlise
Real, passveis de interpretao com um aparato computacional. Tal expediente acentua
o raciocnio heurstico no entendimento de situaes recorrentes no contexto do ensino.

GeoGebra Uruguay 2012

ISSN 2301-0185

322

2. A interpretao geomtrica dos conceitos de Anlise ao longo da histria

Numa literatura especializada (BURNS, 2004; DAVIDSON & DONSIG, 2010;
DUGAC, 2003; EDWARDS, 1979; HAIRER & WANNER, 2008; PEDERSEN, 1980;
STAHL, 1999), encontramos com relativa facilidade, no contexto da discusso em
Histria da Matemtica - HM, exemplos do esforo de matemticos eminentes do
passado, na tentativa de significar e transmitir suas ideias aos seus contemporneos por
intermdio de grficos e/ou figuras que detinham importante valor heurstico.
Neste sentido, os autores Hairer & Wanner (2008) fornecem inmeros exemplos de
figuras e diagramas que foram utilizados como veculos para a transmisso e
convencimento, por parte de seus conceptores, dos seus pares. Por exemplo, na figura 1,
esses autores comentam os desenhos devidos ao Marques de LHospital (1696),
presentes na obra intitulada Analyse des infiniment petit.

Figura 1: Hairer & Wanner (2008, p. 83) apresentam figuras (desenhos) produzidos por LHospital

Hairer & Wanner (2008, p. 83) explicam ainda que Newton (1665) e Joh. Bernoulli
(1691/1692) foram os primeiros a estudar o significado geomtrico da segunda
derivada.. Na figura 2, do lado esquerdo, observamos a interpretao de grficos de
funes e o comportamento da segunda derivada. Do lado direito, destacamos um
desenho atribudo, conforme Haires & Wanner, ao matemtico Joh. Bernoulli.

Figura 2: Hairer & Wanner (2008, p. 91) discutem o diagramas de Bernoulli

Hodiernamente, reconhecemos um dos apangios da tecnologia, no sentido de

ressignificar e descrever conceitos complexos e intrincados. Deste modo, na prxima

GeoGebra Uruguay 2012

ISSN 2301-0185

323

seo, exploramos as potencialidades do software Geogebra, com a inteno precpua

de agregar, a um teorema ou definio formal, sua respectiva significao geomtrica.
3. Exemplos de Definies matemticas
Identificamos muitas mudanas (BERG, 2006) pertinentes s exigncias conceituais
dos conceitos em Anlise Real com respeito aos do Clculo. Nesse sentido, registramos
o aumento do rigor e da complexidade de definies formais envolvidas. Nossa primeira
definio diz respeito noo de funo em uma varivel real f : IR IR com imagem

limitada, nas vizinhanas de um ponto. Na figura 1, exibimos o grfico de duas funes

que possuem uma imagem limitada

( f ( x) k , x IR ) (*)

numa vizinhana

(perfurada) da origem, ou seja, escrevemos de modo standard que V0 ( ) = ( , ) {0} .

Figura 3: Imagem limitada de funes nas vizinhanas da origem

Por outro lado, ao considerarmos a funo

V0 na reta

1
1
sen que, com o apoio do Geogebra,
x
x

depreendemos possuir uma imagem ilimitada (no satisfaz a condio *), ou seja, no
conseguimos nenhuma vizinhana V0 ( ) , para qualquer > 0 , (um disco ou
circunferncia no plano) que contenha completamente o grfico nesse trecho.

Figura 4: Descrio da definio de imagem ilimitada de uma funo na origem

GeoGebra Uruguay 2012

ISSN 2301-0185

324

Com o recurso do software, conseguimos explorar a noo de convergncia de uma

sequncia de nmeros reais ( xn )nIN e de suas subseqncias

(x )
nk

nk IN ' IN

. De fato,

consideremos a sequncia xn = (1) n 1 n (n 2 + 1) , conduzimos o aluno a perceber a

existncia de duas subseqncias

(x )
nk

nk IN '

(x )
nk '

nk 'IN ''

, que se aproximam para o

mesmo valor de aderncia, que neste caso 0. Por outro lado, no caso da sequncia
yn = sen ( n 2 ) , o aluno deve suspeitar da existncia de trs valores de aderncia

correspondentes a trs subseqncias distintas. Neste caso, os valores de aderncia

destas subsequncias esto no conjunto {1, 0,1} que corresponde a tal comportamento.

Figura 5: Descrio de valores de aderncia de uma sequncia com o Geogebra

No contexto de Anlise Real, desenvolvemos o estudo de funes cncavas (para cima

ou para baixo) e estritamente cncavas (para cima ou para baixo). A definio formal
de concavidade de uma funo y = f ( x) , para cima, de modo estrito, pode ser descrito
por f ( x) < l ( x) , onde l ( x) uma reta que passa por dois pontos do grfico de f , num
intervalo (a, b) . Na fig. 6, divisamos a mudana de concavidade segundo a definio.

Figura 6: Descrio da definio de concavidade (estrita) de uma funo

4. Exemplos de alguns teoremas em Analise Real

GeoGebra Uruguay 2012

ISSN 2301-0185

325

Vamos

considerar

uma

situao

extrema

da

necessidade

do

clculo

de

x 2 ( sen( x) + cos3 ( x))

x 2 ( sen( x) + cos3 ( x))
ou lim
. Vale analisar o grfico da figura
lim
x
x 0
( x 2 + 1)( x 3)
( x 2 + 1)( x 3)

abaixo de modo local e global. Neste sentido, passamos a observar as funes

2 x2
x 2 ( sen( x) + cos3 ( x))
2 x 2
,
e
. Na figura 7, para prever o
( x 2 + 1)( x 3)
( x 2 + 1)( x 3)
( x 2 + 1)( x 3)

comportamento do primeiro limite (no existe), necessitamos de uma anlise global dos
grficos. Por outro lado, na inspeo do segundo limite (que tende a zero), carecemos,
do mesmo modo, de uma anlise local, nas vizinhanas da origem V0 ( ) = ( , ) {0} .

Figura 7: Descrio geomtrica do teorema do sanduche em Anlise Real

Um teorema recorrentemente aplicado em Anlise Real possibilita a descrio da

existncia de um limite, quando buscamos analisar o comportamento (local) do produto
de duas funes f ( x) g ( x) , na condio em que lim f ( x) e a outra funo g ( x)
xa

2
cumpre a condio (*). Por exemplo, quando tomamos f ( x ) = x cos ( x ) se x 0 ,

0 se x=0

de imediato, neste caso, conclumos que lim x 2 cos ( x ) = 0 .

x 0

Este teorema admite inmeras aplicaes. Por exemplo, Bourchtein & Bourchtein

x 2 cos (1 x ) se x 0
e que possui
(2010, p. 302) consideram a seguinte funo f ( x) =
0 se x=0
como derivada

2 x cos (1 x ) +sin (1 x ) se x 0
. Bourchtein & Bourchtein
f '( x) =
0 se x=0

(2010, p. 302-303) discutem um teorema que descreve condies suficientes para a

existncia de extremos locais. Neste caso, a funo h pouco mencionada, admite um
ponto crtico em x = 0 ( f '(0) = 0 ).

GeoGebra Uruguay 2012

ISSN 2301-0185

326

Figura 8: Funo que no admite ponto extremo (mximo ou mnimo) na origem

Por outro lado, com base no grfico da funo f ' apresenta valores positivos e
negativos nas vizinhanas do ponto (0, 0) . Bourchtein & Bourchtein (2010, p. 304)
mencionam que esta funo no preserva seu sinal em qualquer vizinhana unilateral do
ponto x = 0 . Deste modo, concluem que f ( x) no possui nem mximo e nem mnimo
local na origem, pois contamos apenas com condies necessrias para a identificao
2
x ( 2 + cos (1 x ) ) se x 0
e
de pontos extremos. Por fim, consideremos agora g ( x) =
0 se x=0

4 x + 2 x cos (1 x ) +sen (1 x ) se x 0
. Nesse caso,
sua derivada descrita por g ( x) =
0 se x=0
Bourchtein & Bourchtein (2010, p. 305) comentam este caso que envolve uma funo
que admite um ponto crtico na origem ( g '(0) = 0 ), sua derivada muda de sinal nas
vizinhanas da origem e, por outro lado, g ( x) admite mnimo nessa vizinhana.
Deparamos aqui um contraexemplo para a identificao de pontos extremantes (fig. 9).
De fato, para divisarmos condies suficientes para tal, exige-se que uma funo f seja
uma funo contnua numa vizinhana x0 Vx0 IR , onde x0 ponto crtico e, alm
disso, f ' preserva seu sinal nesta vizinhana. Nestas condies, o teorema descreve,
ento, uma condio suficiente para identificao de um extremo local.

GeoGebra Uruguay 2012

ISSN 2301-0185

327

Figura 9: Um contraexemplo para teorema para identificao de pontos extremos

5. Consideraes finais

Reconhecidamente, as dificuldades (BERG, 2006) inerentes ao ensino/aprendizagem

em Anlise Real so relatadas em inmeros estudos. Em nosso trabalho, evidenciamos a
significao proporcionada pela explorao do software Geogebra, pertinente s
definies e alguns teoremas essenciais nesta teoria, que adquirem um significado que
ultrapassa os limites do formalismo e o olhar estrutural dos objetos matemticos.
Neste sentido, demarcamos, inicialmente, na prpria Histria da Matemtica, o esforo
dos matemticos na transmisso de suas ideias apoiadas em diagramas, que detinham
importante valor heurstico. Atualmente, registramos o repertrio diversificado de
possibilidades de explorao didtica da tecnologia e, em nosso caso, o software

Geogebra funciona como elemento impulsionador de uma reessignificao para

definies formais e teoremas.
Assim, nesse trabalho, apresentamos alguns exemplos de situaes atinentes s
definies e teoremas que, com arrimo na tecnologia, admitem rpida descrio
geomtrica. Deste modo, buscamos estimular um olhar pormenorizado do aprendiz, no
sentido de enxergar propriedades formais a partir da visualizao dos grficos que
exibimos nas figuras ao longo deste texto. Tal abordagem pode proporcionar a evoluo
do significado conceitual agregado a cada situao, o que pode apoiar um entendimento
posterior mais elaborado. Por outro lado, o simples domnio formal de inferncias
lgicas no garante uma compreenso efetiva dos conceitos aqui discutidos.
Referencias bibliogrficas

Alves, F. R. V. (2012). Explorao de noes topolgicas na transio do Clculo para a

Anlise Real com o Geogebra. Revista do Instituto Geogebra Internacional de So

Paulo, 1. 65-79, Disponvel em: http://revistas.pucsp.br/index.php/IGISP/index.

Acessado em: 04 de Abril de 2012.
Berg, Analia. (2006). Anlisis institucional a propsito de la nocin de complejidad del

GeoGebra Uruguay 2012

ISSN 2301-0185

328

conjunto

de

los

nmeros

reales.

RELIME,

9,

31-64.

Disponvel

em:

http://dialnet.unirioja.es/servlet/articulo?codigo=2096730. Acessado em: 16 de Agosto

de 2012.
Bourchtein. Andrei & Bourchtein. Louidmila. (2010). Anlise Real: funes de uma

varivel real. Rio de Janeiro: Editora Cincia Moderna.

Burns. R. P. (2004). Numbers and functions: steps into analysis. Second Edition.
Cambridge: Cambridge University Press.
Davidson. K. R. & Donsig. A. P. (2010). Real Analysis and Application: theory and

practice. New York: Springer.

Dugac. Pierre. (2003). Histoire de LAnalyse: autour de la notion de limite et de ses

voisinages. Paris: Vuibert.

Edwards, C. H. Jr. (1979). The Historical Development of the Calculus. New York:
Springer.
Guidorizzi, H. (2010). Um curso de Clculo. v. 1, Rio de Janeiro: Ao Livro tcnico.
Lima, E. L. (2010). Curso de Anlise. v. 1, Rio de Janeiro: Projeto Euclides.
Lima, E. L. (2010). Curso de Anlise na Reta (2011, 2 de fev.). Disponvel em:
http://video.impa.br/index.php?page=programa-de-verao-2011-analise-na-reta.
Acessado em: 10 de julho de 2012.
Hairer. E. & Wanner. G. (2008). Analysis by its History. New York: Springer.
Pedersen, K. M. (1980). Techniques of the Calculus: 1630-1660. In: Grattan-Guinness,
I. (Eds.) From the Calculus to the Set Theory: an introductory history. Captulo 1, pp
10-47.
Stahl. Saul. (1999). Real Analysis: a historical approach. New York: John and Wiley
and Sons.
Zorich. V. A. (2004). Mathematical Analysis I. New York: Springer.

GeoGebra Uruguay 2012

ISSN 2301-0185

329