Problema del ganado
Problema del ganado nació en Alemania.
El problema del ganado es un problema matemático propuesto por Arquímedes en el siglo III a.C.. Se trata de un problema de análisis diofántico: el estudio de las soluciones enteras de las ecuaciones polinómicas. El problema permaneció sin resolver durante mucho tiempo debido a la enormidad de los números involucrados en los cálculos necesarios. Fue descubierto en agosto de 1773 por Gotthold Ephraim Lessing, en la biblioteca de Wolfenbüttel (Alemania), de la que era bibliotecario. El manuscrito original era una carta dirigida a Eratóstenes de Cirene, escrita en forma de poema de 22 dísticos elegíacos. En él se plantea el problema de calcular el número de reses del mitológico rebaño de Sol, citado en la Odisea, sabiendo que está sujeto a un conjunto de restricciones.
La solución del problema no fue conocida hasta 1880, cuando A. Amthor descubrió una solución al problema que consistía en ocho números de al menos 206 544 dígitos. Él no pudo calcular la solución completa, pero sí pudo calcular los cuatro dígitos más representativos demostrando que la suma total era . El valor numérico de estas cantidades no se pudo determinar hasta 1965, con la ayuda de dos supercomputadoras IBM 7040 e IBM 1620. En 1981, utilizando un ordenador Cray-1, H.L. Nelson pudo calcular las cinco primeras soluciones.
Son muchos los problemas planteados por los grandes matemáticos clásicos que permanecen todavía sin solución. Algunos la han hallado recientemente gracias a la aparición de los ordenadores; los más conocidos son el de los cuatro colores y el del empaquetamiento de esferas (conjetura de Kepler). Otro recientemente demostrado es el de Fermat-Wiles.
El texto original del problema se conserva gracias a G. E. Lessing, que lo publicó en 1773 junto con una solución incorrecta. Aunque el problema está redactado de forma algo ambigua, las interpretaciones más verosímiles lo reconstruyen así:
Resolver el problema así planteado supone un conocimiento avanzado de las matemáticas, según el autor. No obstante, para demostrar la completa maestría en la materia, se añaden otras dos condiciones adicionales:
El problema puede reducirse a un sistema de ecuaciones lineales con ocho incógnitas, siendo:
La primera parte del enunciado equivale al sistema de nueve ecuaciones diofánticas:
Las dos últimas ecuaciones se refieren a las dos últimas condiciones del problema, en el que los números cuadrado y triangular se obtienen a partir de dos número enteros: m y n respectivamente:
El sistema de ocho ecuaciones expuesto arriba es indeterminado, lo que significa que tiene infinitas soluciones. Las menores soluciones enteras son las siguientes:
que suman un total de 50 389 082 res. Las demás soluciones enteras son múltiplos de estas. Es destacable que los cuatro primeros números son múltiplos de 4657, un valor que se repite más adelante.
La solución general a la segunda parte fue descubierta por A. Amthor en 1880. La versión expuesta aquí fue descrita por H. W. Lenstra, utilizando una ecuación de Pell. La solución a la primera parte debe ser multiplicada por:
donde
y j es cualquier entero positivo. De manera equivalente, elevar al cuadrado w da como resultado:
donde {u,v} son las soluciones fundamentales de la ecuación de Pell
Su resolución mediante fracciones continuas lleva a los valores mínimos:
Y ello conduce a la solución mínima, que no única, al problema original, que es aproximadamente:
Es decir, un número con 206.545 cifras. Hasta décadas recientes no ha podido ser este calculado con exactitud gracias al empleo de ordenadores.