Universidade de So Paulo/Faculdade de Educao

junho/2012

Seminrios de Ensino de Matemtica (SEMA-FEUSP)

Coordenador: Nlson Jos Machado
Responsvel: Marisa Ortegoza da Cunha - marisa.ortegoza@gmail.com

Devlin e os problemas do milnio

Esta convico na possibilidade de resolver todos os problemas
matemticos um poderoso incentivo ao homem que trabalha.
Escutamos, dentro de ns, o chamado perptuo: existe um problema;
busque sua soluo. possvel encontr-la atravs da razo pura,
pois na matemtica no h ignorabimus.
(David Hilbert, Paris, 1900)

Em 8 de agosto de 1900, David Hilbert apresentou, no Congresso

Internacional de Matemticos, realizado na Sorbonne, em Paris, os problemas que,
considerava, ocupariam as mentes dos matemticos durante o sculo que se
seguiria. A lista constava de 23 problemas:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.

Provar a hiptese do continuum, de Cantor

Demonstrar a consistncia dos axiomas da aritmtica
Prova de que dois tetraedros tm volumes iguais, sob certas condies
Construo de todos os espaos mtricos em que as retas so geodsicas
Provar que todo grupo contnuo um grupo diferencial
Transformar toda a Fsica em axiomas
ab transcendente para a no nulo, diferente de 1, algbrico, e b irracional algbrico?
A hiptese de Riemann e a conjectura de Goldbrach
Achar a lei de reciprocidade mais geral em todo campo de nmero algbrico
Encontrar um algoritmo que determine se uma equao diofantina tem soluo
Classificar as formas quadrticas a coeficiente nos anis algbricos inteiros
Estender o teorema de Kronecker-Weber para os corpos no abelianos
Demonstrar a impossibilidade de resolver equaes de grau 7 por meio de funes de 2
variveis
Provar o carter finito de certos sistemas completos de funes
Desenvolver bases slidas para o clculo enumerativo de Schubert
Desenvolver uma topologia de curvas e superfcies algbricas
Demonstrar que uma funo racional positiva pode ser escrita sob a forma de soma de
quadrados de funes racionais
Construir um espao euclidiano com poliedros congruentes. Qual a maneira mais densa de se
empacotarem esferas?
Provar que o clculo de variaes sempre necessariamente analtico
Todos os problemas variacionais com certas condies de contorno tm soluo?
Prova da existncia de equaes diferenciais lineares tendo um determinado grupo
monodrmico
Uniformizar as curvas analticas por meio de funes automorfas
Desenvolver um mtodo geral de resoluo no clculo de variaes

Em 24 de maio de 2000, o Instituto de Matemtica Clay1 apresentou, no

Collge de France, em Paris, uma lista de 7 problemas matemticos ainda em
aberto, selecionados por especialistas, instituindo, para cada um, um prmio de 1
milho de dlares a quem resolv-lo, ou seja, a quem apresentar uma resposta para
ele ou provar que ela no existe.
Seguem os chamados 7 problemas do Milnio, e o ano de sua formulao:
1. Hiptese de Riemann (1859)
2. Teoria de Yang-Mills e a Hiptese da lacuna da massa (1950)
3. Problema P versus NP (1971)
4. Equaes de Navier-Stokes (1830)
5. Conjectura de Poincar (1904)
6. Conjectura de Birch e Swinnerton-Dyer (1965)
7. Conjectura de Hodge (1950)

1. Hiptese de Riemann
Trata-se de um problema proposto em 1859, relacionado com a distribuio dos
nmeros primos. Aparentemente, os primos distribuem-se aleatoriamente na reta
numrica. Nas palavras de Du Satoy (2007, p.13), Em uma disciplina dedicada a

encontrar padres e ordem, os primos representam o desafio supremo.

Por muito tempo, os matemticos se perguntaram sobre a possvel localizao dos
primos na reta real. Karl Freidrich Gauss (1777-1855) abordou o problema sob
outro ponto de vista: quantos primos existiriam, menores ou iguais a um dado
nmero n e denotou esse valor por (n). Por exemplo, (10) = 4 (os primos so 2, 3,
5 e 7),

(11) = 5 e (100) = 25.

Construiu, ento, uma tabela como a que segue, na qual a terceira coluna apresenta
a quantidade mdia de nmeros que precisam ser contados at atingir um nmero
primo e, na quarta coluna, a variao observada nesses valores mdios (ampliao
de tabela retirada de Du Satoy, 2007):

Criado por Landon T. Clay, um rico investidor de Boston, apaixonado por Matemtica.

n
10
102
103
104
105
106
107
108
109
1010

(n)
4
25
168
1 229
9 592
78 498
664 579
5 761 455
50 847 534
455 052 511

Quantidade,
em mdia
2,5
4,0
6,0
8,1
10,4
12,7
15,0
17,4
19,7
22,0

Variao

1,5
2,0
2,1
2,3
2,3
2,3
2,4
2,3
2,3

Gauss observou que quando multiplicava n por 10, tinha que adicionar 2,3 razo
entre os primos e todos os nmeros. Essa relao entre multiplicao e adio
levou-o a pensar nos logaritmos. Concluiu da que os primos podem ser contados
usando-se logaritmos na base e, no sentido de que, entre os nmeros de 1 a n,
aproximadamente 1 em cada log n ser primo. Dessa forma, Gauss estimou que o
nmero de primos entre 1 e n era de aproximadamente n/log n, e que o erro
cometido diminuiria medida que n crescesse. (Essa ltima expectativa configurou
o chamado Teorema dos Nmeros Primos, demonstrado, de forma independente,
por Jacques Hadamard e por Charles de la Valle Poussin, em 1896.)
Como a razo (n)/n fornece a densidade dos primos de 1 a n, Gauss considerou
d (x)/dx
Li(x)

ln x, a taxa de variao de da funo (x), e definiu a funo

, como uma aproximao da quantidade de primos, de 1 a x.

Em 1740, o matemtico suo Leonhard Eler (1707-1783) havia apresentado a

funo zeta:

(s) =

+...

Para valores de s maiores do que 1, essa soma finita por isso Eler restringiu
seu uso a casos em que s > 1. Por exemplo, (2) =

/6.

Como a funo zeta se relaciona com os nmeros primos?

Eler provou que, para todo real s>1,

(s) =

O alemo Georg Bernhard Riemann (1826-1866) deu o passo chave para a utilizao
dessa funo na investigao do padro dos primos: substituiu o nmero real s por

um complexo z. Riemann vislumbrou o elo entre a funo zeta e os nmeros primos

pela estreita ligao entre a densidade (n)/n e as solues da equao (z) = 0.
Riemann descobriu que todo nmero real par negativo zero da funo zeta e
conjecturou que todos os demais infinitos zeros se encontram sobre a reta Re(s) =
, ou seja, todo zero dito no trivial seria do tipo + bi, para b real. A reta
assim descrita chamada linha crtica.
Como os zeros da funo zeta, de Riemann, se relacionam com a distribuio dos
nmeros primos?
Os zeros da funo zeta controlam os erros gerados pela estimativa de Gauss
( (n)

n/log n): cada zero com parte real gera um erro de

, que a margem

de erro esperada pela teoria da probabilidade para uma moeda de primos

honesta. Como destaca Du Satoy, uma moeda honesta produz um comportamento

realmente aleatrio, enquanto uma moeda viciada gera um padro. (2007, p.180).
Assim, a existncia de um zero fora da linha crtica de Riemann forar a
existncia de algum padro na sequncia dos primos.
A hiptese de Riemann afirma que a moeda dos nmeros primos no viciada.

2. Teoria de Yang-Mills e a Hiptese da lacuna da massa

O segundo problema do Milnio pede o desenvolvimento de uma parte da
matemtica que, acreditam os cientistas, permitir avanar na compreenso da
matria de que somos feitos ns e tudo no universo.
A Fsica desenvolvida por Newton explica os movimentos em uma escala prxima do
homem ela imprecisa quando tratamos do micro ou do macrocosmo. Desde o
incio do sculo XX, a teoria da relatividade descreve o universo em escala
astronmica, enquanto que a mecnica quntica descreve o mundo em escala
subatmica. Essas duas teorias se contradizem mutuamente uma falha onde a
outra funciona bem.
Ocorre que os grandes objetos de estudo da relatividade planetas, galxias, so
todos constitudos das mnimas partculas estudadas pela mecnica quntica. H
que se desenvolver, ento, uma teoria unificadora, abrangente, das quais tanto a
teoria da relatividade quanto a mecnica quntica sejam aproximaes. Esse
modelo nico dever incorporar e dar conta de explicar as quatro foras
fundamentais da natureza: a gravitacional, eletromagntica, nuclear forte e
nuclear fraca.
4

A Teoria de Chen Ning Yang (1922) e Robert L. Mills (1927-1999) um primeiro

passo em direo a essa grande teoria unificadora e a Hiptese da Lacuna da
Massa um problema particular que surge nesse modelo, e cuja soluo ir
assegurar que a matemtica est consistente com as simulaes computacionais e
observaes realizadas em laboratrio.
A nova teoria presume que a matria um tipo de campo. Um campo de fora ou
simplesmente campo - formado quando uma fora atua em cada ponto de uma
regio do espao. Esse modelo de campo no considera mais as partculas materiais
ocupando o espao, mas um campo quntico subjacente, meio contnuo fundamental,
presente em toda parte do espao.
A teoria de Yang-Mills representa um anlogo quntico das equaes de Maxwell,
que descrevem um campo eletromagntico, sendo que as equaes de Yang-Mills (as
quais ningum ainda conseguiu resolver!) permitem interpretaes/aplicaes
clssicas (no qunticas) ou qunticas.
Um problema surgiu porm: se usada na forma clssica, a teoria descrevia ondas
com massa nula que se propagavam velocidade da luz, mas sabia-se que as foras
nucleares eram conduzidas por partculas com massa no nula.
No dizer de um matemtico do MIT, a teoria tem que efetuar o truque de
produzir partculas com massa a partir de blocos de construo sem massa.
(Devlin, 2004, p. 129)

3. Problema N versus NP
Um algoritmo um conjunto finito de regras a serem aplicadas para resolver uma
determinada instncia de um problema. Uma instncia determinada pelos valores
de entrada do processo. A eficincia de um algoritmo avaliada pela relao
existente entre o tamanho da entrada e o tempo exigido para a computao da
resposta. Usualmente, esse tempo representado pela quantidade de operaes
lgico-aritmtica realizadas pelo algoritmo. No caso de essa dependncia do tempo
em relao ao tamanho da entrada ser expressa por uma funo polinomial, dizemos
tratar-se de um problema P.
No caso de o tempo exigido variar de forma exponencial com o tamanho da
entrada, temos um algoritmo no-eficiente. A tabela abaixo compara valores
dados por uma funo exponencial e algumas polinomiais, para diferentes valores
da entrada x:

x
2x
x
x2
2
4
2
4
5
32
5
25
10
1024
10
100
15
50 1,13 x 10
50
2,5 x 103
100 1,27 x 1030 102
104
O que seria, ento, um problema NP?

x3
8
125
1000
1,25 x 105
103

x5
32
3125
10000
3,13x108
1010

H problemas para os quais muito simples verificar se uma candidata soluo

realmente correta, mas que podem apresentar grandes obstculos para serem
resolvidos. Por exemplo, como descobrir se o nmero 4 294 967 297 primo ou
composto? No existe um algoritmo eficiente para isso. No entanto, caso nos
informem de que se trata do produto de 6 700 417 por 641, em poucos minutos
poderemos conferir a veracidade dessa afirmao.2
A classe de problemas NP (problemas no-determinsticos polinomiais) aquela em
que podemos verificar se uma possvel soluo correta, em tempo polinomial.
No incio dos anos 1960, Steve Cook demonstrou que se um problema pode ser
resolvido num tempo polinomial, ento ele pode ter uma possvel soluo verificada
tambm em tempo polinomial. Ou seja, P um subconjunto de NP.
A questo que constitui o problema do milnio : P = NP?
O fato de ningum ainda ter apresentado um algoritmo de complexidade polinomial
para um problema considerado NP no implica que no exista um! E j ficou
demonstrado que, caso exista tal algoritmo, para algum dos problemas NP, ento
todos os demais problemas NP tambm admitiro resoluo em tempo polinomial.
Ou seja, a igualdade estar provada.
O fator crucial nessa igualdade que, caso seja comprovada, haver um forte
impacto nos sistemas de segurana de troca de informaes eletrnicas, visto
serem estes firmemente baseados na conjectura de que a fatorao de grandes
nmeros seja um problema NP.
O subconjunto dos problemas NP considerados de maior complexidade so chamado
de problemas NP-completos. O clssico problema do caixeiro-viajante um
exemplo.

Pierre de Fermat conjecturava que esse nmero fosse primo. Em 1732, Leonard Eler apresentou a
fatorao mencionada.

4. Equaes de Navier-Stokes
Essas equaes foram formuladas, inicialmente, por Claude Louis Marie Henri
Navier (1785-1836), em 1827 e por Simon Denis Poisson (1781-1840), em 1831.
Mais tarde, foram reformuladas por George Gabriel Stokes (1819-1903), em 1845.
So equaes diferenciais (as variveis so as funes vetoriais velocidade e
presso) que descrevem o escoamento de fluidos gases e lquidos. Exceto para
casos bem simples, nos quais vrios termos das equaes se anulam, ainda no
foram encontradas solues analticas, ou seja, a representao explcita das
funes incgnitas envolvidas.
Os problemas mais complexos que envolvem as equaes de Navier-Stokes so
abordados via anlise numrica um ramo da Matemtica Computacional que lida
especificamente com problemas que no admitem (ainda) uma soluo analtica. o
caso, por exemplo, do problema da sustentao de um avio em vo.
As equaes de Navier-Stokes resultam da aplicao da segunda lei de Newton3 a
uma partcula do fluido, de massa infinitesimal (dm), que escoa com velocidade v.
Em coordenada cartesianas, as equaes de Navier-Stokes tm a forma:

Onde v representa a velocidade do fluido; P representa a presso; g representa a

acelerao da gravidade; , a densidade do fluido e , a viscosidade.

5. Conjectura de Poincar

Essa lei afirma que a fora resultante em uma partcula igual variao do momento linear p: F =

dp/dt = d(mv)/dt. No caso em que a massa constante, essa expresso toma a conhecida forma F =
m. dv/dt = ma.

Esse problema foi inicialmente enunciado em 1900, pelo francs Henri Poincar
(1854-1912). Pouco depois, o prprio Poincar concluiu que a formulao era falsa
(apresentando ele mesmo um contra-exemplo) e, em 1904, props o problema como
hoje conhecido. Poincar atuava em todos os ramos da matemtica e
considerado o ltimo matemtico universalista, alm de criador da topologia
algbrica.
Para compreender o problema, vamos ver/rever, de modo no formal, alguns
conceitos matemticos.
Uma variedade uma generalizao da ideia de superfcie; um espao em que
cada ponto localizado por coordenadas e a quantidade de coordenadas
necessrias para essa localizao a dimenso da variedade.
As variedades de dimenso 1 so as curvas; as de dimenso 2 so as superfcies; as
de dimenso 3 ou maior do que 3 so chamadas variedades.
Uma variedade pode ser fechada ou aberta. Uma variedade aberta quando 1
partcula pode se deslocar at o infinito. Exemplo disso uma superfcie cilndrica
de dimenso 2. Uma variedade fechada quando qualquer caminho infinito tem que
retornar ao ponto de partida, como ocorre num toro (variedade fechada de
dimenso 2).
Uma variedade simplesmente conexa quando um elstico circular preso a ela
pode deslizar sobre ela, sem perder o contato, at colapsar em um ponto.
Uma esfera uma variedade de dimenso 2 fechada simplesmente conexa. Um toro
uma variedade de dimenso 2 fechada no simplesmente conexa.
Duas variedades de mesma dimenso so equivalentes quando existe uma funo
contnua e de inversa contnua, levando cada ponto de uma a um ponto da outra.
Esse tipo de funo chamado um homeomorfismo.
A conjectura de Poincar faz parte de um problema maior - o problema da
classificao: fixada uma dimenso qualquer, possvel classificar, a menos de
homeomorfismos, todas as variedades dessa dimenso?
Existe um resultado que afirma que toda variedade fechada pode ser construda
segundo procedimentos especficos a partir de uma variedade fechada
simplesmente conexa. Ento o problema de classificao pode se ater apenas
identificao das variedades simplesmente conexas.
A

Conjectura de Poincar afirma o seguinte:

Toda variedade fechada

simplesmente conexa de dimenso d equivalente esfera de dimenso d.

8

Vejamos o estado da arte, para os possveis valores da dimenso d:

d = 1: o problema trivial, pois s existem a menos de equivalncias duas
variedades: a reta e a circunferncia (esfera 1-dimensional). Ento toda variedade
fechada 1-dimensional equivalente 1-esfera.
d = 2: existem apenas duas listas de variedades fechadas: as orientveis (esfera,
toro, bitoro, ...) e as no-orientveis (garrafa de Klein, entre outras), de modo que
qualquer superfcie fechada equivalente a uma superfcie de uma dessas listas e
quaisquer duas de uma mesma lista no so equivalentes.
d = 4: Em 1984, Michael Freedman (1951) resolveu o problema e ganhou a Medalha
Fields em 1986.
d 5: Em 1960, Steven Smale (1930) resolveu o problema e ganhou a Medalha
Fields em 1966.
d = 3 - O problema do Milnio:
A partir de 2002, o matemtico Grigori Perelman (1966) comeou a publicar
artigos na Internet sobre a resoluo do problema. Em 2006, o trabalho estava
concludo e ele ganhou a Medalha Fields que se recusou a receber. Em 18 de
maro de 2010, o Instituto de Matemtica Clay anunciou que o matemtico russo
havia apresentado a soluo da conjectura de Poincar. Curiosamente, como
Perelman se recusa a publicar o trabalho, provvel que Perelman no receba o
prmio, visto que isso uma exigncia para a premiao.
Para resolver o problema do Milnio, Perelman seguiu um roteiro iniciado pelo
americano Richard Hamilton (1970). A resoluo se baseia numa deformao
aplicada a uma variedade de dimenso 3, fechada e simplesmente conexa, de modo
a homogeneizar sua curvatura em todos os pontos, transformando-a na 3-esfera.
Para isso, Perelman adaptou uma funo j usada por Hamilton, para variedades
de um tipo especial de modo a manter a deformao sob controle.

6. Conjectura de Birch e Swinnerton-Dyer

Uma curva elptica determinada por equaes do tipo y2 = x3 + ax + b, com a e b
inteiros, e discriminante

= -16(4a3+27b2) no nulo.

Dependendo da quantidade de razes reais da expresso no lado direito, a curva

elptica ter uma (no caso de uma nica raiz real) ou duas partes (se houver trs
razes reais).
9

O problema proposto pelos matemticos Brian John Birch (1931) e Henry Peter
Francis Swinnerton-Dyer (1927) relaciona-se com a contagem de pontos de
coordenadas racionais, sobre curvas elpticas. Para isso, adotaram a aritmtica
modular.
Consideraram diferentes nmeros primos p e contaram os pares (x,y) de inteiros
mdulo p tai que y2

x3 + ax + b(mod p). Para cada p considerado, a quantidade de

pontos contados finita, representada por Np.

Como a diviso mdulo um primo sempre gera um nmero inteiro como resposta,
qualquer soluo racional da equao original gera uma soluo inteira da
congruncia correspondente. Se existirem infinitos pontos racionais sobre a curva
elptica, dever haver vrias solues para cada congruncia, e isso para vrios
primos. A recproca dessa afirmao a base da conjectura de Birch e
Swinnerton-Dyer.
A questo, ento, : como descobrir se existem muitas solues para muitas dessas
congruncias?
Birch e Swinnerton-Dyer analisaram a convergncia ou no do produto infinito das
densidades p/Np, para p primo. Ora, se a curva elptica tivesse infinitos pontos
racionais, ento, para infinitos primos deveria haver muitas solues Np, e as
razes p/Np seriam muito menores do que 1, para infinitos valores de p. Isso
levaria o produto infinito a zero.
Os dois matemticos conjecturaram que esse argumento deveria funcionar no
outro sentido: se o produto infinito das razes p/Np desse zero, ento a curva
elptica teria infinitos pontos racionais.
Birch e Swinnerton-Dyer usaram uma funo de parmetro complexo s, presente
num trabalho anterior de Helmut Hasse e Andr Weil, e o fato j provado por
Hasse de que os nmeros Np so, na maioria, iguais a p+1, com variao mxima de
2p1/2, para estabelecer que existem infinitos pontos racionais numa dada curva
elptica se e somente se a funo mencionada se anula para s = 1.

7. Conjectura de Hodge
Essa conjectura foi anunciada em 1950, pelo matemtico ingls Sir William
Vallance Douglas Hodge (1903-1975), no Congresso Internacional de Matemticos,
em Cambridge, na Inglaterra. Ela possui, sem dvida, o enunciado mais hermtico,
dentre os presentes nos problemas do Milnio:
10

Toda forma harmnica diferencial (de um certo tipo) sobre uma variedade
algbrica projetiva no-singular uma combinao de classes de co-homologia de
ciclos algbricos.
Vamos seguir os passos de Devlin para apreender (um pouco) o significado de cada
termo presente nesse enunciado.
Graas a Descartes, podemos nos referir a certos objetos geomtricos, como
retas, circunferncias etc, como conjuntos de pontos que satisfazem a certas
equaes. Podemos inverter o processo - partir de uma equao algbrica, ou de
um sistema de equaes algbricas, e analisar os pontos que satisfazem todas as
equaes do sistema: eles constituiro uma variedade algbrica.
Uma variedade algbrica projetiva no-singular , de forma no muito precisa, uma
superfcie suave multidimensional que resulta da soluo de uma equao algbrica.
O enunciado menciona formas diferenciais harmnicas de modo informal, so
solues de uma certa equao diferencial parcial muito importante, chamada de
equao de Laplace, que surge tanto na Fsica quando no estudo das funes
complexas.
A conjectura de Hodge considera certos tipos de objetos abstratos os H-objetos
que surgem ao se aplicar tcnicas de clculo em determinada superfcie. Na
terminologia da conjectura, um H-objeto uma combinao racional de classes de
co-homologias de ciclos algbricos. Devlin traduz a expresso para ns: qualquer
H-objeto pode ser construdo a partir de objetos geomtricos de uma maneira
puramente algbrica.
Referncias Bibliogrficas
Devlin, Keith. Os problemas do milnio sete grandes enigmas matemticos do nosso

tempo. Rio de Janeiro: Record, 2004.

Hiptese de Riemann
Du Sautoy, Marcus. A msica dos nmeros primos a histria de um problema no resolvido

na matemtica. Rio de Janeiro: Jorge Zahar Editor Ltda., 2007

Cipra, Barry. New Insights into Prime Numbers in Whats happening in the Mathematical

Sciences . American Mathematical Society, vol. 6, 2006, pp.53-65.

P versus NP
Iusem, Alfredo. P = Np ou as sutilezas da complexidade computacional, in Matemtica

Universitria, no. 5, junho de 1987, pp.33-60.

Malagutti, Pedro Luiz. P x NP, in www.dm.ufscar.br/hp/hp501/hp501001/hp501001.html

11

Conjectura de Poincar
Cipra, Barry. First of Seven Millenium Problem Nears Completion in Whats happening in

the Mathematical Sciences . American Mathematical Society, vol. 6, 2006, pp.2-13.

Viana, Marcelo. Vdeo com aula sobre a Conjectura de Poincar, ministrada pelo professor
do IMPA, no IFUSP, disponvel em
www.matematicaparaleigos.blogspot.com.br/2012/01/conjectura-de-poincare.html.
Equaes de Navier-Stokes
Cipra, Barry. Vortices in the Navier-Stokes Equations in Whats happening in the

Mathematical Sciences . American Mathematical Society, vol. 6, 2006, pp.78-85.

Medeiros, Luis Adauto. Sobre o Modelo Matemtico Navier-Stokes in
www.im.ufrj.br/~medeiros/LinkedDocuments/ModeloMatematico.pdf

12