Escolar Documentos
Profissional Documentos
Cultura Documentos
Armando G. M. Neves UFMG - Departamento de Matemtica a Av. Antnio Carlos, 6627 - Caixa Postal 702 o 30123-970 - B. Horizonte - MG 6 de junho de 2003
Introduo ca
Estamos sem dvida vivendo em uma era do computador. Eles esto por toda parte, u a administrando nossas contas bancrias, nossas ligaes telefnicas, controlando mquinas, a co o a editorando nossos textos, participando de nosso lazer e informao. O objetivo deste ca artigo mostrar que os computadores tambm podem ser usados em uma outra tarefa e e antes exclusivamente humana: a demonstrao de teoremas matemticos. ca a O que caracteriza um computador em todas as tarefas que realiza a grande ecincia e e com que executa clculos matemticos. Embora a capacidade de racioc a a nio humanopor parte de uma mquina seja uma questo losca discut e interessante, no disto que a a o vel a e tratamos neste artigo. Demonstrar um teorema usando o computador uma atividade e em que o racioc nio envolvido completamente humano, o computador entrando somente e como o executor eciente de clculos. O autor acredita que esta exatamente a situao a e ca desejvel, uma vez que no gostaria de legar a outrem o prazer que sente em raciocinar e a a demonstrar um teorema. O uso do computador na realizao de longos clculos numricos j rotina muito ca a e e a bem difundida nas cincias desde os anos 50 do sculo passado. Este tipo de utilizao e e ca tem se tornado cada vez mais comum em Matemtica: a partir do resultado dos clculos a a pode-se tentar induzir alguma verdade matemtica, que posteriormente ser demonstrada a a de maneira tradicional. Isto porm no o que se chama uma demonstrao assistida por e a e ca computador, mas um experimento numrico. Para que se possa falar em demonstrao e ca de teorema assistida por computador, necessrio que se tenha um grau de certeza muito e a maior sobre o resultado dos clculos. a
A grande maioria dos leitores deve ter ouvido falar do famoso Teorema de Pitgoras, que a arma que em um tringulo retngulo a soma dos quadrados dos comprimentos dos lados a a
aneves@mat.ufmg.br
menores (catetos) igual ao quadrado do comprimento do lado maior (hipotenusa). Este e resultado vale bem a sua fama, pois dele decorre uma enorme quantidade de aplicaes da co Geometria, principalmente aquelas que envolvem o conceito de distncia e, em particular, a todo o ramo conhecido por Geometria Anal tica. O que talvez poucos saibam que 1000 anos antes de Pitgoras, chineses e babilnios j e a o a tinham conhecimento da relao entre os quadrados dos lados de um tringulo retngulo. ca a a Estes haviam vericado empiricamente a relao de Pitgoras para todos os tringulos ca a a retngulos que tinham desenhado e da induzido que a relao deveria ser vlida para todos a ca a eles. Como o nmero de tringulos retngulos innito, subsistiria sempre a possibilidade u a a e de que para algum tringulo retngulo ainda no desenhado a relao no se vericasse. a a a ca a Pitgoras, que viveu no sculo VI a.C., tem seu nome associado ao resultado sobre a e tringulos retngulos por ter produzido uma argumentao racional que nos convence a a ca que, mesmo no tendo desenhado todos os innitos tringulos retngulos, no poss a a a a e vel produzir algum no qual sua relao no se verique. A uma argumentao deste tipo ca a ca chama-se demonstrao matemtica. E a alguma armao que tenha sido matematica a ca camente demonstrada chama-se teorema. Pitgoras no somente demonstrou o teorema que leva hoje seu nome, mas impora a e tante tambm porque a escola losca que criou foi capaz de difundir a idia de que o e o e conhecimento adquirido atravs do processo de demonstrao matemtica possui um stae ca a tus superior. Embora Pitgoras no nos tenha legado escritos, a difuso da importncia a a a a da demonstrao dos teoremas continuou pela prpria cultura grega, inuenciou lsofos ca o o importantes como Plato, culminando em Euclides, nascido em 330 a. C.. Este nos deixou a seu livro Elementos, no qual compilou todo o conhecimento matemtico acumulado pea los gregos at sua poca, sendo o grande responsvel pela difuso no mundo de hoje dos e e a a conceitos de teorema e demonstrao. ca A inuncia da obra de Euclides to grande que a Matemtica, muito mais do que a e e a a cincia que trata dos nmeros, como muitos pensam, mais corretamente denida como a e u e cincia que trata de armaes que podem ser demonstradas nos moldes de Pitgoras e Eue co a clides. Clculos com nmeros so realizados cotidianamente por contadores, economistas, a u a comerciantes, engenheiros, outros cientistas e basicamente por todas as pessoas escolarizadas. O matemtico no exatamente aquele que lida com nmeros, embora tambm o a a e u e faa, mas aquele que busca a certeza de que certas armaes, inclusive aquelas relativas c co aos nmeros, so corretas. Neste sentido, um teorema a expresso mxima da certeza e u a e a a o objetivo principal de todos os matemticos. a
Um exemplo interessante da compulso dos matemticos pelos teoremas o chamado a a e Ultimo Teorema de Fermat. O grande matemtico francs Pierre de Fermat (1601a e 1665), ao estudar um livro de Diofante, um grego antigo, sobre teoria de nmeros, deixou u anotado em uma de suas margens a observao de que descobrira um teorema maravilhoso, ca mas que a margem era estreita demais para que se pudesse escrever ali a demonstrao. ca
O teorema ao qual se referia Fermat dizia que a equao ca xn + y n = z n no possu nenhuma soluo onde x, y e z fossem nmeros inteiros e n fosse tambm um a a ca u e inteiro, porm maior que 2. e Se n = 2, a equao acima possui solues, por exemplo x = 3, y = 4 e z = 5. Tal ca co fato, incluindo a innidade dessas solues, j era conhecido desde a poca de Pitgoras. co a e a Fermat deve ter sido o primeiro a considerar tal equao com n > 2 e a intuir que no havia ca a soluo alguma para ela neste caso. Na falta de uma demonstrao escrita do teorema, ca ca muitos grandes matemticos posteriores a Fermat passaram a tentar encontr-la. O ultimo a a teorema de Fermat, na verdade o ultimo para o qual no se havia encontrado demonstrao, a ca passou assim ` condio de um dos mais importantes problemas em Matemtica a ca a A demonstrao somente foi encontrada muito recentemente, em 1995, pelo matemtico ca a ingls Andrew Wiles, da Universidade de Princeton. A complexidade da demonstrao e ca de Wiles e das tentativas somente parcialmente bem sucedidads dos que o precederam levam a crer que Fermat estaria enganado quando armou possuir uma demonstrao do ca resultado que acabou cando conhecido por seu nome. Embora a demonstrao de Wiles no tenha utilizado computadores, referimo-nos ao ca a teorema de Fermat para citar que computadores podem ser utilizados para destruir falsos teoremas. Bastaria que um unico exemplo de nmeros inteiros x, y, z e n fosse encontrado u para promover o teorema de Fermat a um falso teorema. Embora tal contra-exemplo no tenha sido encontrado, e provavelmente nunca o ser, j que se acredita correta a a a a demonstrao de Wiles, h um exemplo parecido com o teorema de Fermat que vale ser ca a citado. O suco Leonhard Euler (1707-1783) considerado um dos maiores matemticos de e a todos os tempos. Foi inclusive o primeiro a ter produzido, aps Fermat, algum resultado o positivo com relao ao seu ultimo teorema, ao provar que no caso particular n = 3 a ca equao de Fermat no possu solues com x, y e z inteiros. Tentando ir mais longe, ca a a co Euler conjecturou, mas no conseguiu demonstrar, que a equao a ca x4 + y 4 + z 4 = w4 , parecida com a de Fermat, no teria solues com x, y, z e w inteiros. a co A conjectura de Euler foi derrubada recentemente, em 1988, por Naom Elkies da Universidade de Harvard, que encontrou uma soluo expl ca cita para a equao com x = ca 2682440, y = 15365639, z = 18796760 e w = 20615673. Encontrar nmeros to grandes u a no certamente fcil e bvio que Elkies no os encontrou por acaso, mas sim fazendo a e a eo a uma pesquisa computacional cuidadosa entre poss veis candidatos a solues da equao. co ca Os clculos envolvidos so bastante grandes: por exemplo, a quarta potncia do nmero a a e u w encontrado possui 29 algarismos. Uma calculadora cient ca comum de 10 d gitos no a pode portanto ser usada para vericar que a equao envolvendo x, y, z e w tenha sido ca satisfeita. Ainda assim, acredita-se que um computador rodando um software que permita clculos com um nmero arbitrrio de d a u a gitos calcule corretamente as somas e produtos de nmeros inteiros envolvidos no clculo de tal soluo. Mais adiante neste artigo iremos u a ca 3
exemplicar clculos realizados por computador de cuja correo no se pode ter tanta a ca a certeza. Elkies usou o computador para provar que a conjectura de Euler no um teorema. a e Embora este resultado possua valor matemtico, no o que chamaremos uma demona a e strao de teorema com o aux do computador. ca lio
Como j armamos, razovel acreditar nos resultados de clculos computacionais de a e a a somas e produtos de nmeros inteiros, desde que o software usado permita um nmero u u de d gitos grande o suciente. Ao contrrio, clculos com nmeros reais geralmente ina a u troduzem incertezas. Para exemplicar este fenmeno, introduziremos a seguir alguma o terminologia da rea da Matemtica que estuda o caos, chamada Sistemas Dinmicos, a a a junto com alguns exemplos importantes na rea. a Dado um nmero x0 , chamado condio inicial e uma regra (funo) f , denotaremos u ca ca x1 como sendo o resultado da aplicao da regra f ao nmero x0 . Simbolicamente, escreveca u mos x1 = f (x0 ). Supondo que a mesma regra f possa ser aplicada a x1 e sucessivamente, obtemos a seqncia innita ue x0 , x1 , x2 , . . . , onde para cada n = 0, 1, 2, . . . tem-se que xn+1 = f (xn ). Ou seja, x2 = f (x1 ), x3 = f (x2 ), x4 = f (x3 ), . . .. A seqncia obtida como acima a partir de uma condio inicial x0 chamada a rbita ue ca e o de x0 . A rbita de uma condio inicial obtida aplicando-se sucessivamente a regra f a o ca e partir da condio inicial. A este processo chama-se iterao da funo f . ca ca ca Um exemplo interessante o da iterao da funo f (x) = 3, 2x(1 x) sobre condies e ca ca co iniciais que so nmeros reais entre 0 e 1. Mais concretamente, escolha algum x0 real entre a u 0 e 1 e encontre x1 multiplicando os nmeros 3,2, x0 e o resultado da subtrao 1 x0 . u ca Em seguida repita a operao de multiplicao acima trocando x0 por x1 e assim por ca ca diante. Por exemplo, se x0 = 0, 4567, teremos sucessivamente x1 = 0, 794, x2 = 0, 523404, x3 = 0, 798247, etc, como o leitor pode facilmente conferir usando sua calculadora. Se continuar o processo de iterao por mais uma dezena de passos, o leitor ir perceber ca a que qunato mais itera, mais os elementos sucessivos da rbita tendero a aproximar-se de o a nmeros dados aproximadamente por 0,799455 e 0,513045, os quais iro se alternar como u a elementos da rbita. o Dizemos neste caso que a rbita da condio inicial x0 = 0, 4567 convergiu para um o ca ciclo de per odo 2 constitu por 0,799455 e 0,513045. O valor 2 do per do odo signica que aps duas iteraes da funo f a rbita volta a visitar um determinado elemento do o co ca o ciclo. Se repetir o experimento com uma outra condio inicial genrica entre 0 e 1, o ca e leitor obter o mesmo resultado, com o ciclo sendo formado pelos mesmos nmeros. a u Cabe aqui um esclarecimento sobre a palavra genrica empregada na ultima frase e e que empregaremos tambm mais adiante em outros exemplos. Com condio inicial e ca genrica queremos dizer que o resultado que anunciamos no vlido para qualquer e a e a 4
condio inicial. H de fato condies iniciais muito particulares tais que a rbita no ca a co o a ir convergir para o ciclo de per a odo 2 que exibimos; por exemplo, o leitor pode vericar 5 11 facilmente que as condies iniciais 0, 1, 16 e 16 no iro levar a rbita ao ciclo de per co a a o odo 2 ao qual aludimos. Por condio inicial genrica queremos dizer, de modo vago, que, a ca e menos que se tenha muito cuidado na procura de condies excepcionais como as acima, co a rbita ir convergir para o ciclo de per o a odo 2. No caso das condies iniciais 0 e 1, aps uma iterao a rbita car estacionada em co o ca o a 0. O valor 0 assim chamado um ponto xo para a funo f (x) = 3, 2x(1 x) pois e ca f (0) = 0. Um ponto xo naturalmente um ciclo de per e odo 1. No caso das condies co 5 11 iniciais 16 e 16 a rbita ser levada ao outro ponto xo de f , que 11 . o a e 16 Se na denio da funo a ser iterada trocarmos o nmero 3,2 por outros, resultados ca ca u diversos podero aparecer. Por exemplo, iterando a funo g(x) = 2x(1 x) iremos a ca descobrir que a rbita de qualquer condio inicial genrica entre 0 e 1 ir se estabilizar o ca e a 1 em 2 , que um ponto xo para g. e Um exemplo mais intrigante ainda o da funo l(x) = 4x(1 x), sempre usando e ca condies iniciais reais entre 0 e 1. Uma caracter co stica importante desta funo particular ca que, em vez de se xar em algum ponto xo ou ciclo, os elementos da rbita de qualquer e o x0 genrico entre 0 e 1 parecem distribuir-se em todo o intervalo entre 0 e 1 sem se xar e em parte alguma. Para comprovar este fato, podemos realizar um experimento numrico e computacional que descrevemos abaixo. Divida o intervalo entre 0 e 1 em um grande nmero de subintervalos de mesmo comu primento. O resultado que ilustramos na gura 1 foi obtido dividindo o intervalo em 200 subintervalos. Em seguida, tome uma condio inicial entre 0 e 1 e calcule um grande ca nmero de elementos sucessivos de sua rbita. Para o exemplo ilustrado na gura 1 u o tomamos como condio inicial 0,188255 e realizamos o clculo dos primeiros 10000 eleca a mentos de sua rbita. O grco de barras da gura 1 representa para cada um dos 200 o a subintervalos o nmero de vezes que este foi visitado nas primeiras 10000 iteraes da u co condio inicial x0 = 0, 188255. ca Se o leitor tomar uma condio inicial diferente, ir vericar que, desde os primeiros ca a elementos, sua rbita bastante diferente daquela de x0 = 0, 188255. Apesar disto, se o e repetir as contagens do nmero de visitas aos subintervalos, ir obter uma gura praticau a mente indistingu da gura 1. vel Tal resultado nos leva a realizar uma conjectura: para qualquer condio inicial entre ca 0 e 1 a rbita tender a se distribuir entre os subintervalos com uma freqncia estat o a ue stica de visita a estes como ilustrado na gura 1. Antes que o leitor v longe demais em a seus experimentos, prevenimo-lo de que a conjectura acima falsa e a razo de estarmos e a formulando tal falsidade que na produo da gura 1 fomos enganados pelo computador. e ca De fato, a condio inicial escolhida uma boa aproximao para o quadrado do seno ca e ca do ngulo de radianos (ou 180 em graus). Usando relaes bsicas da Trigonometria a co a 7 7 estudadas no ensino mdio, o leitor a par destas poder mostrar que se x0 = sen 2 , ento e a a 7 x1 = sen 2 2 , x2 = sen 2 4 , x3 = sen 2 = x0 e, a partir de x3 , a rbita ir simplesmente o a 7 7 7 repetir os valores de x0 , x1 e x2 nesta ordem. Em outras palavras, a rbita exata de o 2 a repetio innita de um ciclo de per x0 = sen 7 e ca odo 3. Portanto, em vez de na gura 1 obtermos 200 subintervalos sendo visitados pela rbita, dever o amos ter encontrado 5
400
300
200
100
Figura 1: Resultado de um experimento numrico com 10000 iteraes da condio inicial e co ca x0 = sen2 7 . O intervalo entre 0 e 1 foi dividido em 200 subintervalos de igual tamanho. As aluras das barras sobre cada subintervalo indicam o nmero de visitas da rbita `quele u o a subintervalo nas 10000 iteraes realizadas. co
somente 3 subintervalos visitados. No que o computador do autor seja ruim ou mal-programado. O problema no a a est no computador e sim na funo l. A iterao desta um exemplo de um chamado a ca ca e sistema catico. Dentre as propriedades de sistemas caticos encontra-se a de possuir o o sensibilidade a condies iniciais. Traduzida em linguagem comum, esta propriedade co signica que se x0 e y0 so condies iniciais prximas, ento embora xn e yn quem a co o a prximos nas primeiras iteraes, iro inevitavelmente afastar-se, desde que se faa um o co a c nmero n grande o suciente de iteraes. u co A explicao para o resultado falso da gura 1 que sen 2 um nmero irracional e ca e u 7 e o computador no capaz de lidar exatamente com eles. De fato, a representao decimal a e ca (ou na base 2, que aquela usada pelos computadores) de um nmero irracional innita. e u e Como o computador no pode usar uma quantidade innita de espaos de memria para a c o armazenar exatamente um nmero irracional, ele obrigado a quebrarem algum lugar u e a representao de um nmero irracional. Isto signica que o nmero sen 2 trocado no ca u u 7 e experimento numrico por um outro aproximadamente igual. O pequeno erro resultante e chamado erro de arredondamento. Em muitos casos, erros de arredondamento no e a produzem muitas mudanas nos resultados dos clculos. Isto o que acontece no caso da c a e iterao das funes f e g usadas acima, que no so sens ca co a a veis `s condies iniciais. a co No entanto, a funo l possui sensibilidade a condies iniciais e o erro de arredondaca co mento inicial amplicado ` medida que se realizam iteraes. Na verdade, a condio e a co ca inicial que usamos para produzir a gura 1 uma aproximao de sen 2 correta at a 16a e ca e 7 casa decimal. Apesar desta preciso superior ` da maioria das calculadoras, analisando a a com mais detalhe os resultados do experimento pode-se ver que bem no in do expericio mento, na iterao de nmero 46 em uma seqncia de 10000, o erro de arredondamento ca u ue 6
acumulado levou o computador a contar pela primeira vez uma visita a intervalo que a rbita no poderia ter visitado. Da at a ultima das 10000 iteraes o computador seguiu o a e co contabilizando resultados errados, produzindo assim uma gura errada. Podemos resumir o resultado do experimento numrico acima: ao calcular com nmeros e u reais, devido aos erros de arredondamento, o computador pode levar a resultados errados. Isto deve nos servir como advertncia de que para demonstrar teoremas baseados em e clculos computacionais necessrio que se levem em considerao os erros de arredondaa e a ca mento e a possibilidade de que estes possam alterar signicativamente os resultados.
Ao demonstrar um teorema, uma tcnica freqentemente empregada pelos matemticos e u a e a de mostrar que existe um nmero nito N de casos individuais a serem vericados. Um u exemplo simples desta tcnica o seguite teorema: No existe nenhum nmero inteiro n e e a u tal que o ultimo algarismo de n2 na base 10 seja 2, 3, 7 ou 8. A demonstrao a seguinte. Se o ultimo algarismo decimal de um nmero n k, ca e u e ento o ultimo algarismo decimal de n2 igual ao ultimo algarismo decimal de k 2 . Como a e k somente pode tomar os valores 0, 1, 2, . . . , 9, ento basta vericar que o conjunto dos a ultimos algarismos de 02 , 12 , 22 , . . . , 92 no inclui 2, 3, 7 e 8. Para isto, basta saber a a tabuada e realizar 10 multiplicaes. co Neste exemplo provamos um teorema sobre todos os innitos nmeros inteiros arguu mentando que poss divid em N = 10 casos a serem vericados um a um. Freqene vel -lo u temente as demonstraes dos teoremas por esta tcnica envolvem nmeros N pequenos, co e u quase sempre menores que 10. O exemplo acima um exemplo de teorema que pode ser provado com a assistncia e e do computador. De fato, aps argumentarmos que pode ser vericado separadamente em o 10 casos basta deixar ao computador o trabalho de calcular os quadrados dos nmeros u 0, 1, 2, . . . , 9. Como as operaes necessrias so multiplicaes de nmeros inteiros peco a a co u quenos, no exitem erros de arredondamento. Obviamente, este exemplo porm pouqu a e e ssimo interessante, uma vez que qualquer um capaz de realizar os clculos que descrevemos. e a Vamos apresentar agora um exemplo realmente interessante de demonstrao assistida por ca computador, utilizando os conceitos de Sistemas Dinmicos explicados anteriormente. O a exemplo abaixo parece ter sido encontrado por um certo prof. Eugene Nichols. Considere a funo sq denida para nmeros inteiros da maneira seguinte: sq (n) a ca u e soma dos quadrados dos algarismos decimais de n. Por exemplo, sq (27) = 22 + 72 = 53 ou sq (234) = 22 + 32 + 42 = 29 . Podemos, como no caso das funes f , g e l anteriormente estudadas, iterar innitas co vezes a funo sq sobre condies iniciais inteiras. Ilustramos na tabela 1 os primeiros 15 ca co elementos das rbitas das condies iniciais 1, 2, . . . , 10. o co 7
x0 1 2 3 4 5 6 7 8 9 10
x1 1 4 9 16 25 36 49 64 81 1
x2 1 16 81 37 29 45 97 52 65 1
x3 1 37 65 58 85 41 130 29 61 1
x4 1 58 61 89 89 17 10 85 37 1
x5 1 89 37 145 145 50 1 89 58 1
x6 1 145 58 42 42 25 1 145 89 1
x7 1 42 89 20 20 29 1 42 145 1
x8 1 20 145 4 4 85 1 20 42 1
x9 1 4 42 16 16 89 1 4 20 1
x10 1 16 20 37 37 145 1 16 4 1
x11 1 37 4 58 58 42 1 37 16 1
x12 1 58 16 89 89 20 1 58 37 1
Tabela 1: Os primeiros 15 elementos das rbitas dos primeiros 10 nmeros naturais pela o u funo sq . ca O leitor repare que em 3 dos casos ilustrados na tabela, a rbita atingiu o valor 1 e, o como sq (1) = 1, ao atingir este valor os elementos da rbita no mudam mais. Usando a o a terminologia j explicada, o nmero 1 um ponto xo para a funo sq . a u e ca Examinando com mais cuidado a tabela, o leitor ir notar que em todos os casos em que a a rbita no terminou no ponto xo 1, acabaram aparecendo ciclicamente, nesta ordem, o a os nmeros 145, 42, 20, 4, 16, 37, 58, 89. Estes nmeros formam um ciclo de per u u odo 8. O leitor agora convidado a tentar por si mesmo outras condies iniciais, digamos e co menores que 1000. Ir perceber em todos os casos, sem precisar de clculos com grandes a a nmeros ou um grande nmero de iteraes, que a rbita ou ir convergir para o ponto u u co o a xo 1, ou para o ciclo de per odo 8 formado por 145, 42, 20, 4, 16, 37, 58, 89. Fica-se ento tentado a conjecturar o seguinte teorema: a Teorema: Para qualquer condio inicial inteira positiva x0 ou a rbita de x0 por sq ca o converge para o ponto xo 1, ou ento para o ciclo de per a odo 8 constitu por do {145, 42, 20, 4, 16, 37, 58, 89}. Iremos mostrar como a demonstrao de tal resultado recai na vericao de soca ca mente243 casos. Como 243 casos bem mais do que os 10 casos do exemplo que demos e acima, em princ pio o leitor pode se assustar. Por outro lado, comparado ` quantidade a innita de nmeros x0 para os quais o teorema vale, 243 de fato um nmero pequeno e u e u alis bastante modesto, mesmo para um computador domstico obsoleto. a e Demonstrao: Como sq funo crescente de cada algarismo de seu argumento, ca e ca ento dentre todos os nmeros de 3 algarismos, o valor mximo de sq ser sq (999) = 243. a u a a Dentre todos os nmeros de 4 algarismos o valor mximo ser sq (9999) = 324, etc. u a a Portanto, se quisermos vericar a validade do teorema para valores de x0 com no mximo 4 algarismos, basta tomar todos os valores com 1 x0 243 e vericar se a aparecem ou o ponto xo, ou o ciclo de per odo 8. De fato, se 1 x0 9999, ou seja, se x0 possui no mximo 4 algarismos, ento x1 = sq (x0 ) 324. Como x1 999, ento a a a x2 = sq (x1 ) 243 e portanto, aps no mximo 2 iteraes, a rbita de qualquer condio o a co o ca 8
inicial de at 4 algarismos ter que cair entre 1 e 243. Se calcularmos alguns elementos e a das rbitas de todas as condies iniciais entre 1 e 243 e somente forem encontradas as 2 o co possibilidades mencionadas no teorema, ento teremos garantido que o mesmo vlido se a e a 1 x0 9999. Deixemos por enquanto de lado a vericao se at 243 os unicos casos ca e so os j mencionados. a a O fato que queremos vericar o teorema no s para condies iniciais at 9999, mas e a o co e para todas as innitas condies iniciais inteiras positivas. Obviamente test-las todas co a uma a uma levaria um tempo ininito. Precisamos de um argumento para reduzir a innidade de clculos para uma quantidade nita destes. a Para podermos trabalhar com condies iniciais maiores que 9999 observe que o maior co nmero inteiro com n algarismos decimais 10n 1 e que o resultado da aplicao de sq u e ca a este nmero 81n. Consideremos ento a razo u e a a 10n 1 . 81n Se provarmos que para valores de n maiores ou iguais a 4 teremos sempre a razo acima a n 1) mais que 10 vezes maior que 10, ento estaremos mostrando que o valor de sq (10 a e menor que o prprio 10n 1 e portanto tem que possuir pelo menos um algarismo decimal o a menos. Mas se o valor de sq para o maior nmero com n algarismos tem no mximo u a n 1 algarismos, ento o valor de sq para qualquer nmero x com n algarismos, sendo a u menor que sq (10n 1), ter tambm no mximo n 1 algarismos. a e a Este argumento mostra que mesmo que tenhamos condies iniciais enormes, com co milhes ou bilhes de algarismos decimais, basta que iteremos sq sobre estas condies o o co iniciais por um nmero nito de vezes e o resultado acabar sendo menor ou igual a 243. u a Sendo mais preciso, se x0 uma condio inicial com n algarismos, ento aps no mximo e ca a o a n 4 iteraes os elementos da rbita estaro entre 1 e 9999. E aps no mximo mais 2 co o a o a iteraes estaro connados entre 1 e 243. co a O trmino da demonstrao do teorema depende agora de vericar duas armaes. e ca co A primeira, que chamaremos Armao A que ca e 10n 1 > 10 se n 4 . 81n Esta a parte mais tcnica da prova e sua vericao ser realizada no apndice, usando e e ca a e a tcnica da induo matemtica. e ca a Supondo que o leitor tenha aceito a Armao A, sabemos agora que aps no mximo ca o a n 2 iteraes a rbita de uma condio inicial com n algarismos ir situar-se entre 1 e co o ca a 243. A Armao B a se provar que para qualquer condio inicial entre 1 e 243 a ca e ca o rbita ir atingir ou o ponto xo 1, ou o ciclo de per a odo 8 que exibimos. Esta a parte e da demonstrao que deixaremos a cargo do computador. ca O autor deste artigo escreveu um pequeno programa de computador para fazer este teste e vericou que a Armao B acima mesmo verdadeira. Os clculos envolvidos ca e a so somente somas e produtos de nmeros inteiros pequenos e portanto no h erros de a u a a arredondamento com que se preocupar. O resultado da anlise feita pelo computador a e
convel! O leitor que conhea programao bsica, ou mesmo que tenha alguma famila c ca a iaridade com planilhas eletrnicas, poder vericar por si mesmo que a Armao B est o a ca a correta, demonstrando assim o teorema. Ressalte-se aqui que o principal responsvel pela demonstrao no o computador a ca a e e sim o matemtico, que produziu todo um encadeamento de racioc a nios lgicos que culo minaram com o deixar ao computador uma quantidade nita de clculos que este possa a realizar sem erros de arredondamento (ou, em outros casos, com erros de arredondamento sob controle).
As mesmas tcnicas utilizadas na demonstrao do teorema da seo anterior podem ser e ca ca generalizadas a somas das n-simas potncias dos algarismos de um inteiro numa base e e qualquer b. De um caso para outro, a primeira mudana o nmero de poss c e u veis ciclos para os quais convergem as rbitas. Deve mudar tambm o nmero de casos a serem o e u testados, no necessariamente 243, para que se tenha certeza do nmero de ciclos. a u Por exemplo, se em vez da soma dos quadrados, estudarmos a soma dos cubos dos algarismos decimais, iremos encontrar que existem somente 9 tipos de ciclos poss veis, que so 5 pontos xos, 2 ciclos de per a odo 2 e 2 ciclos de per odo 3. Para termos certeza de que o nmero de ciclos este, em vez de 243, necessrio estudar as primeiras 2916 u e e a condies iniciais. O leitor aqui desaado a repetir o racioc co e nio da demonstrao da ca seo anterior, descobrir quais so os 9 ciclos poss ca a veis e entender porque s precisa testar o condies iniciais at 2916 para achar todos os ciclos. co e E importante que se diga que o valor dos teoremas das somas dos quadrados e dos cubos dos algarismos principalmente pedaggico: exemplicar a tcnica de demonstrao e o e ca assitida por computador usando exemplos ao mesmo tempo simples e com clculos longos a o suciente para que o computador tenha um papel importante. O autor acha que tambm e tm seu valor esttico. Embora tenhamos aprendido atravs deles que o computador pode e e e participar de forma no-banal na demonstrao de teoremas, estes problemas provavela ca mente no tm grande interesse dentro da Matemtica, pelo menos por enquanto. Por a e a isto, fazemos aqui uma lista de teoremas importantes dentro da Matemtica que tenham a sido demonstrados com a assistncia do computador. e Provavelmente o exemplo mais conhecido o seguinte: Qualquer mapa plano pode e ser colorido com somente 4 cores de forma a que pa ses vizinhos que compartilhem um segmento de fronteira comum (e no somente um ponto) nunca sejam coloridos com a a mesma cor. Este teorema conhecido como o Teorema das Quatro Cores. E importante dizer que e pa (ou estados) que compartilhem somente um ponto de fronteira podem ser coloridos ses com a mesma cor. Por exemplo, num mapa do Brasil, Maranho e Bahia podem ser a coloridos com a mesma cor. Num mapa da Amrica do Sul pode-se ver um exemplo e interessante de que 3 cores no so sucientes para colorir um mapa: pelo menos 4 cores a a so necessrias para colorir de maneira correta a Bol a a via e seus pa vizinhos. De fato, ses 10
suponha que a Bol via seja colorida com a cor 1 e o Brasil com a cor 2. Como o Paraguai faz fonteira com o Brasil e a Bol via, ento deve ser colorido com uma cor distinta, a cor a 3. Como a Argentina faz fronteira com os 3 anteriores, ento deve ser colorida com mais a uma cor, a cor 4. Para colorir Chile e Peru podemos agora repetir cores, por exemplo, cor 2 para o Chile e cor 3 para o Peru. O Teorema das Quatro Cores foi conjecturado em 1852 por Francis Guthrie. Vrios a matemticos ingleses da poca tentaram demonstr-lo. Alguns chegaram a achar que o a e a tivessem conseguido, mas outros descobriram falhas em suas provas. Um dos que achou ter provado o teorema, Kempe, acabou provando um resultado mais fraco: 5 cores eram sucientes! Mesmo assim, parecia que somente 4 bastariam. Em 1922, Franklin provou que para mapas com no mximo 25 pa 4 cores seriam bastantes. a ses Apesar de saberem que 3 cores no bastavam e que para mapas pequenos (at 25 a e pa ses) 4 cores seriam sucientes, os matemticos no estavam satisfeitos. A conjectura a a das quatro cores cou de p at 1977, quando foi promovida a teorema por Kenneth Appel e e e Wolfgang Haken, ambos da Universidade de Illinois em Urbana-Champaign. A prova destes assistida por computador e, como o exemplo que demos neste artigo, envolve e somente clculos aritmticos com inteiros, de modo que no h que temer os problemas a e a a com erros de arredondamento. Ao contrrio do exemplo que demos que, com um pouco a de pacincia, poderia ter todos os 243 casos vericados por um humano, a prova de Appel e e Haken provavelmente nunca ser totalmente conferida por um humano. Segundo eles a prprios, o leitor teria que se defrontar com 50 pginas com texto e diagramas, 85 pginas o a a com 2500 diagramas adicionais e mais 400 pginas de microchas com outros diagramas a e milhares de vericaes de armativas. co A demonstrao de um teorema basicamente uma questo de convencimento: o ca e a matemtico deve convencer, primeiro a si mesmo, mas principalmente aos outros, de que a determinados fatos so verdadeiros. Ao que parece, nenhum humano ter a pacincia e a a e a determinao de ser inteiramente convencido pelas tantas pginas de Appel e Haken. ca a No entanto, uma razo forte para acreditar que sua demonstrao correta que vrios a ca e e a outros matemticos, partindo das idias destes, desenvolveram outras demonstraes ina e co dependentes, todas elas assistidas por computador. Essas demonstraes simplicaram co algumas partes do trabalho de Appel e Haken e conseguiram reproduzir vrios de seus a resultados intermedirios, mas no conseguiram eliminar a necessidade da assistncia do a a e computador. Resta portanto a incmoda possibilidade de que todos os computadores que o zeram esses clculos tenham cometido os mesmos erros. a Quanto a esta objeo natural, razovel retrucar que bastante improvvel que ca e a e a tal coisa acontecesse. Alm do mais, existem vrias demonstraes no assistidas por e a co a computador com centenas de pginas de texto, frmulas e resultados intermedirios. A a o a demonstrao de Wiles do teorema de Fermat um exemplo disto. Poucos matemticos ca e a tm a capacidade tcnica para seguir at o nal uma demonstrao deste tipo. Nestes e e e ca casos, mais provvel que todos os humanos que tenham lido estas demonstraes tenham e a co cometido algum erro do que os computadores terem cometido algum erro no teorema das quatro cores. Apesar das diculdades criadas pelos erros de arredondamento ao se trabalhar no computador com nmeros reais, existem demonstraes assistidas por computador baseadas u co 11
em longos clculos com nmeros reais. H vrias destas demonstraes na rea de Sistemas a u a a co a Dinmicos. a Neste tipo de provas, usa-se uma tcnica conhecida como aritmtica de intervalos. Para e e evitar que sejamos ludibriados pelos erros de arredondamento, substitui-se cada um dos nmeros reais aproximados que aparecem nos clculos por intervalos de nmeros reais que u a u temos certeza conterem o nmero que estamos tentando representar. Imagine por exemplo u que queiramos utilizar o nmero irracional 2 em algum clculo. Em vez de simplesmente u a usar uma aproximao truncada para ele, por exemplo, 1,41421356, podemos substitu ca -lo por um intervalo tal como [1, 4; 1, 5] ou [1, 41; 1, 42] ou outros, dependendo da preciso a com que precisaremos localizar o nmero no desenvolver dos clculos. E preciso ento u a a operar com intervalos, em vez de operar com nmeros, de forma que a cada operao que u ca zermos com cada intervalo se tenha certeza ao nal que o resultado da operao est ca a contido dentro do intervalo calculado. Uma das mais importantes demonstraes usando aritmtica de intervalos a dada em co e e 1982 por Oscar E. Lanford para a existncia de soluo g(x) para a equao de Feigenbaum e ca ca g(g(x)) = 1 g(x) ,
onde = 2, 50290... uma das chamadas constantes de Feigenbaum. As constantes e e a equao de Feigenbaum apareceram no trabalho de Mitchell Feigenbaum na dcada ca e de 1970. Atravs de experimentos numricos simples realizados em uma calculadora, e e Feigenbaum conjecturou a existncia de fenmenos de universalidade na aproximao do e o ca regime catico para iteraes de classes de funes. A universalidade se expressa no o co co fato de que mesmo classes bastante distintas de funes parecem ter em comum algumas co constantes numricas como a constante que aparece acima. A demonstrao deste fato e ca foi obtida pela primeira vez por Lanford. Mais tarde, o resultado foi provado por outros matemticos sem a necessidade da assistncia do computador. a e Uma outra demonstrao assistida por computador, importante e recente, a da exca e istncia do atrator de Lorenz. O meteorologista Edward Lorenz obteve as equaes difere co enciais hoje conhecidas com seu nome em 1963, quando estudava um modelo simplicado para a previso do tempo. As equaes de Lorenz, segundo os experimentos numricos a co e realizados por este, pareciam possuir sensibilidade `s condies iniciais. Pareciam possuir a co ainda a interessante propriedade de as curvas solues destas equaes serem atra co co das para uma regio complicada e interessante do espao tridimensional. Esta regio foi batizada a c a de atrator de Lorenz e, desde ento, as equaes de Lorenz so um dos mais conhecidos a co a exemplos de sistemas caticos. Os modelos de previso do tempo foram aperfeioados, o a c mas a sensibilidade a condies iniciais e a complexidade dos atratores que aparecem so co a um dos grandes responsveis pela diculdade em se realizar previses do tempo a longos a o prazos. Apesar da notoriedade, a prpria existncia do atrator de Lorenz e sua caoticidade o e resistiram ` demonstrao matemtica at 1999. Nesse ano, Warwick Tucker, em sua tese a ca a e de doutorado na Universidade de Uppsala, provou que o atrator de Lorenz no era uma a mera iluso criada pelo computador. a Com a disponibilidade de computadores poderosos e cada vez mais baratos e o fato 12
de importantes teoremas terem sido demonstrados com a assistncia deles, de se esperar e e que o nmero de resultados assim demonstrados continue crescendo. Embora existam u matemticos que ainda se oponham a estas demonstraes, achamos que as tcnicas coma co e putacionais tm servido no m e nimo para estimular a investigao de problemas interesca santes e, em alguns casos, levaram a demonstraoes alternativas sem o uso do computador, c mais uma vez para orgulho do ser humano.
k(k + 1) k(k + 1) + 2(k + 1) (k + 1)(k + 2) + k+1 = = , 2 2 2 que a mesma frmula para sk com k trocado por k + 1 e portanto k + 1 trocado e o por k + 2. Mostramos assim que a suposio da validade do fato para n = k leva ` ca a demonstrao da validade do fato para n = k + 1. ca Pelo argumento geral sobre a induo, mostramos ento que para qualquer inteiro positivo ca a n vale sn = n(n+1) , como quer amos demonstrar. 2 Passemos agora ` demonstrao por induo da Armao A. a ca ca ca (a) Primeiramente, imediato ver que se n = 4, ento e a
k
10n 1 81n
9999 324
> 10.
(b) Suponha agora que 10 1 > 10 para algum k 4. Queremos mostrar que tambm e 81k 10k+1 1 a 81(k+1) > 10. Podemos reescrever a expresso como
1 10(10k 10 ) 1 81k(1 + k )
> 5
10k 1 , 81k 13
1 k
14