Matemtica do Discreto e do Contnuo

Texto para uma Aco de Formao de professores do Ensino Secundrio

Adrito Arajo
Coimbra, 1998

CAPTULO 1. INTRODUO
O analfabetismo matemtico
O analfabetismo matemtico, ou seja, a incapacidade para se lidar naturalmente com as
noes fundamentais de nmeros e probabilidades, um mal que afecta demasiadas pessoas, as quais,
se assim no fosse, at se poderiam considerar razoavelmente cultas. Na verdade, ao contrrio de
muitas outras falhas, as quais tendem a ser disfaradas, o analfabetismo matemtico chega a ser
louvado: "Nem sequer sou capaz de cuidar do saldo da minha conta bancria!", vulgar ouvir dizer-se.
"Sou uma pessoa virada para os factos, e no para os nmeros.". Ou "detesto matemtica!".
Uma das consequncias menos discutidas do analfabetismo matemtico a sua ligao com a
crena na pseudo cincia: astrologia, numerologia, etc. Mais preocupante, no entanto, o fosso
existente entre o modo como os cientistas encaram os vrios riscos (vacas loucas, sida, etc.) e a
percepo popular desses mesmos riscos - um fosso que ameaa levar-nos quer ansiedade
injustificada e paralisante quer a exigncias impossveis e economicamente devastadoras a propsito
dos seguros de riscos.
Algumas das questes aqui apresentadas s muito raramente so discutidas em termos
acessveis a uma vasta audincia, pertencendo ao tipo de questes que os alunos apreciam imenso, mas
s quais respondem com comentrios como: "Vamos precisar de saber isso para exame?".
1. Grandes nmeros, pequenas probabilidades
Nunca deixei de me sentir espantado e ao mesmo tempo deprimido ao deparar com estudantes
que no fazem a menor ideia de qual a populao de Portugal, ou da distncia aproximada de Minho
ao Algarve, ou at do valor percentual estimado de chineses no mundo.
Se no formos capazes de abalizar a grandeza dos nmeros vultuosos mais vulgares,
impossvel reagirmos com o devido cepticismo ao depararmos com notcias terrveis como a de haver
um milho de crianas raptadas anualmente nos Estados Unidos, da mesma maneira que nunca
encararemos com sobriedade o facto duma ogiva possuir um poder explosivo da ordem da
megatonelada (o equivalente a um milho de toneladas (ou um milhar de milho de quilogramas) de
TNT), ou com indignao quando ouvimos frequentemente dizer que a populao mundial de
aproximadamente 5 bilies!
Por outro lado, se no tivermos certa queda para as probabilidades, os acidentes de viao
podero surgir-nos como um problema relativamente menor e de ndole local, ao passo que a
possibilidade de sermos mortos por terroristas ou com a doena de Creutzfeldt-Jacob nos surge como
um grande risco.
Um exemplo caricato da falta de noo de nmero dado pelo seguinte episdio: em certa
ocasio, tive a oportunidade de falar com um mdico que, ao fim de meia hora de conversa, declarou
que um certo tratamento que andava a pensar aplicar tinha: (i) uma hiptese num milho de ser mal
sucedido; (ii) era noventa e nove por cento seguro; (iii) e normalmente corria sempre bem.
Num artigo da Scientific American sobre analfabetismo matemtico, o cientista de
computadores Dauglas Hofstadter cita o caso da companhia Ideal Toy, a qual declarou, no rtulo da
embalagem do primeiro cubo de Rubik, que havia mais de trs milhares de milho de possveis
estados atingveis pelo cubo. Clculos efectuados mostram que h mais de
estados possveis!
O anncio feito na embalagem no est errado. Esta subvalorizao, contudo, sintomtica dum
analfabetismo matemtico perversamente adaptado a uma sociedade baseada na tecnologia. um caso
anlogo ao de uma chapa sinaltica colocada s portas de Nova York onde se pudesse ler: "Populao
de Nova York: mais de seis", ou, se quiserem, o mesmo que vermos a McDonald's anunciar
orgulhosamente ter vendido mais de cento e vinte hambrgueres.
Exemplos de coleces com um milho de exemplares, um milhar de milho de espcimes, e
assim por diante, deveriam estar sempre mo para uma rpida comparao. Se soubermos que bastam
onze dias e meio para que se passem um milho de segundos, enquanto um milhar de milho de
segundos equivale a quase trinta e dois anos, poderemos compreender melhor as magnitudes relativas

destes dois nmeros mais que vulgares. E o que dizer dos bilies? O Homo sapiens moderno surgiu
provavelmente h dez bilies de segundos, e o subsequente desaparecimento total da verso de
Neanderthal deve ter ocorrido h no mais de um bilio de segundos, mais coisa menos coisa.
Tambm constitui boa prtica estimarmos toda e qualquer quantidade que nos desperte a
curiosidade: quantas bifanas se consomem anualmente em Portugal? Quantas palavras j pronuncimos
em toda a nossa vida? Quantos nomes diferentes de pessoas aparecem por ano no jornal O Pblico?
Quantos nabos cabero dentro da Assembleia de Repblica?
Este tipo de estimativas so, na maioria das vezes, no s fceis de calcular como deveras
sugestivas. Por exemplo qual o volume de sangue humano existente no mundo? O macho adulto
mdio tem cerca de 6.78 litros de sangue; as mulheres adultas tm um pouco menos, e as crianas
consideravelmente menos. Assim, se estimarmos que em mdia cada uma das cerca de 5 milhares de
milho de pessoas tem perto de 4.5 litros de sangue, teremos cerca de 22.5 milhares de milho (
) de litros de sangue em todo o mundo. Como um metro cbico comporta mil litros, h
perto de
metros cbicos de sangue. A raiz cbica de
cerca de 60; assim, todo o
sangue do mundo caberia num cubo com 60 metros de lado! O mar Morto, na fronteira israelo-jordana,
tem uma rea de 1.248 quilmetros quadrados; se se despejasse todo o sangue humano do mundo para
dentro do mar Morto, a camada lquida no ultrapassaria uma espessura de 1.9 centmetros.
A velocidade do Concorde quatrocentas mil vezes superior do caracol. Uma razo ainda
mais impressionante a verificada entre a velocidade com que um computador pessoal adiciona
nmeros de dez algarismos e a rapidez com que os calculadores humanos executam a mesma operao.
Os computadores fazem-na um milho de vezes mais depressa que ns, e no caso dos
supercomputadores essa razo chega a ultrapassar um milhar de milho para um.
O livro do Gnesis diz que, durante o Dilvio, "... todas as montanhas existentes sob os cus
ficaram cobertas...". Se a tomarmos letra, essa informao diz-nos que a inundao colocou entre trs
e seis mil metros de gua sobre a superfcie da Terra, ou seja, o equivalente a mais de um tero de
milhar de milho de quilmetros cbicos de gua! Como, de acordo com o relato bblico, choveu
durante quarenta dias e quarenta noites, ou seja, durante somente 960 horas, a chuva deve ter cado a
um ritmo de pelo menos 4.5 metros por hora... o suficiente para afundar um porta-avies dos mais
modernos, quanto mais uma arca de madeira com milhares de animais a bordo.
2. Arquimedes e os nmeros praticamente infinitos
Os nmeros possuem uma propriedade fundamental que foi buscar o seu nome ao
matemtico grego Arquimedes, e que nos diz que qualquer nmero, por muito grande que seja, pode
ser excedido pela adio quanto baste de nmeros mais pequenos, por muito pequenos que estes sejam.
Apesar de, primeira vista, se tratar de um princpio bvio, as suas consequncias so por vezes
difceis de aceitar.
Os analfabetos matemticos no conseguem aperceber-se daquilo que representa a adio de
pequenas quantidades; so pessoas que as suas pequenas latas de aerossis podem desempenhar um
importante papel na destruio da camada de ozono da atmosfera, ou at que os seus automveis
contribuem decisivamente para o agravamento do problema das chuvas cidas.
O tamanho do universo corresponde mais ou menos - para mais do que para menos - ao de
uma esfera com 40 milhares de milho de anos-luz de dimetro. Se quisermos ser ainda mais
generosos, e no intuito de simplificar ainda mais o clculo, poderemos partir do princpio que se trata
de um cubo com quarenta milhares de milho de anos-luz de aresta. A questo arquimediana colocada
pelo famoso cientista de computadores Donald Knuth a de saber quantos cubos de
centmetros de aresta (um dcimo do tamanho dos protes) caberiam dentro do universo. Um clculo
deveras simples mostra-nos que seriam precisos menos de
. Deste modo, mesmo que um
computador do tamanho do universo tivesse componentes mais pequenas que os protes, conteria
seguramente menos de
dessas peas, e como tal todas as computaes sobre problemas que
requeressem mais componentes no seriam exequveis. Por surpreendente que parea, h muitos
problemas desse tipo, alguns deles mais que vulgares e com real importncia prtica.

Uma unidade de tempo comparativamente pequena o lapso de tempo necessrio para que a
luz - que, como se sabe, se desloca a trezentos mil quilmetros por segundo - atravesse todo o
comprimento de um dos minsculos cubos acima descritos, cujas arestas tm
centmetros.
Admitindo que o universo tem perto de quinze milhares de milho de anos de idade, no difcil de
determinar que s se passaram
dessas unidades de tempo desde o comeo do tempo. Assim
passos (cada um dos quais demorar certamente mais do que a nossa unidade de tempo)
necessita de mais tempo do que a durao total da presente histria deste universo. Uma vez mais, h
numerosos problemas deste tipo.
Imagine, por exemplo, que certo ser humano esfrico e tem perto de um metro de dimetro
(a imagem mais fcil de visualizar se pensar nele como estando agachado); poderemos assim
aperceber-nos de certas comparaes biolgicas assaz reveladoras. Um vrus est para uma pessoa tal
como a pessoa est para a Terra; um tomo est para uma pessoa como essa pessoa est para a rbita de
Terra em redor do Sol; e um proto est para uma pessoa como esta est para a distncia estrela Alfa
de Centauro.
3. O princpio da multiplicao
O chamado princpio da multiplicao no s extraordinariamente simples como muito
importante: diz-nos que, se uma dada escolha pode ser feita de M maneiras diferentes, e se uma
escolha subsequente pode ser feita de N formas diferentes, ento h
maneiras diferentes de se
fazerem essas escolhas em sucesso. assim que, se uma mulher tem cinco blusas e trs saias, ento
ter
escolhas possveis para se vestir.
Mozart escreveu uma valsa em que especificou onze diferentes possibilidades para catorze
dos dezasseis compassos da melodia e duas possibilidade s para um dos outros dois compassos.
Assim, h
proporo.

variaes possveis para esta valsa, das quais s se ouviu at hoje uma minscula

Duma forma geral, as pessoas no conseguem avaliar o quo grandes podem ser estas
coleces aparentemente simples. Em certa ocasio, um jornalista desportivo recomendou que um bom
treinador de futebol devia experimentar todas as combinaes possveis com o seu plantel de vinte e
sete jogadores, para descobrir quais os onze que constituiriam a melhor equipa. Poderemos interpretar
esta sugesto de vrias maneiras, mas em qualquer delas o nmero de jogos to grande que os
jogadores morreriam muito antes de terem podido experimentar todos os arranjos possveis.
Qual a probabilidade de uma pessoa heterossexual contrair sida? Estimou-se j que a
probabilidade de contrair sida num nico episdio heterossexual, tido com um parceiro que se sabe
estar contaminado, de cerca de um para quinhentos (valor mdio obtido da anlise de vrios estudos).
Sendo assim, a probabilidade de no contrair a doena de
. Se estes riscos forem
independentes, como muitos aceitam ser, ento as hipteses de no se ficar contaminado depois de dois
encontros do tipo descrito so iguais a
, e ao fim de N encontros de
. Como
igual a 0.5, h cinquenta por cento de hipteses de no contrairmos a sida se
mantivermos relaes heterossexuais todos os dias durante um ano com uma pessoa contaminada.
Com um preservativo, o risco de contrairmos a doena numa relao heterossexual com
algum que sabemos estar contaminado reduz-se de uma forma dramtica, descendo para uma em
cinco mil ocasies. A manuteno de relaes sexuais dirias com essa pessoa durante dez anos
(partindo do princpio que a vtima sobrevive tanto tempo) levar-nos-a a uma probabilidade de
cinquenta por cento de tambm contrairmos o vrus. Se o estado de sade do seu parceiro for
desconhecido, mas se ele ou ela no fizer parte de um dos chamados grupos de risco conhecidos, ento
a hiptese de contrair a doena num nico episdio no protegido de uma para cinco milhes,
subindo para uma em cinquenta milhes se usar preservativo. Como v, tem muito mais hipteses de
morrer num desastre de automvel ao regressar a casa depois duma aventura dessas.
Para terminar as questes ligadas ao princpio da multiplicao, atente-se ao engenhoso truque
inventado pelo matemtico Von Neumann para resolver uma contenda por moeda ao ar, partindo do
princpio que a moeda pode estar viciada. A moeda lanada ao ar duas vezes; se cair de cara ou de
coroa para cima das duas vezes, novamente lanada duas vezes: se o resultado for cara-coroa, a

disputa decidida a favor da primeira parte, e se o resultado for coroa-cara, vence o segundo oponente.
As probabilidades de estes dois resultados sucederem so iguais, mesmo que a moeda esteja falsificada.
Por exemplo, se a moeda aterrar de cara em 60% das ocasies e coroa em 40% dos lanamentos, a
sequncia cara-coroa tem uma probabilidade de
, e a sequncia coroa-cara tem uma
probabilidade de
.
4. Encontros fortuitos e pseudo cincia
Uma abordagem emprica aos encontros acidentais foi feita pelo psiclogo Stanley Milgrim,
que entregou a cada um dos membros de um grupo escolhido ao acaso um documento e um
"indivduo-alvo" (diferente) a quem o documento deveria ser entregue. As instrues pediam a cada
pessoa que enviasse o documento pessoa sua conhecida que, no seu entender, tivesse mais
probabilidades de conhecer o indivduo-alvo; este pressuposto deveria ser aplicado por todos os
elementos pertencentes cadeia seguida pelo documento, at que por fim o indivduo-alvo fosse
alcanado. Milgrim descobriu que o nmero de elos intermedirios se situava entre os dois e os dez,
sendo cinco o valor mais comum. Este estudo, apesar de emprico, de certa forma contribui para
explicar a forma como os boatos, rumores e anedotas se expandem to rapidamente no seio da
populao.
"Quando lhe perguntaram por que no acreditava em astrologia, lgico R. Smullyan respondeu:
Sou Gmeos e os Gmeos nunca acreditam em astrologia.".
O analfabetismo matemtico e a pseudo cincia andam frequentemente lado a lado, em
parte devido facilidade com que a certeza matemtica pode ser invocada para levar o analfabeto
matemtico a aquiescer com tudo o que lhe quiserem impingir.
verdade que a matemtica pura lida com certezas, mas as suas aplicaes no so melhores
do que os pressupostos empricos, simplificaes e estimativas subjacentes teoria.
At verdades matemticas fundamentais como "os iguais podem ser substitudos por iguais",
ou "um mais um igual a dois" podem ser erradamente aplicadas: um copo de gua mais um copo
cheio de pipocas no igual a dois copos de pipocas empapadas. Da mesma forma, Ronald Regan que
julgava que Copenhaga ficava na Noruega, no concluiu que a capital da Dinamarca ficava na
Noruega, apesar de Copenhaga ser igual a capital da Dinamarca.
A astrologia uma das pseudo cincias mais divulgadas. A astrologia sustenta que a atraco
gravitacional dos planetas no momento do nascimento de cada um de ns tem um efeito marcante sobre
a nossa personalidade. Custa-me a engolir tamanha possibilidade, por duas razes: nunca se detectou, e
muito menos se explicou, qualquer espcie de mecanismo fsico ou neurofisiolgico atravs do qual a
atraco gravitacional (ou qualquer outro tipo de atraco) possa exercer os seus efeitos no ser humano;
e, a fora gravitacional do obstetra encarregado do parto excede largamente a do planeta ou planetas
envolvidos. Querer isto dizer que os indivduos trazidos luz do dia por obstetras gordos possuem
certos traos de personalidade caractersticos, enquanto os bebs auxiliados por obstetras magros
adquirem personalidades diferentes das dos primeiros?
Se assim , ento por que que tanta gente acredita na astrologia? Uma razo bvia a de que
as pessoas, ao lerem as vagas previses astrolgicas publicadas ou anunciadas, interpretam
essencialmente as entrelinhas, a vendo invariavelmente algo que desejam ver concretizar-se,
conferindo-lhes assim uma autoridade que nada tem a ver com as previses em si. Alm disso, tm a
tendncia para se recordarem de "previses" verdadeiras, para sobre valorizarem as coincidncias e,
acima de tudo, para ignorarem tudo o resto.
5. Probabilidades condicionadas
Muitos erros de raciocnio mais mundanos podem ser atribudos ou justificados por uma
compreenso incompleta das probabilidades condicionadas. A no ser que os acontecimentos A e B
sejam independentes, a probabilidade de A diferente da de A desde que B tenha ocorrido.
Um amigo meu que tinha pavor em andar de avio com medo dos piratas do ar dizia que
quando embarcava levava sempre uma bomba consigo pois, mesmo que a probabilidade de haver uma
pessoa a bordo com bomba poder ser considervel, a de haver duas praticamente nula.

Antes de passar a assuntos mais srios, gostaria de mencionar mais uma artimanha que
resulta devido confuso existente acerca das probabilidades condicionadas. Imagine um homem com
trs cartas na mo; uma preta dos dois lados, outra vermelha dos dois lados, e a terceira preta de
um lado e vermelha do outro. O homem mete as cartas dentro de um chapu e pede-lhe que tire uma,
com a condio de s olhar para um dos lados da carta. Partamos do princpio que esse lado
vermelho. O homem repara imediatamente que a carta que voc tirou no pode ser a que preta dos
dois lados, e portanto ter que ser uma das outras duas: a vermelha/vermelha ou a vermelha/preta.
Nesse momento, o jogador propem-lhe apostar em como a carta escolhida a vermelha/vermelha.
Acha que tem alguma hiptese de ganhar?
Assim parece primeira vista. S h duas cartas possveis; ele est a apostar numa, voc
aposta naturalmente na outra. Contudo, o homem tem sempre duas hipteses de ganhar, enquanto voc
s tem uma. O lado visvel da carta que voc tirou pode ser o lado vermelho da carta vermelha/preta,
caso em que a vitria sua, ou pode ser um qualquer dos lados da carta vermelha/vermelha, caso em
que ganha o apostador; ou pode ser o outro lado da carta vermelha/vermelha, caso em que tambm
ganha o apostador. As hipteses do homem so portanto iguais a . A probabilidade condicionada da
carta ser vermelha/vermelha, atendendo a que no preta/preta, igual a 0.5, mas o importante que
no esse o caso. Com efeito, sabemos mais qualquer coisa alm do facto da carta no ser a
preta/preta; sabemos que o lado visvel vermelho.
Uma interessante abordagem do conceito de probabilidade condicionada conhecida como
teorema de Bayes, demonstrado pela primeira vez no sc. XVIII por Thomas Bayes. Este teorema
serve de fundamento ao inesperado desfecho que veremos a seguir, e tem importantes implicaes no
despiste da sida ou das drogas.
Parta do princpio de que foi descoberto um teste de despiste do cancro com 98% de
hipteses se acertar; por outras palavras, se um indivduo tiver um cancro, o teste resultar positivo em
98% das ocasies, e se no tiver nada, o teste ser negativo em 98% das vezes (lembremo-nos do caso
do teste Abbott para a sida). Assuma ainda como certo que 0.5% - uma em cada 200 pessoas - sofre
efectivamente de cancro. Agora, imagine que se submeteu ao teste e que o seu mdico o informa,
contristado, que o resultado positivo. A questo a seguinte: at que ponto deve voc ficar
deprimido? A resposta deveras surpreendente: na verdade, voc tem razes para ficar
moderadamente optimista. Para descobrirmos o porqu desta afirmao, vejamos quais so as
probabilidades condicionadas de voc ter um cancro, partindo do princpio de que o teste resultou
positivo.
Imagine que so efectuados dez mil testes de despiste do cancro. Destes, quantos resultaro
positivos? Em mdia, cinquenta dessas dez mil pessoas (0.5% de 10000) tero uma doena oncolgica;
como em 98% delas o teste ser positivo, teremos 49 testes positivos. Das 9950 pessoas sem cancro,
2% tero os seus testes positivos, num total de 199 testes positivos (
). Portanto, num
total de 248 testes positivos (
), a grande maioria so falsos positivos, e, como tal, a
probabilidade condicionada de termos um cancro, mesmo que o nosso teste resulte positivo, de
somente
, ou seja, perto de 20%! (Esta percentagem relativamente baixa ter de ser
confrontada com a probabilidade condicionada de termos mesmo um cancro desde que o teste resulte
positivo, o que por princpio verdadeiro em 98% dos casos.).
6. Numerologia
Menos preocupante que os testes de despiste de doenas graves a numerologia. Trata-se de
uma prtica vinda da noite dos tempos, comum a vrias sociedades medievais e da antiguidade, e
implica a atribuio de valores numricos s letras, com a consequente leitura de certos significados na
igualdade numrica resultante da anlise de palavras e frases.
Os msticos cristos, por exemplo, devotaram muito esforo decifrao do nmero 666,
considerado pelo apstolo Joo como o nmero representativo da Besta do Apocalipse - o anticristo.
Mais perto de ns, a extrema direita fundamentalista americana chegou a observar que cada palavra do
nome Ronald Wilson Reagan tem seis letras...

O porqu do analfabetismo matemtico

1. Revivendo velhos analfabetismos
Porque ser que o analfabetismo matemtico est to difundido, mesmo entre pessoas cultas?
Se quisermos simplificar a questo, poderemos atribuir culpas m educao, a bloqueamentos
psicolgicos e a preconceitos romnticos sobre a natureza da matemtica.
Para comear, no nos podemos iludir, o ensino bsico da matemtica , na maior partes das
vezes de muito fraco nvel. muito raro vermos uma escola integrar problemas aritmticos noutras
disciplinas ou temas - "quanto?", "at onde?", "h quanto tempo?", "quantos foram?", so questes que
raramente so colocadas aos alunos. Os alunos mais velhos receiam os problemas verbais, em parte,
porque nunca lhes pediram para tentar descobrir as solues quantitativas de problemas de nvel
elementar.
Tambm no muito vulgar ensinar-se a estimar. No se pede aos alunos das escolas
secundrias que estimem qual a quantidade de tijolos duma das paredes do edifcio onde tm aulas, ou
qual a velocidade do campeo de 100 metros da escola, ou qual a percentagem de alunos da escola com
pais carecas, ou o rcio entre o dimetro da cabea de cada um e a sua altura, ou quantas moedas de um
escudo sero necessrias para construir uma torre da altura da Torre Eifel, ou quantas dessas mesmas
moedas cabero dentro da sala de aula.
Quebra-cabeas, jogos e adivinhas coisa que nunca entra nas salas de aula - em muitos
casos, penso eu, porque se assim fosse os adolescentes venceriam sem dificuldade os seus professores.
Referncias interessantes so, sem dvida, as obras de Martin Gardner, e os clssicos How to Solve it e
Mathematics and Plausible Reading, ambos de George Polya.
Do lado oposto temos os compndios escolares. Debruam-se, por exemplo, sobre o facto de a
adio ser uma operao dita associativa, j que
, mas raro abordarem
operaes que no sejam associativas, de modo que a definio surge-nos como, no mnimo,
desnecessria.
Nada mais lgico do que pensarmos que, a este nvel, os programas de computador seriam
inestimveis para ajudar a ensinar as bases da matemtica e as suas aplicaes. No entanto, no
conheo nenhum software que oferea uma abordagem integrada, coerente e eficaz da aritmtica e das
suas aplicaes prticas.
Parte da culpa deste estado de coisas ter em ltima anlise de ser assacada a professores
pouco capazes, as mais das vezes pouco interessados na matemtica. Por outro lado, devemos tambm
censurar, em minha opinio, as escolas superiores de educao, cujos cursos tambm no conferem
grande importncia matemtica. Se os programas de matemtica do ensino bsico, secundrio e
universitrio ensinassem os aspectos divertidos da matemtica, o que poderia ser complementado com
a recomendao de livros especializados de divulgao, suponho que o analfabetismo matemtico no
estaria to generalizado como presentemente est.
2. O ensino da matemtica
Quando os alunos chegam ao ensino secundrio, o problema da competncia dos professores
torna-se mais agudo. Hoje em dia, so tantos os elementos oriundos do limitado grupo de pessoas com
talento matemtico a trabalharem na indstria de computadores, nos bancos ou em campos afins que s
substanciais suplementos salariais atribudos aos professores de matemtica do ensino secundrio
podero evitar que a situao nas escolas resvale para o descalabro. No p em que as coisas esto, os
elementos bsicos da cultura matemtica no est, na grande maioria dos casos, a ser transmitida aos
nossos alunos.
Para alm da compreenso da lgebra, geometria e geometria analtica, os alunos do
secundrio deveriam contactar com alguns dos mais importantes conceitos da chamada matemtica
finita. A anlise combinatria, a teoria dos grafos, a teoria dos jogos e, muito em especial, a teoria das
probabilidades, so temas cuja importncia cada vez mais marcante.

A escola secundria proporciona-nos a melhor ocasio para contactar efectivamente com os

alunos. Quando passarem para a universidade, muito difcil chegarmos queles a quem faltam bases
suficientes de lgebra e de geometria analtica. Mesmo aqueles com conhecimentos matemticos
suficientes, s muito raramente se apercebem da extenso crescente de outros assuntos que tm vindo a
ser "matematizados" preferindo optar por cursos em que a matemtica lhes ocupe o menor tempo
possvel.
Excluindo certos autores de compndios, s uma mo-cheia de escritores especializados em
matemtica conseguem ter uma audincia de leigos superior a mil. Atendendo a esta lamentvel
situao, no ser de estranhar que muitas pessoas cultas estejam familiarizadas com Shakespeare,
Dante, Goethe ou Cames, mas confessem abertamente a sua ignorncia quanto a Gauss, Euler,
Laplace ou Cauchy. (Newton no conta, pois muito mais conhecido pelas suas contribuies para a
Fsica do que pela sua inveno do clculo.).
Se a matemtica importante, ento o ensino da matemtica tambm o . Os matemticos que
desdenham comunicar os seus conhecimentos a uma larga audincia comportam-se um pouco como
aqueles milionrios que no contribuem para as obras de assistncia social.
Resumindo e concluindo, h uma bvia ligao entre o analfabetismo matemtico e a escassa
educao ministrada grande maioria das pessoas. Mesmo assim a coisa no se fica por aqui, j que
muito boa gente com conhecimentos matemticos superiores mdia no se caracteriza por uma
educao formal tal como a concebemos. Em matemtica, os factores psicolgicos so muito mais
debilitantes que a educao defeituosa ou insuficiente.
3. Questes psicolgicas
Considere a seguinte situao. Carla tem 33 anos, solteira e muito decidida. Licenciada com
boas classificaes, fez o mestrado em cincias polticas e envolveu-se a fundo nas actividades sociais
da universidade, em especial nas questes de descriminao e anti-nuclear. Diga qual das seguintes
declaraes mais plausvel:
(i) Carla trabalha como caixa num banco;
(ii) Carla trabalha como caixa num banco e activista do movimento de libertao das
mulheres.
Muitas pessoas encaram a resposta (ii) como a mais representativa de algum com o passado
de Carla, preferindo-a em detrimento da resposta (i).
Na sua fascinante obra Judgement under Uncertainty, os psiclogos Tvesky e Kahneman
descrevem uma variedade diferente do analfabetismo matemtico aparentemente irracional e que
caracteriza muitas das nossas decises mais importantes. Os autores colocam s pessoas a seguinte
situao: escolha entre trinta mil contos certos ou oitenta por cento de hipteses de ganhar quarenta
mil, com vinte por cento de hipteses de no ganhar nada. A maioria das pessoas prefere os trinta mil
certos, mesmo que o lucro mdio provvel na segunda opo seja de trinta e oito mil contos (
). Se a escolha recair, no entanto, entre uma perda segura de trinta mil ou oitenta
por cento de perder quarenta mil contos e vinte por cento de hipteses de no perder nada, a maioria
das pessoas prefere arriscar-se a perder os quarenta mil, pois tem a hiptese de evitar qualquer perda,
mesmo que o prejuzo mdio provvel da ltima opo seja de trinta e oito mil contos.
4. Ansiedade matemtica
Uma das causas mais comuns do analfabetismo matemtico, ainda mais vulgar que as iluses
psicolgicas, aquilo que Sheila Tobias denomina ansiedade matemtica. Aparentemente, as pessoas
que sofrem de ansiedade matemtica, no possuem referncias e no conseguem aperceber-se dos
fundamentos do raciocnio matemtico. Tm medo. Foram no s intimidadas por professores severos
e muitas vezes sexistas como por outras pessoas que sofriam de ansiedade matemtica. Julgam que h
mentes matemticas e outras no matemticas; as primeiras descobrem instantaneamente as solues,
enquanto as segundas nunca conseguem chegar ao fim, por muito que se esforcem.
Obviamente, todos estes preconceitos constituem um formidvel bloqueio ao alfabetismo
matemtico; felizmente, na maior parte dos casos, o problema pode ser corrigido. Uma tcnica simples,

mas que costuma dar bons resultados, consiste em explicar claramente o problema a outra pessoa. Mas
h outras tcnicas: examinar problemas semelhantes mas mais simples ou mais genricos; coligir
informaes pertinentes para o caso; raciocinar "para trs", partindo de uma soluo conhecida;
desenhar esquemas e diagramas; comparar o problema, ou parte dele, a problemas que tenhamos
compreendido bem; e, acima de tudo, estudar tantos exemplos quanto nos for possvel, procurando
variar de tema e de grau de complexidade.
Muito diferente da ansiedade matemtica, e muito mais difcil de abordar, a preocupante
letargia intelectual que afecta um pequeno mas crescente nmero de alunos, to falhos de disciplina
ou motivao mental que nada parece entrar-lhes nas cabeas. O que fazer com alunos indiferentes a
tudo, aparentemente incapazes de focar uma parte que seja das suas energias em temas intelectuais?
Estou a imaginar o professor a conversar com um desses alunos: "A resposta no est em X, mas sim
em Y, s que tu esqueceste-te de tomar esse aspecto em considerao." O aluno fita-o com um olhar
amorfo e responde com um bocejo: "E depois?". , na verdade, um problema muitssimo mais srio e
preocupante que o da ansiedade matemtica.
Referncias
1. Paulos, John Allen, Inumerismo: o Analfabetismo Matemtico e as suas Consequncias, Publicaes
Europa-Amrica, Mem Martins, 1988.

10

O nome dos grandes nmeros (

N
1
2
3
4
6
9
12
15
18
21
24
...
100

Nome
dez
cem
mil
mirade
milho
milhar de milho
bilio
milhar de bilio
trilio
milhar de trilio
quatrelio
gogol

11

Prefixo
deca
hecto
kilo
miri
mega
giga
tera
peta
exa
zeta
iota

12

CAPTULO 2. O INFINITO
A evoluo do conceito de nmero
1. Sentido de nmero
O homem, ainda mesmo nas fases mais iniciais da sua evoluo, possui uma faculdade, a que,
falta de melhor nome, chamarei sentido de nmero. Esta faculdade permite-nos reconhecer que
alguma coisa mudou numa pequena coleco quando, sem o seu conhecimento directo, se retirou ou
aumentou um objecto a essa coleco. No se deve confundir sentido de nmero com a operao de
contagem que provavelmente nasceu numa fase muito mais avanada e que envolve, como veremos,
um processo mental complicado.
Entre outros animais, parecem algumas aves possuir tal sentido de nmero. De um ninho que
contm quatro ovos, pode retirar-se um sem que haja reaco aparente, mas se subtrarem dois,
normalmente, os pais rejeitam a postura. Por qualquer processo indiscernvel, a ave pode assim
distinguir dois de trs. Mas esta faculdade no de modo algum exclusiva das ave. O mais flagrante
dos casos conhecidos o que se passa com um insecto: a "vespa solitria". A vespa me pe os ovos
em clulas individuais e prov cada um dos ovos com um nmero determinado de lagartas vivas que
vo servir de alimento s futuras vespas aps o termo da incubao. O que h de mais particular no
fenmeno o nmero de vtimas ser constante para cada espcie de vespa: certas espcies fazem um
abastecimento de 5, outras de 12, e ainda outras chegam a atingir o nmero de 24 lagartas por clula.
A invariabilidade da aco da vespa e o facto dessa aco se ligar a uma funo fundamental
da vida do insecto, tornam este caso menos convincente que o seguinte. Aqui, a atitude do animal
parece atingir o limite da aco consciente.
Um proprietrio tinha resolvido matar um corvo que fizera um ninho na torre de vigia dos
seus domnios. Tentou repetidamente surpreender o animal, mas sempre em vo: o corvo deixava o
ninho logo que o homem se aproximava e, empoleirado numa rvore distante, aguardava atentamente
que o homem abandonasse a torre para, s ento, regressar ao ninho. O proprietrio recorreu ento a
um estratagema: entraram dois homens na torre, um deles conservou-se l dentro e o outro voltou a sair
e afastou-se. Mas a ave no se deixou enganar: manteve-se distncia enquanto o segundo homem no
saiu. Repetiu-se a experincia nos dias seguintes com dois, trs e at quatro homens, sempre sem xito.
Por fim fez-se a tentativa com cinco homens: tal como antes, entraram todos na torre, e ficou ali um
enquanto os outros quatro saram e se afastaram. Desta vez o corvo perdeu-lhes a conta. Incapaz de
distinguir entre quatro e cinco, regressou ao ninho.
2. A gnese
Contra estas provas podem levantar-se duas objeces. A primeira que as espcies animais
que possuem tal sentido do nmero so pouqussimas e no se encontrou essa faculdade entre os
mamferos, dela carecendo os prprios macacos. A segunda que, em todos os casos conhecidos, o
sentido de nmero dos animais tem um interesse to limitado que se pode considerar sem interesse.
Na realidade, o primeiro ponto tem toda a razo de ser. , sem dvida, um facto a considerar
que a faculdade da percepo do nmero, numa forma ou noutra, parece exclusiva de alguns insectos e
aves e do homem.
A segunda objeco de reduzido valor, uma vez que tambm o alcance do sentido de nmero
no homem muito limitado. Em todos os casos reais em que o homem civilizado chamado a
distinguir nmeros, consciente ou inconscientemente ele auxilia o seu sentido directo de nmero por
processos tais como a comparao de disposies simtricas, ou agrupamento e contagem mentais. Em
especial a contagem tornou-se de tal forma parte integrante da nossa bagagem mental que os testes
psicolgicos realizados sobre a percepo numrica esbarram sempre com dificuldades extremas.
Curr, que efectuou um completo estudo da Austrlia primitiva, afirma que entre os nativos, s
poucos conseguem distinguir quatro e nenhum australiano no estado tribal consegue distinguir sete. Os
bosqumanos da frica do Sul no tm, na sua lngua, outros numerais alm do um, dois e vrios, e
mesmo estes so to mal definidos que lcito perguntar se os nativos lhe atribuem um significado
especfico.

13

No temos razes para crer, temos at muitas para duvidar, que os nossos antecessores
remotos estivessem mais bem habilitados, dado que, praticamente, todas as lnguas europeias
apresentam vestgios de tais limitaes ancestrais. O termo ingls thrice, tal como o latino ter, tem o
duplo significado: trs vezes e vrios. H uma relao plausvel entre o latino tres, trs, e trans, para
alm; o mesmo se pode dizer do francs trs, muito, e troi, trs.
A gnese dos nmeros perde-se na bruma impenetrvel das idades pr-histricas. Teria o
conceito nascido da experincia ou teria a experincia servido simplesmente para tornar explcito o que
j se encontrava latente na mente primitiva? Aqui est um assunto fascinante para a especulao
filosfica...
O ncleo a partir do qual se desenvolveu o conceito de nmero foi um sentido de nmero
rudimentar no mais extenso em alcance que o possudo pelos pssaros. E pouca dvida resta de que,
circunscrito sua percepo directa do nmero, o homem pouco teria avanado, em relao s aves, na
arte de calcular. Mas, graas a uma srie de circunstncias notveis, o homem aprendeu a auxiliar a sua
extremamente limitada percepo do nmero lanando mo de um artifcio que se destinava a exercer
uma influncia tremenda na sua vida futura. Esse artifcio a contagem, e contagem que se deve o
extraordinrio progresso feito na expresso do nosso universo por meio de nmeros.
3. Nmero cardinal
H algumas lnguas primitivas que tm palavras para designar cada cor do arco-ris mas no
tm nenhuma que signifique cor; outras h em que existem todos os numerais mas em que falta uma
palavra que exprima nmero.
O concreto precede o abstracto. "Muitas eras devem ter passado", diz Bertrand Russel, "antes
que se descobrisse que um casal de faises e um par de dias eram ambos ocorrncias de nmero dois."
Presentemente temos j umas tantas formas de exprimir a ideia do nmero dois: par, parelha, junta,
casal, par, etc.
Foi a contagem que consolidou a ideia de pluralidade concreta, e portanto heterognea, to
caracterstica do homem primitivo, num conceito abstracto e homogneo do nmero, que tornou
possvel a matemtica.
No entanto, por estranho que parea, possvel chegar-se a um conceito de nmero, lgico,
definido, sem se recorrer ao artifcio da contagem.
Entremos num auditrio. Temos na nossa frente duas coleces: as cadeiras da sala e a
assistncia. Sem contar, poderemos concluir se as duas coleces so iguais e, se o no forem, qual
delas a maior. Chegamos a esta concluso por um processo que domina toda a matemtica e que
recebeu o nome de correspondncia unvoca. Consiste em fazer corresponder a cada objecto de uma
coleco um objecto da outra, continuando o processo at que uma delas, ou ambas, se esgotem.
A tcnica numrica de vrios povos primitivos limita-se justamente a tal processo de
comparao ou correspondncia. Esses povos conservam um registo dos seus rebanhos e exrcitos por
meio de entalhes cortados numa rvore ou de seixos juntos num monte. O facto dos nossos
antepassados adoptarem tais mtodos evidenciado, por exemplo, pela etimologia das palavras
inglesas tally e calculate (ambas significam calcular), que derivam as duas do latim, sendo a raiz da
primeira talea, corte, e a da segunda calculus, pedrinha, seixo.
Pode parecer, a princpio, que o processo de correspondncia apenas faculta um meio de
comparar as duas coleces e incapaz de originar o nmero no sentido absoluto da palavra. Mas a
transio do nmero relativo para o absoluto no difcil. Basta que para isso se criem coleces
padro, representando, cada uma delas, uma coleco possvel.
O homem primitivo encontra tais padres no ambiente que o cerca: as asas de uma ave podem
simbolizar o nmero dois, as folhas de um trevo trs, as pernas de um animal quatro, os dedos da
prpria mo cinco. evidente que, uma vez criado e adoptado o numeral, este se torna um padro to
vlido quanto o era o objecto que originariamente representava. A necessidade de distinguir o nome do
objecto do nome do smbolo numrico ter levado a introduzir diferenas nos sons at se perder de
memria, com o decorrer do tempo, a prpria ligao entre os dois.

14

4. Nmero ordinal
O conceito acabado de expor chama-se nmero cardinal. O nmero cardinal assenta no
princpio da correspondncia: no implica contagem. Para criar um processo de contagem no basta ter
uma sortida corte de padres, por muito numerosa que ela seja. Temos que estabelecer um sistema
numrico: o nosso conjunto de padres tem de ser arranjado segundo uma sequncia ordenada, uma
sequncia que progrida no sentido de grandezas crescentes, a sequncia natural: um, dois, trs, ... Uma
vez estabelecido tal sistema, contar uma coleco significa atribuir a cada um dos seus membros um
termo da sequncia natural em sucesso ordenada at se esgotar a coleco. O termo da sequncia
natural atribudo ao ltimo membro da coleco chama-se nmero ordinal da coleco.
Ns aprendemos a passar do nmero cardinal para o ordinal com tanta facilidade que as duas
formas parecem confundir-se. Para determinar a pluralidade de uma coleco, isto , o seu nmero
cardinal, j no precisamos de arranjar uma coleco padro com a qual a possamos comparar contamo-la. E ao facto de termos aprendido a identificar os dois aspectos do nmero que se deve o
nosso progresso no campo das matemticas, porque, embora na prtica estejamos interessados no
nmero cardinal, este incapaz de originar uma aritmtica. As operaes da aritmtica baseiam-se na
assuno tcita de que sempre possvel passar-se de qualquer nmero para o seu sucessor, e esta a
essncia do conceito de ordinal.
A comparao tambm, por si s, incapaz de originar uma arte de calcular. Sem a nossa
aptido para dispor coisas segundo uma sucesso ordenada, poucos progressos se teriam feito.
Correspondncia e sucesso, os dois princpios que informam toda a matemtica - ou antes, todos os
domnios do pensamento cientfico - esto entretecidos na prpria urdidura do nosso sistema numrico.
5. Contagem digital
natural, neste momento, perguntar se esta subtil distino entre nmero cardinal e ordinal
ter desempenhado qualquer papel nas fases remotas do conceito de nmero. -se tentado a admitir que
o nmero cardinal, baseado apenas na comparao, tenha precedido o ordinal que implica tanto a
comparao como a ordenao. No entanto, as mais cuidadosas investigaes no revelam tal
precedncia. Onde quer que exista qualquer forma de tcnica numrica, encontram-se os dois aspectos
do nmero.
Mas, tambm, onde quer que exista qualquer forma de tcnica de contagem digna desse nome,
verifica-se que a contagem digital a precede ou a acompanha. Nos seus dedos, possui o homem um
dispositivo que lha permite passar imperceptivelmente do nmero ordinal para o cardinal. Queira ele
indicar que uma dada coleco contm quatro objectos, bastar-lhe- levantar ou baixar quatro dedos
simultaneamente; queira ela contar essa mesma coleco, s ter que levantar ou baixar esses dedos
sucessivamente. Encontram-se praticamente em todas as lnguas primitivas vestgios inconfundveis
dessa contagem.
E, no entanto, muito embora os nossos filhos continuem a aprender a contar pelos dedos e ns
ainda por vezes recorramos a eles para sublinhar o que dizemos, a arte de contagem digital perdeu-se
entre os povos civilizados modernos. O advento da escrita, a numerao simplificada, a generalizao
do ensino, tornaram essa arte obsoleta e suprflua e, em tais circunstncias, somos naturalmente
levados a esquecer o papel desempenhado pela contagem digital na histria do clculo. Ainda h bem
poucas centenas de anos a contagem digital era um hbito de tal modo difundido na Europa Ocidental
que nenhum manual de aritmtica se podia considerar completo sem apresentar uma exposio
detalhada sobre tal mtodo.
A arte de utilizar os dedos para contar e realizar operaes aritmticas simples era ento uma
das prendas do homem educado. Ainda hoje os camponeses do centro da Frana (Auvergne) utilizam
um mtodo curioso para multiplicar pelos dedos nmeros superiores a 5. Se algum pretende
multiplicar
, dobra 4 dedos da mo esquerda (
) e 3 dedos da mo direita (
). O
nmero de dedos dobrados d-lhe ento as dezenas do resultado (
), e o produto dos dedos
estendidos em cada mo d-lhe as unidades (
).

15

6. Influncias fisiolgicas
Que idade tem a nossa linguagem numrica? impossvel indicar a poca exacta em que
surgiram os numerais, mas h provas inegveis de que ela precedeu de vrios milhares de anos a
histria da escrita. Um dos argumentos j por ns foi mencionado: todos os vestgios do significado
original dos numerais nas lnguas indo-europeias, com a possvel excepo de cinco (mo: compare-se
o russo "piat", cinco, com "piast", mo estendida; ou o snscrito "pantcha" com o seu parente persa
"pentca", mo), perderam-se. E isto particularmente notvel, uma vez que, como regra, os numerais
gozam de extraordinria estabilidade. Enquanto o tempo introduziu profundas modificaes nos
restantes aspectos das lnguas, o vocabulrio dos numerais permaneceu praticamente intacto. A relao
entre os numerais e os objectos concretos perdeu-se precisamente devido a este facto.
No que se refere estrutura da linguagem numrica, as pesquisas filolgicas revelam uma
uniformidade universal. Os dez dedos do homem deixaram uma marca indelvel.
Com efeito, a influncia dos nossos dez dedos na "escolha" da base do sistema numrico no
uma suposio errnea. Em todas as lnguas indo-europeias, tal como na semtica, na monglica e na
maioria das lnguas primitivas, a base de numerao dez, isto , existem numerais independentes at
dez, a partir do qual se utiliza um processo de composio qualquer at se atingir 100. Todas essas
lnguas tm nomes independentes para 100 e 1000 e algumas tm tambm nomes para mais altas
unidades decimais.
7. Bases de numerao no decimais
certo que alm do sistema decimal se encontram razoavelmente difundidas duas outras
bases, mas o seu carcter confirma de modo notvel a natureza antropomrfica da nossa forma de
contagem. Esses dois sistemas so o quinrio, da base 5 (caso do sistema romano), e o vigesimal, de
base 20. Reminescncias deste ltimo sistema ainda se encontram na lngua francesa - vingt (20);
quatre-vingt (80) - e na lngua inglesa - score (20); two-score (40).
Encontra-se entre as mais primitivas tribos da Austrlia e da frica um sistema de numerao
cuja base no nenhum dos nmeros 5, 10 ou 20. o sistema binrio, isto , que tem por base dois.
Aqueles seres ainda no atingiram a fase da contagem digital. Tm numerais para um e dois e nmeros
compostos at seis. Para alm do seis o nmero designa-se por "muitos".
Curr, que j tivemos ocasio de citar a propsito das tribos australianas, afirma que a grande
maioria deles conta por pares. E, na verdade, esse hbito est to arreigado no nativo que ele raramente
descobre que, de um grupo de sete alfinetes, se retiraram dois; mas, em contrapartida, se se retirar um
descobre-o imediatamente. O sentido de paridade nele mais forte que o sentido de nmero.
Por curioso que parea, esta base de numerao, a mais primitiva de todas, teve em tempos
relativamente recentes um eminente defensor, nada menos que na pessoa de Leibniz. Uma numerao
binria requer apenas dois smbolos, 0 e 1, a partir dos quais se exprimem todos os outros nmeros. As
vantagens da base dois so a economia de smbolos e uma tremenda simplicidade das operaes.
Repare-se que, no sistema binrio a tabuada da adio e da multiplicao se resume a
e
, enquanto no sistema decimal tem 100 entradas. Esta vantagem porm mais que anulada
pela falta de compacidade do sistema: o nmero decimal 4096=
seria expresso no sistema binrio
por 1000000000000. Foi a elegncia mstica do sistema binrio que levou Leibniz a exclamar:
Omnibus ex nihilo ducendis sufficit unum (Um bastante para formar tudo a partir do nada).
8. O homem como medida de todas as coisas
A adopo do sistema decimal, pelo homem, um acidente fisiolgico. Excluda a sua
vantagem fisiolgica, a base decimal pouco tem que a recomende. Quase qualquer outra, com possvel
excepo de nove, teria sido to boa e mesmo, provavelmente, melhor. Na verdade, se a escolha
houvesse sido obra de um grupo de peritos, teramos assistido, possivelmente, a um conflito entre o
homem prtico, que pugnaria por uma base com o maior nmero de divisores, como o caso do doze, e
o matemtico que pretenderia um nmero primo, como sete ou onze.

16

J nos finais do sculo XVIII o grande naturalista Buffon props, efectivamente, a adopo
universal do sistema de numerao duodecimal (base doze), fazendo notar que doze tem quatro
divisores, enquanto dez tem apenas dois, e afirmando que esta insuficincia do nosso sistema decimal
se fizera sentir de forma to notvel ao longo dos sculos que, a despeito da adopo universal da base
dez, a grande maioria das medidas tinha uma diviso secundria duodecimal. Em contrapartida, o
grande matemtico Lagrange afirmava ser muito mais vantajosa uma base prima.
Nesta nossa poca, em que os processos de clculo ultrapassaram largamente a aritmtica
mental, j ningum tomaria a srio qualquer daquelas propostas. As vantagens obtidas seriam to
modestas, e to arreigada a tradio de contar por dezenas, que a ideia parece ridcula.
Do ponto de vista da histria da cultura, uma mudana de base, ainda que exequvel, seria
grandemente indesejvel. Enquanto o homem contar por dezenas, os seus dez dedos lembrar-lhe-o a
origem humana desta fase extraordinariamente importante da sua evoluo mental, e o sistema decimal
pode assim construir um testemunho vivo da tese: o homem a medida de todas as coisas.

A coluna vazia
1. Origens da numerao
A numerao provavelmente to antiga como a propriedade privada. No h razes para
duvidar que tenha nascido do humano desejo de conservar um registo das suas cabeas de gado ou de
quaisquer outros bens. Cortes num pau, riscos em pedras, marcas no barro - so estas as formas mais
remotas da inteno de registar nmeros por meio de smbolos escritos. A numerao pelo menos to
velha como a linguagem escrita e h mesmo provas de que a precedeu.
Os mais velhos registos que revelam o uso sistemtico dos numerais escritos so os dos
antigos sumrios e egpcios, os quais datam aproximadamente da mesma poca, ao redor de 3500 a.C..
O seu exame chama-nos logo a ateno para a semelhana dos processos usados. possvel, sem
dvida, que tenha havido qualquer comunicao entre os dois povos, a despeito da distncia que os
separava, mas mais verosmil que ambos tenham estabelecido os seus sistemas de numerao ao
longo das linhas de menor resistncia, quer dizer que as numeraes outra coisa no fossem seno uma
consequncia do processo natural de marcar.
Na realidade, quer se trate dos numerais cuneiformes dos velhos babilnios, dos hierglifos
dos papiros egpcios, ou dos smbolos exticos dos primitivos escritos chineses, todos tm em comum
um inconfundvel princpio cardinal. Os numerais at nove so meros agregados de traos. Para alm
do nove utiliza-se o mesmo princpio, representando-se por smbolos especiais as unidades de classe
mais alta, como as centenas, os milhares, etc.
2. Numerao ordinal vesus numerao cardinal
Oposta a este carcter puramente cardinal dos registos a numerao ordinal em que os
nmeros so representados pelas letras do alfabeto por ordem da sua sucesso falada.
O mais antigo exemplo deste processo o da numerao fencia, nascida da necessidade,
resultante da complexidade de um comrcio crescente, de um sistema numrico compacto. A origem
fencia das numeraes hebraica e grega indiscutvel: adoptou-se o sistema fencio, em bloco,
juntamente com o alfabeto e at os sons das letras se mantiveram.
Pelo contrrio, a numerao romana, que sobreviveu at aos nossos dias, constitui um retorno
aos mtodos cardinais anteriores. Nota-se, no entanto, uma certa influncia grega nos smbolos literais
adoptados para certas unidades, como X para dez, C para cem, M para mil.
A evoluo das numeraes da antiguidade atingiu a sua expresso final no sistema ordinal
dos gregos e no sistema cardinal romano. Qual dos dois era superior? A pergunta teria interesse se o
nico objectivo de um sistema numrico fosse o registo compacto das quantidades expressas. Mas este
no o problema fundamental. Bem mais importante a questo: como se prestava o sistema s
operaes aritmticas e qual o grau de facilidade que ele conferia ao clculo?

17

Quanto a isto, no seria fcil a escolha entre os dois mtodos porque nenhum deles era capaz
de servir de base a uma aritmtica que pudesse ser utilizada por um homem de inteligncia mdia.
essa a razo por que, desde o alvoroar da histria at ao advento da nossa numerao moderna, to
limitado processo sofreu a arte de calcular.
Ainda hoje subsiste a ideia de que a habilidade matemtica se revela na rapidez de clculo.
"Com que ento s bom matemtico? ptimo, nesse caso no deves ter dificuldades com o teu IRS!"
Qual o matemtico que durante a sua carreira no ouviu isto pelo menos uma vez? Mas naquela
pergunta h ironia inconsciente: no esto quase todos os matemticos bem livres de dificuldades
resultantes de grandes rendimentos?
Chegou at ns uma histria, para a qual no se conseguiu ainda obter confirmao, mas que
caracterstica da situao da poca que no resisto tentao de a contar. Segundo ela, um mercador
alemo do sc. XV tinha um filho a quem desejava dar uma preparao comercial adiantada e pediu
conselho a um prestigioso professor universitrio sobre a escola para onde o devia mandar estudar.
Respondeu-lhe o professor que, se as necessidades correntes do rapaz se limitassem soma e
subtraco, talvez conseguisse instruir-se numa universidade alem; mas a Itlia, onde a arte de
multiplicar e dividir estava grandemente avanada, era, na sua opinio, o nico pas em que tal
instruo superior se poderia adquirir.
Com efeito, a multiplicao e a diviso praticadas nessa poca pouco tinham de comum com
as modernas operaes conhecidas pelo mesmo nome. A multiplicao era uma sucesso de
duplicaes e a diviso reduzia-se a mediaes, que dizer a sucessivas divises a metade. A descoberta
da moderna numerao de posio removeu os principais obstculos e tornou a aritmtica acessvel a
qualquer mente, mesmo mais obtusa.
3. O baco
As crescentes complexidades da vida, indstria e comrcio, da propriedade rural e da
escravatura, dos sistemas tributrios e da organizao militar, tudo exigia clculos mais ou menos
complicados, mas, em qualquer caso, para alm das possibilidades da tcnica digital. A numerao
rgida, dificilmente manejvel, era incapaz de corresponder s necessidades. Como pde o homem
resolver estas dificuldades, durante os cinco mil anos da sua vida civilizada que antecederam a
numerao moderna?
Um precioso instrumento de contagem o chamado baco. O baco, na sua forma mais
genrica, consiste num quadro dividido num certo nmero de colunas paralelas, representando cada
coluna uma classe decimal distinta: unidades, dezenas, centenas, etc. O quadro dispe de uma srie de
contadores que servem para indicar o nmero de unidades em cada classe. A origem do nome no
clara. H quem o relacione com abac, poeira, dos semitas; outros crem que derivou do grego abax,
tbua, placa. O instrumento era largamente utilizado na velha Grcia e ainda hoje continua a ser uso
corrente em toda a China e em certas regies da Rssia.
4. A numerao de posio
Quando meditamos na histria da arte de calcular at inveno do princpio de posio,
sentimo-nos chocados pela pobreza das conquistas feitas neste domnio. Este longo perodo de quase
cinco mil anos viu nascer e morrer civilizaes que atrs de si deixaram a sua herana de literatura,
arte, filosofia e religio. Mas qual a realizao decisiva no campo do clculo, a mais antiga arte
praticada pelo homem? Uma numerao inflexvel, to tosca que tornou quase impossvel qualquer
progresso, e um sistema de calcular de mbito to restrito que as operaes mais elementares requeriam
os bons ofcios de um especialista. E, o que mais, o homem serviu-se destes processos durante
milhares de anos sem lhes introduzir um nico aperfeioamento de valor, sem contribuir com uma
nica ideia importante para o sistema.
Pode esta crtica parecer severa; no fim de contas, no correcto julgar as realizaes da
idades remotas pelos padres dos nossos tempos, de progresso acelerado e actividade febril. No
entanto, mesmo comparada com a lenta evoluo das ideias, ao longo da Idade Mdia, a histria do
clculo oferece uma imagem peculiar de desoladora estagnao.

18

Vista por este prisma, a conquista do hindu desconhecido, que em determinado dia dos
primeiros sculos da nossa era descobriu o princpio de posio, assume as propores de
acontecimento mundial. No apenas porque o novo princpio constitusse um afastamento radical dos
velhos mtodos, mas antes porque sem ele no seria possvel qualquer progresso na aritmtica. E
apesar de tudo ele to simples que o mais insignificante aluno das escolas capaz de o apreender. Na
verdade, parecia lgico que a primeira tentativa de traduzir na linguagem dos numerais as operaes do
baco tivesse resultado na descoberta do princpio de posio.
Particularmente estranho para ns o facto de os grandes matemticos da Grcia clssica no
terem tropeado nele. Seria porque os gregos tinham um to vincado desdm pelas cincias aplicadas
que at deixavam a educao dos filhos ao cuidado de escravos? Mesmo assim, como que a nao
que nos legou a geometria e levou to longe esta cincia, no criou sequer uma lgebra rudimentar?
No igualmente notvel que a lgebra, essa pedra angular das matemticas modernas, tenha tambm
nascido na ndia aproximadamente quando nasceu a numerao de posio?
Um exame atento da anatomia da nossa numerao moderna pode lanar luz sobre estas
interrogaes. A numerao de posio consiste em se dar ao algarismo um valor que depende no
apenas do termo da sequncia natural que representa, mas tambm da posio que ocupa em relao
aos outros smbolos de grupo. Como se disse anteriormente, parecia suficiente traduzir o esquema
fornecido pelo baco na linguagem dos numerais para se obter sensivelmente o sistema que dispomos
hoje.
Certo! Mas h uma dificuldade: como representar a coluna vazia? Teria sido impossvel
qualquer progresso se no se inventasse um smbolo para uma classe vazia, um smbolo para nada, o
nosso moderno zero. A mentalidade positiva dos antigos gregos no podia conceber o vcuo como um
nmero e muito menos distinguir o vcuo com um smbolo.
Nem mesmo o hindu ignoto viu no zero o smbolo do nada. O termo indiano que representa
zero era sunya, que significa vazio ou vago, mas no tinha qualquer correlao com "vcuo" ou "nada".
E assim, a crer em todas as aparncias, a descoberta do zero foi um mero acidente resultante de uma
tentativa de fazer o registo no ambguo das operaes do baco.
5. O sunya
A forma como o sunya indiano se tornou o zero contemporneo, constitui um dos mais
interessantes captulos da histria da cultura. Quando os rabes de sc. X adoptaram a numerao
indiana, traduziram sunya para sirf, que significa vazio em rabe. Quando se introduziu a numerao
indo-rabe na Itlia o sirf, por latinizao transformou-se em zephirum. Isto passou-se nos comeos do
sc. XIII e, no decorrer dos sculos seguintes, a palavra passou por uma srie de metamorfoses que
conduziram ao italiano zero.
Mais ou menos por essa altura estava Jordanos Numerarius introduzindo o sistema rabe na
Alemanha. Manteve o vocbulo rabe, modificando-o ligeiramente para cifra; e durante algum tempo,
nos meios cultos da Europa, a palavra cifra e os seus derivados significavam zero como mostra o facto
de Gauss, o ltimo dos matemticos do sc. XIX que escreveu em latim, utilizar ainda cifra nesse
sentido. Na lngua inglesa o termo cifra deu origem a cipher e manteve o significado original de zero.
A atitude do povo comum em relao ao novo sistema de numerao pode avaliar-se pelo
facto de pouco tempo depois da sua introduo na Europa, a palavra cifra ser utilizada para significar
um sinal secreto. Em portugus, por exemplo, cifra continua a usar-se com o significado de escrita
secreta. Este duplo significado, erudito e popular, da palavra cifra, gerou a maior confuso. Os eruditos
aqui tiveram que condescender com o uso popular, e o caso encerrou-se finalmente com a adopo do
zero italiano.
O mesmo interesse apresenta o termo algoritmo e o vocbulo portugus algarismo. Tal como
hoje se usa, a palavra algoritmo aplica-se a qualquer processo matemtico que envolva uma sucesso
de operaes, incidindo cada uma delas com o resultado da anterior. Mas entre os scs. X e XV, era
usada como sinnimo de numerao de posio. Sabe-se que os vocbulos dados so simplesmente a
corrupo de Al Kworesmi, o nome do matemtico rabe do sc. IX cujo livro (na traduo italiana) foi
a primeira obra sobre esta matria a entrar na Europa.

19

6. A vitria dos "Algoristas"

Hoje, que a numerao de posio passou a fazer parte da nossa vida do dia-a-dia, poder
parecer que a superioridade do mtodo, a compacidade da notao, a facilidade, e a elegncia que veio
a introduzir nos clculos, devia ter garantido a sua rpida e geral aceitao. Na realidade, longe de ser
imediata, a transio prolongou-se por longos sculos! A luta entre os "Abacistas", que defendiam os
velhos hbitos, e os "Algoristas", que advogavam a reforma, arrastou-se do sc. IX ao sc. XV,
passando pelas costumadas fases de incompreenso e reaco. Em certos pontos, os algarismos rabes
foram banidos dos documentos oficiais, noutros foi banida a nova arte no seu todo. Mas, como de
costume, a proibio no resultou na abolio, apenas servindo para alastrar o "contrabando" do qual se
encontram largas provas nos arquivos da Itlia do sc. XIII, onde, ao que parece, os mercadores
usavam os algarismos rabes como uma espcie de cdigo secreto.
Quanto ao xito final dos algoristas, no se lhe pode determinar uma data com exatido.
Sabemos, no entanto, que a supremacia da nova numerao j era incontestvel no princpio do sc.
XVI. A partir de ento, o progresso fez-se sem dificuldades e, assim, no decorrer dos sculos que se
seguiram todas as regras das operaes, quer com nmeros inteiros quer com decimais fraccionrios,
atingiu praticamente a forma e a extenso com que hoje se ensinam nas nossas escolas.
Um sculo volvido, os abacistas e tudo o que eles defendiam, j haviam sido to esquecidos
que alguns pases da Europa comearam a considerar a numerao de posio como obra nacional
prpria. Assim encontramos, por exemplo, os algarismos rabes designados na Alemanha, nos comeos
do sc. XIX, por Deutsch, diferenciando-se deste modo dos romanos que eram considerados de
procedncia estrangeira.
Quantas pessoas cultas sabero hoje que, h apenas quatrocentos anos, a contagem digital era
o nico sistema de clculo do homem mdio, enquanto o baco era apenas acessvel aos calculadores
profissionais da poca?
Concebido, com todas as probabilidades, como smbolo de uma coluna vazia do baco, o
sunya indiano estava destinado a tornar-se o ponto de viragem de uma evoluo, sem o qual seria
inconcebvel o progresso atingido pela cincia, pela indstria ou pelo comrcio dos nossos tempos. E a
influncia desta grande descoberta de modo algum se confinou aritmtica. Ao abrir caminho para um
conceito de nmero generalizado desempenhou um papel igualmente importante em todos os outros
ramos da matemtica. A descoberta do zero ficar na histria da cultura como uma das maiores
descobertas do gnero humano.
Uma grande descoberta! Sem dvida. Mas, como tantas outras descobertas que influenciam
profundamente a vida da humanidade, no foi o prmio de aturadas pesquisas, mas um simples dom do
acaso.

O ltimo nmero
1. A infalibilidade do raciocnio matemtico
Que haver na matemtica que faz dela o padro das chamadas cincias exactas e o ideal das
novas cincias que ainda no alcanaram essa honra? Em vrios campos, como o da biologia ou das
cincias sociais, objectivo declarado, pelo menos dos investigadores mais jovens, estabelecer normas
e mtodos que permitam incluir esses ramos de cincia no nmero sempre crescente dos que j
aceitaram o domnio das matemticas.
A matemtica no apenas o modelo sobre cujas directrizes as cincias exactas se esforam
por traar a sua estrutura, a matemtica o prprio cimento que mantm a coeso dessa estrutura. Na
verdade, no se considera resolvido um problema enquanto o fenmeno estudado no for formulado
como uma lei matemtica. Mas porque razo se considera que s os processos matemticos podem
facultar observao, experincia, especulao a preciso, a conciso e a certeza que as cincias
exactas exigem?

20

Se analisarmos os processos matemticos vemos que se apoiam em dois conceitos: nmero e

funo; que a funo, em ltima anlise, se pode reduzir a nmero; que o conceito geral de nmero se
baseia por sua vez nas propriedades que atribumos sequncia: um, dois, trs, ...
, portanto, nas propriedades dos nmeros inteiros que podemos descobrir a chave desta f
tcita na infalibilidade do raciocnio matemtico!
2. As operaes elementares
A primeira aplicao prtica de tais propriedades toma a forma das operaes elementares da
aritmtica: adio, subtraco, multiplicao, e diviso de nmeros inteiros. Como aprendemos estas
operaes nos primeiros anos da vida, no de estranhar que a maioria de ns tenha esquecido por
completo todo o modo como as aprendemos.
Comeamos por decorar a tbua:
,
, ... Repetimo-la e repetimo-la at
conseguirmos somar, sem hesitaes, quaisquer dois nmeros at dez. Nesta primeira fase da nossa
aprendizagem fizeram-nos ver que
e que isto no era acidental mas sim uma regra geral.
Aprendemos ento a exprimir esta propriedade da soma, pelas palavras: a ordem arbitrria.
Ensinaram-nos em seguida que
; com isto queriam dizer que,
significando
que se somam 2 e 3 e a esta soma se junta 4, realmente indiferente a ordem
por que se fazem as operaes uma vez que se obtm o mesmo resultado se se juntar 2 soma
.
Nunca demos grande importncia a estes enunciados, mas a verdade que so fundamentais e neles se
baseiam as regras para a adio de nmeros superiores a dez. O esquema

no mais que uma parfrase de:

.
Entramos, depois, no estudo da multiplicao. Uma vez mais tivemos que decorar uma longa
tbua at podermos dizer mecanicamente o produto de dois nmeros quaisquer at dez. Vimos, como
sucedia com a adio, que a multiplicao goza, simultaneamente, das propriedades associativa e
comutativa.
H ainda uma nova propriedade que interessava conjuntamente multiplicao e adio. O
produto
significa que se multiplica 7 pela soma
, isto por 5; mas podia obter-se o
mesmo resultado somando os dois produtos parciais
e
. esta propriedade que est na
base do processo que usamos para multiplicar nmeros maiores que dez. Na verdade, se analisarmos a
operao

verificamos que no seno uma parfrase compacta da complicada cadeia de operaes em que se
emprega largamente a propriedade distributiva. Ou seja:

21

Tais so os factos que constituem a base da educao matemtica de todo o homem de

pensamento, ou melhor, de todo o indivduo que recebeu qualquer educao escolar. sobre estas
bases que se acha construda a aritmtica, o fundamento da matemtica em que, por sua vez, se apoia
toda a cincia pura e aplicada, a qual, por sua vez tambm, est na origem de todo o progresso tcnico.
Novos factos, novas ideias, novos conceitos se vieram juntar mais tarde nossa bagagem
intelectual, mas nenhum deles apresentou, para a nossa mente, a mesma segurana, o mesmo
fundamento inabalvel, que aqueles primeiros aprendidos na tenra idade dos seis anos. Isto transparece
no dito popular: to certo como dois e dois serem quatro.
3. O dilema do infinito
Durante a nossa vida, encontramos amplas oportunidades para aplicar as regras aritmticas
nos constantes afazeres dirios, e tornamo-nos cada vez mais confiantes na sua generalidade. A fora
da aritmtica apoia-se na sua generalidade absoluta. As suas regras so vlidas para todos os nmeros.
Todos os nmeros! Tudo se encerra nesta curta mas tremendamente importante palavra todos.
No h qualquer mistrio ao redor da palavra quando aplicada a qualquer classe finita de coisas ou
circunstncias. Poderemos ns significar o mesmo quando nos referimos a todos os nmeros? Podemos
conceber uma coleco disposta segundo uma certa ordem e nesta ordem haver um primeiro nmero,
o nmero um. Mas quanto ao ltimo?
A resposta simples: no h ltimo nmero! No podemos conceber um limite operao de
contar. Todo o nmero tem um sucessor. H uma infinidade de nmeros. Mas, se no h ltimo
nmero, qual o significado de propriedades de todos os nmeros? Como poderemos ns provar tais
propriedades: no ser certamente verificando cada caso individual, uma vez que sabemos de antemo
que no podemos materialmente esgotar todos os casos.
no prprio limiar da matemtica que se nos depara este dilema do infinito, como o drago
lendrio guardando a entrada do jardim encantado.
4. A origem do infinito
Qual a origem do conceito da infinidade, da f na inexaurabilidade do processo de contar? A
experincia? No certamente. A experincia mostra-nos a natureza finita de todas as coisas, de todos os
processos humanos. Sabemos que qualquer tentativa da nossa parte para esgotar todos os nmeros
terminaria apenas no nosso prprio esgotamento.
Nem sequer se pode determinar matematicamente o existncia do infinito, porque a
infinidade, a inexaurabilidade do processo de contagem, uma suposio matemtica, a suposio
bsica da aritmtica, em que toda a matemtica se apoia. Ser ento uma verdade sobrenatural, um dos
poucos dons que o Criador concedeu ao homem quando o lanou no universo, nu e ignorante, mas livre
para cuidar de si mesmo? O teria o conceito nascido com o homem, ou nascido nas suas tentativas
fteis para atingir o ltimo nmero? No ser ele seno uma confisso da impotncia do homem em
esgotar o universo pela contagem?
Arquimedes, em O Calculador de Areias prope um processo para calcular o nmero de
areias do universo que, para muitos, era considerado infinito. Nesse raciocnio, Arquimedes concluiu
que os gro de areia necessrios para encher o universo atingiam um nmero fabuloso que, na nossa
numerao, seria representado por 52 algarismos. Para exprimir esse nmero, inventou Arquimedes
uma nova unidade, a octada, que correspondia aos nossos 100000.
A histria das tentativas para determinar a rea do crculo oferece-nos outro exemplo. Na sua
forma original, o problema consistia em construir, com rgua e compasso, um quadrado de rea igual
do crculo dado. Ora, possvel construir um quadrado equivalente a um polgono regular inscrito de,
digamos, 8 lados. Verifica-se, por outro lado, que, se aumentarmos o nmero de lados do polgono para
16, 32, 64, etc. a rea do polgono se aproxima cada vez mais da rea do crculo. Ora, no h dvida de
que alguns dos gemetras gregos consideravam este processo no como uma aproximao, mas como
um meio de atingir efectivamente o crculo, isto , julgavam que, levando o processo suficientemente

22

longe, acabariam por atingir finalmente o ltimo polgono que coincidiria, em todos os seus pontos,
com a circunferncia.
uma hiptese plausvel que o primitivo conceito de infinito fosse, no o incontvel, mas sim
o ainda-no-contado. O ltimo nmero significava pacincia e perseverana, e o homem parecia
carecer destas qualidades. Era qualquer coisa como alcanar o cu, na histria da Torre de Babel. O
ltimo nmero, como os cu, pertencia a Deus. E Ele, na sua ira, confundia as lnguas dos construtores
ambiciosos.
Ainda hoje persiste esta confuso de lnguas. Em redor do infinito nasceram todos os
paradoxos da matemtica, dos princpios de Zeno s antinomias de Kant e de Cantor. Sobre este
assunto, no entanto, falaremos mais tarde.
Referncias
1. Dantzig, Tobias, Nmero a Linguagem da Cincia, Astler, Lisboa, 1960.

23

Numerais de algumas lnguas indo-europeias

Portugs
um
dois
trs
quatro
cinco
seis
sete
oito
nove
dez
cem
mil

Snscrito
eka
dva
tri
catur
pantcha
sas
sapta
asta
nava
daca
cata
sehastre

Grego
en
duo
tri
tetra
pente
hex
hepta
octo
ennea
deca
ecaton
xilia

Latim
unus
duo
tres
quatuor
quinque
sex
septem
octo
nonem
decem
centum
mille

Alemo
eins
zwei
drei
vier
fnf
sechs
sieben
acht
neun
zehn
hundert
tausend

Ingls
one
two
three
four
five
six
seven
eight
nine
ten
hundred
thousand

Francs
un
deux
trois
quatre
cinq
six
sept
huit
neuf
dix
cent
mille

Sistema quinrio: lngua Api das Novas Hbridas

1
2
3
4
5
6
7
8
9
10

Nome
tai
lua
tolu
vari
luna
otai
olua
otolu
ovari
lua luna

Significado

mo
outro um
outro dois
outro trs
outro quatro
duas mos

Sistema vigesimal: lngua Maia da Amrica Central

Nome
hum
kal
bak
pic
calab
kinchel
alce

1
20
400
8000
160000
3200000
64000000

Sistema binrio: lngua de uma tribo do Estreito de Torres

1
2
3
4
5
6

Nome
urapun
okosa
okosa-urapun
okosa-okosa
okosa-okosa-urapun
okosa-okosa-okosa

24

Russo
odyn
dva
tri
chetyre
piat
shest
sem
vosem
deviat
desiat
sto
tysiaca

CAPTULO 3. BREVE REFERNCIA TEORIA DOS GRAFOS

Problema de Euler
1. Circuitos rodovirios
O objectivo principal da cincia aplicada a de encontrar a melhor maneira para resolver um
problema - aquilo a que os matemticos chamam encontrar a soluo ptima. Nalguns casos, poder
ser a maneira mais rpida para concluir um trabalho. Noutras situaes, o objectivo poder ser o
maximizao do lucro e a minimizao dos custos. O que definimos como "ptimo" depende da
natureza do objectivo.
Concentremo-nos no problema do controlo de estacionamento numa cidade. Muitas cidades
possuem j parqumetros que necessitam ser controlados regularmente pela polcia para evitar as fugas
de pagamento. Vamos usar uma cidade imaginria para mostrar como a teoria dos grafos pode ajudar o
tornar o controlo de estacionamento mais eficiente.
2. Circuitos de Euler
Consideremos o mapa dado na Figura 1, com estradas, blocos residenciais, espaos verdes,
lagos, etc.

Figura 1. Um mapa de estradas numa cidade imaginria.

Existe um sem nmero de possibilidades para o nosso polcia controlar todos os parqumetros.
O nosso trabalho ser o de ajudar o chefe da polcia a encontrar a soluo ptima, o caminho mais
eficiente que deve tomar o seu subalterno, que viaja a p, por forma a controlar a totalidade dos
parqumetros da sua zona.
O chefe da polcia tem dois objectivos em mente: (1) o polcia encarregado de efectuar a
vistoria deve percorrer todos os passeios que possuem parqumetros passando duas vezes pelo mesmo
passeio o menor nmero de vezes possvel; (2) o caminho deve comear e acabar no mesmo ponto, por
exemplo no stio onde deixou estacionado o carro.
Poderemos pensar neste problema em termos de uma estrutura chamada grafo, um dos muitos
modelos matemticos que ajuda a simplificar problemas matemticos complexos.
Definio 1: Um grafo um conjunto finito de pontos (chamados vrtices) unidos por linhas
(chamadas arestas). Cada aresta deve unir dois vrtices distintos.
Um grafo pode ser usado para representar o nosso mapa de estradas, uma rede de informtica,
as linhas areas, etc.

25

Figura 2. Linhas areas

No caso do nosso problema, poderemos representar todo o territrio a ser patrulhado por um
grafo: poderemos pensar cada cruzamento como um vrtice e cada passeio com parqumetro como uma
aresta.

Figura 3a. Um grafo para representar as estradas a percorrer pelo polcia.

Figura 3b. O mesmo grafo.

Note-se que na Figura 3b, efectumos uma simplificao ao nosso problema: desprezmos o
comprimento das ruas e esquinas.

26

Figura 4. Dois percursos possveis.

A Figura 4 mostra-nos dois percursos que o polcia pode tomar para efectuar o controlo. Em
ambos os casos o ponto de partida coincide com o ponto de chegada. No entanto, a segunda
possibilidade melhor que a primeira uma vez que neste caso o polcia percorre cada passeio apenas
uma nica vez.
Definio 2: Um percurso num grafo que:
(i) comea e acaba no mesmo vrtice;
(ii) percorre cada aresta uma nica vez,
chamado um circuito de Euler.
A segunda possibilidade da Figura 4 mostra-nos um circuito de Euler, enquanto que a primeira
j no uma vez que, para esse percurso, a condio (ii) da definio anterior no se verifica.
Uma das primeiras descobertas da teoria dos grafos foi a de que existem grafos que no
possuem quaisquer circuitos de Euler. Por exemplo, os grafos da Figura 5 no possuem circuitos de
Euler.

Figura 5. Grafos que no possuem circuitos de Euler.

3. Procurando circuitos de Euler
Agora que conhecemos as condies que um circuito de Euler deve satisfazer, surgem-nos
duas questes bvias:
1. Existe algum processo efectivo, sem ser por tentativa-erro, para dizer se um grafo particular possui
um circuito de Euler?
2. Existe algum mtodo, sem ser por tentativa-erro, para encontrar um circuito de Euler caso ele exista?
Euler respondeu a estas questes em 1735 usando duas noes fundamentais na teoria dos
grafos: valncia de vrtices e grafos conexos.

27

Definio 3: A valncia de um vrtice num grafo dada pelo nmero de arestas que se encontram
nesse vrtice. Um grafo diz-se conexo se para cada par de vrtices existe pelo menos um caminho de
arestas que os une.
Podemos agora estabelecer o teorema de Euler, a sua resposta simples ao problema de saber
quando que um determinado grafo G possui um circuito de Euler.
Teorema 1: (i) Se G for conexo e possuir todos vrtices com valncia par, ento G possui um circuito
de Euler. (ii) De forma inversa, se G possuir um circuito de Euler, ento G tem de ser conexo e todos
os seus vrtices tm valncia par.
Demonstrao: (i) Consideremos um grafo G finito e conexo com todos os seus vrtices com valncia
par. Comecemos o caminho num determinado vrtice v e desloquemo-nos segundo uma aresta no
usada para o prximo vrtice at regressar de novo a v (note-se que tal facto sempre possvel uma vez
que cada vrtice onde chegamos pela primeira vez possui sempre uma sada, excepto o vrtice v).
Obtemos assim um circuito. Se todas as arestas forem usadas ento obtemos um circuito de Euler. Se
houve arestas no usadas, pela conectividade do grafo, a construo do caminho encontrou um vrtice
onde outra aresta podia ser tomada. Chamemos a esse vrtice w. Podemos assim regressar a w e partir
de w usando uma aresta que no foi usada previamente. Como o nmero de arestas que se unem em w
par, possvel regressar a w por outra aresta que no tinha sido tomada no caminho original. Se todas
as arestas forem agora utilizadas encontramos um circuito de Euler partindo de v e procedendo como
inicialmente at w, depois tomamos o caminho adicional que vai de w a w e regressamos a v como
tnhamos inicialmente feito. Caso ainda sobrem arestas por percorrer, poderemos proceder como para w
at acabar por percorrer todas as arestas.
(ii) Suponhamos agora que o grafo possui um circuito de Euler. Em cada vrtice, este circuito
deve chegar por uma aresta e partir por outra diferente. Assim o nmero de arestas que se ligam em
cada vrtice tem que ser par. e
Corolrio 1: Um grafo conexo possui um circuito de Euler se e s se for possvel separar cada famlia
de aresta em circuitos disjuntos.
Corolrio 2: Um grafo conexo possui um caminho que percorre todas as suas arestas uma nica vez
se no possuir mais de dois vrtices com valncia mpar.
Uma vez determinada a existncia de um circuito de Euler num determinado grafo, como
encontra-lo? O conjunto de regras que Euler nos deu possuem um interesse terico e podero ter um
interesse prtico se for nosso objectivo programar um computador que encontre mecanicamente os
circuitos de Euler num grafo. No entanto, no iremos estudar essas regras uma vez que a maioria dos
seres humanos, com um pouco de prtica, podero encontrar circuitos de Euler num grafo por tentativaerro, mesmo em grafos relativamente grandes.
Munidos agora com o teorema de Euler, vamos olhar de novo para o nosso problema de
controlo dos parqumetros. A questo chave : existe um circuito de Euler no grafo? Poderemos
responder a esta questo analisando a conexo do grafo e a valncia dos seus vrtices. Facilmente se
constata o grafo possui um circuito de Euler. O segundo percurso da Figura 4 um exemplo possvel.
4. Circuitos com arestas usadas mais do que uma vez
Vejamos agora o que que o teorema de Euler nos diz em relao ao bairro de trs blocos da
Figura 6. Na Figura 7 poderemos ver o grafo correspondente (note-se que o passeio sem parqumetros
no figura no grafo). Este grafo tem dois vrtices com valncia mpar e, como tal, no existem circuitos
de Euler para este grafo.

Figura 6. Bairro com trs blocos.

28

Figura 7. Grafo correspondente Figura 6.

Visto que temos que usar duas arestas do grafo mais do que uma vez se quisermos cobrir todas
as arestas no nosso circuito, para uma maior eficincia deveremos tornar mnimo o nmero de
repeties que iremos efectuar. Este tipo de problema chamado muitas vezes o problema do carteiro
chins. No entanto, a teoria dos circuitos de Euler no lida directamente com arestas usadas mais do
que uma vez ou arestas de diferentes comprimentos. Teremos de generalizar a teoria para nos ajudar na
resoluo do problema do carteiro chins.
Num problema do carteiro chins real, teremos que ter em conta o comprimento dos passeios,
ruas, ou o que quer que as arestas do grafo representem visto que queremos minimizar o total do
comprimento das arestas usadas mais do que uma vez. No entanto, vamos comear por simplificar as
coisas supondo que as arestas so todas do mesmo comprimento. (Este problema muitas vezes
chamado o problema do carteiro chins simplificado.) Neste caso temos apenas que contas as arestas
que foram usadas mais do que uma vez e no determinar o seu comprimento. Assim, queremos
encontrar o circuito que cobre cada aresta e tem o nmero mnimo de repeties de arestas j cobertas.
A nossa teoria baseia-se na seguinte ideia. Considere um grafo que no possui circuitos de
Euler. Nesse caso proceda como se segue:
1. Adicione arestas, duplicando as j existentes, at obter um grafo que seja conexo e possua todos os
seus vrtices com valncia par. Chamamos a este processo a eulerizao do grafo uma vez que o grafo
obtido possui um circuito de Euler.
2. Encontre um circuito de Euler no grafo eulerizado.
3. Trace esse circuito de Euler no grafo original (antes da eulerizao), repetindo o uso de uma aresta
sempre que o circuito no grafo eulerizado usa uma aresta adicional.
Agora que aprendemos a eulerizar, o prximo passo tentar encontrar a melhor eulerizao
possvel. Note-se que existem vrias maneiras de eulerizar um grafo. evidente que, de acordo com a
simplificao feita ao nosso problema, encontramos a melhor eulerizao se procurarmos a
eulerizao com o menor nmero de arestas adicionais. Este requisito extra torna o problema mais
interessante mas tambm mais complicado. Para grafos de grandes dimenses, a melhor eulerizao
pode no ser bvia. Poderemos experimentar algumas solues e escolher a melhor de entre elas. No
entanto, poder haver uma outra soluo melhor.
Existe um procedimento sistemtico para encontrar a melhor eulerizao num grafo mas
complicado. No entanto, com um pouco de prtica, a maioria das pessoas pode encontrar a melhor, ou
quase a melhor, eulerizao usando o processo de tentativa-erro. Este procedimento especialmente
fcil para redes virias rectangulares.
5. Circuitos mais complicados
A teoria que acabmos de expor tem muitas mais aplicaes prticas do que o simples
controlo dos parqumetros. Sempre que um servio necessite de ser efectuado ao longo de ruas e
estradas, a nossa teoria pode ajudar a fazer o trabalho de forma mais eficiente. Encontramos vrios
exemplos da aplicabilidade da teoria na colecta do lixo, verificao de contadores elctricos, etc.
No entanto, cada um destes problemas possui os seus requisitos especiais que apelam a
constantes modificaes na teoria. Por exemplo, no problema da colecta do lixo, as arestas do nosso
grafo representam estradas e no passeios. Se algumas estradas forem de sentido nico, teremos que
por setas nas respectivas arestas, obtendo assim um grafo orientado (ou grafo direccionado). Os
circuitos que procuramos tm que obedecer orientao do grafo.

29

Figura 8. Problema da colecta do lixo.

Figura 9. Grafo orientado.

No caso dos varredores de rua, o problema tambm pode ser modelizado por um grafo
orientado. No entanto, existe uma complicao adicional: os carros estacionados. difcil varrer as
ruas com os carros estacionados. Assim, para uma melhor eficincia, so por vezes colocados sinais a
especificar quando que proibido o estacionamento (por exemplo, s segundas quintas-feiras de cada
ms entre as 20 horas e as 2 horas). Assim, neste problema, importante no s encontrar o circuito de
Euler, ou o circuito com o mnimo de duplicaes, mas tambm o circuito que pode ser completo no
tempo disponvel. Mais uma vez, a teoria pode ser modificada para abarcar este problema.
Finalmente, uma vez que as cidades tm mais do que um varredor, ou camio do lixo, ou
controlador de parqumetros, um nico circuito no suficiente. Assim, tem que se dividir o territrio
em vrias reas cada uma a ser percorrida por um circuito. O objectivo genrico ser encontrar as
solues ptimas tendo em conta a direco do trfego, o nmero de ruas, as restries de tempo, etc.
Por exemplo, um estudo piloto efectuado em Nova York em 1970 a propsito dos varredores
de rua, permitia poupar cerca de 1.5 milhes de dlares por ano! (Cerca de 225 mil contos.) No entanto
a cidade nunca chegou a adoptar esse plano. Uma vez que os servios prestados tm tambm que ser
encarados de um ponto de vista poltico, muitos outros factores tero que se ter em linha de conta. Os
sindicatos querem defender os empregos dos trabalhadores do municpio, os burocratas querem manter
os oramentos municipais altos, os polticos no querem ser acusados de medidas impopulares, etc. A
cidade perdeu assim uma possibilidade de economizar 1.5 milhes de dlares.
Apesar da complicao dos problemas da vida real, a teoria dos grafos proporciona meios para
melhor os entendermos. Os resultados obtidos podero ter um efeito positivo no s a nvel econmico
como tambm a nvel do bem estar e organizao da comunidade.

Problema de Hamilton
1. Visitando os vrtices
Em 1859 o famoso matemtico irlands sir William Rowan Hamilton ps no mercado um
puzzle peculiar. Era construdo por um dodecaedro regular. Cada um dos vrtices do dodecaedro de

30

Hamilton estava marcado com o nome de uma cidade importante: Bruxelas, Canto, Deli, Frankfurt,
etc. O puzzle consistia em encontrar um caminho ao longo das arestas do dodecaedro por forma a
passar por cada cidade apenas uma vez; algumas das primeiras cidades a serem visitadas eram
estipuladas de avano para tornar o problema mais aliciante. Como o dodecaedro era difcil de
manobrar, Hamilton produziu uma verso deste jogo em que o dodecaedro era substitudo por um grafo
planar isomorfo. No consta que o Dodecaedro de Viagem tivesse tido muito sucesso comercial.
Nos exemplos anteriores, vimos que relativamente simples de determinar se existe um
circuito que percorra as arestas de um grafo uma nica vez. No entanto, a situao muda radicalmente
se fizermos uma mudana aparentemente incua ao problema: quando que possvel encontrar um
circuito num grafo ao longo das suas arestas que comece e acabe no mesmo vrtice e visite cada vrtice
uma nica vez?

Figura 10. Grafo com vrtices rotulados.

Por exemplo, na Figura 10, para obter um circuito que visite os vrtices uma nica vez
poderemos considerar o circuito ABDGIHFECA.
Um circuito tal como o definido anteriormente chamado circuito Hamiltoniano, uma vez
que foi Hamilton, quem primeiramente estudou o conceito. (Sabemos agora que o conceito foi
descoberto algum tempo antes por Thomas Kirkman, um ministro britnico com queda para a
matemtica.)
Os conceitos de circuitos de Euler e Hamiltonianos so similares naquilo que probem voltar a
utilizar: nos circuitos de Euler as arestas, nos circuitos Hamiltonianos os vrtices. No entanto, muito
mais difcil determinar quais so os grafos conexos que admitem um circuito Hamiltoniano do que
determinar os grafos conexos que admitem um circuito de Euler. Vimos que, olhando para as valncias
dos vrtices, possvel dizer se um grafo conexo admite ou no um circuito de Euler, mas no temos
um mtodo to simples para nos dizer quando que um grafo possui um circuito Hamiltoniano.
Algumas classes especiais de grafos so conhecidas pelo facto de terem circuitos Hamiltonianos, e
outras por no o terem, mas, como veremos, uma soluo geral para este problema pouco provvel.
2. O problema do circuito Hamiltoniano
Apesar de apresentarmos o problema do circuito Hamiltoniano como uma variante do
problema do circuito de Euler, ele possui muitas aplicaes em problemas da vida real.
Suponhamos que as inspeces ou as entregas tm de ser feitas em cada vrtice (em vez de ao
longo de uma aresta) de um grafo. Um caminho "eficiente" no grafo consiste no caminho que passa por
todos os vrtices uma nica vez; isto , o caminho dever ser um circuito Hamiltoniano. Tais caminhos
so teis para inspeccionar semforos, ou para entregar o correio, especialmente encomendas postais de
grandes dimenses, etc. Existem muitos exemplos similares, mas antes prosseguirmos com os
problemas envolvendo aplicaes dos circuitos Hamiltonianos, vamos estudar uma mais importante
classe de problemas relacionados.
Suponhamos que um professor que trabalha em Coimbra. Durante as frias da Pscoa voc e
um grupo de amigos decidem efectuar uma viagem de carro para visitar outros amigos em Lisboa,
vora e Viana do Castelo. Existem muitas escolhas possveis no sentido de visitar as cidades de

31

regressar a Coimbra, mas voc quer escolher o caminho que minimize a distncia que necessita de
percorrer. (O problema possua complicaes adicionais se a viagem fosse feita em meios de transporte
diferentes.)
Poderemos construir um modelo para a nossa viagem, representando cada cidade a visitar por
um vrtice de um grafo e o caminho entre cada uma delas por uma aresta. Para completar o modelo,
adicionamos um nmero chamado o peso a cada aresta. O peso representa a distncia (em quilmetros)
que as separa as cidades representadas pelos vrtices que se encontram na extremidade da aresta em
causa, ver Figura 11.

Figura 11. Plano de viagem.

Queremos encontrar o caminho de custo mnimo que comea e acaba em Coimbra e visita
cada uma das outras cidades uma nica vez. Usando a nossa terminologia anterior, queremos encontrar
um circuito Hamiltoniano de custo mnimo.
Como poderemos determinar qual dos circuitos Hamiltonianos tem custo mnimo? Existe um
algoritmo simples de conceber para este problema:
1. Construa os circuitos Hamiltonianos que comeam em Coimbra.
2. Adicione as distncias percorridas em cada aresta do circuito.
3. Escolha o caminho de distncia mnima.
Os passos 2 e 3 do algoritmo so imediatos. Assim, temos que nos preocupar apenas com o
primeiro, gerar circuitos Hamiltonianos de forma sistemtica. Para encontrar circuitos Hamiltonianos
vamos usar o mtodo das rvores.
Definio 4: Uma rvore um grafo conexo sem circuitos.
Partindo de Coimbra, poderemos escolher cada uma das trs outras cidades para visitar em
primeiro lugar. Esta primeira etapa da pesquisa de circuitos Hamiltonianos ilustrada na Figura 12.

Figura 12
Se Lisboa for escolhida em primeiro lugar, ento existem duas cidades que podero ser
visitadas depois, nomeadamente, vora e Viana do Castelo. Nesta segunda etapa, no entanto, para cada

32

escolha da cidade a visitar em primeiro lugar, existem duas escolhas desta cidade para a segunda cidade
a visitar. Chegamos assim rvore da Figura 13.

Figura 13
Escolhendo a ordem das primeiras duas cidades a visitar, e sabendo que num circuito
Hamiltoniano as visitas no poder ser repetidas, ficamos apenas com uma escolha para a cidade que
falta visitar. Desta cidade regressamos a Coimbra. A rvore completa de todos os circuitos possveis
dada na Figura 14.

Figura 14
Note-se que, uma vez que poderemos percorrer um caminho circular em duas direces
distintas, os caminhos enumerados no diagrama da Figura 14 no correspondem a diferentes circuitos
Hamiltonianos. Por exemplo, o caminho C-L-E-V-C e o caminho C-V-E-L-C representam o mesmo
circuito Hamiltoniano. Para este problema, no entanto, encontrmos trs circuitos Hamiltonianos
distintos entre seis caminhos no diagrama da Figura 14.
Note-se ainda que, na construo dos circuitos Hamiltonianos, no considermos as distncias
envolvidas. Estivemos apenas interessados nas diferentes hipteses de fazer a visita. Mas qual o
percurso ptimo? Adicionando as distncias entre as cidades chegamos facilmente concluso que o
caminho ptimo Coimbra, Lisboa, vora, Viana do Castelo, Coimbra. Neste percurso percorremos
973 quilmetros.
O mtodo das rvores nem sempre to fcil de usar como o nosso exemplo sugere. Em vez
de fazermos a nossa anlise para quatro cidades, consideremos o caso geral de n cidades. O grafo que
modela o problema similar ao da Figura 11 e consiste num grafo pesado com n vrtices, com cada par
de juntos por uma aresta. Um grafo nestas circunstncias chamado completo porque todas as arestas
possveis esto includas no grafo.
Quantos circuitos Hamiltonianos existem num grafo completo de n vrtices? Poderemos
resolver este problema usando o mesmo tipo de anlise que efectuamos na contagem dos ramos da
rvore. O mtodo usa o chamado princpio fundamental da contagem ou princpio da
multiplicao, que diz que existem a possibilidades de escolher uma opo, b possibilidades de

33

escolher uma segunda opo a seguir primeira, ... ,e z possibilidades de escolher o ltimo item depois
das escolhas precedentes, o nmero total de escolhas possvel :
Assim, a cidade a ser visitada depois da cidade de partida pode ser escolhida de
maneiras, a cidade seguinte de
maneiras, e assim sucessivamente at ficarmos apenas com uma
escolha
possvel.
Usando
o
princpio
fundamental
da
contagem,
existem
caminhos.
Pares de caminhos correspondem ao mesmo circuito Hamiltoniano uma vez que cada circuito
pode ser percorrido em dois sentidos diferentes. Assim existem
circuitos Hamiltonianos.
Por exemplo, para 6 cidades necessitamos de analisar 60 circuitos. No entanto, para 25 cidades o
nmero de circuitos a analisar de aproximadamente
. Mesmo que esses circuitos pudessem
ser gerados velocidade de um milho por segundo, demoraramos dez milhares de milho de anos
para os gerar a todos!
Se o nico benefcio for poupar dinheiro e tempo num plano de frias, a dificuldade de
resolver problemas para grandes valores de n no nos trar grande preocupao. No entanto, o
problema que temos vindo a discutir um dos problemas mais comuns de um ramo da matemtica
chamado investigao operacional. usual chamar-lhe o problema do caixeiro-viajante devido sua
primeira formulao: determinar a viagem de custo mnimo que o vendedor deve efectuar para visitar
todas as cidades no seu territrio de vendas, comeando e acabando na mesma localidade.
Existem muitas situaes que requerem a soluo de um problema do caixeiro-viajante:
1. Um pescador de lagostas montou vrias armadilhas em diversos locais e quer efectuar a recolha.
2. A companhia de telefones quer recolher as moedas das diversas cabinas telefnicas existentes.
3. Um rob que efectua furos numa srie de placas dever estabelecer uma ordem predeterminadas.
O significado do custo varia de problema para problema. Podemos medir esse custo em termos de
tempo, distncia, custo de gasolina, ou em termos de qualquer outro factor que possa ser optimizado.
Muitas vezes, o problema do caixeiro-viajante aparece como um subproblema de um
problema mais complicado. Por exemplo, uma cadeia de supermercados pode ter um nmero muito
elevado de lojas para ser abastecidas de um nico armazm central. Se existirem menos camios que
lojas, as lojas devem ser agrupadas por forma a que cada camio abastea um determinado grupo. Se
agora resolvermos um problema do caixeiro-viajante para cada camio, poderemos minimizar as
despesas da cadeia de supermercados.
3. Estratgias para resolver o problema do caixeiro viajante
Visto que o problema do caixeiro-viajante aparece em muitas situaes onde o grafo completo
seria muito grande, temos que encontrar um mtodo melhor que o mtodo de "fora bruta" que
acabmos de descrever. Teremos que olhar para o nosso problema original na Figura 11 e tentar
encontrar um algoritmo alternativo para o resolver. Recordemos que o nosso objectivo o de encontrar
um circuito Hamiltoniano de custo mnimo.
Experimentemos uma nova alternativa: Partindo de Coimbra, visitemos primeiro a cidade
mais prxima, depois visitemos a cidade mais prxima que ainda no foi visitada. Regressaremos
cidade de partida quando j no possuirmos mais nenhuma escolha possvel. Este algoritmo
conhecido como o algoritmo do vizinho mais prximo. Aplicando este algoritmo situao concreta
da Figura 11, chegamos facilmente ao circuito Coimbra, Viana do Castelo, Lisboa, vora, Coimbra,
com o comprimento de 979 quilmetros. O algoritmo do vizinho mais prximo um exemplo de um
algoritmo "avarento", visto que em cada etapa escolhe a melhor escolha (a que lhe permite poupar
mais), baseada num critrio apropriado. Infelizmente, como vimos anteriormente, este no o circuito
ptimo. Efectuando a melhor escolha em cada situao poderemos no ser conduzidos melhor
soluo global. No entanto, mesmo para problemas do caixeiro viajante de grandes dimenses
poderemos encontrar a opo dada pelo algoritmo do vizinho mais prximo rapidamente.

34

Apesar de muitos mtodos "rpidos e sujos" terem sido sugeridos para resolver o problema do
caixeiro viajante e apesar de alguns deles poderem pontualmente atingir a soluo ptima, nenhum
desses mtodos garante a optimalidade da soluo. Surpreendentemente, a maioria dos especialistas
acredita que no possvel obter um mtodo eficiente que garanta a optimalidade da soluo. Estes
problemas so chamados problemas NP-completos.
Recentemente, os investigadores matemticos adoptaram uma estratgia diferente para encarar
o problema do caixeiro viajante. Se encontrar um algoritmo rpido que garanta a optimalidade da
soluo pouco provvel, talvez se consiga mostrar que os mtodos "rpidos e sujos", normalmente
chamados algoritmos heursticos, nos do uma soluo prxima da soluo ptima. Por exemplo,
suponhamos que provvamos que a heurstica do vizinho mais prximo nunca se afasta da soluo
ptima mais do que 25% no pior dos casos ou mais de 15% para a mdia dos casos. Para um problema
do caixeiro viajante de tamanho mdio, teremos que equacionar as perdas de tempo (ou dinheiro) na
pesquisa da soluo ptima com as perdas que resultam da escolha da heurstica dada. Investigadores
do AT&T Bell Laboratories nos Estados Unidos desenvolveram muitos algoritmos heursticos
surpreendentemente bons. A melhor garantia existente para um algoritmo heurstico para o problema
do caixeiro viajante a de que o custo da soluo dada pela heurstica no pior do que 1.5 vezes o
custo dado pela soluo ptima. O que curioso que esta heurstica envolve a resoluo de um
problema do carteiro chins como parte do algoritmo e para o qual se conhecem algoritmos "rpidos".
Referncias
1. COMAP, For All Pratical Purposes; Introduction to Contemporary Mathematics, Freeman and Co,
New York, 1988.
2. Marshall, C., Applied Graph Theory, Wiley, Toronto, 1971.
3. Ore, O., Graphs and Their Uses, Math. Assoc. America, 1990.
4. Wilson, R., Introduction to Graph Theory, Logman, London, 1972.

35

36

CAPTULO 4. SUCESSES E SRIES

Um pouco de histria
1. Preocupaes fundamentais
A actividade do homem, quer seja considerada do ponto de vista individual, quer do ponto de
vista social, exige um conhecimento, to completo quanto possvel, do mundo que o rodeia.
No basta conhecer os fenmenos, determinar as razes da sua produo, descortinar as
ligaes de uns com os outros. Nisto, na investigao do "como?" do "porqu?" se distingue
fundamentalmente a actividade do homem da dos outros animais.
Pensando o Universo e procurando compreender os fenmenos, descobrir as suas razes e
ligaes, os primeiros pensadores foram levados a pr as seguintes questes fundamentais.
1. A natureza apresenta-nos diversidade, pluralidade: de aspectos, formas, propriedades, etc. Existe, no
entanto, para alm dessa diversidade aparente um princpio nico, ao qual tudo se reduza?
2. Qual a estrutura do Universo? Como foi criado? Como se movem os astros e porqu?
Destas questes interessa-nos principalmente aqui, por se ligar mais directamente com o nosso assunto,
a primeira.
2. Os filsofos jnicos
As primeiras respostas primeira pergunta foram dadas pelos filsofos das colnias jnicas da
sia Menor - Mileto principalmente. Para Thales de Mileto (que viveu, aproximadamente, de 624 a
548 a.C. ) a gua esse elemento nico: "Tudo gua!".
Para Anaximandro de Mileto, contemporneo de Thales (viveu, aproximadamente, de 611 a
545 a.C.) existe tambm uma substncia primordial mas que no , como a de Thales, conhecida de
todos; essa substncia infinita e indeterminada; as coisas materiais formam-se por determinaes
parciais desse elemento fundamental - o indeterminado. O indeterminado , para Anaximandro, "sem
morte e sem corrupo", "comeo e origem do existente".
Anaxmenes de Mileto, contemporneo de Thales e Anaximandro, admite tambm a existncia
de uma substncia primordial que no , porm, indeterminada, se bem que infinita: o ar.
A cidade de Efeso era tambm uma colnia jnica do litoral da sia Menor. L nasceu, pelo
ano de 530 a.C., o filsofo Heraclito. pergunta que nos est ocupando, deu ele uma resposta
profundamente original, muito diferente da dos filsofos que o precederam e seguiram. Enquanto que,
para os filsofos jnicos, a explicao se baseia na existncia de uma substncia primordial,
permanente, para Heraclito o aspecto essencial da realidade a transformao que as coisas esto
permanentemente sofrendo pela aco do fogo. O mundo de Heraclito era um mundo dinmico, da
transformao incessante, do devir.
3 A resposta pitagrica
Pitgoras de Samos (Samos o nome de uma ilha do Mar Egeu) um filsofo que parece ter
vivido entre os anos 580 e 504 a.C.. Da sua vida pouco se sabe ao certo, a despeito de toneladas de tinta
que, com maior ou menor fantasia, tm corrido acerca da sua vida e da sua aco. no entanto seguro
que, a partir do sculo VI a.C., existiu e exerceu larga influncia na Grcia uma seita, de objectivos
msticos e cientficos, denominada escola pitagrica; dela parece ter sido Pitgoras o fundador. Ser
sempre ao conjunto de ideias que caracterizavam essa seita que nos referiremos quando empregarmos o
nome de Pitgoras.
O que distinguia, em relao questo que estamos a estudar, a escola pitagrica? A resposta
dada por ela, profundamente original tambm, distinguia-se de todas as anteriores por esta
caracterstica fundamental: o motivo essencial da explicao racional das coisas, via-o Pitgoras nas

37

diferenas de quantidade e de arranjo de forma; no nmero e na harmonia. Um dos mais destacados

representantes da escola, Filolao, afirma: "todas as coisas tm nmero e nada se pode compreender
sem o nmero".
Desta ideia grandiosa - que as leis matemticas traduzem a harmonia universal - os pitagricos
apresentavam uma multido de justificaes, que iam do campo do campo da Geometria ao da Msica.
No entanto, o prprio brilhantismo dos triunfos parece ter sido prejudicial ao equilbrio da escola
pitagrica como conjunto de doutrina. Da afirmao, bela e fecunda, da existncia duma ordenao
matemtica do Cosmos - todas as coisas tm um nmero - fez-se esta outra afirmao, bem mais grave
e de difcil verificao - as coisas so nmeros.
Para a apoiar, houve que, fora da experimentao e da verificao, procurar uma estrutura da
matria idntica estrutura numrica. Tal procura parece ter cristalizado na afirmao seguinte: que a
matria era formada por corpsculos csmicos, de extenso no nula, embora pequena, os quais,
reunidos em certa quantidade e ordem, produziam os corpos; cada um de tais corpsculos - mnada era assimilado unidade numrica e, assim, os corpos se formavam por quantidade e arranjo de
mnadas como os nmeros de formam por quantidade e arranjo de unidade. Uma consequncia
imediata de tal pensamento era o atribuirem virtudes especiais aos nmeros, uma vez que eles eram o
princpio de tudo.
Em resumo, poderemos dizer que a escola pitagrica nos apresenta um lado positivo e um
lado negativo. Constitui o lado positivo a sua aspirao para a inteligibilidade, emitindo a ideia
grandiosa da ordenao matemtica do Cosmos e dando uma primeira realizao dela por algumas leis
matemticas notveis. Forma o seu lado negativo tudo aquilo que aos nmeros se atribui fora da sua
propriedade fundamental de traduzir relaes de quantidade.
A escola pitagrica devia receber em breve um desmentido brutal afirmao que constitua o
seu lado positivo e a sua aspirao mais nobre. A natureza das coisas quis que fosse precisamente
atravs da mais bela das suas conquistas - o teorema de Pitgoras - que esse desmentido houvesse de
ser pronunciado. O pensamento pitagrico, assente na teoria das mnadas e, consequentemente, nos
nmeros racionais, sofreu uma ferida de morte no dia em que foi descoberto a incomensurabilidade dos
segmentos. Era tudo, at os mais nfimos fundamentos da teoria, a ameaar uma runa estrondosa!
Como sair deste passo difcil?
Vrios indcios posteriores mostraram que a primeira reaco foi a de esconder o caso. Uma
outra tentativa de fuga parece ter residido numa vaga esperana de que, considerando como infinito um infinito grosseiro, mal identificado, que era mais um muito grande, do que propriamente o infinito
moderno - o nmero das mnadas que formavam um segmento de recta, talvez a dificuldade
desaparecesse. Efectivamente, a demonstrao mais antiga da incomensurabilidade baseava-se, no
fundo, em que o nmero no pode ter ao mesmo tempo as duas paridades (recordemos a demonstrao
clssica do facto de
ser um nmero irracional.). Mas se esse nmero fosse infinito, o argumento
teria a mesma fora? No estaria a uma escapatria de recurso?
Isto no uma simples conjectura; o desenvolvimento posterior do movimento filosfico e a
polmica viva que aparece, logo a seguir, sobre o tema do infinito combinado com as afirmaes dos
pitagricos, mostram claramente o caminho que as coisas seguiram. Essa polmica foi conduzida
principalmente por uma nova escola filosfica - a escola de Elea.
4. A crtica eletica
Elea, em latim Velia, era uma cidade da costa ocidental da Itlia do Sul que constitua, pelos
meados do sculo VI a.C., uma das muitas colnias gregas na Itlia, colnias essas cujo conjunto era
designado por Grande Grcia.
Em Elea nasceu, no se sabe ao certo quando, mas provavelmente entre 530 e 520 a.C., um
filsofo - Parmnides - que, primeiramente ligado escola pitagrica, se havia em breve de separar
dela, procedendo a um exame crtico de todas as noes e concepes filosficas que at a tinham sido
emitidas. No podemos dar aqui um apanhado sequer, da construo de Parmnides de Elea; a sua
crtica levantou alguns dos problemas mais importantes da que a histria da filosofia e da cincia d
conta, em todos os tempos.

38

Na construo de Parmnides h muita coisa dirigida contra os pitagricos. Em primeiro

lugar, ao defender caractersticas como a homogeneidade e continuidade, opem-se, de todo em todo,
construo pitagrica das mnadas. A polmica foi violenta; dela restam-nos, conservados por
Aristteles, alguns argumentos de Zeno de Elea, o mais notvel discpulo de Parmnides.
Diz Zeno: "como querem que a recta seja formada por corpsculos materiais de extenso no
nula? Isso vai contra a vossa afirmao fundamental de que todas as coisas tm um nmero. Com
efeito, entre dois corpsculos, 1 e 2, deve haver um espao - se estivessem unidos, em que se
distinguiam um do outro? - e esse espao deve ser maior que as dimenses de um corpsculo, visto que
estas so as menores concebveis; logo, entre os dois posso intercalar um corpsculo, 3, e fico com dois
espaos: um entre 1 e 3, e outro entre 3 e 2, nas mesmas condies. Posso repetir o raciocnio
indefinidamente e fico, portanto, com a possibilidade de meter entre 1 e 2 quantos corpsculos quiser.
Qual ento o nmero que pertence ao segmento que vai de 1 a 2?"
O que Zeno fundamentalmente quer dizer com este argumento o seguinte: o corredor, antes
de atingir a meta, tem de atingir o ponto intermdio do percurso e, para conseguir isto, gasta um tempo
finito. Tem, depois, que alcanar o ponto mdio da distncia restante, no que demorar tambm um
tempo finito. Tem, depois, que alcanar o ponto mdio da distncia restante, no qual demorar tambm
um tempo finito. Ora, o que uma vez foi dito, pode repetir-se sempre. O nmero de fases do percurso
da corrida infinito, e cada uma dessas fases exige um tempo finito. Mas a soma de um nmero
infinito de intervalos finitos, infinita, e por isso o corredor nunca atingir a meta.
Como se v, a prpria afirmao fundamental da escola pitagrica que est batida em cheio
pela argumentao de Zeno. Mas esta argumentao vai mais longe devastando progressivamente a
construo e levantando, de cada vez, novos problemas.
A escola eletica fora duramente criticada por estabelecer a imobilidade como uma das
caractersticas de existente - h coisa mais real e segura do que o movimento do mundo? Zeno
responde: "no se trata de saber se h ou no h movimento no mundo, mas de saber se ele
compreensvel, isto , compatvel com a explicao racional que damos do Universo. Ns, eleatas, no
o compreendemos, no conseguimos p-lo de acordo com o resto da explicao racional, mas vs,
pitagricos, julgais compreender e nadais apenas em contradies. Uma de duas: num segmento de
recta ou h um nmero finito de mnadas ou uma infinidade. Vejamos o primeiro caso; considerai uma
flecha em movimento percorrendo esse segmento de recta; em cada instante, a ponta da flecha ocupa
um lugar, a localizao duma mnada. O que se passa entre um lugar e o seguinte? Nada! Porque, no
havendo nada entre duas mnadas consecutivas no podeis dizer-me alguma coisa sobre um
movimento que se realize onde nada existe; concluso: - o movimento da flecha uma sucesso de
imobilidades! Percebeis?
Consideremos agora o segundo caso: h uma infinidade de mnadas; ento o movimento
igualmente inconcebvel. Suponhamos que dois mveis - Aquiles e Tartaruga - partem ao mesmo
tempo, um (Aquiles) de uma posio e o outro (Tartaruga) com um avano de 100 unidades.
Suponhamos que a velocidade de Aquiles dez vezes superior da Tartaruga. Assim, quando Aquiles
percorre 100 unidades, a Tartaruga percorre 10, aps Aquiles ter andado 10 unidades, a Tartaruga
andou uma, etc, estando sempre a Tartaruga adiante de Aquiles e este aproximando-se sem nunca a
alcanar. Como se percebe ento que Aquiles possa alcanar a Tartaruga?"
Zeno o homem que aparece, de picareta na mo, a arrasar toda a fachada da escola
pitagrica uma vez que o seu interior, como atrs foi dito, j h muito se encontrava em runas.
5. Os dois horrores
A evoluo da cincia grega mostra claramente quo profunda foi a influncia que a crise,
aberta pelas teses de Zeno, produziu no pensamento matemtico dos helenos.
Essa mesma crise iniciou, por seu lado, uma era de consciencializao. Foi a reaco natural
contra a verborreia ingnua dos pitagricos, aquela estranha mistura de ideias matemticas com
mximas religiosas e vagas especulaes metafsicas. Que contraste entre isto e o severo rigor dos
Elementos de Euclides, que at bem pouco tempo serviram de modelo s disciplinas matemticas!

39

Por outro lado, ao instalarem no esprito dos gemetras gregos o horror infiniti, as teses
tiveram o efeito de uma paralisia parcial da sua imaginao criadora. O infinito era um tabu que tinha
que se evitar a todo o preo; ou, pelo menos, era preciso disfara-lo por meio de argumentos ad
absurdum ou semelhantes. Em tais condies no s se tornou impossvel uma teoria positiva do
infinito, como se paralisou quase por completo o desenvolvimento dos processos infinitos que havia
alcanado uma fase avanada nos tempos que precederam Plato.
Abandonou-se tambm por completo as concepes dinmicas, sempre que tal fosse possvel.
A matemtica grega invadida pelo horror do movimento.
Encontramos na Grcia clssica um conjunto de circunstncias especialmente felizes: uma
srie de gnios de primeiro plano, Eudoxo, Aristarco, Euclides, Arquimedes, Apolnio, Diofanto,
Papo; um corpo de tradies que encorajava o esforo criador e o pensamento especulativo,
fomentando ao mesmo tempo o esprito crtico que punha o investigador a salvo de uma imaginao
ambiciosa; e, finalmente, uma estrutura social particularmente propcia ao desenvolvimento de uma
classe despreocupada, formadora de uma corrente ininterrupta de pensadores que se podiam devotar s
ideias sem preocupaes de utilitarismo - um conjunto de circunstncias, na verdade, que no voltou a
ser igualado nem mesmo nos nossos dias. No obstante, os matemticos gregos no chegaram a
construir uma lgebra apesar de terem Diofanto, no chegaram a construir uma geometria analtica
apesar de terem Apolnio, no chegaram a construir uma anlise infinitesimal apesar de terem
Arquimedes. J tnhamos feito notar em que medida a falta de uma notao simblica frustou o
desenvolvimento da matemtica grega; o horror do infinito foi um dissuasor igualmente poderoso.
6. O contributo de Arquimedes
No mtodo da exausto, possua Arquimedes todos os elementos essenciais para uma anlise
infinitesimal, porque a anlise moderna apenas a teoria dos processos infinitos que, por sua vez, tm
por base a ideia de limite. Essa ideia, tal como a concebeu Arquimedes, era j adequada para a
desenvolvimento de clculo de Newton e Leibniz e que se manteve praticamente inalterada at aos
tempos de Weierstrass e Cantor. Com efeito, o clculo dos limites baseia-se na noo de que duas
grandezas variveis se aproximam do estado de igualdade quando a sua diferena se puder tornar to
pequena quanto se queira. e esta mesma ideia que constitui a base do mtodo da exausto.
Alm disso, o princpio faculta um mtodo efectivo para determinar o limite, mtodo esse que
consiste em "apanhar" a varivel entre duas outras, como entre duas maxilas de um torno. Tal o caso
do permetro da circunferncia, em que Arquimedes encaixa aquela linha entre duas sries de polgonos
de nmero de lados crescente, sendo uma das sries circunscrita e a outra inscrita circunferncia.
Ainda por este processo verificou que a rea limitada por um arco de parbola equivalente a dois
teros da rea de um rectngulo com a mesma base e a mesma altura - problema que foi o precursor do
nosso clculo integral moderno.
Sim! Com toda a justia se deve dizer que Arquimedes foi o fundador da anlise infinitesimal.
O que faltou ao mtodo da exausto para ser o clculo integral do sculo XVIII, foi um simbolismo
adequado, e uma atitude positiva - ou ingnua - em relao ao infinito. Mas nenhum grego seguiu as
pisadas de Arquimedes, e deixou para outra poca a tarefa de explorar o rico territrio descoberto pelo
grande mestre.
7. Necessidade de um novo conceito
Vimos que, qualquer que tenha sido o objectivo inicial de Zeno, a sua argumentao ficou na
Histria da Cincia com um valor inestimvel - mostrar-nos que o movimento no pode ser
compreendido como uma sucesso de estados particulares; considera-lo assim, equivale a abordar o seu
estudo por um mtodo esttico que traz consigo o germe da infecundidade e incompreenso.
Na verdade a essncia do movimento tal que, quando vamos a queres fixar a posio de um
mvel, em determinado instante, num ponto da sua trajectria, ele j a no se encontra. Desse
fenmeno se pode dizer, como Leonardo da Vinci disse da chama - "olha para a chama e considera a
sua beleza; fecha os teus olhos e torna a olhar: o que vs no estava l e o que l estava j no o
encontras".

40

Reconhecemos a um permanente compromisso entre o ser e o no ser - a cada instante o

mvel est e no est em determinado ponto; e entre ponto e ponto, por mais prximos, h uma
infinidade de pontos! Tudo isto inabordvel, pelo mtodo esttico que considera o movimento como
uma sucesso de estados do mvel.
Vamos ento para o estudo do problema do movimento nesta nova atitude, livres de
preconceitos, dispostos a aceitar todas as consequncias e a tomar todas as audcias.
O que se passa? Que natureza do fenmeno tal que, como dissemos acima "a cada instante o
mvel est e no est em determinado ponto; e entre ponto e ponto, por mais prximos, h uma
infinidade de pontos"?
Que quer isto dizer? Que no podemos obter resultados, em qualquer instante ou ponto, se o
tomarmos em si, isolado dos outros pontos; que o que se passa num instante e num ponto s pode ser
entendido integrado na sua interdependncia com o que se passa em instantes e pontos que o precedem
e seguem. Mas este preceder e seguir tem o carcter subtil de que no h ponto que preceda ou siga
imediatamente outro - entre os dois, por mais prximos, h uma infinidade de possibilidades que
contam na interdependncia. De modo que no poderemos certamente obter resultados no estudo do
fenmeno com a ajuda simples de nmeros a marcar posies de precedncia ou sequncia entre
instantes ou pontos. Mas a condio primeira do xito precisamente que isso acontea! Que fazer? S
um novo conceito.
8. Os moldes do novo conceito
O que est dito esclarece-nos suficientemente acerca das duas condies a que deve obedecer
esse conceito. Ele deve ser de natureza a permitir que se d conta da infinidade de estados possveis
entre dois estados quaisquer; de natureza a permitir-nos trabalhar, no s com estados determinados,
mas tambm com a infinidade de possibilidades entre dois estados.
No pode, por consequncia, ser um nmero, mas h-de poder representar qualquer dos
nmeros dum conjunto numrico conveniente - o novo instrumento matemtico deve ser portanto uma
varivel.
Por outro lado, como este instrumento vai ser aplicado ao estudo do que se passa num ponto
de interdependncia com pontos arbitrariamente prximos, essa varivel deve ter no seu domnio
nmeros arbitrariamente pequenos em mdulo. E assim surge, forjado no mago da grande dificuldade,
o conceito de infinitsimo.
Este conceito, na sua origem, estava carregado de contradies. Os seus mentores, Kepler e
Cavalieri, foram seguidos, unicamente com algumas pretenses de refinamento, por Newton e Leibniz,
por Wallis (o inventor do smbolo do infinito), pelos quatro Bernoulli, por Euler, por d'Alambert, entre
outros. Consideravam os infinitsimos fixos ou variveis de acordo com as exigncias das teses;
manipulavam as sries infinitas sem leis e sem regras; faziam prestidigitao com os limites; tratavam
as sries divergentes como se elas obedecessem a todas as regras da convergncia. Definiam termos de
forma vaga, usavam os seus mtodos livremente e a lgica dos fundamentos era feita de modo a
ajustar-se ao que a intuio lhas ditava. Romperam, em suma, com todas as leis do rigor e do decora
matemtico.
A verdadeira orgia que se seguiu introduo dos infinitsimos, ou dos indivisiblia como se
lhes chamava, no foi seno uma reaco natural. A intuio estivera durante muito tempo encarcerada
pelo severo rigor dos gregos e agora que se quebraram as cadeias no havia nenhum Euclides que
dominasse o seu voo romntico.
Mas ainda se pode entrever outra causa. Devemo-nos lembrar que os espritos brilhantes deste
perodo foram educados na doutrina da escolstica. Foi com relutncia que Kepler se dedicou
astronomia depois de ter visto frustradas as suas esperanas de ser padre; Pascal esqueceu as
matemticas para se tornar recluso religioso; a simpatia de Descartes por Galileu era temperada pela
sua f na autoridade da igreja (a f catlica de Galileu era pelo menos to grande como a de Descartes).
Newton, entre as suas obras-primas, escrevia textos sobre teologia; Leibniz sonhava com esquemas
numricos que tornassem o mundo livre para o cristianismo.

41

Um quarto de sculo aps a publicao da memorvel obra de Newton sobre o clculo

infinitesimal, o Bispo de Berkley escreveu um folheto intitulado: "O Analista; um Discurso Dirigido a
um Matemtico Infiel". Acerca da controvrsia que girava em torno de muita coisa se tornar como
dogma em questes de religio, replica mostrando que as premissas da matemtica no se apoiavam em
bases mais seguras. Com habilidade e agudeza de esprito inimitveis, submete a doutrina dos
infinitsimos a uma anlise severa e revela um grande nmero de teses inconsistentes, afirmaes
vagas e flagrantes contradies. Entre elas se contam os termos "fluxo" e "diferena" que o Bispo
fulmina com o seu esplndido humor irlands: "Aquele que puder digerir uma segunda ou terceira
fluxo, uma segunda ou terceira diferena, no tem, creio eu, que ter escrpulos a respeito de nenhum
mistrio da Divindade".
s "fluxes" de Newton, s "diferenas" de Leibniz, chama-se hoje derivadas e diferenciais.
So os conceitos duma disciplina matemtica que, juntamente com a geometria analtica, se tornou um
poderoso factor de desenvolvimento das cincias aplicadas: o Clculo Diferencial e Integral. Atribui-se
a Descartes a criao da geometria analtica; a questo de ter sido Newton ou Leibniz quem primeiro
concebeu o clculo, arrastou-se por todo o sculo XVIII e ainda hoje no se extinguiu. Entretanto,
encontramos os princpios destas duas disciplinas claramente indicados numa carta que Fermat dirigiu
a Roberval em 22 de Outubro de 1636, um ano antes da publicao da Geometria de Descartes e 68
anos antes dos Principia de Newton. Se no fora o inexplicvel costume de Fermat de no publicar os
resultados das suas pesquisas, a criao da geometria analtica e do clculo teria de ser creditada a este
Arquimedes da Renascena, e ter-se-ia poupado o mundo matemtico humilhao de um sculo de
controvrsia grosseira.
9. A definio de infinitsimo
Neste ponto no definiremos rigorosamente todos os conceitos que iremos trabalhar uma vez
que tais definies so sobejamente conhecidas de todos.
Definio: Dado um ponto P e um nmero
, chama-se vizinhana de centro P e raio
segmento de recta centrado em P cujo amplitude
.

a todo o

Definio: D-se o nome de infinitsimo a toda a varivel representativa de um conjunto de pontos

pertencentes vizinhana da origem quando, para essa varivel, considerarmos sucessivamente os
valores
tais que, a partir de uma certa ordem , todos os valores
, para todo
o
e todo o
.
Para ver como o conceito dado se molda de facto ao estudo de problemas como o que nos est
a ocupar, seja x a varivel real, infinitsima no sentido apontado, e consideremos a trajectria de um
mvel, e nela um ponto O. Sejam sobre essa trajectria, os pontos P e P' cuja distncia ao ponto O, em
valor absoluto, ; por mais prximo que P seja de O, isto , por mais pequeno que seja o nmero ,
no domnio do infinitsimo x h uma infinidade de nmeros mais pequenos que . Portanto, ao
trabalhar com o infinitsimo x equivale a trabalhar com a infinidade de pontos entre P e P', pois todos
eles tm distncias a O que so, em valor absoluto, menores que .
Note-se ainda que vizinhana no um segmento mas sim uma varivel cujo domnio
constitudo por uma infinidade de segmentos onde h sempre segmentos de amplitude inferior a
qualquer nmero positivo.
O conceito geomtrico de vizinhana corresponde portanto ao conceito analtico de
infinitsimo e, por meio deste, podemos estudar o que se passa na vizinhana de pontos, isto , ver
como joga, no fenmeno a estudar, a interdependncia dum ponto com os seus vizinhos; esse como
vimos acima o nosso objectivo.
Estamos portanto de posse do instrumento prprio ao fim em vista. Resta-nos agora afina-lo,
de modo a tirar dele o maior rendimento. No entanto, no nos podemos esquecer nunca da sua essncia:
um infinitsimo no um nmero, uma varivel. A falta de compreenso deste facto foi origem
durante muito tempo de enormes discusses e muita confuso.

42

O conceito de limite
1. O processo serial
Uma sucesso racional se todos os seus termos forem nmeros racionais; infinita se cada
um dos seus termos tiver um sucessor. A um conjunto de operaes que gera uma sucesso infinita,
chamaremos processo infinito.
O prottipo de todos os processos infinitos a repetio. Na verdade o conceito de infinito
resulta da noo de que o que uma vez foi dito ou feito, pode repetir-se sempre. Quando se aplica a
repetio a um nmero racional a, obtm-se a sucesso
a, a, a, a, ....
Diremos que esta sucesso representa o nmero a.
Outra operao fundamental, a que chamarei processo serial, a adio sucessiva. Dada a
sucesso
a, b, c, d, e, f, g, ...,
o processo serial gera uma nova sucesso
a, a+b, a+b+c, a+b+c+d, ...
que chamaremos a sucesso gerada pelas somas parciais de uma nova entidade analtica, que
chamaremos srie, definida como sendo a soma de todos os elementos da sucesso inicial. Desta
forma, da sucesso 1, 1, 1, ... obtemos a sucesso natural 1, 2, 3, 4, ....
O processo serial pode aplicar-se, evidentemente, a qualquer sucesso, e, por conseguinte, a
cada sucesso corresponde uma srie e uma outra sucesso constituda pelas somas parciais da srie
(sucesso essa a que, caso no haja ambiguidade, tambm chamaremos srie). Da maior importncia
so as sries geradas por sucesses evanescentes, sucesses estas que se caracterizam pela diminuio
gradual dos termos sucessivos de forma a que possvel "avanar" ao longo dela at encontrar termos
inferiores a qualquer nmero dado.
A partir de duas sucesses quaisquer, pode formar-se uma terceira sucesso, subtraindo uma
da outra, termo a termo. Pode suceder que a sucesso diferena assim obtida seja evanescente. s duas
sucesses cuja diferena evanescente chamaremos assimptticas. Caso uma delas seja uma sucesso
de repetio de um nmero a, diremos que a outra, assimpttica em relao primeira, tambm
representa o nmero a, ou que tende para a, ou que tem como limite a.
Por exemplo, o nmero dois admite uma infinidade de representaes por meio de sucesses
racionais, como

O mesmo se aplica a qualquer nmero racional. Em especial, pode considerar-se a sucesso

evanescente como uma representao do nmero racional 0.
2. Sucesses aritmticas e geomtricas
Os tipos mais simples de sucesses so as sucesses aritmtica e geomtrica. Tendo-se
tomado um dado nmero para primeiro termo, e um outro nmero para razo, gera-se a sucesso
adicionando (no caso da sucesso aritmtica) ou multiplicando (no caso da geomtrica) sucessivamente
cada termo pela razo. claro que se pode considerar qualquer sucesso de repetio como uma
sucesso geomtrica de razo 1 ou uma sucesso aritmtica de razo 0.
Consideremos agora apenas a sucesso geomtrica. Na sucesso geomtrica crescente, os
termos crescem indefinidamente em valor absoluto, quer dizer, se "avanarmos" suficientemente ao
longo da sucesso poderemos sempre encontrar termos superiores a qualquer nmero dado, por maior
que este seja. Diz-se que estas sucesses divergem.
A sucesso decrescente sempre evanescente e, por essa razo apresenta para ns um
interesse especial. Mas o que torna particularmente importante o facto de a srie por ela gerada tender

43

sempre para um limite racional, e reciprocamente, qualquer nmero racional poder ser considerado
como limite de uma srie gerada por uma sucesso geomtrica racional. Alm disso, este um dos
casos raros em que a "soma de uma srie" pode ser calculada efectivamente em funo dos dados
imediatos.
A srie gerada por uma sucesso geomtrica chama-se progresso geomtrica. Uma sucesso
geomtrica evanescente gera uma progresso geomtrica convergente. Se a sucesso comea com o
termo a e tem por razo r, o limite dado pela simples frmula:
.
A este limite chama-se soma da progresso geomtrica.
Na primeira tese de Zeno o que nos aparece no mais do que a sucesso geomtrica
que gera, pelo processo serial, a sucesso
.
Esta ltima tende, ou converge, para 1, como se pode ver directamente pela frmula da soma.
Ento, a srie

representa o nmero finito 1 apesar de Zeno alegar que ela se distribui por um nmero infinito de
parcelas. Pode objectar-se, contra os conceitos de convergncia e limite, por uma razo ou por outra,
mas uma vez que se aceitam, a afirmao de Zeno, de ser necessariamente infinita a soma de uma
srie infinita de nmeros, perde a sua fora.
A segunda tese de Zeno envolve igualmente uma sucesso e uma progresso geomtricas. As
distncias que separam Aquiles da tartaruga so dadas respectivamente por
.
Ora o limite desta sucesso 0 o que significa que Aquiles apanha a Tartaruga. Por outro lado,
poderemos tambm determinar quando que Aquiles ultrapassa a Tartaruga. Suponhamos que Aquiles
corre a uma velocidade de 10 metros por segundo. Assim a Tartaruga corre a uma velocidade de 1
metro por segundo. Zeno afirma que Aquiles nunca ultrapassa a Tartaruga. No entanto o "senso
comum" diz-nos que Aquiles diminui 9 metros por segundo a distncia que o separa da Tartaruga e,
assim, a vantagem inicial de 100 metros ser rapidamente anulada. De facto, os metros percorridos pela
Tartaruga at ser alcanada so dados pela srie
.
Mais uma vez, a soma de um nmero infinito de termos pode ser finita.
3. As dzimas peridicas
As dzimas peridicas no so outra coisa seno sries geomtricas disfaradas. Consideremos
a dzima infinita, do tipo peridico simples, 0.(36). O seu significado real
.
Mas isto uma srie geomtrica de razo 0.01 e a frmula da soma mostra-nos que a srie converge
para o limite racional

. O mesmo se aplica chamada dzima peridica mista, como 0.34(53), por

exemplo. Multiplicando esta por 100 obtemos a dzima peridica simples 34.(53). As prprias dzimas
finitas podem considerar-se como dzimas peridicas de perodo zero.
Teorema: Todo o nmero racional pode ser representado por uma e s uma dzima infinita peridica
e, inversamente, toda a dzima infinita peridica representa um nmero racional.

44

Por outro lado, evidente que podemos formar qualquer nmero de dzimas que, embora infinitas,
sejam no peridicas. Pode a distribuio dos algarismos ser catica, ou pode seguir uma lei regular
mas no peridica. Tal , por exemplo, o caso da sucesso decimal
.
Se pudssemos encontrar uma sucesso racional de repetio a, a, a, ..., que fosse assimpttica
em relao a esta sucesso decimal, a ltima representaria ento o nmero racional a. Mas sabemos que
tal no possvel porque, se o fosse, a sucesso seria peridica e no esse o caso. Que representa
ento esta srie? No sabemos. A maneira como definimos convergncia e limite exclui toda a
possibilidade de a classificar como um nmero. Mas, h que considerar a nossa ideia intuitiva de
convergncia e limite, como qualquer coisa crescente mas nunca excedendo uma determinada
grandeza, ou decrescente mas nunca descendo abaixo de um valor dado. Ora, segundo este ponto de
vista intuitivo a srie decimal infinita no peridica convergente, e o mesmo se passa com muitas
outras sries, como por exemplo:
2

1 1 1 1
1 ,1 ,1 ,1 ,...
2 3 4 5
que, como sabemos, representa o nmero transcendente e.
Foi esta ideia simplista de convergncia e limite que se tomou como axiomtica nos primeiros
tempos da anlise, e temos
que admitir que, apesar dos perigos que exps, foi a ela que o clculo ficou
a dever os seus primeiros xitos. Assim, as perguntas que mais naturalmente se apresentam ao nosso
esprito so: Ser possvel revestir esta ideia intuitiva de convergncia e limite com uma definio
precisamente formulada? Ser possvel, por meio de tal definio, criar um novo instrumento que nos
permita lidar com estas entidades matemticas, representadas pelas sries decimais no peridicas e
outras sucesses, com a mesma segurana com que lidamos com as sucesses especiais que admitem
limites racionais?
4. Os nmeros reais
Para responder a estas questes, temos de verificar se, entre as propriedades das sucesses
especiais que convergem para limites racionais, existe alguma que permita uma generalizao imediata
ao tipo muitssimo mais extenso das sucesses que ainda no convergem. Georg Cantor descobriu tal
propriedade naquilo a que chamaremos natureza auto-assimpttica das sucesses convergentes.
Para a examinarmos, consideremos uma vez mais a srie dicotmica
.
Vamos "avanar" a srie, eliminando o primeiro termo, de forma que o segundo se torne o primeiro, o
terceiro segundo e assim por diante. Este processo de avano gera a sucesso de sucesses

que, evidentemente, se pode continuar indefinidamente. Ora, um rpido exame destas sucesses
suficiente para nos mostrar que todas so mutuamente assimptticas; quer dizer, a sucesso diferena
obtida a partir de duas delas evanescente.
Pode demonstrar-se que a propriedade auto-assimpttica vlida para todas as sucesses que
convergem para limites racionais; mas de modo algum se confina a estas: com efeito, qualquer dzima
infinita no peridica goza da mesma propriedade. Consideremos, pois, como exemplo a srie decimal
,
que se pode escrever na forma
.
evidente que a eliminao de qualquer nmero destas aproximaes racionais no afecta o carcter
da sucesso e, por isso, podemos escrev-la na forma

45

,
que assimpttica em relao primeira.
Assim alargou Cantor a ideia de convergncia que, at ento se aplicava apenas s sucesses
assimptticas em relao a sequncias de repetio, identificando os dois termos auto-assimpttica e
convergente. Alm disso, alargou a ideia de limite considerando a sucesso auto-assimpttica como
geradora de um novo tipo de entidade matemtica com o que, havia j muito tempo, se chamava
nmero real. No entanto havia que provar que estas novas entidades poderiam, de facto, ser
consideradas como nmeros. Tal possvel demonstrar usando as propriedades das sucesses e foi isso
o que Cantor fez.
5. Aritmtica real
Conter o novo domnio os irracionais da lgebra, os transcendentes da anlise? Contm, e,
para o mostrarmos, regressemos equao
que h mais de 2000 anos, envolvida no problema
da determinao da diagonal do quadrado, iniciou a crise que culminou na fundao do domnio dos
nmeros reais.
Ensinaram-nos na escola um algoritmo para a extraco da raiz quadrada. Este processo dnos, para aquilo a que chamamos
sucesso convergente:

uma sucesso de aproximaes racionais que formam uma

.
Esta sucesso no tem limite racional mas a sucesso dos seus quadrados
converge para o nmero racional 2.
Quando dizemos, portanto, que a soluo positiva da equao

a sucesso em questo

e representamos por
o nmero por ela definido, queremos significar no apenas que a sucesso dos
quadrados converge mas tambm que pertence ao raro tipo de sucesses convergentes que tendem para
um limite racional, o qual no nosso caso o nmero 2.
Semelhante processo aplica-se a outras equaes algbricas e transcendentes. Assim, ao
admitirmos a validade dos processos infinitos somos levados para alm das fronteiras apertadas da
aritmtica racional. Cria-se assim uma aritmtica geral, a aritmtica dos nmeros reais que nos faculta
os meios de abordar problemas perante os quais a aritmtica racional parecia impotente.
6. Sucesses de irracionais
Poder parecer, primeira vista, que nos faltou esprito de previso ao darmos o nome muito
geral de real ao limite das sucesses de racionais. Na verdade naturalssimo considerarmos sucesses
infinitas agora formadas por irracionais. Que isto no puro malabarismo, fcil de concluir de uma
expresso tal como

, cuja interpretao directa nos levaria sucesso irracional

.

Mas, pelo menos neste caso, a objeco infundada. Com efeito, se fizermos
,
uma simples manipulao algbrica suficiente para nos mostrar que x uma soluo da equao
. Todavia, podia aplicar-se a este caso um processo semelhante ao algoritmo da extraco
da raiz quadrada que nos permitia obter uma sucesso de nmeros racionais, a qual, por sua vez,
permitia representar
acima considermos.

como uma sucesso racional, assimpttica sucesso irracional que

Ora bem, por estranho que parea, este um caso geral. Dada uma sucesso irracional
qualquer, sempre possvel determinar uma sucesso racional (e normalmente mais do que uma) que
lhe assimpttica.

46

 de fundamental importncia o facto de se poder representar por uma sucesso de nmeros

racionais tudo quanto se possa exprimir por uma sucesso irracional. Desde que qualquer nmero real
pode ser expresso por sucesses racionais convergentes, o domnio racional, reforado pelos conceitos
de convergncia e limite, chegaria para alicerar a aritmtica e, atravs da aritmtica, a teoria de
funes que a pedra angular da matemtica moderna.
Mas este facto basilar de igual importncia para a matemtica aplicada. Uma vez que se
pode representar qualquer sucesso racional por uma dzima finita (ou infinita peridica), possvel
tambm a sistematizao de todo o clculo. Limitando-se a um dado nmero de casas decimais pode o
calculador obter a desejada aproximao racional para qualquer problema irracional ou transcendente.
E, o que mais, pode no s avaliar-se prontamente mas at mesmo determinar-se previamente o grau
de aproximao deste processo.
Quando algum perguntou a Lus XIV qual o princpio orientador da sua poltica
internacional, este teria respondido cinicamente: "Anexar! Pode sempre encontrar-se um advogado
esperto que justifique o acto". Tal como nesta anedota, o mundo no esperou por Weierstrass e Cantor
para consagrar o procedimento de substituir um nmero irracional por uma das suas aproximaes
racionais ou, o que o mesmo, tomar como limite duma sucesso infinita um termo suficientemente
avanado dessa mesma sucesso.
7. Convergncia e divergncia de sries
As propriedades dos processos infinitos, e em particular das sries, tornam-nos
particularmente adequados para a representao de nmeros reais. Mas, apesar disso, a histria dos
processos infinitos girou volta de um processo de alcance muito mais geral que, em razo da sua
prpria generalidade, conduziu, ao mesmo tempo, a um grande nmero de resultados embaraosos e
paradoxais.
Se considerarmos as sries geomtricas positivas, fcil de ver que so convergentes quando
a razo for inferior a 1 e divergentes no caso contrrio; e este resultado pode generalizar-se
imediatamente s sries geomtricas alternadas. Surge porm um caso notvel quando a razo igual a
-1, tomando ento a srie a forma
.
Diramos hoje que esta srie diverge muito embora a sua soma nunca exceda a. Na verdade, ela pode
parafrasear-se na sucesso:
que no tem limite definido. Mas Leibniz pensou de outra forma. Entendeu que os limites a e 0 so
igualmente provveis e que a soma tende para o valor mdio 0.5a, como limite.
O folheto em que Leibniz se ocupa das sries apareceu nos finais do sculo XVII e conta-se
entre as primeiras publicaes dedicadas ao assunto. Uma das caractersticas desta fase recuada da
histria das sries que a questo da sua convergncia ou divergncia, que hoje se considera
fundamental, era ento mais ou menos ignorada. Assim, era geralmente aceite a ideia de que a srie era
necessariamente convergente se fosse evanescente a sua sucesso geradora. Isto, como vimos,
verdadeiro para as sries geomtricas, e no h dvida de que tal foi a origem deste erro generalizado.
S com a publicao da obra de Jacques Bernoulli sobre srie infinitas, em 1713, se comeou a encarar
o problema de forma mais clara. O ponto de partida foi a srie harmnica. Sendo a sucesso geradora
evanescente, admitia-se tambm que a srie o era. Todavia Bernoulli apresenta no seu livro uma
demonstrao, que se deve a um dos seus irmos, Jean, de que esta srie, lenta mas seguramente,
diverge.
A obra de Bernoulli despertou a ateno para a necessidade de se estabelecer um critrio de
convergncia. A evanescncia do termo geral, ou seja, da sucesso geradora, uma condio
necessria, mas geralmente insuficiente. D'Alembert e Maclaurin, Cauchy, Abel e vrios outros,
determinaram condies suficientes. Devo, no entanto, dizer que a determinao do carcter
convergente ou divergente de uma srie ainda hoje tarefa difcil em certos casos.

47

8. A moderna anlise
Narrar a histria dos processos infinitos a partir de Augustin-Louis Cauchy (1789-1857) e
Niels Henrik Abel (1802-1829), seria narrar a histria da anlise moderna e da teoria das funes.
Na bblia da anlise complexa, o Cours d'Analyse, de 1821, Cauchy baseou a teoria na ideia
de limite e definiu-o assim:
"Quando os sucessivos valores atribudos a uma varivel se aproximam indefinidamente de
um valor fixo, acabando por diferir dele uma quantidade to pequena quanto queiramos, este ltimo
chamado o limite de todos os outros."
No que diz respeito ao infinitsimo foi bastante explcito:
"Dizemos que uma quantidade varivel se torna infinitamente pequena quando o seu valor
numrico decresce indefinidamente de maneira a convergir para o limite 0."
Os infinitsimos, tal como foi dito anteriormente, so variveis e no constantes. De forma
semelhante,
no uma constante, mas uma varivel que se torna infinitamente grande. Talvez seja
mesquinho observar que ningum tinha definido o que significa varivel. A omisso no era sria e
passou sem ser notada.
Finalmente - e francamente um alvio v-lo - Karl Weierstrass (1815-1897) esclareceu a
questo em 1850 ou volta disso, levando a srio a frase "to prximo quanto queiramos". Quo
prximo que queremos? ele tratou uma varivel, no como uma quantidade activamente em mudana,
mas simplesmente como um smbolo esttico para um qualquer elemento de um conjunto de valores
possveis. Uma funo
tende para um limite L quando x tende para um valor a se, dado qualquer
nmero positivo , a diferena
for menor que
sempre que
seja menor que algum
nmero
que depende de . como um jogo: "Tu dizes-me quo prximo queres
de L; depois
eu digo-te quo prximo x tem de estar de a." O Jogador psilon diz quo prximo ele quer; depois
delta livre de procurar o que quiser. Se delta tiver sempre uma estratgia ganhadora,
tende para
o limite L. Esta definio psilon-delta de limite talvez um pouco esquisita, mas, tal como o mtodo
grego da exausto, um profissional competente rapidamente se habitua a ela e pode controla-la com
preciso e ocasionalmente com uma virtuosidade espantosa.
Repare-se como as ideias fsicas de movimento foram substitudas por um conjunto de eventos
estticos, um para cada escolha de . No necessrio pensar numa varivel a tender para 0; tudo o
que temos a fazer considerar todos os possveis valores (maiores que 0) para
e lidar com eles de
uma forma bem sucedida. A introduo da infinitesimalidade potencial versus a real um falso
problema; toda a questo pode ser formulada em termos puramente finitos. A definio de limite de
Weierstrass libertou o clculo de consideraes metafsicas e assim nasceu a anlise moderna.
Referncias
1. Caraa, Bento de Jesus, Conceitos Fundamentais da Matemtica, Livraria S Costa, 9 edio,
Lisboa, 1989.
2. Dantzig, Tobias, Nmero a Linguagem da Cincia, Astler, Lisboa, 1960.
3. Stewart, Ian, Os Problemas da Matemtica, Gradiva, Lisboa, 1995.

48

CAPTULO 5. ALGORITMOS
1. Dixit Algorizmi
Abu Abdallah Muhammad ibn Musa al-Khwarizmi (tambm escrito, por vezes, al-Khorezmi,
al-Kworesmi, ou ainda de muitas outras formas) nasceu por volta de 810 d.C., em Khorezm (hoje
Urgench, no Urbequisto). Trabalhou como astrnomo do califa Abd-Allah al-Mamun (o Fidedigno),
que herdou a Bayt al-Hikmah (Casa da Sabedoria, ou Academia das Cincias), em Bagdad, de seu pai,
Harun ar-Rashid (o Justo), e a elevou sua mxima fama. Os trabalhos conhecidos de al-Khwarizmi
so dez em nmero e incluem Kitab az-zij al sindhind, um conjunto de tbuas astronmicas, incluindo
as primeiras tbuas de senos e co-tangentes; Kitab hisab al-'adad al-hindi, um texto aritmtico; e o
famoso Kitab al-muhtasar fi hisab al-gabr w'al-muquabalah, um texto compacto sobre resoluo de
equaes. O terceiro livro, latinizado como Ludus algebrae et almucgrabalaeque, deu-nos a palavra
"lgebra". Admitamos, podia ter sido pior. O segundo, latinizado como Algoritmi de numero Indorum,
trouxe o sistema numrico hindu para o mundo rabe e o resultante sistema numrico hindu-arbico
para a Europa.
Na poca medieval, a aritmtica era identificada com o seu nome, interpretado como
"Algorismus". A frmula dixit Algorizmi (assim falou al-Khwarizmi) era marca reconhecida de clareza
e autoridade. O seu texto sobre aritmtica inclua todos os processos aritmticos bsicos atravs dos
quais os nmeros podem ser somados, subtrados, duplicados, divididos ao meio, multiplicados,
divididos e extradas as suas razes quadradas. Tinha tambm um captulo sobre clculos comerciais.
Hoje, o seu nome sobrevive como a descrio de qualquer procedimento claro e preciso de resoluo
de um dado problema: um algoritmo. um conceito no mago das cincias da computao, em termos
prticos e tericos, e da matemtica da computabilidade.
2. Existncia e construtibilidade
H muitos estilos diferentes de matemtica. Numa algo nebulosa extremidade est a prova de
existncia pura, que afirma que um objecto com certas propriedade tem necessariamente de existir
(matemtica dialctica). No meio esto tcnicas mais ou menos construtivas que fornecem uma
descrio mais explcita dos resultados ou objectos desejados. No ncleo central est o algoritmo
completamente construtivo, um procedimento perfeitamente definido que garante o clculo exacto
daquilo que se pretende, desde que esperemos o tempo suficiente (matemtica algortmica).
O problema dos nmeros transcendentes ilustra bem os trs estilos. A demonstrao de
existncia de Cantor no exibe um nico nmero transcendente. Observa apenas que, pelo facto de
haver mais nmeros reais que nmeros algbricos, os nmeros transcendentes tm de existir. No nvel
intermdio esto as demonstraes de transcendncia de nmeros especficos, como
, ou os
nmeros de Liouville. Estas exploram propriedades dos nmeros especiais envolvidos. Um algoritmo
para a transcendncia seria um mtodo geral que decidisse, para qualquer nmero, se ele satisfaz ou
no uma equao algbrica. No se conhece nenhuma tcnica que faa isso; provavelmente, essa
tcnica no existe.
Toda a matemtica do Egipto, da Babilnia e do Mdio Oriente antigo era de natureza
algortmica. A matemtica dialctica - estritamente lgica e dedutiva - tem origem na Grcia. Mas no
substituiu a matemtica algortmica. Com Euclides (cerca de 300 a.C.), o papel da dialctica justificar
uma construo - ou seja, um algoritmo.
S mais recentemente encontramos matemtica com pouco ou nenhum contedo algortmico e
que poderemos designar por puramente dialctica ou existencial.
Uma das primeiras linhas de investigao a revelar um esprito predominantemente dialctico
foi a pesquisa de razes de um polinmio de grau n,
,
deveria possuir n razes, contando com as multiplicidades. Todavia, no se encontrara uma frmula
explcita, como a frmula quadrtica ou cbica. (Foi posteriormente demonstrado que no possvel
encontrar uma frmula semelhante para
.) A questo passou a ser a de descobrir que outros meios
poderiam aplicar-se ao problema de encontrar aproximaes s razes. Em ltima anlise, que garantias

49

temos da existncia de razes? Os teoremas que o garantem, demonstrados inicialmente por Gauss, so
dialcticos. O aspecto algortmico ainda tema de discusso.
Na maior parte do sculo XX a matemtica tem sido orientada para a existncia, e no para o
algoritmo. Tem-se notado em anos mais recentes uma viragem em direco abordagem construtiva ou
algortmica. A abordagem algortmica recomendvel sempre que o problema com que nos
defrontamos exija uma soluo numrica, com importncia dentro ou fora da matemtica. A anlise
numrica a cincia e a arte de chegar a solues numricas para certos problemas matemticos.
A realidade, no entanto, revela-se um pouco mais obscura. Como vamos reagir a
demonstraes de existncia de algoritmos que na realidade no especificam o que o algoritmo?
Podemos imaginar um algoritmo para encontrar demonstraes de existncia; ou demonstraes de
existncia de algoritmos que encontrem demonstraes de existncia para algoritmos que... bom, esto
a ver a ideia.
3. Algoritmos antes de Algorismus
Como foi dito, o pensamento algortmico precede al-Khwarizmi alguns milnios. Um dos
primeiros algoritmos significativos encontra-se no Livro Sete de Euclides e ilustra vrias das suas mais
importantes caractersticas. O problema calcular o mximo divisor comum (mdc) de dois nmeros;
isto , o maior nmero que divide ambos de forma exacta. Conceptualmente, a soluo mais simples
decompor os nmeros em factores primos e reter a mais pequena potncia de cada primo comum; e
este o mtodo ensinado usualmente nas escolas de hoje. Por exemplo, para encontrar o mdc de 60 e
280, escrevemos
e
e retemos
, isto 20, como mdc. Mas este
mtodo irremediavelmente ineficiente para nmeros mesmo com quatro ou cinco dgitos, devido
dificuldade em encontrar factorizao em primos. (Alm disso, a demonstrao de que funciona
depende do algoritmo de Euclides!) O mtodo melhorado de Euclides funciona da seguinte maneira.
Sejam m e n os dois nmeros, sendo m o mais pequeno. Ento:
1. Divide-se n por m, com resto igual a r;
2. Substitui-se n por m e m por r;
3. Repetir do passo 1. at o resto ser zero.
Ento o divisor final m o mdc procurado. Por exemplo, para encontrar o mdc de 50938 e
34017 procedemos da seguinte maneira:
50938/34017
34017/16996
16996/85
85/51
51/34
34/17

d resto 16996
d resto 85
d resto 51
d resto 34
d resto 17
d resto 0.

Logo o mdc 17. A demonstrao de que o algoritmo funciona sempre bastante fcil e
baseada no facto de que qualquer nmero que divida m e n tem tambm que dividir r, e
reciprocamente.
4. O criador de coelhos de bom corao
Os nmeros que aparecem no algoritmo de Euclides decrescem rapidamente. Com que
rapidez? Em quantos passos consiste o algoritmo? Para responder analisemos o pior caso, onde a
diminuio a mais pequena possvel em cada passo. Trabalhando ao contrrio, conclumos que m e n
devem ser os termos consecutivos da sucesso
1,1,2,5,8,13,21,34,55,89,...
em que cada nmero a soma dos dois anteriores. Esta sucesso tem uma longa histria. Foi
descoberta por Leonardo Pisano, alcunhado Fibonacci ("filho de bom corao"), na resoluo do
seguinte problema:
Quantos pares de coelhos sero produzidos num ano, comeando com um s par, se em cada
ms cada par gera um novo par que se torna produtivo a partir do segundo ms?

50

O livro de Leonardo, Liber Abaci, de 1202, introduziu na Europa a aritmtica hindu-arbica,

outra ligao com al-Khwarizmi. Qual o tamanho do ensimo nmero de Fibonacci? H uma frmula
exacta, mas uma estimativa mais grosseira fornece a compreenso necessria. O nmero de passos do
algoritmo de Euclides aproximadamente igual a cinco vezes o nmero de dgitos do maior dos dois
nmeros envolvidos. Mesmo para um nmero com 100 dgitos, no sero precisos mais de 500 passos.
Encontrmos uma medida da eficincia do algoritmo. Aqui a "velocidade" proporcional ao nmero de
dgitos. A eficincia realmente muito grande. Em comparao, o tamanho do mtodo dos "factores
primos", usando a diviso por tentativas, cresce exponencialmente com o nmero de dgitos. Para um
nmero com 100 dgitos seriam necessrios cerca de
passos.
5. Algoritmos de tempo til
Uma questo essencial na construo de um algoritmo a de saber se ele termina. Para decidir
se um algoritmo termina, temos que determinar se o nmero de passos por ele executados finito.
Constatamos, por exemplo, que em certas aplicaes a situaes concretas, tais como o controlo de um
reactor nuclear, os procedimentos nunca terminam. Na prtica queremos que o algoritmo termine num
perodo razovel de tempo; ao fim e ao cabo, um algoritmo que no produza a soluo em tempo til
no um algoritmo de grande utilidade.
Consideremos o caso do xadrez. Suponhamos que queremos um algoritmo que determine
quando que as brancas ganham sempre. Temos 20 aberturas possveis (duas para cada um dos oito
pees e duas para cada cavalo) e, consequentemente, 20 respostas das pretas para cada uma dessas
aberturas. Um algoritmo para analisar o jogo de xadrez tem de examinar cada uma das 400
configuraes possveis depois do primeiro par de jogadas. O algoritmo analisaria posteriormente todos
os movimentos que as brancas fariam em seguida, bem como as possveis respostas dadas pelas pretas
a cada configurao, e assim sucessivamente. Num jogo tpico de xadrez ocorrem cerca de 40 pares de
jogadas o que permitem
configuraes possveis no tabuleiro. Mesmo com um computador super
rpido, este algoritmo gastaria uma enormssima quantidade de tempo. Suponhamos que examinamos 1
milhar de milho de configuraes por segundo: demoraramos
sculos a determinar todas as
possveis situaes de jogo. Para servir de termo de comparao, notemos que estudos recentes sobre a
idade do Universo nos dizem que esta se situa entre os 9 e os 12 milhares de milho de anos! Mesmo
que, em teoria, o algoritmo termine, o tempo necessrio sua concluso torna-o impraticvel. Os
actuais programas que analisam o jogo de xadrez usam um mtodo completamente diferente,
construdo mais base da maneira como os grandes mestres jogam.
normalmente aceite que para resolver um problema difcil, temos que o compreender em
profundidade. No entanto, em verdade, podemos resolver problemas sem os compreender se
possuirmos mtodos que nos conduzam soluo. Por exemplo, no necessitamos de conhecer o
Cdigo Fiscal portugus para calcular quanto temos que pagar de impostos. Se possuirmos um
algoritmo eficiente, no necessitamos de compreender sequer o mnimo do problema subjacente em si.
Limitamo-nos a seguir os passos do algoritmo e chegar soluo. Os computadores fazem a mesma
coisa; eles no "compreendem" problemas mas esto aptos a seguir algoritmos at encontrar a soluo.
Evidentemente, isto no assim to simples; o algoritmo tem que ser escrito por forma a que o
computador o possa interpretar, o que significa que h necessidade de especificar todos os passos numa
linguagem que o computador entenda. E isto que todos os programas de computador so: algoritmos
traduzidos numa linguagem muito bem definida que o computador interpreta.
6. A ligao malthusiana
Uma vez que possumos mais do que um algoritmo para um dado problema, a nossa questo
bvia : qual o melhor algoritmo? Temos para isso que clarificar o sentido de "melhor".
Suponhamos que escolhemos um mtodo formal de clculo no qual definimos precisamente o
tamanho dos dados e o tempo de execuo. (Um tal mtodo foi descrito por Alan Turing nos anos 30
deste sculo.) Assim podemos medir a eficincia de um algoritmo pela forma como o tempo de
execuo varia com o tamanho dos dados de entrada. Em 1965, J. Edmonds e A. Cobham propuseram
que os dois casos cruciais, correspondendo aproximadamente ao que a experincia descrevia como
"bons" e "maus" algoritmos, fossem o tempo polinomial e o tempo exponencial. Se o tempo de

51

execuo exceder uma potncia fixa, o algoritmo cresce em tempo polinomial. Se crescer como
ou
mais depressa, corre em tempo exponencial. Taxas de crescimento entre estas podem aparecer, mas so
raras na prtica. Uma vantagem desta classificao no depender do modelo do processo
computacional escolhido. Observemos que o "bom" algoritmo de Euclides corre em tempo linear, ao
passo que o natural mas "mau" mtodo da factorizao exponencial.
Em 1798, Thomas Malthus escreveu um famoso artigo sobre a presso populacional, no qual
fez a distino entre o crescimento linear das reservas alimentares e o crescimento exponencial da
populao. basicamente a mesma distino e o ponto crucial que, a longo prazo, o crescimento
exponencial ganhar, por mais devagar que possa comear. Estas medies grosseiras, mas eficazes,
tm objectivos tericos e tm de ser combinadas na prtica com outras observaes. Um algoritmo com
um tempo de execuo igual a

, pela nossa definio "bom", mas na prtica intil. Um

algoritmo com tempo de execuo igual a

"mau", mas pode funcionar de forma
razovel para uma grande variedade de valores de s. No conheo, no entanto, exemplos razoveis de
qualquer uma destas fantasias.
7. P=NP?
De seguida vamos enumerar alguns problemas para os quais seria interessante encontrar
algoritmos:
1. [Problema da ordenao] Dado um conjunto de inteiros, disp-los por ordem crescente;
2. [Problema do encaminhamento] Descobrir a melhor maneira de encaminhar camionetas do lixo
atravs de uma cidade, minimizando a distncia a percorrer, sujeita a condicionamentos, como ter de
recolher o lixo numa semana de trabalho usando um nmero de camionetas que no exceda o que as
autoridades da cidade possuam;
3. [Problema dos horrios] Dadas informaes acerca das disciplinas, professores e alunos, fazer um
horrio sem sobreposies;
4. [Problema do empacotamento] Dado um conjunto de objectos de vrios tamanhos, disp-los no
menor nmero de caixotes de tamanho fixo;
5. [Problema do caixeiro-viajante] Dada uma lista de cidades, cada uma a ser visitada exactamente uma
vez, encontrar o caminho mais curto.
Todos estes problemas so de optimizao combinatria. Para cada x h um valor
a
minimizar. Neste contexto a distino polinomial/exponencial apresenta um novo e importante aspecto.
Seja P a classe de problemas que podem ser resolvidos atravs de um algoritmo correndo em
tempo polinomial: os problemas fceis. Uma classe (presumivelmente) mais geral, contendo a maioria
dos problemas interessantes, chamada NP, os problemas solveis em tempo polinomial no
determinstico. evidente que qualquer problema que pertena a P pertence tambm a NP. Ser o
recproco verdadeiro? Parece pouco provvel. Portanto, esperamos que P seja diferente de NP. Parece
o tipo de coisa que deveria ser fcil de decidir. Mas no . um problema por resolver, um grande
desafio que pode muito bem ser legado aos matemticos do sculo XXI.
O que torna o problema de decidir se P diferente de NP to difcil o facto de no ser nada
fcil provar que nenhum problema no pode ser resolvido em tempo polinomial. Temos que encarar
todos os algoritmos possveis para o problema e mostrar que cada um deles ineficiente. As
demonstraes de no existncia so normalmente difceis, bastando olhar para o caso da quadratura do
crculo, o estabelecimento da hiptese do contnuo, etc. Outra caracterstica curiosa que todos os
problemas que seria de esperar estarem em NP, mas no em P, estarem essencialmente em igualdade
de condies uns com os outros, tornando difcil saber por onde comear. Concretamente, digamos que
um problema NP-completo se pertencer a NP e se o facto de ele poder ser resolvido em tempo
polinomial implicar que todos os problemas em NP poderem ser resolvidos em tempo polinomial. Por
outras palavras, se ele no for um contra-exemplo, nada mais . Virtualmente, todos os problemas em
que possvel pensar em NP que no estejam j obviamente em P vm a ser NP-completos. Centenas

52

de problemas foram estudados. E tambm sabido que os mtodos mais plausveis para mostrar que P
igual a NP (simulao), quer que P diferente de NP (a diagonalizao de Cantor), no conseguem
ser postos a funcionar.
Ser verdadeiro? Ser falso? Ser que no uma coisa nem outra, como a hiptese do
contnuo? Ser a sua veracidade independente da teoria formal de conjuntos? Ningum tem a mais
pequena ideia. um dos maiores problemas em aberto da matemtica.
8. Os limites da computabilidade
Durante sculos, os matemticos mataram a cabea para tentar provar o axioma das paralelas
de Euclides. A descoberta da geometrias no euclidianas lanou outra luz sobre o problema. H
geometrias diferentes da de Euclides que so igualmente consistentes: se a geometria de Euclides
consistente, o mesmo acontece com as outras. O que originou uma questo muito mais profunda: a
geometria de Euclides consistente? Tendo comeado a partir do princpio de que a geometria
euclidiana era a verdadeira geometria da natureza e de que nenhuma outra geometria podia fazer
sentido, e tendo-se provado que estavam enganados em ambos os princpios, os matemticos
comearam a duvidar at da geometria euclidiana. Ser isso consistente? Foi razoavelmente fcil de ver
que assim acontece, desde que o sistema dos nmeros reais seja consistente, e em seguida trabalhar os
fundamentos da matemtica, depois de Cantor ter conseguido reduzir o problema da consistncia dos
reais primeiro dos inteiros e depois lgica matemtica e teoria formal de conjuntos. Dentro da
teoria de conjuntos, e usando a lgica, podemos construir um modelo para os inteiro; com os inteiros
podemos construir um modelo para os reais; com os reais podemos construir um modelo para a
geometria euclidiana; com a geometria euclidiana podemos construir um modelo para a geometria no
euclidiana. Tudo muito bem - mas e a teoria de conjuntos e a lgica? Era tudo um horrvel anti-clmax:
os matemticos partiram conquista do universo e acabaram a duvidar do prprio solo que pisavam.
Em 1900, David Hilbert (1862-1943), o mais influente matemtico do seu tempo, imaginou
um programa de investigao cujo resultado final seria uma demonstrao rigorosa da consistncia da
lgica e da teoria de conjuntos, ou equivalentemente, da aritmtica, bem como da sua completude, isto
, o que verdade tem que ser provado. Este programa foi apresentado num famoso discurso
apresentado no decorrer do Segundo Congresso Internacional de Matemtica, realizado em Paris. Mas,
em 1931, depois de anos de intenso trabalho no programa de Hilbert, um ilustre desconhecido austraco
chamado Kurt Gdel meteu um gro de areia na engrenagem e o programa desfez-se em runas. Gdel
provou um resultado notvel: demonstrou que h afirmaes verdadeiras em aritmtica (bem como em
qualquer outra teoria matemtica suficientemente poderosa para conter a aritmtica) que nunca podem
ser demonstradas e que, se algum encontrar uma demonstrao de que a aritmtica consistente, ento
ela no o ! Este resultado chocou o mundo matemtico.
Entretanto, mais ou menos na mesma altura, o matemtico britnico Alan Turing estava a
trabalhar em lgica matemtica, tendo em vista clarificar a noo de computabilidade. O resultado de
Gdel garantia a existncia de proposies indecidveis. Poderamos dizer partida quais eram essas
proposies? Para detectar um procedimento automtico que detectasse essas proposies, Turing
primeiro teve que formalizar a noo de procedimento. Nesse sentido apareceu com o conceito de uma
mquina de computar (a mquina de Turing). Essa ideia de mquina era simplesmente uma construo
mental que permitia a Turing descrever o que entendia por procedimento computvel, ou funo; de
facto, ele descobriu que no possvel dizer partida quais so as proposies indecidveis. Mas a
porta estava aberta. O que comeou como uma ideia para definir um procedimento rapidamente se
tornou numa realidade prtica.
9. O aparecimento dos computadores
A histria do aparecimento dos computadores envolve vrias personagens, mas talvez a mais
importante seja John von Neumann, um dos melhores matemticos deste sculo e, por consequncia, de
sempre. Um matemtico puro, von Neumann estava fascinado pelas aplicaes prticas. Um dos
muitos interesses de von Neumann era a dinmica dos fluidos. Mas as equaes que representam o
movimento dos fluidos so to complicadas que mesmo um nico problema pode demorar semanas a
ser resolvido por uma sala cheia de matemticos com calculadoras de bolso. Apesar de ser aceitvel em
tempo de paz, a Segunda Grande Guerra Mundial trouxe a exigncia dos problemas serem resolvidos

53

rapidamente. So necessrias quantidades astronmicas de clculos da dinmica dos fluidos para o

desenvolvimento tecnolgico, incluindo a bomba atmica.
Este tipo de restries levaram von Neumann a comear o trabalho de desenvolvimento de um
computador. Ele no s desenhou uma mquina teoricamente como tambm dirigiu a equipa que
construiu um computador com as suas ideias. Essa mquina foi construda nos anos 40 na Universidade
de Princeton e tornou-se o prottipo dos modernos computadores.
Desde essa altura, desenvolvimentos e melhoramentos tm-se seguido a um ritmo alucinante.
Novos desenvolvimentos da computao grfica tm conduzido a novas descobertas matemticas (o
caso dos fractais). As verificaes por computados tm sido incorporadas nas demonstraes de
importantes resultados (conjectura das quatro cores). Assim, num certo sentido, fechmos uma ciclo. O
computador apareceu como uma ideia para ajudar a perceber o sentido da demonstrao matemtica.
Mas a matemtica est sempre em expanso. Hoje, o computador no s nos ajuda a efectuar os nossos
clculos e a desenhar as nossas figuras, como tambm alterou a nossa noo de demonstrao e toda a
imagem de matemtica em si.
Referncias
1. COMAP, For All Pratical Purposes; Introduction to Contemporary Mathematics, Freeman and Co,
New York, 1988.
2. Davis, J. Philip e Hersh, Reuben, A Experincia Matemtica, Gradiva, Lisboa, 1995.
3. Stewart, Ian, Os Problemas da Matemtica, Gradiva, Lisboa, 1995.

54

CAPTULO 6. O PROBLEMA DO CONTNUO

1. Preenchendo lacunas
Ao admitirmos a validade do processo infinito somos levados para fora dos estreitos limites
do domnio racional e adquirimos um meio para abordar problemas perante os quais a aritmtica
racional permanecia impotente. pois natural perguntarmos se estamos agora em melhor posio para
resolver o velho problema do estabelecimento da correspondncia perfeita entre os pontos duma linha e
o domnio dos nmeros.
Sabemos que a aritmtica racional era insuficiente para o resolver. Mas se a aritmtica geral, a
aritmtica dos nmeros reais, consegue maiores xitos neste campo, ainda uma questo em aberto: os
pontos da linha que escapavam representao racional, admitem de qualquer modo formulao
aritmtica? O velho problema que provocou a crise inicial e levou reviso das bases da aritmtica
reaparece agora numa forma nova e mais geral: pode representar-se qualquer nmero real por um
ponto duma linha? Pode atribuir-se um nmero real a qualquer ponto de uma linha?
Se a resposta for afirmativa, existe ento uma correspondncia completa e recproca entre o
domnio dos nmeros reais, por um lado, e o conjunto dos pontos de uma linha, por outro. Se tal
correspondncia existe, podemos decidir aplicar aos problemas da geometria toda a preciso e a fora
da anlise aritmtica e reduzir esses problemas a questes de nmero e grandeza. Vemos assim quanto
a pergunta importante, e quantas coisas podem depender da resposta.
2. A ideia do contnuo
Para responder a esta questo, Cantor empreendeu a tarefa de descobrir a diferena
fundamental entre os domnios racional e real.
O conjunto dos nmeros racionais, embora ordenado (dados dois nmero racionais podemos
dizer qual o maior) e compacto (entre dois nmeros racionais quaisquer possvel intercalar um
nmero infinito de outros nmeros racionais), imperfeito. imperfeito por no ser fechado em
relao aos processos infinitos. No fechado em relao aos processos infinitos, como o prova a
prpria existncia dos irracionais, uma vez que existem sucesses racionais infinitas que, embora
convergentes, no tm como limite nmeros racionais. Em suma, o conjunto dos nmeros racionais
imperfeito porque no contm todos os seus prprios valores limite.
Mas o conjunto dos nmeros reais no apenas ordenado e compacto: perfeito. E perfeito
porque fechado em relao a todos os processos infinitos. Uma sucesso infinita de nmeros reais, se
for convergente, representa um nmero real; com efeito, se tal sucesso, embora no sendo racional em
si mesma, pode ser substituda por uma sucesso racional que converge para o mesmo limite, por
definio um nmero real. O conjunto dos nmeros reais contm todos os seus prprios valores limite e
por essa razo se diz que perfeito.
Ora, nem todo o conjunto compacto perfeito, como o mostra a anlise do domnio racional;
mas todo o conjunto perfeito compacto, como demonstrou Cantor. Um conjunto simultaneamente
ordenado e perfeito, define-o Cantor como um contnuo. O domnio dos nmeros reais constitui um
contnuo, o contnuo aritmtico. Em contrapartida, o domnio dos nmeros racionais, por ser
imperfeito, no constitui um contnuo.
E assim, o que define o domnio dos nmeros reais de forma completa que um contnuo,
um contnuo no sentido que lhe atribua Cantor. Mas, as palavras contnuo, continuidade, utilizaram-se
nas cincias exactas desde os primeiros dias. Desde tempos imemoriais que o termo contnuo tem sido
aplicado ao espao, ao tempo, e ao movimento, com o sentido indeterminado de qualquer coisa
ininterrupta, qualquer coisa que tem a mesma natureza nas suas partes mais pequenas como no seu
todo, qualquer coisa constantemente ligada, em suma qualquer coisa contnua! no esto a ver? Esta
uma das muitas noes vagas, indeterminadamente concebidas cujo sentido apanhado pela intuio.
E, no entanto, qualquer tentativa para a formularmos numa definio precisa acaba invariavelmente por
um impaciente: "Bem! voc sabe o que eu quero dizer!"

55

A ideia mais tpica que corresponde a estas condies a linha, e em particular a linha recta, a
que o nosso esprito atribui continuidade por excelncia. Assim, se quisermos descobrir uma
correspondncia completa e recproca entre a linha recta e o domnio real devemos assegurar-nos de
que no h contradio flagrante entre a ideia intuitiva de continuidade que atribumos linha e a
continuidade precisa, cientificamente formulada dos nmeros reais, tal como a definiu Cantor.
3. A contribuio de Dedekind
Uma contribuio importante nesse sentido foi dada por Richard Dedekind. A essncia do
conceito de Dedekind contm-se no seguinte passo do seu memorvel ensaio "Continuidade e Nmeros
Irracionais", aparecido em 1872, dez anos antes da publicao dos ensaios de Cantor sobre o mesmo
assunto:
"A linha recta infinitamente mais rica em pontos que o domnio dos nmeros racionais o
em nmeros...
Ento se tentarmos seguir aritmeticamente os fenmenos que governam a linha recta,
acharemos inadequado o domnio dos nmeros racionais. Torna-se absolutamente necessrio
aperfeioar este instrumento pela criao de novos nmeros, se pretendermos que o domnio dos
nmeros seja to completo, ou, como podemos dizer agora, tenha a mesma continuidade, que a linha
recta...
A comparao do domnio dos nmeros racionais com a linha recta levou a reconhecer-se a
existncia de lacunas, de um certo inacabamento ou descontinuidade, no primeiro, enquanto na linha
recta vemos completo acabamento, ausncia de lacunas, ou continuidade. Em que consiste ento a
continuidade? Tudo deve depender da resposta a esta questo, e apenas nela poderemos procurar uma
base cientfica para a investigao de todos os domnios contnuos. Nada se ganha, evidentemente,
com vagas afirmaes acerca da conexo ininterrupta das suas partes infinitamente pequenas; o
problema consiste em indicar-se com preciso uma caracterstica da continuidade que possa servir de
base deduo vlida. Durante muito tempo, meditei nisto em vo, mas acabei por encontrar o que
buscava. A descoberta ser, talvez, encarada de modos diferentes por pessoas diferentes; a maioria
poder achar o seu fundo, um simples lugar comum.
Consiste no seguinte. Cada ponto da linha recta produz uma separao da linha em duas
pores tais que cada ponto de uma delas se situa esquerda de todos os pontos da outra. Ora eu vejo
a essncia da continuidade na proposio inversa, ou seja, no seguinte princpio:
Se todos os pontos de uma recta se distribuem por duas classes, de tal modo que cada ponto
de uma delas se situa esquerda de todos os pontos da outra, existe um e um s ponto que produz uma
tal diviso de todos os pontos em duas classes, cortando assim a recta em duas pores.
Conforme j disse, julgo no errar ao esperar que todos admitam, desde logo, a verdade
desta afirmao; por outro lado, a maioria dos leitores sentir-se- muito desapontada ao saber que
com esta banalssima observao se desvenda o segredo da continuidade. Devo dizer, a este respeito,
que me sinto satisfeito por todos poderem achar o princpio expresso evidente em harmonia com a sua
prpria ideia de linha, porquanto sou completamente incapaz de aduzir uma nica prova da sua
verdade, como de resto ningum tem poderes para tal. A aceitao desta propriedade da linha
apenas um axioma pelo qual atribumos linha a sua continuidade, pelo qual definimos a sua
continuidade. Se admitirmos que o espao tem existncia real, no necessrio que ele seja contnuo;
manter-se-iam muitas das suas propriedades mesmo que fosse descontnuo. E ainda que soubssemos
o espao descontnuo, nada nos poderia impedir, se assim o desejssemos, de preencher mentalmente
as suas lacunas, tornando-o desta maneira contnuo; esse preenchimento consistindo em criarmos
novos pontos, o que teria de ser realizado de acordo com o princpio atrs expresso."
4. O significado das ideias de Dedekind
Analisemos o princpio de Dedekind na prtica. Tal como Cantor, Dedekind toma como ponto
de partida o domnio dos nmeros racionais mas, em vez de identificar o nmero real como uma
sucesso convergente de racionais, v o nmero real como se fosse gerado pela faculdade mental de
classificar os nmeros racionais. A este processo especial de classificao, chama ele schmitt, termo
que pode ser traduzido por partio de Dedekind.
Esta partio a rplica exacta do conceito de que Dedekind se serviu para definir
continuidade numa linha. Tal como um ponto da linha a divide em duas regies contguas, no
sobrepostas, assim constitui todo o nmero real um meio de dividir os nmeros racionais em duas
classes sem elementos comuns, mas que, justapostas, cobrem todo o domnio dos nmeros racionais.

56

Reciprocamente, toda a equao, todo o sistema de classificao, todo o processo capaz de

efectuar tal separao no domnio dos nmeros racionais, identifica-se por essa razo com um nmero,
por definio um nmero real, um elemento do novo domnio.
Os nmeros racionais constituem uma parte deste vasto domnio porque cada um deles pode
ser considerado individualmente como um tal sistema de classificao (exemplo: os nmeros menores
ou iguais a 2 e os nmeros maiores que 2). Mas, evidente que no se podem esgotar com to triviais
parties as potencialidades de um princpio de to vasto alcance. Nada, por exemplo, nos impede de
separar, nos nmeros racionais, todos aqueles cujos quadrados so inferiores ou iguais a um racional
dado, por exemplo, o 2, e aqueles cujos quadrados so superiores a 2. Esta partio define, tal como no
caso anterior, um nmero real, que poderemos identificar como o nosso velho amigo

Por outro lado, embora as parties possam definir igualmente nmeros racionais ou
irracionais, a escolha de umas ou de outras, para base, no indiferente porque h uma diferena
essencial entre parties racionais e irracionais. O separador racional faz parte da classe inferior:
como o poltico que tivesse dividido um partido e aderido ala esquerda; mas o separador irracional
fica isolado: como uma questo que tivesse dividido o partido, no ficando a fazer parte,
evidentemente, de nenhuma das alas. E assim tambm o irracional que provocou a partio no
pertence classe inferior nem superior, Por outras palavras: no caso racional a classe inferior tem um
elemento mximo e a superior no tem mnimo, no caso irracional nem a classe inferior tem mximo
nem a superior tem mnimo.
De acordo com a teoria de Dedekind, este o nico aspecto que distingue os dois tipos de
nmeros: a caracterstica do nmero racional pertencer a uma das classes e a caracterstica do
irracional de no pertencer a nenhuma.
5. O postulado de Dedekind-Cantor
Apesar de Cantor e Dedekind no terem conseguido emancipar o contnuo da intuio do
tempo, o antiqussimo conflito entre as nossas noes de continuidade e o conceito cientfico de
nmero, terminou com a vitria decisiva deste. A vitria foi-lhe garantida pela necessidade de
confirmar, de legitimar, como se fora caso disso, um procedimento que desde os dias de Fermat e
Descartes se tornara uma ferramenta indispensvel da anlise: a geometria analtica.
Ora a suposio tcita em que assentava a geometria analtica era a possibilidade de se
representar os pontos de uma linha, e portanto pontos do plano e do espao, por meio de nmeros. Esta
suposio equivale a admitir que se pode estabelecer uma correspondncia perfeita entre os pontos de
uma linha e os nmeros reais. O grande xito da geometria analtica, o facto de ela servir to
perfeitamente os objectivos quer da anlise, quer da geometria, deram quela suposio uma fora
pragmtica irresistvel. Tornava-se fundamental incluir tal princpio na estrutura lgica geral da
matemtica. Mas como?
Havia, por um lado, o conceito logicamente consistente do nmero real e do seu conjunto, o
contnuo aritmtico; por outro, as noes vagas do ponto e do seu conjunto, o contnuo linear. Tudo
quanto havia a fazer era declarar-se a identidade dos dois, ou, o que vinha a dar no mesmo, a afirmar-se
que:
possvel fazer corresponder a qualquer ponto da uma linha um nico nmero real, e,
reciprocamente, a qualquer nmero real corresponde um nico ponto da linha.
este o famoso postulado de Dedekind-Cantor. Este axioma, ao consagrar a suposio tcita
em que se apoiou a geometria analtica durante mais de dois sculos, tornou-se o axioma fundamental
desta disciplina. Tal como sucede com muitos outros, ele na verdade uma definio encoberta: define
uma nova entidade matemtica, a linha aritmtica. A partir deste momento, a linha - e por
consequncia o plano e o espao - deixa de ser uma noo intuitiva para se reduzir a um mero portador
de nmeros.
Referncias
1. Dantzig, Tobias, Nmero a Linguagem da Cincia, Astler, Lisboa, 1960.

57

58

CAPTULO 7. A NOO DE FUNO

1. Introduo
Toda a gente sabe que o volume de um cubo varia como a terceira potncia da aresta, e que a
superfcie de um crculo varia como o quadrado do comprimento do seu raio. Ambas as relaes se
denominam funes. Mas as funes no interessam s aos matemticos, pois tambm se utilizam em
muitos outros campos, e disto poderamos dar numerosos exemplos.
Todo o contribuinte sabe que os impostos que dever pagar ao fim do ano estaro em funo
do seu rendimento durante esse ano (ser?...). Se colocarmos uma determinada quantia de dinheiro a
prazo num banco, sabemos que a quantia que retiraremos uma vez acabado o prazo depender da taxa
de juro e da durao do prazo. Os alpinistas sabem que a presso atmosfrica varia em funo da
altitude.
Seguidamente trataremos de compreender como os matemticos chegaram formulao deste
conceito que hoje nos to familiar.
2. Brevssima digresso histrica
A definio geral de funo dada no sculo passado pelo matemtico alemo Gustav Dirichlet
foi: "Dizemos que y funo de x quando para qualquer valor de x se deduz um valor de y e s um". A
x chama-se varivel independente e a y chama-se varivel dependente.
O facto de considerar uma grandeza como funo de outra grandeza no uma ideia recente:
dois sculos antes da nossa era, o astrnomo grego Hiparco fez uma tabela em que se davam os valores
das cordas correspondentes a vrios arcos de circunferncia, com o fim de facilitar os clculos para
localizar os astros no cu.
Durante muitos sculos foram frequentes nos livros de matemtica as tabelas que davam para
determinados valores de uma grandeza varivel os valores correspondentes de outra grandeza
dependente da primeira. As tabelas mais comuns deste tipo eram as trigonomtricas e as logartmicas.
No sculo XVII, o filsofo e matemtico Ren Descartes descobriu que era possvel
"visualizar" as correspondncias entre as grandezas dessas tabelas atravs de uma representao
geomtrica. Parece que foi exactamente no dia 10 de Novembro de 1619 que teve esta ideia
simultaneamente simples e genial, que poderamos resumir assim: traam-se num plano dois eixos
perpendiculares, OX e OY; procura-se sobre o eixo OX um ponto
cujo comprimento seja
proporcional a um determinado valor da varivel independente; a partir deste ponto traa-se um
segmento paralelo ao eixo OY e cujo valor seja proporcional ao valor
que toma a varivel
dependente para o valor
da varivel independente. O conjunto de pontos obtidos deste modo
representa a relao entre ambas as variveis.
At definio rigorosa de funo dada no sculo passado muitos so os exemplos de funes
que foram sendo definidas e que contriburam decisivamente para o crescimento cientfico da
Humanidade. A ttulo de exemplo, citemos apenas um caso. Ao tentar descobrir as leis que regem a
queda dos corpos, o ilustre cientista italiano Galileu Galilei (1564-1642) deu-se conta de que no
movimento de queda livre de um corpo a velocidade parece aumentar com o tempo. Dada uma srie de
intervalos iguais e consecutivos de tempo, a velocidade parece que aumenta em cada intervalo, isto , a
velocidade parece ser proporcional ao tempo decorrido a partir do momento em que o corpo solto.
Isaac Newton, no seu Tratado das Curvas associa nitidamente ideia de funo a concepo
de fluncia: "Considero aqui as quantidades matemticas, no formadas pela adjuno de partes
mnimas, mas descritas por um movimento contnuo. As linhas descritas, e portanto geradas, no por
aposio de partes, mas pelo movimento contnuo de pontos; as superfcies pelo movimento de linhas;
os slidos pelo movimento de superfcies; os ngulos pela rotao de lados; o tempo por um fluxo
contnuo, e assim para as outras. Estas geraes tm verdadeiramente lugar na natureza das coisas e
revelam-se todos os dias no movimento dos corpos".

59

No se pode ser mais ntido, no verdade? De resto, o prprio nome que Newton d s
funes revela bem a sua atitude mental - chama-lhes fluentes; o uso do nome funo s mais tarde se
generaliza.
Surgido, lentamente, da necessidade de estudar leis naturais, o conceito de funo achou-se,
breve trecho, identificado com a relao analtica que define a correspondncia entre duas variveis.
No princpio do sculo XVIII, um ilustre matemtico suio Jean Bernoulli (1654-1705), definiu funo
assim: "chama-se aqui funo duma grandeza varivel a uma quantidade composta de qualquer
maneira dessa grandeza varivel e de constantes". Para ele, portanto, funo era a expresso analtica,
e esse ponto de vista prevaleceu durante muito tempo e impregna ainda a linguagem de hoje.
Reconheceu-se porm que, devido a circunstncias que no iremos desenvolver aqui, esse
ponto de vista era insuficiente e que havia vantagem em depurar o conceito de funo pondo em
evidncia o que nele havia de essencial - a correspondncia das duas variveis. Chegou-se deste modo,
pelo final do sculo XIX, definio moderna de Riemann-Dirichlet.
Conta a tradio que para verificar a exactido da sua hiptese, Galileu mediu o tempo que
demorava a cair uma bola do alto da Torre de Pisa. Na realidade, o que fez foi medir as distncias
percorridas por uma bola ao longo de um plano inclinado durante diferentes intervalos de tempo. Deste
modo, a velocidade que a bola adquire bastante menor, o que lhe facilitou as medies. Depois,
atravs de um clculo simples, pde generalizar as suas experincias ao caso de um corpo que cai
livremente.
Analisemos agora a questo da noo de funo com um pouco mais de profundidade. Como
surgiu concretamente? Qual a sua essncia?
3. Cincia e realidade
O objectivo final da Cincia a formao de um quadro ordenado e explicativo dos
fenmenos naturais - fenmenos do mundo fsico e do mundo humano, individual e social.
Duas so as exigncias fundamentais a que esse quadro explicativo deve satisfazer:
1. Exigncia de compatibilidade. Obedincia ao princpio de acordo da razo consigo prpria.
2. Exigncia de acordo com a realidade. Os homens pedem Cincia que lhes fornea um meio, no
s de conhecer, mas de prever fenmenos.
evidente que, se as previses fornecidas pelo quadro explicativo no forem confirmadas
pela realidade, esse quadro pode satisfazer altamente a primeira exigncia, mas nunca poder ser o
instrumento que os homens necessitam.
Entendamo-nos bem. A Cincia no tem, nem pode ter, como objectivo descrever a realidade
tal como ela . Aquilo a que ela aspira a de construir quadros racionais de interpretao e previso; a
legitimidade de tais quadros dura enquanto durar o seu acordo com os resultados da observao e da
experimentao.
Em nenhum momento, o homem de cincia pode dizer que atingiu a essncia ltima da
realidade; o mais que pode desejar dar uma descrio, uma imagem, que satisfaa s duas exigncias
fundamentais.
A Realidade que a inteligncia dos homens se esfora por compreender, o Mundo, no seu
sentido mais largo, apresenta-se com duas caractersticas essenciais:
1. Interdependncia. Todas as coisas esto relacionadas umas com as outras; o Mundo, toda a
Realidade em que estamos mergulhados, um organismo vivo, uno, cujos compartimentos comunicam
e participam, todos, da vida uns dos outros.
2. Fluncia. O Mundo est em permanente evoluo; todas as coisas, a todo o momento, se
transformam, tudo flui, tudo devm. Isto, que a afirmao fundamental do filsofo Heraclito de Efeso

60

foi, posteriormente, reconhecido por grandes pensadores e pode ser verificado por qualquer de ns, seja
qual for aquele objecto em que fixemos a nossa ateno.
Comecemos por observar que as duas caractersticas fundamentais que apontmos interdependncia e fluncia - nos colocam srios embaraos ao pretendermos empreender o estudo de
qualquer facto natural.
Se tudo depende de tudo, como fixar a nossa ateno num objecto particular de estudo? temos
que estudar tudo ao mesmo tempo? mas qual o crebro que o pode fazer?
Por outro lado, se tudo devm, como encontrar, no mundo movente da fluncia, os factos, os
seres, os prprios objectos do nosso estudo?
Na impossibilidade de abraar, num nico golpe, a totalidade do Universo, o observador
recorta, destaca, dessa totalidade um conjunto de seres e factos, abstraindo-se de todos os outros que
com ele esto relacionados. A um tal conjunto daremos o nome de isolado.
Tomemos um certo isolado de estudo; arrastado na fluncia de todas as coisas, ele transformase - cada um dos seus componentes devm a todo o instante uma coisa nova. Alterando-se
constantemente os elementos constitutivos, alteram-se as suas relaes, isto , as suas qualidades, e o
isolado aparece a todo o momento com qualidades novas.
Rigorosamente , deveramos dizer que a cada momento temos um isolado novo, mas, pelo
mesmo acto (acto justificado pela necessidade e comodidade de estudo), diremos que o isolado
evoluciona e que os diferentes estados observados correspondem, no a isolados novos, mas a
diferentes fases de evoluo do isolado inicial. Este modo de ver , naturalmente, condicionado e
limitado pela prpria natureza da evoluo - pode chegar uma certa altura em que o isolado apresente
qualidades de tal modo diferentes que no haja vantagem ou possibilidade de o considerar o mesmo.
Vai aqui muito do bom-senso do observador e das convenincias do seu estudo.
O aparecimento de qualidades novas no decurso da evoluo de um isolado, ou sua
transformao noutro com estrutura qualitativa diferente, pe em evidncia a ligao ntima entre os
conceitos de qualidade e quantidade. A intensificao de uma quantidade, que contraria a qualidade
estrutural de um isolado, pode chegar a destruir essa qualidade e a fazer surgir uma qualidade nova.
com esse significado que se fala na transformao de uma quantidade em qualidade. O ponto (ponto
como indicativo de um conjunto de condies) em que essa transformao se d chama-se ponto crtico
da evoluo do isolado.
4. Noo de lei
evoluo de um isolado chamaremos lei natural. Fenmenos naturais so, portanto, o
movimento dos corpos, a vaporizao da gua sob a aco do calor, a passagem duma corrente
elctrica num condutor, a germinao duma semente, o exerccio de direitos polticos pelos cidados,
etc. Em virtude desta definio, explicar um fenmeno explicar a evoluo dum isolado.
Essa evoluo manifesta-se pela alterao das qualidades dos componentes do isolado; logo,
explicar um fenmeno dar o porqu da alterao das qualidades. Mas, esse porqu como atingi-lo?
O trabalho do cientista , portanto, o de observar e descrever os fenmenos e ordenar os
resultados da sua observao num quadro explicativo - construo intelectual - coerente, e cujas
consequncias e previses sejam confirmadas pela observao e experimentao.
A observao mostra que h certos fenmenos que apresentam regularidades, isto ,
comportamento idntico, desde que as condies iniciais sejam as mesmas. A existncia de
regularidades extremamente importante porque permite a repetio e previso, desde que se criem as
condies iniciais convenientes; ora, repetir e prever fundamental para o homem na sua tarefa
essencial de "dominar" a Natureza. Toda a tcnica se baseia nisso.
Daqui resulta que uma das tarefas mais importantes no trabalho de investigao da Natureza
a procura de regularidades dos fenmenos naturais.

61

Definio: Chamaremos lei natural a toda a regularidade de evoluo de um isolado.

Com esta explicao, e do que anteriormente se disse, fica estabelecido que o quadro
explicativo que os homens procuram construir deve assentar sobre leis naturais, e que na sua procura e
ordenao deve consistir o objectivo essencial da Cincia.
5. Diferentes tipos de lei
Estamos de posse do conceito de lei; percebe-se que, conforme a natureza do isolado e da sua
evoluo, possa haver dois tipos fundamentais de lei:
lei qualitativa - aquela que diz respeito a variao de qualidade;
lei quantitativa - aquela que diz respeito a variao de quantidade.
Que estes dois tipos no podem ser rigidamente separados evidente em virtude do que j foi
dito; a utilidade da distino est em que a lei acentua, por vezes, um ou outro aspecto da Realidade.
Frequentemente, mesmo, a lei pe em evidncia a ligao ntima da qualidade e quantidade, de modo
tal que se no pode classifica-la em nenhum dos dois tipos; diremos ento que se trata duma lei
qualitativa-quantitativa (em rigor, todas o so).
Vejamos alguns exemplos de leis:
1. [1 Lei de Kepler (1571-1630)] Cada planeta descreve em torno do Sol uma elipse, da qual o Sol
ocupa um dos focos.
2. [Lei da gravitao de Newton (1642-1727)] Entre dois corpos desenvolve-se uma fora atractiva que
directamente proporcional ao produto das suas massas e inversamente proporcional ao quadrado da
distncia que os separa.
3. [1 Lei da psicologia funcional de Claparde] Toda a necessidade tende a provocar as reaces
prprias e dar-lhe satisfao.
4. [Lei da queda dos graves] Para todo o corpo em queda livre no vcuo, as alturas de queda so
directamente proporcionais aos quadrados dos tempos de queda.
Destas quatro leis, a primeira e a terceira podem ser consideradas leis qualitativas, a segunda e
a quinta como leis quantitativas, com as restries que acima pusemos classificao.
6. Primado da explicao quantitativa
A Realidade existe independentemente da nossa vontade. Mergulhados na fluncia universal e
tendo necessidade, para fins humanos, de a explicar, lanamos, sobre ela, toda uma teia de leis regularidades dos fenmenos tais como se nos revelam.
A tonalidade geral dessas leis, o tipo dominante delas, qualitativo ou quantitativo? A histria
da Cincia d a esta pergunta uma resposta ntida - medida que a Realidade se vai conhecendo
melhor, o primado tende a pertencer ao tipo quantitativo.
No que a Cincia, no seu avano, tenda a pr de parte a qualidade, e isso seria, mesmo,
absurdo, uma vez que as qualidades traduzem as relaes de interdependncia dos seres uns com os
outros, e a interdependncia , precisamente, uma das caractersticas essenciais da Realidade. Mas a
Cincia no se ocupa apenas de descrever, empreende a tarefa de explicar e, nesta, h um facto que se
impe com fora cada vez maior - para obter a explicao das variaes de qualidade h que
aprofundar o estudo das variaes de quantidade.
Por exemplo, a 1 Lei de Kepler uma lei qualitativa; pois muito bem: essa lei e as outras duas
leis de Kepler (estas quantitativas) esto englobadas, como se demonstra sem grande dificuldade, na lei
da gravitao universal de Newton, que o tipo perfeito de lei quantitativa.

62

Por toda a parte, em todos os ramos do conhecimento, h esta tendncia para o quantitativo,
para a medida, de modo tal que pode afirmar-se que o estado propriamente cientfico de cada ramo s
comea quando nele se introduz a medida e o estudo da variao quantitativa como explicao da
variao qualitativa.
7. Interveno da Matemtica
natural esperar que, de coisa to importante para o entendimento e explicao da Realidade
como a lei quantitativa, surja tambm o conceito matemtico prprio para o seu estudo; esperar aqui,
ainda, que a necessidade crie o instrumento.
No poderemos esperar, decerto, que esse instrumento tenha sado dum jacto, pronto e
acabado; que aos cientistas se tenha apresentado a questo assim: - temos aqui uma multido de leis
quantitativas, vamos criar o instrumento prprio de estudo. Muito longe disso! Deu-se uma gestao
lenta em que a necessidade e instrumento inter-actuaram, ajudando-se e esclarecendo-se mutuamente.
Suponhamos que temos que estudar uma variao de quantidade; seja, para fixar ideias, a
variao quantitativa de espao e tempo no fenmeno da queda dos graves no vcuo. Suponhamos
realizadas as condies fsicas necessrias - o isolado conveniente - e procuremos a regularidade do
fenmeno: a lei quantitativa. Que fazemos? Medimos as alturas da queda em intervalos de tempo
iguais, e estudamos depois a variao dessas alturas de queda: claro que, quanto mais pequenos forem
os intervalos de tempo em que fazemos as medies, melhor se conhecer a variao. Suponhamos que
se fizeram as medies de segundo em segundo e que se encontraram os valores seguintes:
tempo (segundos)
espaos (metros)

0
0

1
4.9

2
19.6

3
44.1

4
78.4

...
...

No , evidentemente, nesta simples tabela que se encontra toda a regularidade, a lei

quantitativa; mas ela d uma primeira ideia dessa lei. Em que consiste, no fundo, esta tabela? Em duas
sucesses, dois conjuntos, de nmeros - o dos tempos, que representaremos por t, e o dos espaos, que
representaremos por e - postos em correspondncia um com o outro, correspondncia essa da qual
podemos afirmar que unvoca no sentido de t para e, visto que no podemos evidentemente, conceber
um movimento de queda em que, ao fim de um certo tempo, o mesmo corpo tenha percorrido dois
espaos diferentes. Onde est a lei quantitativa de que aquela tabela nos d uma apenas uma primeira
aproximao? - A lei est na forma como essa correspondncia de conjunto t ao conjunto e se realiza;
se a correspondncia mudar, mudaro os consequentes - aqui os espaos - mudar, por consequncia, a
variao, mudar a lei.
Ento em que consiste, afinal, a lei? - Na forma de correspondncia dos dois conjuntos. Se,
por consequncia, queremos estudar as leis quantitativas, temos que criar um instrumento matemtico
cuja essncia seja a correspondncia de dois conjuntos.
8. Noo de varivel
Estamos de posse da ideia fundamental do instrumento a criar; de que se trata agora de, com
os materiais colhidos, fazer a montagem do instrumento e aperfeio-lo.
O instrumento consiste na correspondncia de dois conjuntos de nmeros; a primeira coisa a
fazer, para o tornar facilmente manejvel, arranjar uma representao simblica para os conjuntos.
Essa representao simblica consegue-se introduzindo o conceito de varivel, o que se faz de forma
seguinte:
Definio: Seja (E) um conjunto qualquer de nmeros, finito ou infinito, e convencionemos
representar qualquer dos seus elementos por um smbolo, por exemplo x. A esse smbolo,
representativo de qualquer dos elementos do conjunto E, chamamos varivel.
Quando dizemos, por exemplo: seja E o conjunto dos nmeros reais do intervalo (0,1), e seja x
a sua varivel, que queremos significar? Que o smbolo x, sem coincidir individualmente com nenhum
dos nmeros reais desse intervalo, susceptvel de os representar a todos; , afinal, o smbolo da vida

63

colectiva do conjunto, vida essa que se nutre da vida individual de cada um dos seus membros, mas
no se reduz a ela.
A varivel , portanto, uma entidade que, dizendo respeito a um nvel de isolado - o conjunto superior ao nmero, , ela prpria, de uma natureza superior. Isto perfeitamente compreensvel dentro
do quadro geral de ideias que esbomos; no entanto, o carcter contraditrio do conceito - a varivel
e no cada um dos elementos do conjunto - deu origem a que a sua introduo na Cincia seja
relativamente recente. Pelo seu carcter essencial - sntese do ser e no ser - ela sai fora daquele quadro
de ideias que quer ver na Realidade uma permanncia e irrompe ligada corrente de pensamento que,
expressa ou tacitamente, v na fluncia a primeira das suas caractersticas.
Uma varivel o que for determinado pelo conjunto numrico que representa - a sua
substncia, o seu domnio, como daqui em diante diremos.
9. Noo de funo
Voltemos ao exemplo da lei da queda dos graves. Como foi dito, esta consiste na
correspondncia do conjunto dos tempos ao conjunto dos espaos; estamos agora em condies de criar
o instrumento matemtico cuja essncia seja essa correspondncia. Seja t a varivel do conjunto dos
tempos e e a varivel do conjunto dos espaos; a lei consiste na existncia duma dada correspondncia
entre t e e, correspondncia de que sabemos que unvoca no sentido
. Diremos que a varivel e
funo da varivel t, e escrevemos simbolicamente
; varivel t, antecedente da
correspondncia, chamamos varivel independente; varivel e chamaremos varivel dependente.
Assim o conceito de funo aparece-nos, no campo matemtico, como o instrumento prprio
para o estudo das leis. Reparemos que, quando dizemos que
, dizemos mais qualquer coisa do
que o que est na tabela apresentado no ponto 7; nesta, esto apenas indicados alguns pares de valores
da correspondncia, ao passo que na afirmao
est implicado que a qualquer valor t
corresponde um valor (e um s) de e. Por aqui pode comear a ver-se j a fora latente que este novo
instrumento traz em si.
Definio: Sejam x e y duas variveis representativas de conjuntos de nmeros; diz-se que y funo
de x e escreve-se
se entre as duas variveis existe uma correspondncia unvoca no sentido
varivel independente e a y varivel dependente.

. A x chama-se

Referncias
1. Caraa, Bento de Jesus, Conceitos Fundamentais da Matemtica, Livraria S Costa, 9 edio,
Lisboa, 1989.
2. Castro, Francisco Lyon (ed.), Enciclopdia Juvenil Alfa Estudante, Alfa, Lisboa, vol. 10, pp 194200.

64

CAPTULO 8. A GEOMETRIA ANALTICA E O CLCULO

Geometria analtica
1. Introduo
Quando ouvimos falar das profundas alteraes que a cincia introduziu na nossa forma de
viver, pensamos naturalmente na fsica e qumica. Menos evidentes, porque mais difusos, so os
benefcios que a matemtica nos concedeu. um facto, e ns sabemo-lo, que a matemtica
desempenhou o seu papel nas teorias que tornaram possveis essas invenes, e da mesma forma nos
projectos que a elas levaram. Mas a matemtica do puro domnio dos especialistas. Enquanto, na vida
do dia-a-dia, o homem pode colher benefcios do conhecimento dos elementos que compem a gua ou
da diferena entre ondas curtas e ondas longas, o estudo da geometria ou do clculo pouco contribuir
para o seu bem-estar.
Entre as ricas conquistas matemticas h, porm, algumas que, mesmo neste sentido prtico se
podem considerar invenes teis, por terem penetrado na vida diria do homem. A elas pertencem a
numerao de posio que colocou as operaes ao alcance do homem mdio. De tal utilidade imediata
tambm o simbolismo da lgebra, especialmente a logstica speciosa de Vite, que, nos fins do sculo
XVI, marcou o ponto de viragem da histria da lgebra. Vite ou, latina, Fanciscus Vieta, ps
nossa disposio as formas condensadas das relaes gerais, at ento apenas acessveis a muito
poucos. Tambm a esta categoria pertence a grande inveno que Ren Descartes (1596-1650) deu ao
mundo, o diagrama analtico - o qual d um relance, uma imagem grfica da lei que rege um
fenmeno, ou da correlao que existe entre acontecimentos interdependentes, ou das alteraes
produzidas numa situao com o correr do tempo.
um facto a registar o de as invenes matemticas mais acessveis s massas terem sido as
que maior influncia exerceram no desenvolvimento da matemtica pura. O princpio da posio deunos o zero sem o qual no se teria desenvolvido o conceito de nmero negativo; deu-nos tambm a
possibilidade de uniformizar as equaes e tornou possvel o teorema da sua decomposio em
factores. A notao literal fez com que a matemtica deixasse de ser o estudo do particular para passar
a estudar o geral, e, simbolizando o impossvel preparou o caminho para o conceito generalizado de
nmero.
Finalmente a inveno de Descartes, no criou apenas a importante disciplina da geometria
analtica, mas deu a Newton, Leibniz, Euler e aos Bernoulli a arma sem a qual Arquimedes teve de
deixar inarticuladas as suas ideias profundas e de to vasto alcance.
2. Proles sine mater creata
"Filhos sem me". Com estas palavras classificou Casles a conquista de Descartes. Com igual
injustia para quanto os precedeu, podia ter-se dito o mesmo do princpio de posio ou da notao
literal! A origem do primeiro fomos ns encontra-la na coluna vazia do baco, e a segunda no seno
o aperfeioamento do simbologismo retrico praticado desde os tempos imemoriais, por matemticos e
para-matemticos.
De modo semelhante, a grande inveno cartesiana tem as suas razes nos famosos problemas
da antiguidade, nascidos nos dias de Plato. Ao tentar resolver os problemas de trisseco do ngulo,
do dobro do cubo e da quadratura do crculo, nada conseguindo com rgua e compasso, os gemetras
gregos procuraram novas curvas. Tropearam ento nas cnicas, ou seja, as curvas segundo as quais
um plano pode cortar um cone de revoluo: a elipse, a hiprbole e a parbola. A elegncia destas
curvas, de tal modo fascinou os gemetras gregos que estes passaram a estuda-las em considerao por
elas mesmas. O grande Apolnio escreveu, sobre elas, um tratado em que descreveu e demonstrou as
suas propriedades mais importantes.
Nele encontramos o embrio do mtodo que mais tarde Descartes elevou categoria de
princpio. Apolnio referiu a parbola ao eixo e tangente principal e mostrou que a semi-corda era o
meio proporcional entre o Latus Rectum e a altura do segmento. Exprime-se hoje essa relao pela

65

equao cartesiana
, chamando-se altura y a ordenada e semi-corda x a abcissa; o Latus
Rectum o coeficiente de y, isto , o L.
significativo o facto de os gregos chamarem a estas curvas, e a muitas outras que
descobriram, lugares geomtricos; descreviam-nas assim como sendo os lugares de todos os pontos
que tinham determinada posio mensurvel em relao a um determinado sistema de referncia. Deste
modo, a elipse era o lugar geomtrico dos pontos tais que era constante a soma das suas distncias a
dois pontos fixos. Uma tal equao era de facto uma equao retrica da curva, pois exprimia o
critrio que permitia verificar se um dado ponto pertencia ou no pertencia curva.
E foi, realmente, nesse sentido que, de tais curvas, se serviu Omar Khayyam, nos finais do
sculo XI e princpios do sculo XII (morreu em 1123), para descobrir uma soluo grfica para a
equao cbica por meio de duas cnicas. Estes mtodos foram depois aperfeioados pelos
matemticos italianos da Renascena e por Vieta. Na realidade, foram problemas desta natureza que
levaram Vieta a desenvolver a sua logstica speciosa.
Por ltimo, mas nem por isso menos importante, considere-se o seguinte trecho dum ensaio
escrito por Pierre Fermat (1601-1665) em 1629 mas publicado apenas 40 anos mais tarde, ou seja 30
anos depois da publicao da Geometria de Descartes:
"Sempre que duas incgnitas entram numa equao final, temos um lugar geomtrico,
descrevendo, a extremidade de uma das incgnitas uma linha recta ou curva. A linha recta simples e
nica; as classes de curvas so infinitamente numerosas: crculo, hiprbole, parbola, etc...
desejvel, para melhor se conceber a equao, supor-se que as incgnitas formam entre si
um ngulo, que admitimos ser um ngulo recto."
No, a geometria cartesiana ser tudo menos um filho sem me. Poderemos dizer que a
concepo de Descartes tinha, no s uma me - a geometria dos gregos -, mas tambm um irmo
gmeo. Na verdade, basta um estudo superficial da Geometria de Descartes e da Introduo aos
lugares planos e slidos de Fermat para revelar a existncia de um desses fenmenos geminados que a
histria da matemtica to frtil. No mesmo sculo na verdade, na mesma gerao, assistimos
descoberta de Desargues-Pascal da geometria projectiva e descoberta de Pascal-Fermat dos princpios
da teoria matemtica das probabilidades. Mas esses fenmenos de modo algum se confinam ao sculo
XVII. No sculo XVIII deu-se o incidente Newton-Leibniz; o sculo XIX assistiu descoberta quase
simultnea duma interpretao das grandezas complexas, por Wessel, Argand e Gauss; a concepo
quase simultnea das geometrias no euclidianas, por Lobatchevski, Bolyai e Gauss; e, nas ltimas
dcadas do sculo passado formulao do contnuo de Dedekind-Cantor.
3. Um princpio unificador
Nem Fermat nem Descartes imaginavam todo o significado da sua descoberta. Estavam ambos
interessados na criao de um princpio unificador da geometria, Fermat como matemtico (apesar de
amador), Descartes do ponto de vista do filsofo. A geometria grega, que atingiu a sua expresso final
nas obras de Euclides e Apolnio, no tem essa unidade: cada teorema, cada construo, mais parece
ser uma criao artstica que a aplicao de princpios gerais. Qual a ideia que se ocultava por detrs
desta ou daquela construo? Porque razo se podiam resolver alguns problemas com uma simples
rgua, enquanto outros igualmente exigiam compasso e outros ainda no cediam habilidade dos
gregos, os velhos mestres da rgua e do compasso? Estas e outras dvidas semelhantes agitavam os
espritos matemticos da poca, entre os quais Fermat e Descartes.
Estes buscaram na lgebra a chave do enigma; procederam, por isso, algebrizao da
geometria e o resultado foi a geometria analtica. Assentaram, assim, os alicerces do processo por meio
do qual se pode reduzir a prosaicas manipulaes algbricas qualquer problema de geometria. Deste
modo, os famosos problemas da antiguidade, nascidos envoltos em esplendor lendrio, durante sculos
motivo de fascinao para muitos matemticos de envergadura, foram postos de lado por Descartes
pela razo evidente de que todo o problema que leva a uma equao do primeiro grau admite soluo
geomtrica por meio de uma rgua simples; uma construo com rgua e compasso equivalente
soluo duma equao quadrtica; mas se o problema leva a uma equao irredutvel de grau superior
ao segundo, a sua soluo geomtrica no possvel apenas por meio da rgua e do compasso.

66

4. As bases da nova matemtica

Descartes (e o mesmo se aplica, naturalmente, a Fermat) no suspeitava de que estava
lanando as bases de uma matemtica nova; o seu intuito confessado era a sistematizao da geometria
dos antigos. Foi esse, efectivamente, o papel que o sculo XVII desempenhou na histria da
matemtica: ele foi a idade da liquidao da cultura matemtica antiga. Na obra de Galileu, Fermat,
Descartes, Pascal e vrios outros, v-se a culminao de um processo histrico que nunca poderia ter
alcanado o vrtice num perodo de declnio geral. A indiferena romana e a longa Idade das Trevas de
obscurantismo religioso impediram o ressurgimento daquele processo durante quinhentos anos.
Simultaneamente, enquanto se removiam os escombros da antiga matemtica, o gnio destes homens
preparava o terreno para a nova. As caractersticas essenciais do pensamento matemtico moderno so
a permanncia das leis formais e o princpio da correspondncia. O primeiro levou ao conceito
generalizado de nmero, o segundo permitiu a determinao do parentesco entre conceitos
aparentemente remotos ou dissemelhantes. Embora faltasse a Descartes o conhecimento, ainda que
simplesmente implcito, destes dois princpios fundamentais da moderna matemtica, a sua geometria
analtica continha tudo quanto era necessrio para os criar.
Tratava-se de uma lgebra que implicitamente admitia os irracionais em p de igualdade com
as grandezas racionais. Uma lgebra que se aplicava aos problemas clssicos da geometria e que, por
processos metdicos e directos levava aos mesmos resultados que os gregos - presos, como estavam, ao
mais estrito rigor, e peados pelo medo dos irracionais e do infinito - obtinham por processos
engenhosos, mas no metdicos. Em segundo lugar, a geometria analtica representa o primeiro
exemplo histrico do estabelecimento de laos de parentesco entre dois ramos da matemtica, no
apenas remotos pela sua prpria natureza, mas at mesmo considerados, desde os primeiros dias, como
sendo directamente antagnicos: aritmtica e geometria.
Descartes admitiu implicitamente que, entre os nmeros reais e os pontos de um eixo, existia
perfeita correspondncia. Mas ele admitiu mais que isso tacitamente, porque o facto parecia to natural
que dispensava palavras, aceitou como axiomtico que se pode estabelecer uma correspondncia
perfeita entre os pontos dum plano e o conjunto de todos os pares de nmeros reais. Deste modo, o
postulado de Dedekind-Cantor, generalizado a duas dimenses, incorpora-se tacitamente numa
disciplina criada duzentos anos antes de Dedekind ou Cantor terem vindo luz. Esta disciplina, de
facto, tornou-se o campo de experincia para todas as realizaes dos dois sculos que se seguiram: o
clculo, a teoria das funes, a mecnica, a fsica. Nunca ela, a geometria analtica, esbarrou com
contradies; e tal o seu poder de sugerir novos problemas e prever os seus resultados que, onde quer
que se aplicasse, depressa se tornou uma indispensvel ferramenta de investigao.
5. A geometria cartesiana
Tomem-se dois eixos perpendiculares e atribua-se a cada um deles um sentido; qualquer ponto
contido no plano definido pelos eixos pode agora representar-se por dois nmeros. Qualquer destes
pode ser positivo ou negativo, racional ou irracional, e representa a medida das distncias do ponto
dado aos eixos de referncia, precedidas dos sinais mais ou menos, conforme o quadrante, definido
pelos eixos, em que o ponto se encontra.
O princpio to simples, to natural, que custa a acreditar que tenham sido necessrios trs
mil anos para o descobrirem. O fenmeno to impressionante como o que se passou com o princpio
de posio, na numerao. Este contm-se implicitamente na estrutura da nossa linguagem numrica e
apesar disso s ao cabo de quinhentos anos foi descoberto. O primeiro consequncia directa da
estrutura simtrica do corpo humano e usou-se, desde tempos imemoriais, para definir a posio mtua
dos objectos. Vamos mesmo encontrar este princpio utilizado nas velhas histrias de fadas em que se
define a localizao de um tesouro; vemos que os velhos topgrafos egpcios o aplicavam
explicitamente traando uma linha Norte-Sul e outra Este-Oeste e a estes eixos referiam a posio de
qualquer objecto.

67

A transio do processo prtico para a geometria analtica dependia, sem dvida, da criao do
zero e do conceito do nmero negativo. Mas estes j eram conhecidos na Europa desde os tempos de
Fibonacci. Porque no ocorreu ento mais cedo aos matemticos o princpio coordenativo? Pode
encontrar-se a resposta na profunda influncia que a opinio grega exerceu no pensamento europeu. A
emancipao do nmero das inibies que os gregos lhe impuseram no foi tarefa fcil.

O clculo
1. Introduo
No pretendo efectuar uma abordagem exaustiva histria do clculo pois, alm de ser uma
tarefa para a qual no estou preparado, os seus primrdios so mais ou menos conhecidos de todos.
Assim irei concentrar-me apenas nas contribuies de alguns matemticos como o caso de Fermat,
Newton e Leibniz e, ainda assim, de uma forma muito superficial. Um estudo mais completo pode ser
feito com a consulta da Histria da Matemtica de Boyer, por exemplo.
2. Integrao no sculo XI no Egipto
Desde que Arquimedes, no sculo III a.C., desenvolveu o mtodo da exausto que aplicou
determinao da rea de um sector parablico, at que Newton e Leibniz inventaram o clculo
diferencial nos sculos XVII-XVII e desenvolveram as tcnicas necessrias para a determinao de
reas e volumes de (quase) todas as figuras irregulares, muitos resultados parciais apareceram. Em
particular, durante a Idade Mdia, em que toda a cultura europeia marcava passo e a actividade
cientfica era particularmente desenvolvida no mundo islmico, na ndia e na China, vrios resultados
apareceram, essencialmente baseados no mtodo de Arquimedes, que permitiram a determinao de
reas e volumes de figuras relativamente complexas.
Abu Ali al-Hasan ibn al-Haytham (965-1039) era conhecido na Europa pelo nome de
Alhazen, tendo-se tornado clebre o seu problema de encontrar o ponto ou pontos numa superfcie
reflectora onde a luz de um de dois pontos fora da superfcie se reflecte no outro; este problema, que
ficou conhecido como "problema de Alhazen" foi resolvido no seu trabalho de ptica em sete volumes,
que foi traduzido para latim no sculo XII. Ibn al-Haytham nasceu em Basra (no actual Iraque) e foi
contratado pelo califa egpcio al-Hakim para colaborar num projecto de controlo do rio Nilo.
Durante esse trabalho, ibn al-Haytham determinou o volume de um parabolide de revoluo,
baseado no mtodo de exausto e numa interessante frmula que, na simbologia actual, pode ser escrita
na forma
n

(n + 1) i
i=1

n
n p

= i k +1 + i k
i=1
p=1 i=1

e que se pode provar, para todo o k, pelo mtodo de induo sobre n.

3. A Europa da Renascena

Ainda antes de Newton e Leibniz, Fermat e Roberval, em 1636, usaram mtodos semelhantes
para concluir que a rea sob o grfico de , no intervalo
, dada por
.
Alm destes dois matemticos, Cavalieri, em 1626, tinha j desenvolvido um mtodo para calcular a
referida rea usando um mtodo muito prximo do de Arquimedes. As investigaes histricas no
permitem concluir se estes matemticos tiveram conhecimento dos trabalhos dos cientistas islmicos
ou indianos. Isso admissvel, pois muitos trabalhos de autores islmicos (ou tradues para rabe)
foram traduzidas para latim no sculo XII, no sul de Espanha. A ttulo exemplificativo, iremos abordar
apenas o contributo dado por Fermat.
Como j foi dito, Fermat foi um dos co-autores da geometria analtica. No entanto, Fermat no
publicou quase nada durante toda a sua vida. uma pena, pois a sua exposio era muito mais
sistemtica e didctica que a de Descartes. Alm disso, a sua geometria analtica era tanto mais
prxima da nossa no facto de serem as ordenadas usualmente tomadas perpendicularmente ao eixo das
abcissas. possvel que Fermat, desde 1629 estivesse de posse da sua geometria analtica, pois por essa

68

poca ele fez duas descobertas que se relacionam de perto com o seu trabalho sobre lugares. A mais
importante dessas foi descrita alguns anos depois num tratado, tambm no publicado durante a sua
vida, chamado Mtodo para achar mximos e mnimos.
Fermat estava a estudar os lugares dados (na notao moderna) por equaes da forma
; por isso elas so chamadas frequentemente "parbolas de Fermat" se
e "hiprboles de Fermat"
se
. Aqui temos uma geometria analtica de curvas planas de grau superior; mas Fermat foi alm.
Para curvas polinomiais da forma
ele notou um modo muito engenhoso para achar pontos
em que a funo assume um mximo ou um mnimo. Ele comparou o valor de
num ponto x com
o valor de
num ponto vizinho. Em geral, esses valores eram bem diferentes, mas num alto
ou num baixo de uma curva lisa a variao era quase imperceptvel. Portanto, para achar os pontos de
mximo e de mnimo, Fermat igualava
a
, percebendo que os valores, embora no
exactamente iguais, so quase iguais. Quanto maior o intervalo E entre os dois pontos mais perto chega
a pseudo-equao a ser uma verdadeira equao; por isso Fermat, depois de dividir tudo por E, fazia
. Os resultados davam-lhe as abcissas dos pontos de mximo e de mnimo do polinmio. Aqui
temos, em essncia, o processo que hoje chamamos diferenciao, pois o mtodo de Fermat equivale a
achar

e igualar isso a zero.

Evidentemente, Fermat no tinha o conceito de limite, mas por outro lado o seu mtodo para
mximos e mnimos assemelha-se ao usado no clculo de hoje, s que agora usa-se, em geral, o
smbolo h ou
em lugar do E de Fermat. O processo de Fermat de mudar ligeiramente a varivel e
considerar valores vizinhos a essncia da anlise infinitesimal.
Durante os anos em que Fermat desenvolveu a sua geometria analtica, ele descobriu tambm
como aplicar o seu processo de valores vizinhos para achar a tangente a uma curva algbrica da forma
. Se P um ponto da curva
da qual se procura a tangente, e se as coordenadas de
P so
, ento um ponto vizinho P' da curva com coordenadas
estar to
perto da tangente que se pode pensar nele como estando aproximadamente sobre a tangente. Portanto,
se considerarmos T o ponto de interseco da tangente com o eixo das abcissas, Q o ponto de
coordenadas
e Q' o ponto de coordenadas
, os tringulos TQP e TQ'P' podem ser
considerados (praticamente) semelhantes. Tem-se ento a proporo
,
em que c a distncia que vai de T a Q. Multiplicando em cruz, dividindo tudo por E e, finalmente,
tomando
, acha-se o valor de c, ou seja, a recta tangente.
O processo de Fermat equivale a dizer que

a inclinao da tangente em
; mas Fermat no explicou satisfatoriamente o seu processo
dizendo apenas que era semelhante ao seu mtodo para mximos e mnimos.
Fermat no s tinha um mtodo para achar a tangente de curvas da forma
, mas
tambm, algum tempo depois de 1629, achou um teorema sobre a rea dessas curvas - o teorema que
Cavalieri publicou em 1635 e 1647. Para achar a rea Fermat a princpio parece ter usado frmulas
para as somas das potncias dos inteiros, ou desigualdades da forma

para estabelecer o resultado para todos os inteiros positivos de k. Isto j era um progresso sobre a obra
de Cavalieri que se limitou aos casos
; mas mais tarde Fermat desenvolveu um mtodo
para melhor tratar o problema, que se aplicava a valores tanto fraccionrios como inteiros de k.

69

Seja a curva

e suponhamos que se procura a rea sob a curva desde

Ento Fermat subdividia o intervalo

at

numa infinidade de subintervalos, tomando os pontos

, onde E uma quantidade menor que um. Nesses pontos ele levantava ordenadas
da curva e depois aproximava a rea sob a curva por meio de rectngulos. As reas dos rectngulos
circunscritos, a comear pelo maior, so dadas pelos termos da progresso geomtrica
.
A soma infinita desses termos
.
Quando E tende para um (os rectngulos tornam-se cada vez mais estreitos), a soma das reas
aproxima-se da rea da curva. Fazendo
na frmula acima, obtemos
,
a rea procurada.
Para mostrar que isso vale para valores racionais fraccionrios, tomemos
da progresso geomtrica ento

e, quando

. A soma

, fica
.

Se, em notao moderna, queremos obter

b

x dx
a

basta observar que isso

b

x dx x dx .
0

Para valores negativos de k (excepto

), Fermat usava um processo semelhante, s que E
tomado como maior que um e se aproxima de um "por cima", sendo a rea encontrada a que se acha
sob a curva desde
at infinito.
O raciocnio era semelhante ao caso anterior quando se pretendia

calcular a rea num intervalo

.
Para
o processo falha; mas um contemporneo (mais velho) de Fermat, Gregrio St.
Vincent (1584-1667) resolveu esse caso, no seu trabalho Obra geomtrica sobre a quadratura do
crculo e de seces cnicas. Grande parte dessa obra tinha sido concluda antes de Fermat trabalhar
com tangentes e reas, talvez entre 1622 e 1625, embora no fosse publicada at 1647.
Nesse tratado St. Vincent mostrava que se ao longo do eixo das abcissas se marcarem pontos a
partir de
tais que os intervalos entre eles cresam em progresso geomtrica, e se nesses pontos
se levantarem as ordenadas da hiprbole
, ento as reas sob a curva interceptadas entre
ordenadas sucessivas so iguais. Isto , enquanto que a abcissa cresce geometricamente, a rea cresce
aritmeticamente. Assim, o equivalente a
b

x dx = lnb ln a ,

era conhecido no tempo de St. Vincent. Infelizmente, uma aplicao errada do mtodo dos indivisveis
levara St. Vincent a acreditar que tinha quadrado o crculo, erro que prejudicou a sua reputao.
Fermat ocupara-se de
muitos aspectos da anlise infinitesimal. Dificilmente poderia deixar de
notar que ao achar as tangentes de
multiplica-se o coeficiente pelo expoente e baixa-se o
expoente de uma unidade, ao passo que para achar reas aumenta-se o expoente uma unidade e dividese pelo novo expoente. Poderia a natureza inversa destes dois problemas ter-lhe escapado? Embora isso

70

seja improvvel, no entanto ao que parece em lugar nenhum ele chamou a ateno para a relao a que
hoje se chama o teorema fundamental do clculo.
4. Newton
Isaac Newton nasceu prematuramente no dia de Natal de 1642, o ano da morte de Galileu. O
jovem Newton ingressou no Trinity College em 1661, provavelmente sem pensar a ser um matemtico,
pois no estudou particularmente o assunto. Porm, no incio do seu primeiro ano, ele comprou e
estudou um exemplar de Euclides, e logo depois leu a Clavis de Oughtred, a Geometria a Renato Des
Cartes de Shooten, a ptica de Kepler, as obras de Vieta, e o que talvez tenha sido o mais importante
de todos para ele, Arithmetica infinitorum de Wallis. Alm disso, a esse estudo devemos acrescentar as
aulas que Barrow deu como "lucasian professor", e < que Newton assistiu, depois de 1663. Tambm
veio a conhecer as obras de Galileu, Fermat, Huygens e outros. No admira que Newton mais tarde
escrevesse a Hooke, "Se eu vi mais longe que Descartes porque me sustentei sobre os ombros de
gigantes".
Durante boa parte de 1665-1666, o Trinity College foi fechado por causa da peste, e Newton
foi para casa para viver e pensar. O resultado foi o mais produtivo perodo de descoberta matemtica
jamais referido, pois foi durante esses meses, Newton mais tarde afirmou, que ele fez quatro das suas
principais descobertas: (1) o teorema binomial, (2) o clculo, (3) a lei da gravitao e (4) a natureza das
cores. A primeira delas parece-nos to evidente agora que difcil ver por que que a descoberta
tardou tanto. Havia pelo menos meio milnio que os coeficientes binomiais para potncias inteiras
eram conhecidos. Cardan e Pascal, entre outros, conheciam perfeitamente a regra de sucesso para
coeficientes; mas eles no usavam a notao exponencial de Descartes, por isso no podiam fazer a
transio relativamente simples de potncia inteira para fraccionria. S com Wallis os expoentes
fraccionrios entraram no uso comum, e mesmo ele no foi capaz de escrever uma expanso para
ou para
. Coube a Newton fornecer tais expanses como parte do seu mtodo
de sries infinitas.
O prprio Newton nunca publicou o teorema binomial, nem o provou; mas redigiu e
finalmente publicou vrias exposies da sua anlise infinita. A primeira dessas, cronologicamente, foi
a De analysi per aequationes numero terminorum infinitas, composta em 1669 com base em ideias
adquiridas em 1665-1666, mas publicada em 1711. Nela Newton afirmou que os processos infinitos
tambm so matemtica legtima e, como tal, deveriam ser usados sem qualquer receio, isto , Newton
acabou de matar o fantasma do infinito herdado dos gregos.
A De analysi de Newton tinha mais contedo, claro, que algum outro trabalho sobre sries
infinitas; tambm de grande importncia por ser a primeira exposio sistemtica da principal
descoberta de Newton - o clculo. Em 1666 ele no tinha ainda desenvolvido a sua notao para fluxos,
mas tinha formulado um mtodo sistemtico de diferenciao que no estava muito longe do publicado
por Barrow em 1670. Newton representou por o um intervalo de tempo muito pequeno e por op e oq
pequenos incrementos pelos quais x e y variam nesse intervalo. A razo
, portanto, ser a razo
das taxas instantneas de variao de y e x - isto , a inclinao da curva
. A inclinao de
curva
, por exemplo, encontrada a partir de
expandindo ambos os
termos pelo teorema binomial, dividindo tudo por o, e desprezando os termos que ainda contenham o,
sendo o resultado
.
Expoentes fraccionrios j no preocupavam Newton, pois o seu mtodo de sries infinitas tinha-lhe
dado um algoritmo universal.
Lidando mais tarde com uma funo explcita s de x, Newton abandonou o seu p e q e usou o
como pequena variao da varivel independente, notao que foi tambm usada por Gregory. Em De
analysi, por exemplo, Newton provou como se segue que rea sob a curva
dada por
.

71

Seja z a rea e suponhamos que

.
Representemos o momento ou acrscimo infinitesimal da abcissa por o. Ento a nova abcissa ser
e a rea aumentada ser
.
Se aplicarmos aqui o teorema binomial, cancelarmos os termos iguais
z e

dividirmos tudo por o e cancelarmos os termos que ainda contm o, o resultado ser
Reciprocamente, se a curva

, ento a rea ser

.

Parece ter sido essa a primeira vez na histria da matemtica que uma rea foi achada pelo
inverso do que chamamos diferenciao, embora a possibilidade de usar tal processo fosse conhecida
por Barrow e Gregory, e talvez tambm por Torricelli e Fermat. Newton tornou-se o efectivo inventor
do clculo porque foi capaz de explorar a relao inversa entre inclinao e rea atravs da sua nova
anlise infinita e consolidar todos os elementos disponveis num algoritmo geral aplicvel a todas as
funes, sejam elas algbricas ou transcendentes. Por isso que, mais tarde, ele viu com maus olhos
toda a tentativa de separar o clculo da sua anlise de sries infinitas.
Sabe-se que na mais popular apresentao de Newton dos seus mtodos infinitesimais ele
considerou x e y como quantidades que fluem, ou fluentes, de que as quantidades p e q (acima) eram
fluxos ou taxas de variao; quando redigiu essa viso de clculo por volta de 1671 ele substituiu p e q
pelas "letras ponteadas"
e . As quantidades ou fluentes, de que x e y so os fluxos, ele designou
por
e . Deve-se notar que o ttulo da obra, quando publicada muito mais tarde, em 1742, (embora
uma traduo para o ingls aparecesse antes, em 1736) no era simplesmente o mtodo dos fluxos mas
Methodus fluxionum et serierum infinitorum.
Newton descobriu o seu mtodo das sries infinitas em 1665-1666, e durante a dcada
seguinte ele escreveu pelo menos trs exposies substanciais da nova anlise. O De analysi circulou
entre amigos, inclusive John Collins e Isaac Barrow, e a expanso binomial infinita foi enviada a
Oldenburg e Leibniz; mas Newton no fez nada para publicar os seus resultados, embora soubesse que
Gregory e Mercator em 1668 tinham revelado a sua obra sobre sries infinitas. A primeira exposio
sobre o clculo que Newton imprimiu apareceu em 1687 em Philosophiae naturalis principia
mathematica, o mais admirado tratado cientfico de todos os tempos. Esse livro geralmente descrito
como apresentando os fundamentos da fsica e da astronomia na linguagem da geometria pura.
Na primeira edio dos Principia, Newton reconheceu que Leibniz estava na posse de um
mtodo semelhante, mas na terceira edio em 1726, aps amarga disputa entre aderentes dos dois
homens quanto independncia e prioridade da descoberta do clculo, Newton omitiu a referncia ao
clculo de Leibniz. Agora est bastante claro que a descoberta de Leibniz foi independente da de
Newton. Alm disso, Leibniz tem prioridade de publicao, pois imprimiu uma exposio do seu
clculo em 1684 na Acta Eruditorum, espcie da "revista cientfica" mensal que fora fundada apenas
dois anos antes.
6. Leibniz
Gottfried Wilhelm Leibniz (1646-1716) nasceu em Leipzig, onde aos quinze anos entrou na
universidade e aos dezassete obteve o grau de bacharel. Estudou teologia, direito, filosofia, e
matemtica na universidade, e considerado por muitos como o ltimo sbio a conseguir o
conhecimento universal. Aos vinte anos estava preparado para o grau de doutor em direito, mas esse
foi-lhe recusado por causa da sua pouca idade. Deixou ento Leipzig e obteve o grau de doutor na
Universidade de Altdorf em Nuremberg onde lhe foi oferecido o lugar de professor de direito, que ele
recusou.

72

Leibniz entrou para o servio diplomtico e nessa altura teve oportunidade de viajar muito.
Em 1672 foi a Paris tendo-se encontrado com Huygens, que lhe sugeriu que se ele desejava tornar-se
um matemtico deveria ler os tratados de Pascal de 1658-1659. Em 1673 uma misso poltica levou-o a
Londres, onde comprou um exemplar da Lectiones geometricae de Barrow, encontrou Oldenburg e
Collins, e tornou-se membro da Royal Society. em grande parte em torno dessa visita que gira a
querela posterior sobre a prioridade, pois Leibniz poderia ter visto o De analysi de Newton em
manuscrito; mas duvidoso que nessa altura ele pudesse tirar grande proveito disso, pois Leibniz no
estava ainda preparado em geometria ou anlise.
Em 1676 Leibniz visitou novamente Londres, trazendo consigo a sua mquina de calcular; foi
durante esses anos, entre duas visitas a Londres, que o clculo diferencial tomou forma. Tal como
Newton, as sries infinitas desempenham um papel importante nos primeiros trabalhos de Leibniz. Dos
estudos sobre sries e o tringulo harmnico Leibniz voltou-se para a leitura das obras de Pascal sobre
o ciclide e outros aspectos da anlise infinitesimal. Em particular, foi ao ler a carta de Amos
Dettonville sobre Trait des sinus du quart de cercle que Leibniz diz ter uma luz jorrado sobre ele.
Percebeu ento, em 1673, que a determinao da tangente a uma curva dependia da razo das
diferenas das ordenadas e das abcissas, quando estas se tornavam infinitamente pequenas, e que as
quadraturas dependiam da soma das ordenadas dos rectngulos infinitamente finos que formam a rea.
Como nos tringulos aritmtico e harmnico os processos de tomar somas ou diferenas esto em
relao oposta, tambm na geometria os problemas de quadratura e tangentes, dependendo de somas e
diferenas respectivamente, so inversos um do outro. O elo de ligao parecia ser o tringulo
infinitesimal ou "caracterstico", pois se Pascal o tinha utilizado para achar a quadratura de senos,
Barrow aplicara-o ao problema de tangentes.

Figura 1. Mtodo de Leibniz

Se EDE tangente em D ao quadrante de crculo unitrio BDC ento, Pascal percebeu, AD
est para DI como EE est para RR ou EK. Para um intervalo RR muito pequeno o segmento EE pode
ser considerado como virtualmente igual ao arco de crculo. Portanto, na notao que Leibniz
desenvolveu poucos anos depois, temos
,
onde
e

o ngulo DAC. Como

, temos
.

Leibniz, por volta de 1676, tinha chegado mesma concluso a que Newton chegara vrios
anos antes: que possua um mtodo que era altamente importante por causa da sua generalidade. Quer
uma funo fosse racional ou irracional, algbrica ou transcendente (palavra que Leibniz inventou), as
suas operaes de achar somas e diferenas podiam ser sempre aplicadas. Cabia pois a ele desenvolver
linguagem e notao adequada ao novo assunto. Depois de algumas tentativas ele fixou
e
para
as diferenas menores possveis (diferenciais) em x e y. A princpio ele escrevia omn. y (ou "todos os
y") para a soma das ordenadas sob a curva, mas mais tarde ele usou o smbolo y , e ainda ydx , o
sinal de integral sendo uma letra s (para a soma) aumentada . Achar tangentes exigia o uso do calculus

73

differentialis e achar quadraturas o calculus summatorius ou calculus integralis, frases de onde

resultam as expresses que hoje usamos.
A primeira exposio do clculo diferencial foi publicada por Leibniz em 1684 sob o longo
mas significativo ttulo de Nova methodus pro maximis et minimis, itemque tangentibus, qua nec
irrationales quantitates moratur. Aqui Leibniz deu as frmulas
,
e
para produtos, quocientes e potncias (ou razes)
juntamente com as aplicaes geomtricas. Essas frmulas eram obtidas desprezando os infinitsimos
de ordem superior.
Dois anos mais tarde, novamente na Acta Eruditorum, Leibniz publicou uma explicao de
clculo integral em que mostra que as quadraturas so casos especiais do mtodo inverso da das
tangentes. Aqui Leibniz deu nfase relao inversa entre diferenciao e integrao no teorema
fundamental do clculo.
Leibniz nutria uma profunda admirao pelo trabalho de Newton, chagando a dizer:
"Tomando a matemtica desde o incio at ao tempo de Newton, o que ele fez de longe a melhor
parte." No entanto, em 1716, chegou a desafiar, Newton, que conservou a sua extraordinria
capacidade matemtica at ao fim, a encontrar as trajectrias ortogonais de uma famlia a um
parmetro de curvas planas. Newton em poucas horas resolveu o problema e deu um mtodo para achar
trajectrias em geral.
Referncias
1. Boyer, Carl B., Histria da Matemtica, Edgard Blcher, 12 edio, So Paulo, 1996.
2. Dantzig, Tobias, Nmero a Linguagem da Cincia, Astler, Lisboa, 1960.
3. Silva, Jaime e Leal, Carlos, Anlise Matemtica Aplicada, McGraw Hill, Lisboa, 1996.

74