Documente Academic
Documente Profesional
Documente Cultură
Havia j quinze dias que me esforava por demonstrar que no podia existir
nenhuma funo anloga s que depois vim a chamar funes fuchsianas.
Estava, ento, na mais completa ignorncia; sentava-me todos os dias
minha mesa de trabalho e ali permanecia uma ou duas horas ensaiando um
grande nmero de combinaes e no chegava a nenhum resultado. Uma
tarde, contra meu costume, tomei um caf preto e no consegui adormecer;
as ideias surgiam em tropel, sentia que me escapavam, at que duas delas,
por assim dizer, se encaixaram formando uma combinao estvel. De
madrugada tinha estabelecido a existncia de uma classe de funes
Captulo 1
Captulo 1
A Cincia pode ser encarada sob dois aspectos diferentes. Ou se olha para
ela tal como vem exposta nos livros de ensino, como coisa criada, e o
aspecto o de um todo harmonioso, onde os captulos se encadeiam em
ordem, sem contradies. Ou se procura acompanh-la no seu
desenvolvimento progressivo, assistir maneira como foi sendo elaborada,
e o aspecto totalmente diferente descobrem-se hesitaes, dvidas,
contradies, que s um longo trabalho de reflexo e apuramento consegue
eliminar, para que logo surjam outras hesitaes, outras dvidas, outras
contradies (...) Encarada assim, aparece-nos como um organismo vivo,
impregnado de condio humana, com as suas foras e as suas fraquezas e
subordinado s grandes necessidades do homem na sua luta pelo
entendimento e pela libertao; aparece-nos, enfim, como um grande
captulo da vida humana social7.
Captulo 1
Captulo 1
diversos nmeros complexos, observou que, para qualquer nmero, a soma de todas as
razes era sempre nula. Procurou ento encontrar uma justificao para esse facto. Para
isso, recorreu interpretao geomtrica de um nmero complexo como um vector, e
por analogia com os sistemas de foras e as respectivas resultantes, mais se reforou a
sua convico que tal facto deveria ser verdadeiro. No se dando por satisfeito,
Captulo 1
procurou uma demonstrao mais formal, o que conseguiu ao fim de bastante trabalho,
mostrando que, no fundo, o problema geral era equivalente ao problema mais simples
de considerar as n razes de ndice n da unidade. O problema ficou resolvido mas
Braumann no ficou completamente satisfeito... Tempos depois, tendo tomado
conhecimento de uma notao mais potente para os nmeros complexos, e usando a
noo j sua conhecida de progresso geomtrica, descobriu uma outra demonstrao
muito mais simples e esteticamente mais apelativa para este facto matemtico (em
apndice, o leitor pode ver uma descrio mais pormenorizada do percurso realizado,
baseada no prprio testemunho deste matemtico).
Podemos dizer que a realizao de uma investigao matemtica envolve quatro
momentos principais17. O primeiro envolve o reconhecimento da situao, a sua
explorao preliminar e a formulao de questes. O segundo momento refere-se ao
processo de formulao de conjecturas. O terceiro inclui a realizao de testes e o
eventual refinamento das conjecturas. E, finalmente, o ltimo diz respeito
argumentao, demonstrao e avaliao do trabalho realizado. Estes momentos
surgem, muitas vezes, em simultneo: a formulao das questes e a conjectura inicial,
ou a conjectura e o seu teste, etc. Cada um destes momentos pode incluir diversas
actividades como se indica na figura 1.
Explorao e formulao
de questes
Conjecturas
Testes e reformulao
Justificao e avaliao
Captulo 1
como vlida uma demonstrao para um dado resultado este passa a ser considerado
como um teorema. Antes disso, o que temos so conjecturas ou hipteses.
Poincar conjecturou inicialmente que no existiam funes com as caractersticas que
ele procurava. Mais tarde, negou esta conjectura, formulando a conjectura contrria,
segundo a qual tais funes deviam existir. O modo de verificar essa conjectura surgiulhe inesperadamente, mas s realizou a demonstrao completa numa fase posterior.
A afirmao de Fermat, rigorosamente falando, no foi mais do que uma conjectura que
permaneceu como tal durante vrios sculos. S a demonstrao finalmente oferecida
por Wiles deu comunidade matemtica a certeza que no existem ternos (x,y,z)
satisfazendo as condies indicadas, encerrando assim a questo. Entre Fermat e Wiles,
muitas ideias matemticas foram desenvolvidas a partir das tentativas falhadas de
demonstrar o enunciado deixado por aquele matemtico francs.
A pequena investigao relatada por Braumann nasceu de um trabalho exploratrio, de
observao de regularidades nas razes dos nmeros complexos. Implcita est a
questo: que relaes tm entre si estas razes? Uma observao de diversos casos
sugeriu que a sua soma era sempre nula. Uma analogia fsica com os sistemas de foras
deu grande credibilidade intuitiva a esta conjectura. No entanto, Braumann continuou a
trabalhar na questo, procurando uma demonstrao para a relao matemtica em
causa, o que viria a conseguir, mas de modo bastante laborioso. A questo no ficou
completamente encerrada, pois o autor, tirando partido de uma notao mais potente,
descobriu mais tarde uma nova demonstrao, que, pela sua simplicidade e elegncia,
lhe agradou muito mais. Neste caso, o que sobressai no a variedade de conjecturas,
mas os diversos processos de justificao e prova sucessivamente postos em aco.
Este trabalho de formulao de questes, elaborao de conjecturas, teste, refinamento
das questes e conjecturas anteriores, demonstrao, refinamento da demonstrao e
comunicao dos resultados aos seus pares, est ao alcance dos alunos na sala de aula de
Matemtica. o que nos dizem diversos matemticos e o que mostraremos, com
exemplos concretos, ao longo de diversos captulos deste livro.
Captulo 1
Captulo 1
Henri Poincar (1854-1912) destacou-se pelos seus trabalhos em Anlise Infinitesimal, sendo tambm
considerado o fundador da Topologia. A anlise do trabalho de investigao matemtica aqui referida foi
realizada numa conferncia apresentada na Sociedade de Psicologia de Paris, no incio do sculo,
publicada originalmente em 1908 no Bulletin de lInstitut Gneral de Psycologie, n. 3, e republicada em
Abrantes, Leal e Ponte (1996).
2
Poincar (1996, p. 9).
3
Poincar (1996, pp. 11-12).
4
George Plya (1887-1985) deixou importantes trabalhos em numerosas reas da Matemtica. o autor
de vrios livros dedicados resoluo de problemas, entre os quais o famoso How to solve it, traduzido
como A arte de resolver problemas.
5
Plya (1975, p. vii).
6
Bento de Jesus Caraa (1901-1948) foi um matemtico portugus, conhecido pelas suas capacidades de
divulgador e como exemplo de interveno cvica. A passagem aqui reproduzida retirada de um dos
seus livros mais conhecidos, os Conceitos Fundamentais da Matemtica.
7
Caraa (1958, p. xiii).
8
Stewart (1995, p. 17).
9
Singh (1998, p. 184).
10
Pierre de Fermat (1601-1665), um dos grandes matemticos do sculo XVII. Os elementos aqui
indicados foram retirados de J. Sebastio e Silva (1967, pp. 14-15).
11
Wiles apresentou uma primeira demonstrao em 1993, que se viria a revelar incompleta. No ano
seguinte, no entanto, apresentou uma nova demonstrao, realizada em colaborao com um ex-aluno,
que viria a ser aceite pela comunidade matemtica.
12
Singh (1998, p. 93).
13
Plya (1981, pp. 157 e 101).
14
Hadamard (1945, p. 104).
15
Braumann (2002, p. 5).
16
Carlos Braumann tem-se dedicado ao estudo de modelos matemticos em Biologia. As referncias ao
seu trabalho so retiradas de uma conferncia realizada em Coimbra, em Maio de 2002, no XI Encontro
de Investigao em Educao Matemtica (Braumann, 2002).
17
A presente discusso tem por base o trabalho realizado por Ponte, Ferreira, Varandas, Brunheira e
Oliveira (1999).