COMPUTAO SIMBLICA NO ENSINO MDIO COM

O SOFTWARE GRATUITO GEOGEBRA

Humberto Jos Bortolossi Dirce Uesu Pesco Wanderley Moura Rezende
hjbortol@vm.uff.br dirceuesu@gmail.com wmrezende@id.uff.br
Universidade Federal Fluminense/Instituto GeoGebra do Rio de Janeiro Brasil

Modalidade: Oficina (Taller).
Nvel educativo: Mdio (11 a 17 anos)
Palavras-chaves: GeoGebra, Computao Simblica, Ensino Mdio

Resumo
Sistemas de Computao Simblica so softwares matemticos que permitem lidar com
smbolos e obter respostas exatas para muitos problemas matemticos, como
a fatorao de nmeros inteiros e polinmios, operaes com matrizes, resoluo de
sistemas lineares e no lineares de equaes, operaes com nmeros complexos,
simplificaes de expresses, clculo de limites, derivadas e integrais, resoluo de
equaes diferenciais, etc. Clculos aproximados podem ser feitos com um nmero
arbitrrio de dgitos (limitado apenas pela memria do computador). Todos estes
atributos fazem de um sistema de computao simblica um laboratrio excepcional
para o desenvolvimento, ensino e aprendizagem da matemtica. Nesta oficina
exploraremos os recursos de computao simblica do software gratuito GeoGebra 4.2
atravs de uma sequncia de exerccios orientados para a matemtica do Ensino
Mdio. Esperamos que o participante da oficina aprecie as potencialidades e perceba
as limitaes desse tipo de ferramenta.

Introduo
Um Sistema de Computao Simblica (Computer Algebra System ou CAS, em ingls)
um software que permite realizar vrias tarefas matemticas simbolicamente. Ao
contrrio do que ocorre com as calculadoras usuais, um CAS permite obter respostas
exatas, isto , em aproximaes. Mtodos numricos de preciso arbitrria (ou seja, com
o nmero de dgitos limitado apenas pela memria do computador) tambm esto
disponveis.
As tarefas matemticas tpicas de um CAS incluem: clculos aritmticos, simplificaes
de expresses algbricas, substituies de smbolos em expresses, resolues de
equaes e sistemas de equaes lineares e no lineares, clculos matriciais, clculos de
derivadas e integrais, resolues de equaes diferenciais ordinrias e parciais, etc.
Vrios sistemas de computao simblica comerciais e gratuitos para diferentes
plataformas (Windows, Linux, Mac OS) esto disponveis atualmente. Entre
os comerciais, destacamos o software Maple (http://www.maple.com/) e o software
Mathematica (http://www.wolfram.com/). Entre os sistemas de computao simblica
gratuitos, destacamos o excelente software Maxima (http://maxima.sourceforge.net/).
GeoGebra Uruguay 2012 ISSN 2301-0185 29
Um dos grandes recursos includos na verso 4.2 do GeoGebra (em estgio beta, mas
com previso de ser lanado oficialmente ainda no ano de 2012) est a Janela CAS, uma
janela a partir da qual um usurio poder conduzir clculos simblicos dentro do
GeoGebra. Como de costume, a Janela CAS est integrada com as demais janelas do
software (Janela de lgebra, Janela de Visualizao).
Existem vrios estudos sobre o uso de sistemas de computao simblica para o ensino
e aprendizagem da matemtica (veja, por exemplo, as referncias (GUIN, RUTHVEN
& TROUCHE, 2005) e (LI, WANG & ZHANG, 2007)), contudo, a nfase se d
principalmente em questes relacionadas com o clculo diferencial e integral (no Brasil,
a maioria dos alunos do Ensino Mdio no estuda esse tpico, ficando o tema reservado
para os primeiros semestres do ensino universitrio).
O objetivo principal dessa oficina o de apresentar e explorar exemplos de como
recursos de computao simblica podem ser trabalhados com tpicos mais elementares
do Ensino Mdio. Esperamos assim que o participante da oficina aprecie
as potencialidades e perceba as limitaes desse tipo de ferramenta. O material
apresentado parcialmente aqui tem sido usado na disciplina Informtica no Ensino da
Matemtica para o curso de licenciatura em matemtica do Sistema CEDERJ/UAB.
Alguns exemplos de exerccios em aritmtica
Os exerccios que apresentamos nesta seo so trabalhados em nossa disciplina logo
aps a apresentao da sintaxe bsica das operaes aritmticas (soma, subtrao,
multiplicao, diviso, potenciao, fatorial) e do comando Fatorar[] (que calcula
a decomposio em fatores primos de um nmero natural) da Janela CAS do GeoGebra
4.2. Nessa apresentao, um dos exemplos dados o seguinte: o clculo de 1/3 na
Janela CAS do GeoGebra. Em geral, as pessoas ficam surpresas com a resposta dada
pelo GeoGebra: 1/3. Elas esperam ver (como em uma calculadora), o nmero
0.33333333. Nossa impresso que, em geral, as pessoas no percebem o processo de
aproximao inerente s calculadoras usuais, isto , elas no percebem que a resposta
0.33333333 dada por uma calculadora usual no igual a 1/3, mas, sim, uma
aproximao de 1/3. Em outras palavras, o pensamento (errado) geral que os
resultados apresentados por uma calculadora usual so sempre exatos e eles no so. Em
nossa opinio, poder evidenciar esse fato j demonstra uma qualidade didtica dos
sistemas de computao simblica.
Exemplo 1. Considere os seguintes nmeros racionais a = 8712870/48506557 e b =
505149/2812281. Eles so iguais? (a) Tente obter uma resposta usando uma calculadora
GeoGebra Uruguay 2012 ISSN 2301-0185 30
de bolso comum! (b) Tente obter uma resposta usando a Janela CAS do GeoGebra!
(c) Tente obter uma resposta usando apenas lpis e papel, sem recurso computacional
algum! Os trs mtodos produziram a mesma resposta? Elabore sobre o assunto!
Este exerccio tem vrios desdobramentos. Primeiro, ele evidencia a limitao de uma
calculadora comum: os nmeros a e b so, de fato, diferentes, mas, ao tentar calcul-los,
os nmeros exibidos no visor da calculadora so iguais. Muitas pessoas concluem
(erroneamente) a partir desse fato que a e b so iguais! Segundo, que estratgias
podemos usar para resolver o Item (b)? Aqui podemos usar o GeoGebra para calcular
a diferena a b: a ser igual a b se, e somente se, a b for igual a 0. Outra estratgia:
usar o GeoGebra para calcular a diviso a/b: a ser igual a b se, e somente se, a/b for
igual a 1. Por fim, que estratgias podemos usar para resolver o Item (c)? Aqui
lembramos que se r, s, t e u so nmeros inteiros positivos, ento r/s = t/u se, e somente
se, ru = st. Em nosso caso, r = 8712870, s = 48506557, t = 505149 e u = 2812281.
Observe que ru diferente de st, pois ru tem a casa das unidades igual a 0, enquanto
que st tem a casa das unidades igual a 3. Sendo assim, r/s = 8712870/48506557
diferente de t/u = 505149/2812281.
Exemplo 2. Considere os nmeros naturais a = 2
3000
e b = 3
2000
. Qual nmero maior?
(a) Tente obter uma resposta usando uma calculadora de bolso! (b) Tente obter uma
resposta usando a Janela CAS do GeoGebra! (c) Tente obter uma resposta usando
apenas lpis e papel, sem recurso computacional algum! Os trs mtodos produziram
a mesma resposta? Elabore sobre o assunto!
Este exerccio tambm tem vrios desdobramentos. Primeiro, ele evidencia outra
limitao de uma calculadora comum: se comparado com os sistemas de computao
simblica, menos nmeros podem ser representados (mesmo de forma aproximada).
Assim, ao tentar calcular 2
3000
, uma mensagem de erro dever aparecer no visor da
calculadora. O clculo de 2
3000
pode ser facilmente conduzido na Janela CAS do
GeoGebra (experimente!). As mesmas estratgias propostas para o Item (b) do
Exemplo 1 podem ser usadas para resolver o Item (b) do Exemplo 2. Por fim, que
estratgias podemos usar para resolver o Item (c) do Exemplo 2? Em geral,
as pessoas pensam inicialmente que no possvel resolver o Item (c) com lpis e papel
por conta dos nmeros envolvidos. Contudo, uma vez que a = 2
3000
= (2
3
)
1000
= 8
1000
e b
= 3
2000
= (3
2
)
1000
= 9
1000
, segue-se que a menor do que b.
GeoGebra Uruguay 2012 ISSN 2301-0185 31
Exemplo 3. Quantos divisores positivos possui 10!? Lembre-se que 0! = 1, 1! = 1, 2! =
2 1, 3! = 3 2 1, 4! = 4 3 2 1, etc. Descreva como voc obteve sua resposta
(com ou sem o GeoGebra)!
O objetivo aqui explorar aplicaes do Teorema Fundamental da Aritmtica usando
o comando Fatorar[] da Janela CAS do GeoGebra. O comando Fatorar[10!] nos diz que
10! = 2
8
3
4
5
2
7
1
. Por outro lado, observe que se d um divisor positivo de 10!,
ento d deve ser da forma 2
r
3
s
5
t
7
u
, com r, s, t e u nmeros inteiros satisfazendo
0 r 8, 0 s 4, 0 t 2 e 0 u 1. Assim, pelo Princpio Fundamental da
Contagem, 10! possui 9 6 4 2 = 270 divisores positivos.
Exemplo 4. Quantos zeros aparecem no final da representao decimal de 1000!?
Descreva como voc obteve sua resposta (com ou sem o GeoGebra)!
Muitos resolvem esse exerccio calculando primeiro 1000! na Janela CAS do GeoGebra
para, depois, contar manualmente o nmero de zeros que aparecem no final. Ser que
no existe uma outra maneira mais matemtica de se resolver esse exerccio? Sim!
Basta novamente usar o Teorema Fundamental da Aritmtica e o comando Fatorar[] da
Janela CAS do GeoGebra. De fato, o comando Fatorar[1000!] nos diz que 1000! = 2
994

3
498
5
249
7
164
... 997
1
.
Agora, se existe um zero no final da representao
decimal um nmero inteiro positivo, porque o nmero divisvel por 10, isto , ele
deve ser divisvel por 2 e por 5 ao mesmo tempo. Sendo assim, cada zero implica em
uma diviso por 2 e por 5. Moral: o nmero de zeros igual a quantidade mnima de 2 e
5 que aparecem na decomposio em fatores primos do nmero! Como na
decomposio em fatores primos de 1000! aparecem 994 nmeros 2 e 249 nmeros 5,
conclumos, portanto, que existem 249 zeros no final da representao decimal de
1000!.
Alguns exemplos de exerccios em lgebra
Alm de nmeros, os sistemas de computao simblica tambm reconhecem e
manipulam expresses algbricas. Por exemplo, se um usurio digitar x + 2 x em uma
linha de entrada da Janela CAS do GeoGebra, ao pressionar a tecla ENTER (para
executar o comando da linha de entrada), aparecer como resultado a expresso 3 x.
Expresses algbricas podem ser expandidas (por exemplo, a expresso algbrica
(a 2)(a 3) automaticamente substituda por a
2
5a + 6) ou fatoradas (por exemplo,
o comando Fatorar[6 a
2
5 a + 1] d como resultado (3 a 2)(2 a 1)). Todos esses
recursos permitem elaborar vrios exerccios interessantes.
GeoGebra Uruguay 2012 ISSN 2301-0185 32
Os trs exerccios que destacamos a seguir tem a seguinte caracterstica: eles desafiam
a habilidade e a pacincia humana na manipulao de expresses algbricas. O corolrio
que queremos estabelecer com esses exerccios o de que sistemas de computao
simblica podem nos livrar de clculos tediosos de modo que possamos nos concentrar
em outros quesitos.
Exemplo 5. Use o GeoGebra para mostrar que
(a d b c)(p s r q) = (a p + b r)(c q + d s) (a q + b s)(c p + d r),
para todo a, b, c, d, p, q, r e s reais. Tente demonstrar essa identidade usando apenas
lpis e papel!
Exemplo 6. Sejam u = (a b)/(a + b), v = (b c)/(b + c) e w = (c a)/(c + a). Use
o GeoGebra para mostrar que (1 + u) (1 + v) (1 + w) = (1 u) (1 v) (1 w). Tente
demonstrar essa identidade usando apenas lpis e papel!
Exemplo 7. Use o GeoGebra para mostrar que se a, b e c so nmeros diferentes de
zero, dois a dois distintos e tais que a + b + c = 0, ento
9.
a b c b c c a a b
b c c a a b a b c
| || |
+ + + + =
| |

\ .\ .

Tente demonstrar essa identidade usando apenas lpis e papel!
Alguns exemplos de limitaes em sistemas de computao algbrica
Indicamos aqui duas limitaes importantes presentes na maioria dos sistemas de
computao algbrica. Essencialmente, as duas limitaes tem uma mesma origem:
a hiptese implcita assumida por esses sistemas de que certas expresses so no nulas.
Como primeiro exemplo, considere a seguinte situao: um usurio digitou
(x
2
4)/(x 2) em uma linha de entrada da Janela CAS do GeoGebra e, ao pressionar
a tecla ENTER, obteve como resposta a expresso x + 2. Este resultado est correto?
Por exemplo, se f(x) = (x
2
4)/(x 2) e g(x) = x + 2 so funes reais, podemos afirmar
que f = g? A reposta no! As funes f e g so funes diferentes, pois possuem
domnios (efetivos) diferentes: o nmero real 2 no pertence ao domnio (efetivo) de f,
mas pertence ao domnio (efetivo) de g. Somente para valores de x diferentes de 2, isto
, para valores de x tais que x 2 diferente de zero, f(x) = g(x), ou seja, (x
2
4)/(x 2)
= x + 2. O GeoGebra implicitamente (e automaticamente) assumiu a hiptese de que
x 2 diferente de zero ao simplificar a expresso (x
2
4)/(x 2) em x + 2.
Como segundo exemplo, considere a situao em que queiramos resolver a equao
a x 2 = 4 em x. A Janela CAS do GeoGebra disponibiliza um comando para resolver
equaes: Resolver[]. A resposta dada pelo comando Resolver[a x 2 = 4, x]
GeoGebra Uruguay 2012 ISSN 2301-0185 33
{x = 6/a}. Este resultado est correto? A resposta no! Se a for igual a zero, a equao
a x 2 = 4 no possui solues. Note, portanto, que novamente o GeoGebra
implicitamente (e automaticamente) assumiu a hiptese de que a diferente de zero ao
resolver a equao a x 2 = 4 em x.
Referencias bibliogrficas
- Guin, D., Ruthven, K. & Trouche, L. (Eds.). (2005). The Didactical Challenge of
Symbolic Calculators. Turning A Computational Device into A Mathematical Intrument.
Boston: Springer-Verlag.
- Li, S., Wang, D. & Zhang, J.-Z. (Eds.). (2007). Symbolic Computation and Education.
Singapore: World Scientific Publishing Co. Pte. Ltd.
GeoGebra Uruguay 2012 ISSN 2301-0185 34