Algunos Momentos . . .

Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 1 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
Universidad de Antioquia
Facultad de Ciencias Exactas y Naturales
Departamento de Matematicas
Los Siete Problemas del Milenio
Luis Fernando Echeverri.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 2 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
Resumen
A lo largo de la historia de las matematicas los problemas abiertos han
sido considerados como la vida de esta disciplina del saber. Desde la an-
tiguedad clasica griega, pasando por el renacimiento y llegando a la edad
moderna, han salido a la luz p ublica problemas matematicos que desafan
los metodos existentes y cuya solucion promete un verdadero avance en nue-
stro conocimiento. Siguiendo esta tradicion, en mayo de 2000, un corpo-
racion de matematicas creada con fondos privados (Clay Mathematics In-
stitute), no solo saca a la luz, sino que ofrece un pozo de siete millones de
dolares para quien, o quienes, resuelvan correctamente uno de siete proble-
mas matematicos abiertos, algunos de los cuales tienen mas de cien a nos de
haber sido planteados.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 3 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
1. Algunos Momentos Historicos en la Resolucion
de Problemas Matematicos.
1.1. La Antigua Grecia
En la antiguedad clasica griega, a instancias del losofo Platon, quien pro-
puso a la regla (sin marcas) y al compas (sin graduaciones) como unicos
instrumentos legtimos para realizar construcciones geometricas , surgieron
tres grandes problemas que que solo fueron resueltos 24 siglos mas tarde:
en 1837 por Pierre Wantzel (los dos primeros) y 1882 por Lindemann (el
ultimo). En los tres casos la respuesta fue la misma: IMPOSIBLE resolver-
los con regla y compas. A este tipo de resultados se los conoce como pruebas
de imposibilidad y se han hecho cada vez mas frecuentes en matematicas.
La Triseccion del

Angulo
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 4 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
La Duplicacion del Cubo
La Cuadratura del Crculo
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 5 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
1.2. La Solucion de las Ecuaciones Algebraicas
Seg un los historiadores de la ciencia, la ecuacion de segundo grado
Ax
2
+Bx +C = 0 con A, B, C enteros positivos
fue conocida y estudiada desde la antiguedad babilonica, de tal modo que la
famosa solucion
X =
B
2

B
2
4AC
2A
no puede atribuirse a nadie en particular.
Soluciones para Grados Tres y Cuatro
Despues de conocida esta solucion los matematicos pasaron a estudiar las
soluciones de ecuaciones de mayor grado. Los matematico arabes Omar
Khayam y Al-Khuarismi estudiaron muchos casos particulares de las mismas.
En 1535 el matematico Nicolo Tartaglia fue desaado por el, tambien
matematico, Antonio Fior a resolver 30 problemas que involucraban ecua-
ciones cubicas
X
3
+AX
2
+BX +C = 0 con A, B, C enteros positivos o cero
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 6 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
El premio consista de 30 almuerzos para el ganador y sus amigos, pa-
gados por el perdedor. Tartaglia fue el vencedor, pero no publico el metodo
sino tan solo las soluciones. Trataglia divulgo en secreto su metodo a Gero-
lamo Cardano, quien lo publico como suyo en una obra titulada Ars Magna
en 1545.Un alumno de Cardano, Ferrari, soluciono la ecuacion de cuarto
grado.
X
4
+AX
3
+BX
2
+CX +D = 0 con A, B, C, D enteros positivos o cero
La Irresolubiidad de la Ecuacion de Quinto Grado
Durante casi 300 a nos los matematicos trataron de encontrar soluciones por
radicales para la ecuacion de quinto grado
X
5
+AX
4
+BX
3
+CX
2
+DX+E = 0 con A, B, C, D, E enteros positivos o cero
pero solo hasta 1831, un matematico de 21 a nos de edad, Evariste Galois,
probo que una tal solucion es, en general, IMPOSIBLE. Para llegar a este
imponente resultado Galois creo una teoria que hoy es estudiada con el
nombre de teora de Galois.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 7 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
2. Los Problemas de Hilbert
En el congreso mundial de matematicas de 1900, el matematico aleman,
David Hilbert, propuso 23 problemas para ser resueltos a lo largo del siglo.
Aunque algunos de los problemas de Hilbert parecan mas bien progra-
mas de investigacion (6
o
: axiomatizacion de la fsica) y otros muy vagos
para ser resueltos adecuadamente (4
o
: metricas y geodesicas), en general los
problemas fueron muy bien seleccionados.
Hoy, despues de mas de 100 a nos de propuestos, algunos continuan sin
resolverse (8
o
: La hipotesis de Riemann y la conjetura de Goldbach; 12
o
:
Terema de Kronecker sobre extensiones abelianas; 16
o
: Topologa de curvas
algebraicas y supercies)
Veamos rapidamente tres de estos problemas, uno de los cuales continua
sin resolverse
2.1. Hipotesis del Continuo (1
o
)
Hilbert pensaba que entre dos conjuntos innitos como el conjunto de los
numeros racionales y el de los n umeros reales, no poda existir un conjunto
de tama no estrictamante intermedio
No existe A tal que: | Q |<| A |<| R |
Este problema fue resuelto a mediados de siglo por los matematicos Godel
(1938) y Cohen (1963), quienes debieros crear nuevos metodos matematicos
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 8 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
para pensar en el problema y llegar a la conclusion de que es IMPOSIBLE
demostrar que EXISTE y tambien que es IMPOSIBLE demostrar que NO
EXISTE un tal conjunto.
2.2. La Conjetura de Goldbach (8
o
)
En 1742 el matematico considerado como el mas brillante y fecundo de
todos los tiempos, Leonard Euler, recibio una carta del matematico aleman
Christian Goldbach en la cual este peda a Euler que le diera, o bien una
prueba, o bien, un contra-ejemplo para un problema de aritmetica que el no
habia podido solucionar, el problema es el siguiente:
Todo n umero par, mayor o igual que 4, se puede escribir como la suma
de dos numeros primos
4 = 2 + 2
6 = 3 + 3
8 = 3 + 5
10 = 3 + 7 = 5 + 5
12 = 5 + 7
14 = 3 + 11 = 7 + 7
16 = 3 + 13 = 5 + 11
18 = 7 + 11 = 5 + 13
.
.
.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 9 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
Este problema, con mas de 250 a nos de haber sido planteado y a pesar
del ( o, mas bien, gracias al) poder de las modernas computadoras, sigue
aun sin resolverse.
2.3. Las Ecuaciones Polinomicas Diofantinas (10
o
)
Hallar un algoritmo (programa) para determinar si, dada una ecuacion
polinomica diofantina con coecientes en los enteros, por ejemplo:
5x 3y + 2z 7w +t + 11r + 4s 1 = 0
tiene solucion en los enteros o no la tiene.
Este problema fue resuelto en 1970 por un joven matematico ruso que en
aquel entonces contaba con 23 a nos de edad, Yuri Matiyasevic. Su respuesta,
de nuevo, tan impresionante como la de Galois, fue que NO EXISTE UN
TAL ALGORITMO.
Como el mismo Matiyaseviic probo, muchos problemas matematicos pueden
ser traducidos en terminos de polinomios diofantinos, de manera que si la
ecuacion diofantina a que da lugar el problema tiene solucion, entonces el
problema tambien la tiene.
Concluimos entonces que en matematicas hay muchos problemas de los
cuales no podemos saber de antemano si tienen o no tienen solucion.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 10 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
3. Los Problemas del Milenio
En mayo de 2000, en Paris, el Instituto Clay de Matematicas propuso, a la
manera de Hilbert en 1900, siete problemas matematicos respaldados por
un premio de un millon de dolares por problema para quien los resuelva
correctamente. La lista esta conformada por los siguientes problemas:
1. La Conjetura de Birch y Swinnerton-Dyer
2. La Conjetura de Hodge
3. La Existencia y Suavidad de la Ecuacion de Navier-Stokes
4. La Hipotesis de Riemann
5. La Conjetura de Poincare
6. El Problema P vs NP
7. La Teora Cuantica de Yang-Mills
Las condiciones de la solucion y del premio pueden consultarse en la
pagina www.claymath.org/millennium
Por permitir una aproximacion intuitiva a sus enunciados, he elegido
presentar tres de los siete problemas, a saber, 4, 5 y 6.
3.1. La Hipotesis de Riemann (1859)
Este problema ocupa el octavo lugar de la lista de los 23 problemas de Hilbert
(lugar compartido con la conjetura de Goldbach) y es el unico de dicha lista
que gura entre los siete problemas del milenio.
Arma que los ceros no triviales de la funcion zeta
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 11 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
(z) = 1 +
1
2
z
+
1
3
z
+ +
1
n
z
+
tienen todos una componente sobre una cierta recta.
La funcion admite innitos ceros complejos no reales, es decir, numeros
de la forma z = x + iy y (z) = 0. Riemann conjeturo que todos estos
numeros se deben encontar sobre la recta x =
1
2
y asi se ha comprobado
para los primeros ceros de la funcion, hasta varios miles de millones de ellos
Esta funcion fue propuesta por Riemann en su intento de probar el Teo-
rema de los Numeros Primos: La cantidad de primos hasta n se acerca
cada vez as a la relacion
n
log n
Este ultimo teorema fue probado por Hadamard y La Vallee Poison en
1886, pero la demostracion solo requirio probar que la funcion de Riemann
no tenia ceros en la recta denida por x = 1 Por lo tanto la conjetura quedo
abierta y formo parte de los problemas de Hilbert.
3.2. La Conjetura de Poincare (1904)
Planteada por el matematico Frances Jules Henry Poincare, arma que la
3-esfera es el mas simple de todos los llamados 3-manifolds compactos.
La rama de las matematicas que estudia los manifolds es la topologa.
Entre las preguntas fundamentales que se plantean los topologos sobre 3-
manifolds estan:
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 12 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
1. Cual es el tipo mas simple de 3-manifold, es decir, el de estructura
menos complicada ?
2. Es unico dicho 3-manifold?
3. Que clases de 3-manifolds existen?
La respuesta a la primera pregunta la propuso Poincare, en 1904, a man-
era de conjetura (sin demostracion). Las otras dos preguntas fueron re-
sueltas POSITIVAMENTE por el matematico Ruso Grigori Perelman en
2003, dando lugar al primero de los problemas del milenio en ser resuelto.
Con el resultado de Perelman se ha completado el catalogo de todas las
formas posibles que un espacio 3-dimensional (sin tener en cuenta al tiempo)
puede tomar.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 13 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
3.3. P vs NP (1972)
La relacion entre las clases de complejidad P y NP es una pregunta abierta
en Ciencias de la Computabilidad Teorica.
NP: Non-determinsitic Polinomial Time Problems
P: Polinomial Time Problems
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 14 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
Desde el punto de vista aplicado, un problema computable requiere que
un algoritmo que lo resuelva se ejecute en un tiempo sucientemente veloz.
Por ejemplo, un algoritmo que requiera una ejecucion mas larga que la du-
racion del universo, o de una vida humana, no puede considerarse concreta-
mente ejecutable, aunque pueda serlo en abstracto.
Para aclarar la distincion entre algoritmos, los matematicos Edmonds y
Cobhan, en 1965, propusieron la distincion entre algoritmos que se ejecutan
en tiempo polinomial y los que no lo hacen.
La clase de problemas para la que existe una solucion en tiempo poli-
nomial se denota con el simbolo P. En 1972 tres matematicos, Cook, Karp,
y Levin descubrieron una clase potencialmente mas amplia que P y la de-
notaron por NP, cuyos problemas aunque no necesariamente resolubles en
tiempo polinomial, casi lo son, en el sentido de que cada propuesta de
solucion, se puede vericar en tiempo polinomial si funciona o no.
La diferencia entre las dos clases es la siguiente: para estar en la primera
clase es NECESARIO que el problema admita un algoritmo que COMPUTE
la solucion en tiempo polinomial, mientras que para estar en la segunda clase
es SUFICIENTE que el problema admita un algoritmo que VERIFIQUE la
solucion en tiempo polinomial.
Un tpico problema Np-duro es el llamado problema del Vendedor Via-
jero:
Dado un n umero de ciudades y el costo de viajar de una a otra, cual
es la ruta de viaje mas barata que visita cada ciudad exactamente una vez y
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 15 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
regresa al punto de partida?
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 16 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
4. Conclusiones
Hemos visto que en matematicas ha habido, hay, y seguramente, habra
por siempre (esperamos) problemas abiertos. Estos constituyen la princi-
pal fuente vida de esta disciplina del saber y esto a pesar de (o gracias a)
que muchas de las respuestas a estos problemas han sido del tipo Wantzel,
Lindemann, Galois, Godel, Matiyasevic, etc, es decir, NEGATIVAS.
Vimos que al menos uno de los siete problemas del milenio ya fue re-
suelto, pero, teniendo en cuenta la historia, no podemos esperar que los
demas lleguen a serlo alg un da, o al menos que sean resueltos de manera
POSITIVA.
Los Problemas del Milenio salieron a la luz de una manera espectacular
y llamativa, pero la principal intencion de quienes propusieron el premio
no era hacer de las matematicas un espectaculo, sino elevar a la conciencia
del p ublico general el hecho de que en esta ciencia la frontera aun esta
abierta y llena de importantes problemas por resolver, problemas dignos de
ser pensados por todos aquellos que aman el saber y la razon.
Algunos Momentos . . .
Los Problemas de . . .
Los Problemas del . . .
Conclusiones
Pagina Web
Pagina de Abertura


Pagina 17 de 17
Regresar
Pantalla Completa
Cerrar
Abandonar
Bibliografa
Anglin, W. S. Mathematics: A Concise History and Philosophy. New York,
Springer. 1997
Carlson and others: The Millenium Prize Problems. Clay Mathematics Institute.
American Mathematical Society. 2000
Klee & Wagon: Old and New Unsolved Problems. Mathematical Asociation
of America. 1991