La revista New Scientist publicaba el pasado martes el artículo Proof confirmed of 400-year-old fruit-stacking problem: se refería a la famosa conjetura de Kepler.
José Antonio J. López Moreno describe así la conjetura de Kepler [Publicada la demostración de la conjetura de Kepler, Matematicalia, 31 marzo 2006]:
La conjetura de Kepler proviene del problema planteado hacia el año 1590 por el aventurero, pirata y escritor inglés Sir Walter Raleigh a su asistente, y posteriormente célebre matemático, Thomas Harriot. Raleigh propuso a Harriot el problema, en aquel momento de carácter presumiblemente práctico, de determinar el número máximo de balas de cañón que pueden ser apiladas de forma piramidal en la cubierta de un barco. Harriot fue capaz de calcular ese número y además logró interesar en el problema al gran astrónomo alemán Johannes Kepler, con quien mantenía correspondencia. Fruto de ello, en 1611 Kepler conjeturó que ese apilamiento piramidal, al que recurren, por ejemplo, los fruteros para disponer sus mercancías, constituye además el método óptimo que permite agrupar un mayor número de esferas en el menor espacio posible. Si bien la hipótesis de Kepler parece obedecer al más estricto sentido común, la demostración efectiva de su afirmación ha resistido hasta el pasado año todo intento de lograr una prueba matemática rigurosa: ni más ni menos que más de cuatro siglos.
Seguir leyendo ‘Completada la prueba formal de la conjetura de Kepler’