Para este nmero seleccionmos

Clculo Algbrico Simblico nas nossas escolas: alguns axiomas e exemplos

John F. Mahoney
A crescente divulgao dos sistemas de computao algbrica, que actualmente j se encontram disponveis em alguns modelos de calculadoras, levou-nos a seleccionar, para este nmero, um artigo da autoria de John Mahoney, no original Computer Algebra Systems in Our Schools: Some Axioms and Some Examples, publicado pelo National Council of Teachers of Mathematics, em Novembro de 2002, num nmero temtico da revista Mathematics Teacher. Ao longo deste artigo so-nos apresentadas algumas das potencialidades destes sistemas, ao mesmo tempo que so discutidos aspectos relativos sua integrao no ensino da matemtica.
Os alunos podem resolver os problemas tradicionais de lgebra e clculo usando tecnologia com clculo algbrico simblico (CAS), mas pode esta tecnologia ajudar os alunos a aprender matemtica? Com tecnologia CAS podem decompor expresses em factores, resolver equaes e sistemas de equaes, calcular derivadas e integrais, resolver equaes diferenciais, etc. Dadas as poderosas ferramentas da tecnologia CAS, importante antecipar como o seu uso afectar o ensino da matemtica. Este artigo inclui cinco axiomas, de algum modo provocativos, e exemplos acerca do uso do CAS nas nossas escolas. uma forma rpida e fcil, as relaes existentes entre os grficos de vrias funes. As potencialidades grficas tornam ainda possvel a investigao de propriedades das funes ao encontrar zeros, vrtices e pontos de interseco. A tecnologia CAS d aos alunos as ferramentas para investigarem matemtica algebricamente. em ordem a b a equao da abcissa do vrtice, b x= 2a e substituindo esta expresso na equao geral obtm-se a equao

y = c ax2

Exemplo 1: Os grficos de quatro parbolas da forma

y = x2 2kx + 3
esto representados na figura 1. Um aluno com uma calculadora grfica pode ver o efeito de alterar o parmetro k e a relao entre k e o vrtice da parbola. Com a ajuda de uma calculadora com tecnologia CAS, um aluno investigando as mesmas parbolas pode determinar que os vrtices tm coordenadas
Figura 1.

Axioma 1: A tecnologia CAS tem potencial para desenvolver a compreenso matemtica dos alunos de um modo to significativo como j tiveram as calculadoras grficas.
H mais de uma dcada que os alunos usam calculadoras grficas para explorar conceitos do ponto de vista grfico e numrico. Estas calculadoras traam rapidamente o grfico de uma grande variedade de funes, incluindo as que so dadas na forma polar ou paramtrica. Facilmente produzem tabelas de valores de funes e usam tcnicas de regresso para encontrar funes que se adequam aos dados disponveis. Permitem ver, de

(k, 3 k 2 )
e concluir que esses vrtices so tambm pontos da parbola

y = 3 x2 ,
(figura 1). O aluno pode tentar generalizar este resultado para descobrir o lugar geomtrico dos vrtices de uma parbola da forma

y = ax2 + bx + c
quando b varia, (figura 2). Resolvendo
Figura 2.

Educao e Matemtica n 73 Maio/Junho de 2003

41

Para este nmero seleccionmos

do lugar geomtrico dos vrtices duma parbola.

ros racionais, reais ou complexos.

Exemplo 2: O que significa decompor um polinmio em factores? A resposta depende de se estar a fazer a decomposio no mbito do conjunto dos nmeros racionais, reais ou complexos. As calculadoras grficas permitem ao utilizador escolher o conjunto desejado. A figura 3 ilustra a sintaxe dos comandos. O comando factor (x2 4.x 5) d o resultado

Exemplo 3: Os alunos podem usar a tecnologia CAS para investigar a composio de funes. A figura 4 mostra o efeito cclico da composio repetida da funo x1 f (x) = x
Aqui a funo repetidamente composta com ela prpria. Depois de trs iteraes o resultado a funo identidade

de cincias, economia e matemtica. Os alunos podem no ser capazes de estudar clculo mais avanado porque no dominam a lgebra e o clculo elementar. As calculadoras com tecnologia CAS tornam possvel estudare dominaresses conceitos.

(x 5)(x + 1),

uma vez que esta funo quadrtica factorizvel no conjunto dos nmeros racionais. O comando factor

I (x) = x,
e a iterao seguinte produz a funo original.

Exemplo 4: Um aluno pediu-me ajuda porque no conseguia obter a resposta correcta quando tentava calcular (cos x sin x)2 dx
Olhei para o seu trabalho e vi que tinha erradamente desenvolvido a expresso

(x2 4.x 6)
d o resultado

x 4.x 6,
2

uma vez que esta funo no se decompe no conjunto dos nmeros racionais. Decompe-se sim no conjunto dos nmeros reais, como possvel constatar incluindo x no comando. De um modo semelhante, o polinmio no factorizvel no conjunto dos nmeros reais mas sim no conjunto dos nmeros complexos, como possvel observar substituindo o comando factor por cfactor. A importncia de se considerar o conjunto quando se factoriza um polinmio torna-se mais notria porque as calculadoras grficas usam comandos ligeiramente diferentes consoante efectuam a decomposio no conjunto dos nme-

Axioma 2 A tecnologia CAS pode permitir aos alunos aprender bem clculo mesmo que no dominem a lgebra.
Muita da lgebra aritmtica generalizada. As calculadoras grficas podem ajudar os alunos a aprender conceitos de lgebra embora possam no dominar a aritmtica. As calculadoras podem realizar operaes aritmticas com preciso e, por conseguinte, libert-los para se concentrarem nos conceitos e nas tcnicas algbricas. Pensa-se que os alunos no esto prontos para aprender lgebra nos 8 e 9 anos, porque o seu conhecimento de aritmtica insuficiente. As calculadoras cientficas e grficas podem ajud-los a aprender lgebra mais facilmente. Muito do clculo lgebra generalizada e geometria. O clculo , muitas vezes, um filtro que impede os alunos de ingressarem em cursos

(cos x sin x)2

como No tinha compreendido que estava a fazer um erro de lgebra e no um erro de clculo. Fi-lo desenvolver a expresso numa calculadora com CAS (figura 5), e ajudei-o a compreender porque o seu resultado no era equivalente ao resultado da calculadora.

cos2 x 2 sin x cos x sin2 x.

x2 4x 6

Exemplo 5: Considere-se a equao x+6 x+1=1

que apresentei a uma turma de matemtica avanada. Os alunos cometem normalmente muitos erros ao resolver equaes com radicais. Frequentemente perdem-se nos detalhes do problema e falham na compreenso da abordagem correcta, que envolve gerar possveis solues, seguido da

Figura 3.

Figura 4.

Figura 5.

42

Educao e Matemtica n 73 Maio/Junho de 2003

Para este nmero seleccionmos

eliminao das que se revelam falsas. Uma vez que o CAS remove o tdio do clculo, isso ajuda os alunos a centrarem-se no que importante. Como professor, foi-me possvel usar o exemplo seguinte para ajudar os alunos a centrarem-se nos procedimentos e no nos detalhes. Os meus alunos comearam por sugerir elevar ao quadrado os dois membros da equao (figura 6). Vimos o aviso Pode introduzir falsas solues, que a TI89 produz, quando se realiza uma tal operao. Este aviso alerta o utilizador para a necessidade de confirmar se as solues da equao assim obtida tambm o so da equao inicial. A turma queria resolver a equao e assim desenvolvemos o caso notvel, sommos

es, mais do que nas especificidades de cada passo. Idealmente, depois de verem exemplos como este, os alunos devem ser capazes de resolver por si prprios problemas semelhantes. Projectando este exemplo, os professores podem convidar os alunos a participar. Os alunos podem sugerir os passos a tentar e ver, de imediato, o efeito das suas sugestes. As calculadoras com CAS podem permitir uma lgebra dinmica.

Axioma 3 A tecnologia CAS tornar mais fcil, aos professores de lgebra, geometria e clculo elementar, a introduo de conceitos de clculo mais avanados.
Os professores de aritmtica mais inovadores introduzem conceitos de lgebra e geometria enquanto ensinam alunos de nveis elementares. Familiarizam os seus alunos com processos de resoluo de equaes lineares e com as propriedades das figuras geomtricas. Os professores do ensino secundrio podem usar os SCA para familiarizar os seus alunos com conceitos de clculo.

(2x 7)
a ambos os membros e dividimos tudo por 2 . De novo elevmos ao quadrado ambos os membros e efectumos o produto. Somando
Figura 6.

a ambos os membros conseguimos resolver em ordem a x. Testmos o resultado na equao original. Perguntei aos alunos se conheciam outras formas de resolver a equao. Uma sugesto foi a de elevar ao quadrado cada termo (figura 7). A calculadora deu o resultado falso porque esta equao equivalente a ou seja a 5 = 1 . Outra sugesto foi adicionar o termo x+1 a ambos os lados da equao e depois elevar ao quadrado os dois membros. Depois de simplificar a equao, somar x 2 aos dois lados e dividir por 2 ambos os membros. Elevando de novo ao quadrado os dois lados e subtrando 1, obtmse o mesmo valor para x que foi obtido usando o primeiro mtodo. Este exemplo ilustra como o uso das calculadoras com CAS nos permite concentrar nos grandes passos bsicos envolvidos na resoluo de equa-

x2 6x 6

(x + 6) (x + 1) = 1

Exemplo 6: Um professor pode convencer os seus alunos, por exemplo, que o permetro de um polgono regular de n lados inscrito num crculo de raio r pode ser dado pela frmula 180 r. p = 2n sin n
O professor pode fazer os alunos explorarem os resultados desta frmula para valores particulares de n e de r com uma calculadora grfica ou um CAS compatvel. Na figura 8, a varivel x usada em lugar de n

Figura 7.

Figura 8.

Educao e Matemtica n 73 Maio/Junho de 2003

43

Para este nmero seleccionmos

tempo, introduzir o conceito de limite. Pode perguntar turma: Qual o comportamento da funo

y = tan1 x
para grandes valores de x? Usem a calculadora para explorar esta funo. Alguns alunos podem substituir x por valores grandes. Outros podem fazer o grfico da funo num domnio amplo e recorrer a trace. Outros podem obter valores que esto prximos de 90 e outros podem obter valores prximos de 1,571, dependendo do facto das suas calculadoras estarem a trabalhar em graus ou em radianos. Os alunos devem poder concluir que esta funo tem uma assimptota horizontal. O professor pode ento usar uma calculadora com CAS para calcular o limite quando x tende para infinito, como se mostra na figura 10. Se a calculadora est no modo graus, a resposta correspondente 90. A turma pode ento explorar o comportamento da mesma funo medida que x se torna cada vez menor. Um outro exemplo poderia ser o clculo das assimptotas da funo

Este resultado ser sempre verdadeiro? O professor pode ento usar a calculadora com CAS para generalizar este exemplo. O professor deve primeiro explicar que o smbolo dy/dx a notao dada ao declive da linha tangente curva. Na figura 12, a parbola

Figura 9.

f (x) = ax2 + bx + c
e os dois pontos so (u,f(u)) e (v, f(v)). A calculadora mostra que o declive da linha entre os dois pontos a u + a v + b. A seguir, o smbolo d (f (x)) dx

Figura 10.

Figura 11.

d a expresso para o declive da tangente para qualquer valor de x. Se calcularmos este declive para o valor de x igual mdia das duas abcissas dos dois pontos originais, vemos que o declive nesse ponto mdio tambm a u + a v + b.

y=

x2 x 3x2

Este trabalho mostra que o declive de uma linha secante a uma parbola igual ao declive da tangente no ponto mdio das abcissas dos pontos em que a secante cruza a parbola.

como se mostra na figura 10.

Figura 12.

e o valor de r 1. Quer a tabela de valores, quer o grfico indicam que medida que x aumenta o valor da expresso aproxima-se de 6,2811, isto aproximadamente 2 . O professor pode ento usar uma calculadora com CAS para introduzir informalmente o conceito de limite, calculando o limite quando n tende para infinito, como se mostra na figura 9.

Exemplo 7: Um professor de clculo elementar pode usar a calculadora com CAS para ajudar a explorar assimptotas horizontais e, ao mesmo

Exemplo 8: Os professores podem introduzir o conceito de derivada pedindo aos seus alunos para desenharem uma parbola numa calculadora grfica ou numa calculadora com CAS e seleccionarem quaisquer dois pontos sobre a funo, calculando em seguida o declive da linha que une esses pontos. Na figura 11, a parbola y = x2 e os pontos so (1,1) e (3,9). A equao da recta que passa pelos dois pontos y = 2x + 3 . Desenhamos ento a linha tangente curva em x = 1 , valor correspondente mdia das abcissas dos dois pontos originais. Algumas calculadoras, como a TI83 Plus, tm um comando que permite ao utilizador desenhar a tangente a uma curva num dado ponto. Os alunos podem observar que esta tangente parece paralela primeira recta, como se v na figura 11.

Axioma 4: A tecnologia CAS permite aos utilizadores efectuar experincias no mbito da lgebra e do clculo enquanto confiam, com precauo, na preciso algbrica do sistema e no seu uso correcto.
As calculadoras com tecnologia CAS permitem aos utilizadores confiar na preciso algbrica, assim como na preciso numrica. Os utilizadores podem experimentar alteraes sem o esforo de passar por todos os detalhes uma e outra vez. O CAS permite aos utilizadores concentrarem-se nos problemas, mais do que nos pormenores de clculo. Esta confiana na preciso deve ser baseada no conhecimento das limitaes do sistema, porque as calculadoras, por vezes, do resultados errneos.

44

Educao e Matemtica n 73 Maio/Junho de 2003

Para este nmero seleccionmos

em ordem a y . O surpreendente resultado 1 = 2/x equivalente a x = 2 , o valor de x que torna verdadeira a equao. A soluo da calculadora para a segunda equao, sin x = 1/2 , tambm surpreendente: 5 x = 2 @n1 + 6 ou

Exemplo 9: A figura 13 mostra os resultados aparentemente errneos na resoluo de duas equaes. Na primeira, a calculadora tenta resolver a equao 3x2=4

x = 2 @n1 +

dos mais tarde. As calculadoras TI89 e TI92 tm uma capacidade semelhante. Todos os comandos que o utilizador insere na calculadora podem ser gravados como texto. Este texto pode depois ser executado passo a passo como um script. Pode tambm ser modificado facilmente. Esta capacidade permite aos utilizadores investigar relaes algbricas. O utilizador pode comear com um exemplo especfico e se os resultados se mostrarem interessantes, o trabalho pode ser guardado como script. Ento o exemplo pode ser alterado para um outro do mesmo tipo. Se os resultados so ainda interessantes, o script pode ser usado para tentar esboar a essncia da prova de uma relao.

Figura 13.

Figura 14.

onde @n1 a notao da calculadora para um qualquer inteiro arbitrrio usado para dar a soluo geral da equao.

Exemplo 11: Considere-se um polinmio do terceiro grau com trs razes reais: 3, 2 e 4. Traamos o grfico do polinmio

Exemplo 10: Os alunos de clculo que estejam a tentar usar as suas calculadoras para diferenciar implicitamente, necessitam de o fazer cuidadosamente. Consideremos a curva cuja equao

y = (x 3)(x + 2)(x + 4).

A mdia dos dois primeiros zeros

3 + (2) = 0, 5. 2
Traamos a tangente ao grfico do polinmio para x = 0, 5 e observamos, na figura 16, que a tangente parece cruzar a terceira raiz do polinmio. Podemos usar a calculadora TI89 para determinar se a tangente passa de facto pelo ponto (4, 0). Os passos, indicados na figura 17, so: Introduzimos na memria um dado polinmio como f(x). Calculamos a mdia dos dois primeiros zeros (razes). Calculamos o valor da derivada no ponto mdio daqueles zeros. Escrevemos a equao da recta tangente nesse ponto e usamo-la para encontrar o valor de x quando esta cruza o eixo dos xx. Resolvemos a equao em ordem a x e verificamos que a tangente cruza o eixo dos xx em x = 4 , a terceira raiz.
Figura 16. Figura 15.

x xy + 2y = 0
2 2

e tentemos encontrar a expresso para dy/dx. Como se mostra na figura 14, a calculadora interpreta o termo xy como o nome de uma varivel e no o produto de x por y. Alm disso, a calculadora trata quer y quer xy como constantes e no como expresses que dependem de x e, por isso, d o resultado 2 x = 0.

Precisamos de exprimir y como funo de x, y(x), para que a calculadora realize correctamente a operao de diferenciao, e temos que introduzir xy como x y , como se mostra na figura 15. O Geometers Sketchpad e outros programas permitem guardar comandos como script para serem reutiliza-

Figura 17.

Educao e Matemtica n 73 Maio/Junho de 2003

45

Para este nmero seleccionmos

Em seguida, usamos o editor de texto para guardar uma cpia destes comandos como script, como se mostra na figura 18. Podemos alterar os valores de a, b e c e correr de novo o script passo a passo para verificar se a propriedade verdadeira para outros polinmios do terceiro grau, como se mostra na figura 19. Mais interessante ainda, podemos eliminar a segunda linha do script e determinar se esta propriedade sempre verdadeira. A figura 20 mostra o resultado de se executar o script sem o comando de dar valores concretos a a, b e c. O essencial da demonstrao algbrica desta propriedade dos polinmios do terceiro grau produzido por este script. Como anteriormente, a tangente ao polinmio do terceiro grau no ponto mdio de duas razes passa pela terceira raiz, x = c . Os alunos podem descobrir e provar outras propriedades interessantes das funes polinomiais e doutras funes. Os alunos poderiam achar tais trabalhos como um desafio insuportvel sem o auxlio do clculo algbrico simblico, mas muito mais razovel com ele.

Cada vez mais estudantes esto a utilizar calculadoras com CAS na sala de aula. Alguns dos meus alunos compram-nas em vez de calculadoras grficas. Os alunos esperam que os seus professores estejam familiarizados com elas; que os contedos matemticos dos seus cursos reflictam as capacidades das suas calculadoras; e que o seu uso seja permitido nos trabalhos de casa, no trabalho da aula, nos testes e nos exames. H trinta anos atrs, ensinava aos alunos como usar a rgua de clculo, como interpolar dados de tabelas de valores, como manipular a caracterstica e a mantissa de logaritmos, o algoritmo da raiz quadrada, o mtodo Horner, as regras de sinais de Descartes, e uma srie de outros tpicos. As calculadoras cientficas mudaram o que ensinvamos nos anos 70. As calculadoras grficas mudaram o que ensinvamos nos anos 90. Anteriormente analisvamos as funes para as representar graficamente, mas agora frequentemente desenhamos o seu grfico para compreender as suas propriedades. O uso do CAS em computadores e, em particular, nas calculadoras est a vulgarizar-se. Com o maior uso do CAS prevejo que menos nfase seja dada s tcnicas de resolver equaes, simplificar expresses, resolver sistemas de equaes, decompor em factores, calcular derivadas e integrais. Prevejo que seja dada mais nfase modelao e s aplicaes. A questo mais importante na educao matemtica tem sido sempre: Que matemtica importante ensinar? A resposta, acredito, que iremos ensinar como modelar situaes, equacionar problemas e determinar como os resolver. Com o auxlio do CAS, os alunos podem muitas vezes fazer o resto. No fim da dcada, as calculadoras com CAS mudaro o que ns ensinamos nas salas de aula. Eu no consigo esperar.

Figura 18.

Figura 19.

Axioma 5: O CAS ir modificar a matemtica que ns ensinamos nas escolas e o modo como o fazemos de maneira semelhante s transformaes que ocorreram quando comemos a usar calculadoras grficas e cientficas.
A popularidade das calculadoras com CAS servir de catalisador para a mudana. E elas esto a tornar-se populares por trs razes: So agora relativamente baratas e vendidas em muitos locais. Os modelos mais recentes tm um inter-face mais agradvel. A sua utilizao permitida em alguns exames de matemtica nos Estados Unidos.

Figura 20.

46

Educao e Matemtica n 73 Maio/Junho de 2003

Para este nmero seleccionmos

Tpicos para investigao com CAS

Estas quatro investigaes envolvem polinmios. Primeiro, devemos explorar as propriedades com polinmios e, em seguida, generalizar os resultados com a ajuda do CAS.

Investigao 1
Muitos polinmios do terceiro grau tm um mximo relativo, um mnimo relativo e um ponto de inflexo. Compare as suas cordenadas. Resultado: O ponto de inflexo o ponto mdio do segmento que liga os pontos correspondem ao mximo e ao mnimo (figura 21).

Investigao 3
A tangente ao grfico de um polinmio do terceiro grau, num qualquer ponto P, intercepta a curva num segundo ponto Q. Considere uma segunda tangente no ponto Q, que intercepta o grfico em R. Resultado: A razo das reas das regies consideradas sempre 16/1. Na figura 23, a primeira regio est identificada com tracejado vertical e a segunda com tracejado horizontal.

Figura 21

Investigao 2
A tangente ao grfico de um polinmio do terceiro grau, num ponto P qualquer, intercepta o grfico do polinmio num segundo ponto Q. Considere a recta definida por Q e pelo ponto de inflexo, I, do polinmio. Calcule a rea da superfcie compreendida entre a tangente e a curva, entre os pontos P e Q. Calcule a rea da superfcie compreendida entre a recta IQ e a curva, entre os pontos Q e I. Resultado: A razo entre estas duas reas 27/16. Na figura 22, a primeira regio est representada a tracejado vertical e a segunda a tracejado horizontal.

Figura 23

Investigao 4
Muitos polinmios do quarto grau tm trs concavidades, por conseguinte, dois pontos de inflexo. Considere a recta que passa pelos dois pontos de inflexo, A e B. Esta recta define com a curva trs regies. Compare as reas. Resultado: A regio da esquerda (a tracejado horizontal) e a regio da direita ( a tracejado vertical), tm a mesma rea e a regio do meio (a tracejado diagonal) a soma das outras duas, como se mostra na figura 24.

Figura 22

Figura 24

Traduzido por Maria Jos Bia e Helena Rocha Traduzido, para lngua portuguesa, de Mathematics Teacher, vol. 95, n. 8, Novembro 2002 e publicado com a autorizao do National Council of Teachers of Mathematics. Todos os direitos reservados. O NCTM no responsvel pela exactido ou qualidade da traduo.
Educao e Matemtica n 73 Maio/Junho de 2003

47