1.

APLICACAO de RECEITAS x RESOLUCAO de PROBLEMAS

Exemplo 1
Achar todos os x reais para os quais vale x 2 + 1 > 2x.
a). todos os x R b). x 1 c). x > 1 d). x 6= 1 e). x < 1
Resoluo de malandro.

Exemplo 2
Achar todos os x reais para os quais vale x 2 + 1 > 2x.
Resoluo de aplicador de receitas.
Resoluo de aluno olmpico identificando padro.
Resoluo de aplicabilidade geral.

Exemplo 3
Estudar o que ocorre com os dgitos da representao decimal de 2n , quando n 1 variar entre os
nmeros inteiros,
Investigao 1. O que ocorre com o dgito da casa das unidades?
fcil vermos que, medida que n toma sucessivos valores, esse dgito vai percorrendo a sequncia
2 4 8 6 2 4 8 6 . Em particular, os dgitos 0, 1, 3, 5, 7, 9 esto banidos desta casa.
Investigao 2. Os banidos tambm nunca ocorrem nas demais casas?
No, por exemplo, n = 29 produz 229 = 536870912, o qual contm todos os banidos.
Resuminho e constatao
Para simplificar, concentremos no banido zero. Pelo visto acima, constata-se que
as potncias 2n (para n = 1, 2, 3, . . .) dividem-se em
as comzero (so as que tm algum dgito zero) e as semzero (as que no tm nenhum dgito zero).
Ora, medida que n for crescendo tambm ir aumentando a quantidade de dgitos de 2n , o que
nos leva a conjecturar que ser cada vez mais raro encontrarmos um 2n semzero. Isso nos motiva
uma prxima investigao.
Investigao 3. O que ocorre com a quantidade de semzeros medida que n cresce?
Iniciamos essa investigao com um experimento computacional, determinando todos os semzero
para n = 1(1)100. A tabela a seguir mostra todos os respectivos (n, 2n ).

A tabela mostra que somente com n = 51 que temos um aumento significativo da distncia entre
os 2n s sem zero. A partir da, o "pulo" parece sofrer um aumento. Essa observao nos leva a refazer
a tabela, agora para n = 100(1)200, mas esses novos clculos no detectam nenhum novo semzero. O
mesmo ocorre para n = 200(1)300, n = 300(1)400, e isso continua ocorrendo ao menos para n 5 000.
Somos, assim, levados a fazer a seguinte conjectura:
Conjectura: finita a quantidade dos 2n semzero, pois no existe nenhum deles com n > 86.
A evidncia computacional acima, mesmo continuada para valores maiores que n = 5000, no serve
como resposta matemtica (= absolutamente certa e definitiva) para essa conjectura. Alm disso,
como parece que ainda ningum tenha conseguido decidir sua veracidade, temos aqui um exemplo
de conjectura aberta.
A deciso de toda conjectura matemtica ser uma deciso positiva (se provarmos que a conjectura
verdadeira) ou uma deciso negativa (se provarmos que ela falsa). Exemplificando com a conjectura
acima: teremos uma deciso positiva se conseguirmos demonstrar que efetivamente no existe
nenhum 2n semzero com n > 86, e teremos uma deciso negativa se conseguirmos achar ao menos
um n > 86, dando o respectivo 2n semzero.

muito importante entender

que uma estratgia computacional poderia ser usada para negativar a conjectura acima, mas jamais
para obter uma deciso positiva. Em termos gerais, essencial se entender que em problemas
envolvendo infinitos casos, como o acima, uma abordagem estritamente computacional no pode
ser usada para positivar. Detalhes na prxima lio.
Observe que em qualquer problema vlido usar a estratgia computacional como heurstica, como
um recurso para orientar nossa intuio sobre o problema. Foi o que fizemos acima.

Exemplos de conjecturas famosas

Conjectura de Goldbach, uma conjectura aberta
Este matemtico, l por c. 1740 e ajudado por L. Euler, conjecturou: Todo inteiro par 4 pode ser
escrito como a soma de dois nmeros primos, possivelmente iguais. Passado todo este tempo, esta
conjectura continua aberta e isso no foi por falta de interesse. Com efeito, mais do que simples
curiosidade, ela se mostrou estar relacionada com muitos problemas. Computacionalmente, j foi
verificada ser verdadeira ao menos at 4 1017 . intuitivamente plausvel que essa conjectura seja
verdadeira, pois medida que tomamos inteiros cada vez maiores torna-se mais fcil express-los
como a soma de dois inteiros; a dificuldade est em achar dois primos fazendo isso.
Conjectura dos nmeros de Fermat, uma conjectura falsa
n
Pierre Fermat, l por 1640, conjecturou que todos os nmeros inteiros da forma P (n) = 1 + 22 , so
primos.
Sua motivao era encontrar primos grandes e com muito trabalho, pois seus clculos eram feitos
mo, mostrou que a conjectura valia para n = 0, 1, 2, 3, 4. Contudo, 100 anos depois, L. Euler decidiu
negativamente a conjectura, mostrando que P (5) = 1 + 232 = 4 294 967 297 no primo, pois pode ser
fatorado: P (5) = 641 6 700 417.
Conjectura de Fermat, uma conjectura decidida como verdadeira
Fermat, e ainda l por 1640, estudando as equaes x + y = z, x 2 + y 2 = z 2 , x 3 + y 3 = z 3 , x 4 + y 4 = z 4 ,
onde as incgnitas x, y, z podem tomar apenas valores inteiros positivos, notou que embora as duas
primeiras equaes tenham infinitas solues a terceira e quarta no tm nenhuma. Com isso, ele
conjecturou que
no existem solues todas inteiras e positivas para x n + y n = z n , se n 3.
Mesmo aps os esforos de muitos dos maiores matemticos de todos os tempos, foi somente em
1995 que se conseguiu decidir definitivamente essa conjectura, provando-se que verdadeira; por
isso hoje devemos denomin-la Teorema de Fermat. A parte principal da demonstrao foi dada por
Andrew Wiles. Os 350 anos decorridos entre Fermat e Wiles, e as mais de mil pginas que ocupam
sua demonstrao servem para mostrar o quo grande pode ser a distncia entre a descoberta de um
resultado (= formulao de sua conjectura) e a respectiva demonstrao.

Curiosidades.
Wiles anunciou uma demonstrao da conjectura em 1993, mas especialistas detectaram um erro. Com a
ajuda de seu colega Richard Taylor, Wiles conseguiu corrigir o erro em 1995.
Como reconhecimento importncia de seu trabalho, A. Wiles recebeu inmeros prmios importantes, o
ltimo sendo o Prmio Abel de 2016. Contudo, no pode receber o maior prmio matemtico, a Medalha
Fields, pois quando decidiu a Conjectura de Fermat j tinha mais de 40 anos, idade limite para se ganhar essa
medalha.

Toda conjectura que tenha sido demonstrado ser verdadeira pode ser dita ter passado ao status
de teorema. A propsito, prtica se reservar a palavra teorema para resultados importantes e
de natureza geral, preferivelmente que sejam aplicveis em outros problemas.

2
 Dicionrio
Heurstica: trabalho emprico/computacional que objetiva sugerir ou conjecturar um resultado
ou um caminho de demonstrao, positiva ou negativa.
Conjectura: afirmao que fazemos, embasada em alguma evidncia experimental (clculos,
desenhos, etc.) ou em nossa intuio, mas da qual ainda no temos a deciso de sua veracidade.
Dois tipos: conjectura fechada (j foi decidida) e conjectura aberta (= ainda no decidida).
Intuio: conhecimento que mais sentido do que raciocinado. Pode ser aprimorada com
estudo e experincia bem orientada. O problema com a intuio que ela pode tambm nos
levar a erros. Por isso sempre precisamos de demonstraes lgicas (dedutivas).
Teorema: toda afirmao matemtica cuja veracidade j foi demonstrada. Isso o caso das
conjecturas que j se conseguiu demonstrar que so verdadeiras.
Na prtica, frequente se usar toda uma hierarquia de denominaes em ordem de decrescente
importncia para as afirmaes verdadeiras: teorema, proposio, corolrio, lema, etc.

Exerccios para aula e casa

Exerccio 1
Provar que tanto x + y = z como x 2 + y 2 = z 2 tm infinitas solues todas inteiras e positivas.
Dica: achando uma soluo, use-a para fabricar infinitas outras.
Exerccio 2
Determinar a quantidade de razes reais da equao (3 + x)10x/2 = 3.
Exerccio 3
No Cometa de Goldbach (= figura abaixo), o eixo das ordenadas expressa a quantidade de maneiras
de escrever cada inteiro par e da forma n = 2k, com 2 k 2000 (eixo das abscissas), como soma de
dois primos (no interessando a ordem das parcelas). Antes de mais nada e apesar das aparncias,
explique por que este grfico representa uma funo. A seguir, explique por que ele aumenta a intuio
favorvel veracidade da Conjectura de Goldbach.

Exerccio 4
a). Observando as identidades algbricas a 2 b 2 = (a b)(a + b), a 3 b 3 = (a b)(a 2 + ab + b 2 ),
induza (= conjecture) o que seria a verso a n b n (para qualquer inteiro n 2). Decida.
b). Existe correspondente verso para a n + b n ? Dica: observe a 3 + b 3 = (a + b)(a 2 ab + b 2 ).
c). Resuma seus resultados nos importantes casos em que b = 1.
Exerccio 5
a). Mostre que nem 63 + 1 e nem 212 + 1 so nmeros primos.
b). Prove: se n for inteiro positivo divisvel por um inteiro mpar 3, ento 2n + 1 no primo.
c). Conclua que se 2n + 1 for primo, ento n uma potncia de 2.
d). Qual a relao entre o item anterior e os nmeros de Fermat. Seja detalhado.
e). Resuma seus resultados.