Relaes entre a informtica e a matemtica1

Objectivos No fim do estudo deste captulo espera-se que seja capaz de: Indicar a influncia que o computador tem tido no desenvolvimento de novos domnios e de novas linhas de investigao em domnios j estabelecidos da Matemtica; Comentar a influncia do computador na relao entre o contnuo e o discreto; Indicar o modo como o computador usado nas aplicaes da Matemtica; Discutir os papis que o computador desempenha no processo de investigao matemtica; Indicar o alcance do computador como suporte para novas prticas de comunicao.

Resumo As relaes entre a Matemtica e a Informtica desenvolvem-se nos dois sentidos. A Matemtica tem dado contributos decisivos para o surgimento e incessante aperfeioamento tanto dos computadores como das Cincias da Computao. Mas a Matemtica, como cincia dinmica e em constante evoluo, est tambm a ser fortemente influenciada pela Informtica, tanto no que respeita aos problemas que coloca como aos mtodos que usa na sua investigao. Estas relaes do importantes indicaes para a utilizao dos instrumentos computacionais no processo de ensino-aprendizagem.

3.1 Uso do computador na investigao matemtica

A Matemtica, como todas as cincias, est em constante evoluo. Problemas deixados em aberto numa dada poca so resolvidos numa poca mais frente. Novos instrumentos e novas concepes fornecem novas maneiras de encarar problemas e resultados antigos, levando reformulao de teorias, notaes e modos de trabalho. Uma parte importante da investigao em reas como a anlise numrica, a matemtica discreta, os sistemas dinmicos, a investigao operacional, a lgica e a cincia da computao faz-se hoje com forte recurso utilizao do computador. O uso cada vez mais intensivo de computadores para o processamento e transmisso de informao est a levar ao surgimento de novos conceitos e novas prticas na investigao nesta cincia. o que vamos procurar ilustrar com exemplos de diversas reas.

Captulo 3 do livro Ponte, J. P., & Canavarro, P. (1997). Matemtica e novas tecnologias. Lisboa: Universidade Aberta.

3.1.1 Teoria de Nmeros Uma das reas em que o computador tem sido muito utilizado a teoria de nmeros, domnio que estuda as propriedades do conjunto dos nmeros inteiros. Nesta rea da Matemtica merecem particular ateno, por exemplo, as propriedades de nmeros primos, de classes de congruncia, as solues inteiras de equaes de coeficientes inteiros, etc. A teoria de nmeros um dos domnios considerados mais difceis da Matemtica, sendo um dos seus teoremas mais conhecidos a clebre afirmao enunciada mas no demonstrada por Fermat: No existe um termo de nmeros naturais (x, y, z) que verifique a equao xn + yn = zn, para n > 2. Em 23 de Junho de 1993 foi anunciada uma demonstrao para este teorema pelo matemtico ingls Andrew Wiles (figura 8). Verificou-se que esta demonstrao continha alguns erros, mas, depois de corrigida, ela hoje (1996) considerada correcta pela generalidade dos matemticos .
2

Figura 8 - O anncio duma demonstrao do teorema de Fermat

Um aspecto caracterstico desta rea da Matemtica que os seus problemas so muitas vezes fceis de enunciar mas extremamente difceis de resolver. Eis alguns exemplos de outros problemas em aberto nesta rea, todos eles envolvendo o conceito de nmero primo: Pode qualquer nmero par ser representado pela soma de dois nmeros primos? (conjectura de Goldbach), O nmero de primos emparelhados, isto , que diferem entre si de duas unidades (como 5 e 7, 11 e 13, 311 e 313, etc.) infinito? Haver um nmero infinito de primos da forma 2n-1 (nmeros de Mersenne)? n Que nmeros da forma 22 +1 (nmeros de Fermat) so primos? Sabe-se, desde os tempos de Euclides, que o conjunto dos nmeros primos infinito. Mas ainda hoje h muitas coisas que no se sabe acerca destes nmeros . O facto de no se conhecer nenhuma frmula para obter nmeros primos, obriga a que a sua
3

Uma descrio de vrias tentativas de demonstrar este teorema encontra-se em Stewart (1985), captulo 3. 3 Para uma apresentao de diversos problemas e resultados sobre nmeros primos, ver Stewart (1985), captulo 2.

determinao seja feita um a um. Cada candidato tem de ser testado para ver se tem outros divisores para alm de si mesmo e da unidade. Para nmeros muito grandes isto implica um clculo substancialmente moroso. Por isso, tem-se recorrido ao computador para encontrar nmeros primos cada vez maiores. O quadro IV regista alguns marcos destas descobertas.

Quadro IV - Marcos na descoberta de nmeros primos cada vez maiores DataNmero primoNmero de dgitos 196323217-1 967 19852216091-1 1989391581 x 2216193-1 65087 19922756839-1227832 19942859433-1 258716 199621257787-1378632 A teoria de nmeros era at h bem pouco tempo uma rea cultivada por um grupo muito restrito de matemticos. Os seus problemas tinham-se tornado de tal maneira difceis que poucos arriscavam dedicar-se ao assunto. O computador, permitindo abordagens de carcter experimental a muitos destes problemas, veio a proporcionar um novo lan a esta teoria. O computador tornou possvel a realizao de experincias, testando conjecturas que envolvem grande quantidade de clculos. Na verdade, a experimentao de casos particulares como estratgia de descoberta tem grande tradio na Matemtica. Por exemplo, Isaac Newton, Karl Gauss e Srinivasa Ramanujam so trs matemticos que se notabilizaram pela sua prtica de experimentao de casos especiais, procurando estabelecer proposies gerais a partir de exemplos. O computador vem dar um novo estmulo a este tipo de abordagem investigao matemtica (Stewart, 1995; Ulam, 1974). Outra estratgia proporcionada pelo computador a de decompor um problema num grande nmero de casos especiais, usando-o depois para verificar, um a um, esses casos todos. Um nmero to grande de casos seria impossvel de verificar pelos processos tradicionais, mas est perfeitamente ao alcance do computador. A teoria de nmeros considerada um dos domnio mais puros da Matemtica. A procura de nmeros primos cada vez maiores no tem sido feita com base em preocupaes de utilidade prtica. Mas o facto que os nmeros assim descobertos tm sido usados em criptografia, para codificar e descodificar mensagens enviadas atravs de sistemas pblicos de telecomunicaes.

3.1.2 Anlise combinatria Outro domnio onde o computador faz sentir fortemente a sua presena o da anlise combinatria, onde se estudam as propriedades das ordenaes e esquemas definidos

por meio de classes finitas de objectos. Os problemas mais conhecidos so os de combinaes, arranjos e permutaes, mas h muitos outros. Problemas interessantes neste domnio so por exemplo: Rainhas num tabuleiro de xadrez: de quantas formas diferentes podem ser colocadas n rainhas num tabuleiro de xadrez de n quadrculas de lado, de modo que no se ataquem umas s outras? (no caso de n = 8, o nmero de solues 12) Problema de Steiner: dados n objectos, podemos agrup-los num conjunto de ternos de tal modo que cada par de objectos aparea uma e uma s vez em cada terno? (este problema tem soluo apenas para certos valores de n) Problema do empacotamento: dado um conjunto de objectos de diversos volumes, como disp-los no menor nmero de caixas de um volume dado? (no preciso ter muitos objectos para que seja praticamente invivel encontrar a soluo ptima; mas se os objectos forem ordenados por ordem decrescente do respectivo volume e arrumados tanto quanto possvel por essa ordem obtemos uma soluo que em geral no difere em mais do 20% da soluo ptima) Problema do viajante: dados n pontos no plano ou no espao, como uni-los de modo a que o caminho total seja o mais curto possvel? Neste ltimo problema, quando os n pontos se distribuem num espao multidimensional s possvel procurar solues com a ajuda do computador, tal a complexidade dos clculos envolvidos. A anlise combinatria surge com frequncia em problemas tericos e prticos ligados aos computadores. Por exemplo, ao planear uma busca numa estrutura de dados encontramos muitas vezes questes da forma De quantos modos...? A instalao de redes de computadores envolve problemas semelhantes. Na verdade, para ligar os computadores num edifcio temos de determinar, entre as diversas hipteses de ns e ligaes, quais as que envolvem maior eficincia no servio e menor custo. A anlise combinatria tem uma forte relao com a geometria. Na verdade, as figuras tm ao lado das suas propriedades mtricas (que se traduzem em relaes de congruncia e de semelhana), propriedades combinatrias que no se alteram por simples transformaes nos comprimentos e nos ngulos. Assim, por exemplo, o nmero de vrtices de um polgono no se altera se o esticarmos por um vrtice, mas as suas propriedades mtricas (rea, forma, etc.) so completamente alteradas. Muitos dos problemas de anlise combinatria so difceis de tratar por mtodos analticos. Simulando em computador os processos que lhes esto subjacentes mais fcil obter elementos que ajudem sua compreenso e levem formulao de conjecturas, seno mesmo sua resoluo. Muitos destes problemas podem ser resolvidos atravs de algoritmos, sendo particularmente importante saber se o tempo que demora a sua execuo no computador varia com o tamanho do conjunto de entrada de modo polinomial (os bons algoritmos, segundo J. Edmonds e A. Cobham) ou de modo exponencial (os maus algoritmos, segundo os mesmos autores).

3.1.3 Sistemas dinmicos no lineares 4

As funes mais exploradas na Matemtica so, sem dvida, as funes lineares , da forma geral y = ax + b, onde a e b so constantes. Estas funes so claramente as mais fceis de estudar e tm sido usadas extensamente nas cincias naturais e na engenharia. H no entanto muitos domnios, como a termodinmica e a mecnica de fluidos, em que as equaes que descrevem os fenmenos so no-lineares.
4

Um sistema dinmico descreve o comportamento de um certo fenmeno num espao particular, chamado o espao das fases. A varivel independente x pode ser um escalar ou um vector com m componentes. Os sistemas dinmicos podem ser discretos, caso em que a funo uma sucesso, ou contnuos, caso em que uma funo real de varivel real. O caso discreto bastante mais simples de estudar, mas interessante observar que todo o sistema discreto pode ser transformado num sistema contnuo de dimenso uma unidade superior e vice versa, todo o sistema contnuo pode ser discretizado, diminuindo de uma dimenso (Stewart, 1995). O estudo das funes no-lineares pelos mtodos analticos clssicos extremamente difcil, conhecendo-se muito pouco sobre as suas propriedades. No entanto, na realizao de clculos numricos e representaes grficas, o computador lida com a mesma facilidade com equaes lineares e no lineares. Um aspecto que a certa altura atraiu a ateno dos matemticos o comportamento destas funes quando submetidas a um processo de iterao, isto , de aplicao repetida da funo a partir de um dado valor inicial: x1= f(x0) x2=f(x1) ... xn= f(xn-1) Neste estudo, o trabalho experimental com o computador revelou-se uma ajuda preciosa, permitindo compreender muitos aspectos do comportamento deste tipo de funes. Nalguns casos, os pontos que sucessivamente vo sendo obtidos convergem para um dado ponto fixo. Noutros casos, no convergem para um nico ponto mas situam-se todos numa dada rea ou lugar geomtrico. Noutros casos, apesar da natureza determinista das equaes em presena, aparentam comportamentos perfeitamente aleatrios. Noutros casos ainda, assumem comportamentos alternadamente regulares e irregulares, descoberta que deu origem a uma nova teoria, a teoria do caos (Stewart, 1995) .
5

3.1.4 Fractais Os objectos matemticos clssicos, estudados em geometria e em anlise infinitesimal apresentam uma caracterstica comum: a suavidade. Assim, olhando de perto um
4

Usamos aqui o termo linear no sentido que lhe atribudo nestas reas da Matemtica. No ensino bsico e secundrio costume chamar funes afins a este tipo de funes, reservando o termo linear para aquelas em que o termo independente zero. 5 Para uma boa explicao da teoria do caos, ver Stewart (1991). Uma abordagem muito acessvel dos algoritmos iterativos, com uma introduo dinmica linear e dinmica catica pode ser encontrada em Martn, Morn e Reyes (1995).

pequeno troo duma circunferncia, ele surge com um carcter bem uniforme, parecendo-se muito com um segmento de recta. No entanto, no final do sculo XIX comeou a verificar-se que existem outros tipos de objectos matemticos que na altura surgiam mais como monstros ou aberraes do que como seres matemticos legtimos. Faltavam as ferramentas para os estudar. O computador veio a constituir essa ferramenta por excelncia. Ganharam assim direito de cidadania em Matemtica um novo tipo de objectos os fractais que, ao contrrio dos objectos anteriores, tm uma estrutura complexa qualquer que seja a escala de ampliao em que sejam estudados. Os fractais foram criados por Benoit Mandelbrot, um matemtico francs que trabalha no centro de investigao da IBM nos EUA. Este investigador interessava-se pelo problema das linhas de costa martima cujo comprimento aparenta diferentes medidas, conforme a escala em que so medidas, usando o computador para fazer experincias (Stuart, 1995). As curvas fractais tm zig-zags, definidos matematicamente, em qualquer escala em que sejam observadas. Tm assim a propriedade de serem auto-semelhantes quer dizer, as suas propriedades so as mesmas em qualquer nvel de complexidade. As formas fractais podem definir-se no s no plano mas num espao a qualquer nmero de dimenses. Na nossa geometria, o espao tem 3 dimenses, um plano tem 2, uma recta 1 e um ponto 0. As linhas fractais tm uma dimenso situada algures entre 1 e 2. Dum modo anlogo, as superfcies fractais tm uma dimenso situada entre 2 e 3. Como se pode calcular dum modo exacto o valor da dimenso? Se ao reduzirmos a unidade de medida da curva por um factor de k, fazemos aumentar o comprimento da curva no valor de m, ento dizemos que essa curva tem dimenso fractal de (log m)/(log k). J em 1906, o matemtico Helge von Koch tinha mostrado como construir uma curva tipo floco de neve, que tem um permetro infinito mas limita uma rea finita. Esta curva constri-se comeando com um tringulo equiltero, e dividindo depois cada lado em trs partes. A parte do meio toma-se para base de um novo tringulo equiltero e continua-se indefinidamente o mesmo processo (ver a figura 9). Esta curva tem dimenso fractal de 1.2618... ou melhor, (log 4)/(log 3). O processo de construo desta curva perfeitamente determinado e uniforme. Podemos, no entanto, pensar um processo irregular, em que em cada momento de gerao da figura se fazem sentir os efeitos de parmetros aleatrios. Escolhendo convenientemente estes efeitos podemos obter figuras com propriedades e aspecto extremamente interessantes.

Figura 9 - O processo de gerao da curva de Koch.

Um dos aspectos mais espectaculares das investigaes com as formas fractais que elas tornam possvel a realizao de figuras em computador que parecem paisagens reais, tendo j sido muito usadas em filmes de fico cientfica.

3.1.5 A influncia do computador no desenvolvimento da Matemtica Os exemplos poderiam multiplicar-se. J anteriormente vimos a grande importncia da utilizao do computador na anlise tensorial e na teoria da gravitao . Em teoria de grupos permitiu a classificao dos grupos finitos simples. tambm fcil de imaginar a tremenda importncia que ele tem na anlise numrica, quer como fonte de problemas quer como meio de simulao.
6

O computador ajudou a trazer para primeiro plano reas da Matemtica j anteriormente estudadas mas entretanto postas de parte. Por exemplo, despertou a lgebra linear (em especial a teoria das matrizes) dum estado de letargia de mais de meio sculo. Relanou o estudo de mtodos iterativos j abordado por matemticos como Euler e Gauss. Conduziu a um grande desenvolvimento de certos domnios de investigao como a anlise numrica, a lgica e as estruturas discretas abstractas. Estimulou o desenvolvimento de novas reas como a teoria do caos, os fractais, a programao linear e no linear e o estudo da complexidade computacional. O computador constitui assim uma forte influncia no desenvolvimento da Matemtica actual, levando ao estabelecimento de um novo paradigma de investigao, a Matemtica experimental. Alm disso, valoriza sobretudo as reas da Matemtica que assentam em processos construtivos, relegando para plano secundrio os domnios que vivem sobretudo de demonstraes de existncia.

Recordar o que se disse a respeito do uso do computador nestes domnios no ponto 2.2.3.

Tarefas 1) Fractais: Tomando como ponto de partida um tringulo equiltero de base 1, mostre que a dimenso fractal desta curva de facto log 4/log 3. 2) Regularidades e caos. Usando a calculadora ou o computador, estude as iteraes da funo xn = k xn-12-1, dando a k primeiro o valor 1 e depois o valor 2, e experimentando diferentes valores iniciais x0 no intervalo [0,1].

Leituras recomendadas Gleick, J. (1989). Caos: A construo de uma nova cincia. Lisboa: Gradiva. (em especial as pp. 33-58, 117-160 e 301-338) Stewart, I. (1995). Os problemas da Matemtica. Lisboa: Gradiva. (captulos 2-3 e 1516)

3.2 Uso do computador em reas de aplicao da Matemtica

No que respeita s aplicaes da Matemtica, o computador tem contribudo para alargar tremendamente o seu mbito e o seu alcance, automatizando processos, constituindo um meio insubstituvel para gerar, tratar e analisar dados e para tomar decises. Desde h muito que os cientistas tm criado modelos matemticos para descrever e intervir sobre o mundo. O surgimento do computador permitiu automatizar o processo de clculo associado a estes modelos, tornando o seu uso muito mais atractivo e eficaz. Tornou-se, por exemplo, possvel resolver por mtodos numricos aproximados problemas de engenharia de grande importncia. Os diversos processos fsicos podem ser modelados atravs de equaes que conduzem a clculos numricos, ou, o que vai dar ao mesmo, por operaes lgicas com zeros e uns no computador. Para os estudar, por vezes mais eficiente construir um modelo e test-lo em diversas condies, num computador, do que simular esses processos ou mesmo reproduzi-los em termos reais . Na verdade, as representaes analgicas so mais prximas da realidade fsica. Mas as digitais so muito mais simples, e se forem bem usadas podem levar a resultados espantosamente mais exactos (ver Fiolhais, 1992).
8

Na construo de um modelo matemtico preciso ter em conta os aspectos fsicos, qumicos e de engenharia das situaes bem como os aspectos da implementao numrica do modelo. Na verdade, a capacidade dos modelos para representar aspectos
7

A distino entre Matemtica Pura e Matemtica Aplicada sempre algo artificial. Um dado assunto pode ser desenvolvido sem qualquer inteno de uso posterior e revelar-se muito til noutras reas, quer da Matemtica quer de outros domnios. Um conceito originrio da Fsica ou da Engenharia pode revelarse fecundo na Matemtica. Um mesmo assunto pode, frequentemente ser tratado em qualquer das duas perspectivas. No entanto, trata-se duma distino cmoda, dada a diferena de perspectiva de uso do computador num e noutro domnio. 8 Um exemplo simples duma actividade de modelao encontra-se no ponto 5.2.4 deste livro. Outros exemplos podem encontrar-se no livro de J. F. Matos (1995) desta mesma coleco.

da realidade est naturalmente limitada pelos recursos computacionais disponveis. Presentemente, no desenvolvimento de modelos matemticos, esto a ser cada vez mais usadas ferramentas de software. Para muitos investigadores, a situao ideal ter acesso ao cdigo dos programas sem ter necessidade de programar tudo desde o princpio. Mas para poder alterar esse cdigo preciso conhecer as estratgias algortmicas utilizadas pelo software. Muitos casos de fracasso na tentativa de modelar fenmenos diversos resultam de no terem sido tidos em conta aspectos essenciais dos algoritmos utilizados e das suas limitaes (Cross, 1994). A Matemtica tem uma longa tradio de aplicaes Engenharia e s cincias como a Fsica, a Qumica e a Biologia. Essas aplicaes fazem-se em regra atravs de equaes diferenciais ou sistemas de equaes diferenciais. Na maior parte dos casos chega-se a um ponto em que no possvel resolver estas equaes ou sistemas em termos exactos e necessrio recorrer a mtodos numricos. A importncia do computador na resoluo destes problemas mais do que evidente. Mas a Matemtica tem encontrado nos ltimos anos numerosas aplicaes em novos domnios. Comeando pelas questes do ambiente natural desde a qualidade do ar e da gua que consumimos, aos recursos energticos, tudo isto envolve numerosos problemas em que a Matemtica se tem revelado essencial. Por exemplo, no que respeita s florestas, a Matemtica tem sido aplicada ao desenvolvimento de modelos que ajudam a definir polticas de gesto de populaes de animais selvagens, de modo a equilibrar a defesa das espcies animais com a produo de madeira (McDonald, 1981). Mas para alm de tornar possvel o estudo de sistemas ambientais bem delimitados, o uso de modelos matemticos computacionais permite igualmente o estudo dos problemas globais do planeta Terra e a criao de novas metodologias para a tomada de decises (ver Lions, 1990) .
9

Passando ao domnio da produo, para que as indstrias sejam competitivas preciso evitar desperdcio de recursos. Estas preocupaes colocam-se tanto s grandes como s pequenas empresas, desde as que produzem calado e vesturio em grandes quantidades s que produzem pequenas peas que apoiam a produo das primeiras. Por exemplo, at a produo de cilindros anti-frico, uma componente essencial de muitas mquinas industriais, pode ser objecto de um estudo matemtico envolvendo modelos computacionais (Huntley, 1981). preciso procurar melhorar a produtividade da agricultura. Neste domnio, por exemplo, tem sido estudada atravs de modelos matemticos a quantidade de nitratos a colocar no solo, de modo a proporcionar os melhores resultados (Moscardini, 1981). Tanto a produo de bens e servios como a sua distribuio dependem de redes que faam chegar at s empresas e s nossas casas desde servios absolutamente essenciais como electricidade at outros no menos importantes como livros e jornais. preciso que haja boas comunicaes e que os sistemas de telefones e de transportes estejam bem organizados. importante que haja eficincia nestas reas, cabendo Matemtica dar um significativo contributo nesse sentido, nomeadamente atravs da investigao operacional, da programao e da teoria de grafos. No que respeita ao comrcio, fundamental que o sistema monetrio funcione, assistindo-se progressiva invaso do chamado dinheiro de plstico. A nvel do pas,
9

Para o estudo e interveno em sistemas complexos, este autor prope uma trilogia universal baseada nos elementos modelao, anlise e controlo.

tem de haver dinheiro para pagar os salrios e as penses. Como proteco dos desastres, so necessrios sistemas de seguros. Em todas estas reas o computador desempenha um papel fundamental, registando dados, realizando operaes, ajudando a gerir o sistema e a tomar decises. O computador pode ser usado para estudar problemas de rudos de trfego, importantes, por exemplo, para a localizao e construo de auto-estradas. Este tipo de investigao envolve uma forte base de acstica terica, equacionando-se como um problema em duas dimenses de propagao do som a partir de uma fonte pontual com diversos tipos de fronteira, sendo estudados no computador atravs de mtodos de anlise numrica (Chandler-Wilde, 1988). A fora vital que faz a Matemtica avanar a formulao e resoluo de problemas. Os resultados so depois generalizados, relacionados, e estruturados em teorias coerentes. Todos os processos essenciais da Matemtica descoberta de regularidades, formulao de conjecturas, demonstrao, matematizao de situaes da vida real, axiomatizao das teorias, refinamento dos conceitos so atravessados por esta actividade de resoluo de problemas. O prprio computador tem constitudo uma fecunda fonte de problemas para os matemticos. Uma das questes mais apaixonantes tem sido a determinao dos limites da calculabilidade. Dum modo geral, os problemas ligados anlise de algoritmos e estruturas de dados tm levado ao surgimento de novos conceitos e novos mtodos de trabalho, sendo em muitos casos impossvel distinguir a linha separadora entre a Matemtica e as Cincias da Computao. Em resumo, desde h muito tempo que foram desenvolvidas abordagens numricas para numerosos problemas da cincia e da engenharia (como o clculo de zeros de funes, a determinao de valores prprios de matrizes, a resoluo de equaes diferenciais, etc.). No entanto, dado o volume de clculos necessrio, essas abordagens tinham, na maior parte dos casos, uma reduzida utilizao prtica. Com o surgimento do computador, o panorama mudou por completo, existindo hoje diversos domnios das cincias humanas e das cincias naturais cujas actividades de pesquisa se baseiam na construo e anlise de modelos computacionais, baseados em modelos matemticos que exploram justamente a sua extraordinria capacidade de clculo. As ligaes entre a Matemtica e o computador dificilmente poderiam ser mais fortes. A Matemtica comeou por dar um contributo decisivo ao nvel dos fundamentos das Cincias da Computao. Mas a grande versatilidade das aplicaes susceptveis de serem tratadas em computador com base em modelos matemticos alargou profundamente a natureza desta relao. Como se l no relatrio Everybody counts (MSEB, 1989, p. 36), Tal como os computadores trazem novas oportunidades Matemtica, tambm a Matemtica que os torna incrivelmente eficazes... As aplicaes, o computador e a Matemtica constituem um poderoso sistema fortemente unido produzindo resultados que anteriormente seriam impossveis e originando ideias at aqui nunca imaginadas.

Tarefa

10

Investigue a utilizao de modelos matemticos numa rea de aplicao sua escolha (Biologia, Qumica, Fsica, Economia, Psicologia, Sociologia, Agricultura...). Seleccione um modelo duma situao que possa ser abordado com alunos do 3 ciclo.

Leitura recomendada Davis, P. J. e Hersh, R. (1995). A experincia matemtica. Lisboa: Gradiva. (captulo 3)

3.3 As NTI na actividade dos investigadores

Tenhamos em ateno que os computadores tm potencialidades muito diversas para apoiar o trabalho de investigao. Eles servem como: Instrumentos de clculo numrico, quer em clculo numrico aproximado, quer em teoria de nmeros; Instrumentos de clculo simblico em numerosas teorias, executando tarefas de acordo com sistemas de regras bem definidas; Geradores de grficos, proporcionando a visualizao de figuras que obedecem a certas propriedades; Meios de comunicao, possibilitando o registo e transmisso de ideias matemticas, tanto em linguagem corrente como recorrendo a formas de expresso que possibilitam o uso de smbolos matemticos. A capacidade dos computadores de realizar clculo numrico e manipulao simblica tem sido largamente explorada na investigao matemtica, tanto em domnios fortemente abstractos como em problemas de engenharia e de modelao matemtica. No incio de uma comunicao apresentada num encontro internacional, o matemtico ingls R. F. Churchhouse (1988) refere do seguinte modo o papel do computador em trs investigaes que realizou em teoria de nmeros: Em cada caso um ou mais teoremas... emergiram, e num caso algumas conjecturas tambm... O facto de poder usar a mquina em modo interactivo para avaliar nova evidncia foi duma ajuda considervel para encontrar cada uma das demonstraes (p. 1) Outra capacidade dos computadores a manipulao de grficos da mais variada espcie, aspecto especialmente patente nas mquinas que possuem grande memria e rapidez. As representaes grficas so desde h muito um elemento fundamental da actividade matemtica. Traduzem toda a tradio do pensamento geomtrico que continua a permear profundamente a Matemtica do nosso tempo. Estas representaes so fundamentais para o desenvolvimento de intuies e de significados nos matemticos, ajudando na formulao de conjecturas e na procura de vias de demonstrao. O computador revela-se neste aspecto um auxiliar precioso na criao de novas ideias, novos conceitos e novas teorias.

11

O computador tambm pode ser utilizado para realizar demonstraes. Ele capaz de operar com os smbolos correspondentes s operaes lgicas da lgebra de Boole (e, ou, no). Deste modo, com uma sequncia de instrues, o computador executa um conjunto pr-definido de passos, escolhendo entre todas as alternativas possveis aquelas que satisfazem, em cada momento, o resultado dos passos anteriores. Atravs deste processo, possvel programar um computador para demonstrar teoremas elementares de geometria (Ulam, 1974). Um caso clebre diz respeito demonstrao do teorema das 4 cores, um enunciado que vinha desafiando a capacidade dos matemticos desde h mais de um sculo. Numa linguagem simples, este teorema afirma que num mapa em que cada pas corresponda a uma nica regio, possvel usar apenas quatro cores para distinguir uns dos outros os pases com uma fronteira comum. Depois de vrias tentativas de demonstrao fracassadas, usando os mtodos tradicionais, em 1973 foi finalmente proposta por Kenneth Appel e Wolfgang Haken uma prova assentando parcialmente na verificao de um grande nmero de casos atravs de um algoritmo de compreenso extremamente difcil e de tempo de execuo proibitivo.
10

Esta demonstrao provocou viva discusso, sendo muitos os matemticos que no a aceitavam como vlida porque no era possvel uma verificao manual de todos os seus passos . O algoritmo foi j entretanto executado em diversos computadores, sendo presentemente esta demonstrao aceite pela grande maioria dos matemticos (Swart, 1980).
11

O acesso informao e a possibilidade de troca de informaes so hoje aspectos essenciais da actividade de investigao nas mais diversas reas cientficas e, em particular, na Matemtica. O computador veio a dar origem constituio de redes de comunicaes em que informao de todo o tipo desde simples mensagens a textos, imagens e software circula a grande velocidade. Destas redes, a mais conhecida a INTERNET, que estabelece comunicao entre computadores escala mundial. Esta rede interliga outras redes j anteriormente existentes como a BITNET, EUNET, JANET etc. de modo a que os diversos computadores passaram a ser capazes de falar entre si, mesmo usando sistemas operativos muito diversos. Ela viabiliza a troca de ficheiros, o envio de mensagens, o acesso a informaes disponveis em bases de dados internacionais, etc. Torna-se possvel contactar com pessoas em lugares muito distantes e at quando ausente em viagem, se pode aceder ao seu prprio posto de trabalho. Em Julho de 1993 havia 1 776 000 computadores ligados INTERNET. Em Janeiro de 1995 esse nmero tinha subido para 4 852 milhes e em Junho do mesmo ano para 6 642 milhes, quase dois teros dos quais nos EUA. Neste momento esta rede ainda um pouco lenta para transferncia de imagens, esperando-se um grande desenvolvimento nos anos mais prximos. S para dar um exemplo, espera-se que, com cabos de fibra ptica, um filme de 30 minutos demore 4,3 segundos a ser transferido de um ponto para o outro do mundo.

10 11

Uma descrio desta demonstrao em termos informais pode ver-se em Appel e Haken (1978). Seria preciso mais do que 10 matemticos trabalhando em grande velocidade e durante a sua vida toda para a realizar!

12

A troca de mensagens uma actividade constante entre os matemticos. Por exemplo, quando foi anunciada a demonstrao de Wiles do teorema de Fermat, muitos deles passaram largas horas nos terminais de computador procurando saber mais informaes e querendo saber qual a credibilidade da demonstrao proposta. Para aceder INTERNET necessrio ter um computador, um modem e acesso a um servidor . Tanto as instituies (universidades, organismos oficiais, empresas) como as pessoas individuais podem ter acesso a este servio. A INTERNET permite que informao de interesse geral passe a estar disponvel ao grande pblico. Assim, diversas universidades tm pginas a que podem facilmente aceder todos os interessados. O Departamento de Matemtica da Universidade de Coimbra dispe de uma pgina com informaes de interesse geral sobre a educao matemtica em Portugal. Tambm a Associao de Professores de Matemtica prepara presentemente (1996) uma pgina com informaes sobre as suas actividades.
12

A INTERNET permite a constituio de grupos de utilizadores, chamados fruns, que levam a cabo debates electrnicos sobre temas de interesse comum. Existem fruns internacionais sobre diversos temas como o ensino da geometria ou o uso de calculadoras grficas. A Seco de Educao e Matemtica da Sociedade Portuguesa de Cincias de Educao criou um frum para discutir os problemas do ensino da Matemtica em Portugal que funciona desde Maio de 199513. de prever que este meio de comunicao venha a assumir no futuro uma importncia to grande para a educao matemtica quanto a que j assume hoje para a prpria Matemtica. Em concluso, os computadores desempenham quatro papis diferenciados na investigao matemtica pura e aplicada como: Fonte de problemas, por exemplo no estudo das propriedades de certos algoritmos e na avaliao da sua eficincia; Meios auxiliares para a formulao de conjecturas, permitindo a simulao do comportamento de determinados sistemas e a influncia neles exercida por estes ou aqueles parmetros ou propriedades estruturais; Meios auxiliares (parciais ou integrais) de demonstrao, modificando o conceito usual de demonstrao; Meios de comunicao, permitindo a troca de informaes entre os investigadores. Um dos fenmenos mais marcantes do mundo moderno a matematizao e informatizao geral da sociedade, com utilizao generalizada de modelos matemticos. Na sociedade de informao, a Matemtica passou a desempenhar um novo papel social, sendo cada vez mais extensivamente usada em todas as esferas da actividade humana, nomeadamente nas reas da gesto poltica e econmica, o que no deixa de trazer novos problemas de ordem filosfica, social e poltica (Davis e Hersh, 1988).
12

Um servidor um computador de elevada potncia que funciona como elemento de apoio para todo um grupo de utilizadores a ele directamente ligados. 13 Passados 6 meses da sua criao este frum tinha j mais de 50 subscritores, tendo discutido extensamente a proposta de ajustamento dos programas do ensino secundrio e, muito particularmente, o uso das novas tecnologias.

13

Existe uma ntima ligao entre o computador e a Matemtica que se pe tanto ao nvel das questes da estrutura e dos conceitos bsicos como ao das questes ligadas s aplicaes baseadas nos mais diversos modelos. As primeiras j so ensinadas correntemente no ensino universitrio, mas a sua natureza extremamente abstracta sugere que s de forma progressiva (e muitas vezes indirecta) viro a afectar os nveis de ensino mais elementares. As questes ligadas s suas aplicaes assumem no entanto j plena actualidade. O computador usado constantemente. No se trata apenas de tirar partido da sua existncia. Trata-se igualmente de compreend-lo, conhecendo as suas potencialidades e limitaes, no aceitando que ele seja usado para nos manipular e controlar.

Tarefas 1) D exemplos de mapas envolvendo 4 (e s 4) pases que a) possam ser pintados com 3 cores sem risco de confuso; b) exijam 4 cores para que se distingam claramente todos os pases. 2) Faa uma pesquisa na INTERNET de temas ligados ao uso de computadores no ensino da Matemtica. Eis alguns endereos por onde pode comear: http://forum.geometry.edu http://eryx.syr.edu/colections.html http://www.tc.cornell.edu/Edu/MathSciGateway/ http://www.mat.uc.pt./~jaimecs/index.html http://acorn.educ.nottingham.ac.uk/SchEd/pages/gates/names.html

Leitura recomendada Pavelle, R., Rothstein, M., & Fitch, J. (1991). lgebra por computador. In J. P. Ponte (Org.), O computador na educao matemtica (pp. 11-27). Lisboa: APM.

14