Overblog Todos los blogs Blogs principales Tech & Ciencia
Edit post Seguir este blog Administration + Create my blog
MENU
Publicidad
Matemalescopio

PROBLEMAS MATEMÁTICOS CON HISTORIA (IV)

18 Febrero 2013 , Escrito por Antonio Rosales Góngora. Etiquetado en #Historia Matemáticas

 

Apilamiento de esferas


Sir Walter Raleigh (1554-1618), aventurero y escritor inglés que participó en la campaña contra la armada invencible, propuso a su amigo, el matemático ingles  Thomas Harriot, un problema, a ver si podía resolverlo: si conocía algún método sencillo capaz de resolver cuántas balas de cañón se pueden apilar en la cubierta de un barco utilizando el menor espacio posible. O, matemáticamente, ¿cuál es el empaquetamiento más denso posible para un conjunto de esferas? Harriot no supo contestar a esto y le pasó el problema a Johannes Kepler. Basándose en la intuición, y la observación, Kepler contestó a Raleigh en 1611 que el mejor modo de apilar bolas de cañón tenía que ser el método con el que los fruteros apilaban la fruta en forma piramidal (una esfera encima de tres), el llamado empaquetamiento cúbico centrado en las caras. La cuestión era si se podía demostrar matemáticamente. Según la conjetura de Kepler, la densidad de un empaquetamiento de un conjunto de esferas nunca excede de un número máximo. La densidad de este apilamiento es pi/(tres por la raiz de 2) .Gauss demostró que este empaquetamiento era el más eficaz de entre los de estructura reticular pero, este resultado, no excluía la posibilidad de empaquetamientos no reticulares.

 La dificultad del problema estriba en el inmenso número de posibilidades que deben ser eliminadas. A mediados del siglo XX, los matemáticos ya sabían como reducir el problema a un análisis finito. Un importante avance tuvo lugar en 1953 cuando el matemático húngaro Laszlo Fejes Tóth redujo el problema a un enorme cálculo en el que intervenían muchísimos casos específicos; al mismo tiempo sugirió un procedimiento para resolverlo por ordenador

 En 1991, Wu Yi  Hsiang de la universidad de California dio una demostración, calificada de poco rigurosa por expertos como Conway En 1998, 387 años después, Hales distribuyó una prueba asistida por ordenador a la conjetura de Kepler, con unas 300 páginas de extensión y unas 40.000 líneas de código hecho a medida para la demostración. Tras un año de verificación del código, la prueba se dio por valida con un uno por ciento de incertidumbre y publicada en 2005 en Annals of Mathematics  con un 99 % de verificación.

Publicidad
Compartir este post
Repost0
Para estar informado de los últimos artículos, suscríbase:
Comentar este post