Beruflich Dokumente
Kultur Dokumente
por
Polya
in George Polya, 1990 (2. edio), How to solve it,
Londres: Penguin Books.
Induo e induo matemtica. A
induo o processo de descoberta de
leis gerais pela observao e combinao
de exemplos particulares. usada em
todas as cincias, mesmo na matemtica.
A induo matemtica usada apenas na
matemtica e para provar teoremas de
um certo tipo. pouco feliz que estas
designaes sejam to prximas porque
no h muita ligao lgica entre os dois
processos. H, no entanto, algumas
ligaes prticas; o facto de, muitas
vezes, se usarem os dois mtodos
conjuntamente. Vamos ilustrar ambos os
mtodos por intermdio do mesmo
exemplo.
e, reconhecendo os cubos e os
quadrados, podemos dar ao facto
observado a forma mais
interessante:
falso.
O texto que se segue
pretende mostrar essa
diferena por intermdio
de um exemplo.
Polya
apresenta
exemplo.
Atravs
um
do
primeiro
caso
particular
Polya
coloca a seguinte hiptese: ser que
a soma dos primeiros n cubos um
quadrado?
.
Como que isto acontece? Ser
que, com frequncia, uma tal soma
de cubos sucessivos um quadrado?
Ao colocar esta pergunta
procedemos como o naturalista que,
impressionado por uma planta
curiosa ou por uma formao
geolgica surpreendente, concebe
uma questo geral. A nossa questo
geral est relacionada com a soma
de cubos sucessivos
.
Fomos levados a ela pelo exemplo
particular n=4.
Que podemos fazer da nossa
questo? O que o naturalista faria;
podemos investigar outros casos
especiais. Os casos especiais n=2,3
so ainda mais simples, o caso n=5
o prximo. Acrescentemos, para
salvaguardar a uniformidade e
completude, o caso n=1. Arranjando
elegantemente todos estes casos,
como um gelogo arranjaria os
espcimens de um certo minrio,
obtemos a seguinte tabela:
1
12
1+8
32
Arranjados elegantemente, ou
seja, dispostos de um determinado
modo, Polya constata que todos
estes casos verificam a sua hiptese
inicial.
1+8+27
36
62
1+8+27+64
100
102
1+8+27+64+125
225 =
152
1 = 1
3 = 1+2
6 = 1+2+3
10 = 1+2+3+4
15 = 1+2+3+4+5.
Se esta regularidade geral (e o
contrrio difcil de acreditar) o
teorema de que suspeitmos toma uma
forma mais precisa:
indutiva experimental.
prova a frmula.
Podemos
transformar
o
encontramos por induo em
resultado
Polya
prova
rigorosamente
o
resultado encontrado por
induo
atravs
da
induo
matemtica.
Comea por verificar o
que se passa para alguns
casos particulares ainda
no testados.
Posteriormente,
supe
que
o
resultado
verdadeiro
para
um
certo valor de n e vai
provar
que
continua
verdadeiro para o valor
.
H uma verificao simples. Subtraindo a
frmula escrita acima, obtemos
.
No entanto, isto simples de verificar. O
lado direito pode ser escrito como
.
Quer isto dizer que a nossa frmula,
encontrada experimentalmente, passou um
teste vital.
Vejamos claramente o que significa este
teste. Verificmos para alm de qualquer
dvida que
.
No sabemos ainda se
seguinte n+1.
verdadeira.
Mas se soubssemos
que era verdade,
podamos
inferir,
adicionando equao que verificmos para
alm de qualquer dvida, que
.
tambm verdadeira, sendo que esta a
mesma assero que se obtem para o
prximo inteiro n + 1 (ou seja, a assero
que se obtem quando se substitui n por n +
1). Sabemos agora realmente que a nossa
conjectura verdadeira para n = 1, 2, 3, 4,
5, 6.
Por virtude de que acabmos de dizer, a
conjectura, ao ser verdadeira para n = 6,
tem tambm de ser verdadeira para n = 7; ao
ser verdadeira para n = 7 verdadeira
para n = 8; ao ser verdadeira para n = 8
verdadeira
para n =
9;
e
assim
sucessivamente. Ou seja, ao verificar-se
para todo o n, est provado ser verdadeira
em geral.
precisa.
A assero tem que depender de um
inteiro n.
A assero deve ser suficientemente
explcita para que tenhamos alguma
possibilidade de testar se permanece
verdadeira na passagem de n para o
prximo inteiro n + 1.
Se tivermos efectivamente sucesso
ao test-la, podemos ser capazes de
usar a nossa experincia, ganha no
processo de teste, para concluir que a
assero tem de ser verdadeira para n +
1 desde que seja verdadeira para n.
Quando estamos to longe suficiente
saber que a assero verdadeira
para n = 1; portanto, segue para n = 2;
portanto segue para n = 3, e assim
sucessivamente. Passando de qualquer
inteiro para o seguinte, provamos a
assero em geral.
com o complemento
matemtico da prova.
O
autor
designa
por
Paradoxo da Inveno o
facto de ser possvel que,
quanto mais ambicioso for
o plano, maiores sejam as
suas probabilidades de
sucesso.
necessrio
conhecer a lngua em que
esta apresentada de
modo a perceber bem a
condio e tambm ter
familiaridade
com
as
expresses matemticas.
Em todos os casos,
necessrio compreender a
afirmao inicial de modo a
separar as suas vrias
partes.
Polya
apresenta
um
exemplo bastante simples
(encontrar
duas
quantidades sendo dadas
Expondo o Problema
Em Portugus
Encontre
quantidades
Em linguagem
algbrica
duas
x,
cuja soma 78 e
x + y = 78
xy = 1296
inicialmente a soma e
produto dessas mesmas
quantidades) que possivel
dividir e traduzir quase
imediatamente
em
linguagem matemtica.
102.
Devido
a
esse
acrscimo
de
Separar as vrias partes da condio . H duas partes, complexidade,
uma relativa ao volume, a outra rea.
neste
caso,
a
traduo
do
Dificilmente hesitaremos em dividir a condio
problema
inicial
completa em apenas duas partes, mas no podemos
para
linguagem
escrever essas partes imediatamente. Temos que
algbrica feita
saber como calcular o volume e as vrias partes da rea.
de uma forma mais
No entanto, se soubermos toda essa geometria, podemos
cuidadosa do que
facilmente repor ambas as partes da condio para que a
no caso anterior.
traduo para equaes seja fivel. Escrevemos ento no
Aqui necessrio
lado esquerda da pgina uma forma essencialmente
seguir
mais
rearranjada e exposta do problema, pronta para
explicitamente os
traduo para linguagem algbrica.
passos que Polya
considera
que
compem
a
resoluo
de
De um prisma regular de base quadrada
qualquer problema,
a saber:
encontre o lado da base
e a altura.
63
e a altura
determine o volume que o seu produto.
1. compreens
o do problema
tem
que
se
comear
por
perceber
claramente o que
pedido, quais os
dados
que
so
facultados e a sua
relao
com
a
incgnita;
2. estabelecim
ento de um plano
necessrio
planear
um
caminho a seguir
102
para a resoluo
do problema;
3. execuo do
plano
que
consiste em pr
em prtica o plano
estabelecido
anteriormente;
4. Retrospec
o aps obtido um
resultado,
necessrio
verificar se este
responde ao que se
pretendia, revendo
e discutindo tudo o
que
foi
feito
anteriormente.
De notar que nos
exemplos
aqui
descritos apenas
efectuada
acompreenso do
problema, j que
nesta fase que se
faz a traduo do
enunciado
do
problema
para
linguagem
algbrica.
dificuldade
essencial que consiste em dividir a
condio em partes que possam ser
expressas na linguagem da geometria
analtica. A natureza desta dificuldade
tem que ser bem compreendida. A
decomposio da condio em partes
pode ser logicamente correcta e todavia
intil. O que precisamos de uma
decomposio em partes que sejam
adequadas para expresso analtica. De
modo a encontrar tal decomposio
devemos voltar definio de simetria,
mas mantermo-nos atentos aos recursos
da geometria analtica. O que se quer
dizer com simetria relativamente a uma
linha recta? Que relaes geomtricas
podemos expressar unicamente na
geometria analtica? Concentremo-nos na
(a, b)
e o ponto (p, q)
pedido
esto
to
relacionados
que primeiro,
a linha que os
une
perpendicula
r
linha
dada, e
Saliente-se, a ttulo de
comentrio final desta
parte do texto, que a
preocupao
que
Polya
revela
em
traduzir
correctamente
qualquer
lngua para a linguagem
algbrica, d conta da
enorme importncia que
atribui
linguagem
Matemtica.
O que porventura mais
uma
pista
para
a
compreenso da forma
como Polya pensa os seres
matemticos.
a seguir, eles
esto
em
lados opostos
da linha dada
mas esto a
igual
distncia
desta.
comportamento humano e
animal na resoluo de
problemas.
seguinte
questo
traioeira: Como se pode trazer do rio
exactamente seis quartos de gua
quando temos apenas dois recipientes,
um balde de quatro quartos e um balde
de nove quartos, para medir?
Polya
apresenta
um
exemplo do comportamento
humano na resoluo de um
determinado
problema:
pretende-se obter seis
quartos de gua de um rio,
tendo dois recipientes, um
com capacidade de quatro
quartos e outro com
capacidade
de
nove
quartos, para medir.
Visualizemos
com
clareza
as
ferramentas dadas com que temos que
trabalhar, os dois recipientes. ( O que
dado?) Imaginemos dois recipientes
cilndricos com bases iguais cuja as
altitudes so de 9 a 4, ver Figura
2. Se, ao longo da superfcie lateral de
cada recipiente, houvesse uma escala de
linhas horizontais igualmente separadas
com as quais pudssemos dizer a altura
da linha da gua, o nosso problema seria
fcil. No entanto, essa escala no existe
e, por isso, estamos ainda longe da
soluo.
2. No entanto, pessoas
excepcionalmente capazes, ou pessoas
que tiveram hiptese de aprender nas
suas aulas de matemtica algo mais do
que meras operaes de rotina, no
despendem tanto tempo nestas
tentativas. Contornam-nas, e comeam
a voltar atrs.
Que temos que fazer? (Qual a
incgnita?) Visualizemos a situao final
que
pretendemos
resolver
to
claramente quanto possvel. Imaginemos
que temos, diante de ns, o contentor
maior com exactamente 6 quartos l
dentro e o recipiente mais pequeno
vazio como na Figura 3. ( Comecemos do
que pedido e assumamos aquilo que
julgamos j encontrado, diz Pappus.)
De
que
situao
precedente
ou prxima na Figura 6.
sucessivas.
verdade!
Descobrimos
a
sequncia apropriada por ordem inversa.
Tudo o que resta fazer inverter o
processo e comear a partir do ltimo
ponto que atingimos na anlise (como
dizPappus). Primeiro, realizamos a
operao sugerida pela Figura 7 e
obtemos a Figura 6; depois, passamos
para a Figura 5, depois para a Figura 4,
e finalmente para a Figura 3. Refazendo
os
nossos
passos,
conseguimos
finalmente encontrar o que era pedido.
A descoberta do mtodo
de anlise atribuda a
Plato, Polya considere que
esta paternidade pode ter
sido dada apenas por este
E, no entanto, no necessrio um
gnio para resolver um problema
concreto
trabalhando
para
trs;
qualquer pessoa consegue faz-lo com
um
pouco
de
senso
comum.
Concentremo-nos no resultado desejado,
visualizemos a posio final em que
gostaramos de estar. De que posio
precedente poderamos chegar l?
natural colocar esta questo e, ao
coloc-la, estamos j a trabalhar para
trs. Problemas bastantes simples
podem naturalmente levar a trabalhar
para trs.
No
entanto,
qualquer
pessoa o consegue realizar.
Apesar de se considerar
Plato como o descobridor
deste mtodo, no restam
dvidas de que ter sido
utilizado por matemticos
anteriores a este.
Comea
por
ser
apresentado o exemplo
relativo ao co. Este,
apesar
de
poder
interessante
comparar
o
comportamento de diferentes animais
colocados no local do co. O problema
muito fcil para um chimpanz ou para
uma criana de quatro anos (para quem
um brinquedo pode ser uma atraco
melhor do que a comida). Contudo,
surpreendentemente difcil para uma
galinha que corre para trs e para a
frente, de forma excitada, sempre do
seu lado da vedao. Ela perde muito
tempo at alcanar a comida, ou nunca
chega a alcan-la, ou pode consegui-lo,
acidentalmente, depois de muito correr.
inicialmente tentar ir de
imediato na direco da
comida,
rapidamente
contorna a vedao e
alcana a comida. A deciso
de contornar a vedao
pode demorar algum tempo,
especialmente se a comida
estiver muito perto da
vedao.
1) entre a galinha e a
maioria das pessoas
que, para resolver os
problemas,
fazem
tentativas sucessivas
e s encontram a
soluo
acidentalmente,
quando a encontram.
2) entre o co e as
pessoas que Polya
designa
por
excepcionalmente
capazes
ou
que
tiveram hiptese de
aprender Matemtica
que perdem pouco
tempo com tentativas,
adoptando
rapidamente
um
mtodo mais eficaz.
Nota final
[O matemtico grego Pappus, que Polya
refere, deu uma importante discrio do
mtodo.]
1
Lisete Santos