Entrada destacada

  Ralph Vaughan Williams - Fantasia on a Theme by Thomas Tallis Ralph Vaughan Williams (1872-1958), England Fantasia on a Theme by Thomas T...

miércoles, 15 de abril de 2015

Ramanujan

                   Ramanujan, Nagell y la singularidad del 7
 
 
Los casos especiales han fascinado desde siempre a todos los que de una forma u otra han estado y están relacionados con las matemáticas. ¿Por qué cierta figura se sale de la normalidad cumpliendo alguna propiedad que no cumplen el resto de figuras de naturaleza similar? ¿O por qué tal o cual número es el único que tiene cierta característica que no tienen los demás números de su especie? Hoy hablamos sobre esto último, sobre números, y concretamente sobre una singularidad muy curiosa e interesante del número 7.

De este número 7 ya hemos visto por aquí alguna propiedad interesante, como que es el primer entero positivo (mayor que 2) para el cual no se puede construir con regla y compás “su” polígono regular (aunque existen construcciones “trampa”), y hoy vamos a ver una más. Pero antes de eso tenemos que recordar qué eran lasecuaciones diofánticas.
Una ecuación diofántica es una ecuación algebraica en la que aparecen varias incógnitas y cuyas soluciones son números enteros. Las hay lineales, como
2x+5y=11
para las que tenemos un método para encontrar sus soluciones. También las hay cuadráticas, como la ecuación de Pell, que es del tipo
x^2-dy^2=1
con d un entero que no sea un cuadrado perfecto.
Para éstas no hay un método general de resolución (solamente sabemos resolver algunos casos particulares). Y no podemos aspirar a encontrarlo, ya que Yuri Matiyasévich demostró en 1970 que no existe un algoritmo que nos diga si una ecuación diofántica tiene soluciones o no las tiene.
Y también las hay exponenciales, que tienen la particularidad de que alguna de las incógnitas aparece en un exponente. Bien, pues vamos a pararnos en éstas, concretamente en la siguiente:
2^n-7=x^2
Para estas ecuaciones diofánticas exponenciales tampoco hay método general de resolución, simplemente (como en las anteriores) se sabe resolver algunos casos concretos.
Pero centrémonos en la ecuación que acabamos de escribir. Está demostrado que la ecuación
2^n-A=x^2
Srinivasa Ramanujantiene como mucho dos soluciones para todo entero A distinto de cero… excepto para el 7. Fue el gran Srinivasa Ramanujan(quién si no), al que podemos ver en la imagen de la derecha (tomada de aquí), el que conjeturó en 1913 que dicha ecuación diofántica tenía soluciones enteras solamente para n=3,4,5,7 y 15. Dichas soluciones (cada una de ellas es una pareja (n,x)) son las siguientes:
\begin{matrix} 2^3-7=1=1^2 \Rightarrow (n,x)=(3,1) \\ \\ 2^4-7=9=3^2 \Rightarrow (n,x)=(4,3) \\ \\ 2^5-7=25=5^2 \Rightarrow (n,x)=(5,5) \\ \\ 2^7-7=121=11^2 \Rightarrow (n,x)=(7,11) \\ \\ 2^{15}-7=32761=181^2 \Rightarrow (n,x)=(15,181) \end{matrix}

Es decir, que para cualquier valor entero de A distinto de cero tenemos como mucho dos soluciones, excepto para el 7, en cuyo caso tenemos cinco. Curioso, ¿verdad?
Hemos comentado que Ramanujan conjeturó este resultado, pero no lo demostró. Fue el matemático noruegoTrygve Nagell quien demostró en 1948 que ésas eran las únicas cinco soluciones de nuestra ecuación diofántica exponencial. Por ello a dicha ecuación diofántica se la denomina ecuación de Ramanujan-Nagell (que, por cierto, tiene página propia en la Wikipedia en inglés). La demostración está publicada en el volumen 4 de Arkiv för Matematik, en 1961. No he podido encontrarla “de libre acceso”, pero por si a alguien le interesa en este enlace puede ver las dos primeras páginas (la demostración completa ocupa tres páginas). Si alguien la encuentra por ahí para poder descargarla o consultarla completa de forma gratuita le agradeceremos que nos lo diga en un comentario.
Qué tendrá el número 7 que a tanta gente le gusta (preguntad a vuestros amigos, seguro que un buen número de ellos lo tendrán como número favorito) y que además posee esta propiedad tan curiosa. Y, lo que es más inquietante, ¿por qué Ramanujan estudió este caso particular y no cualquier otro? Sabemos que la intuición matemática del genio matemático indio era colosal, muy superior a la que podamos tener la gran mayoría de nosotros, pero resulta cuando menos intrigante que eligiera exactamente la “ecuación del 7″. Me temo que, por desgracia, nunca conoceremos la verdadera historia del porqué de su elección.



Copiado de gaussianos.com

No hay comentarios: