Introducción
Hace ya bastante tiempo comentamos una curiosa propiedad del número 26. Concretamente es ésta:
El número 26 es el único número natural que está situado entre un cuadrado (
) y un cubo (
).
Al parecer fue Fermat quien demostró dicho resultado, pero en el post donde dábamos cuenta de esta característica del 26 no se daba ninguna prueba de este hecho. Fue Juanbuffer quien aportaba en un comentario un pdf con una demostración del mismo (que si no recuerdo mal no estaba en español). Por desgracia parece que ya no se puede acceder a dicho documento (al menos yo no puedo). Por este motivo me puse a buscar…y la he encontrado. Mi admirado Carlos Ivorra es quien me ha proporcionado dicha prueba. Bueno, en realidad no sé si es suya, pero aparece en uno de los libros en formato pdf que tiene disponibles en su web: Teoría de Números.
En este artículo vais a poder ver esta demostración.
La unicidad del 26
En realidad la demostración que os voy a presentar del hecho de que el 26 sea el único número natural con la propiedad mencionada anteriormente es relativamente elemental. Lo interesante de la prueba es que se sale del conjunto de los números naturales para demostrar una característica en
. El hecho de apoyarse en un conjunto mayor que
para demostrar algo en él es un argumento bastante útil, y de ello se aprovecharon muchos matemáticos cuando se convencieron de la potencia de dicho argumento.
Centrémonos en el tema. Vamos a hacer la demostración en (los números enteros). Entonces el enunciado del resultado a demostrar el el siguiente:
Teorema:
Las únicas soluciones enteras de la ecuación
son .
Demostración:
Un simple vistazo a la ecuación nos dice que no puede ser un número par. Si lo fuera tendríamos que
también sería par. La contradicción se encontraría en el hecho de que la parte derecha de la igualdad sería divisible entre 8, pero la parte izquierda no sería ni siquiera divisible entre 4. Por tanto
ha de ser un número impar.
Nos salimos ahora de para adentrarnos en el anillo
. Consideramos la ecuación anterior en este anillo su expresión puede darse factorizada de la siguiente manera:
Consideramos en este anillo la norma siguiente:
Es sencillo comprobar que dicha norma es multiplicativa, esto es, que es positiva para todo elemento distinto de cero de , que es cero para el elemento cero y que la norma de un producto de dos elementos de
es el producto de las normas de dicho elementos.
Supongamos ahora que cumplen la ecuación inicial y tomemos los elementos
y
de
. Cualquier elemento
que sea un divisor común de ellos dos debe dividir también a su suma,
, y a su diferencia,
. Tomando normas en esta situación tendríamos lo siguiente:
Por tanto . Los únicos pares de valores
que cumplen esto son los siguiente:
Con las dos primeras posibilidades obtenemos los elementos y -1$ de
, que son unidades de este anillo. En los demás casos obtenemos los elementos
y
, todos ellos con norma par (2 ó 4), por lo que no pueden dividir a
, cuya norma (
) es impar.
Con esto llegamos a lo siguiente: y
son primos entre sí.
Ahora, teníamos la ecuación inicial factorizada de la siguiente forma:
Uniendo estos dos hechos tenemos que el producto de dos elementos de que son primos entre sí es igual a un cubo. Ello obliga a que cada uno de estos elementos sea él mismo un cubo. En particular:
Desarrollemos ahora la parte derecha de esta última igualdad:
Igualando coeficientes de de las expresiones inicial y final llegamos a la siguiente igualdad:
Un sencillo análisis de los valores de y
nos lleva a que los únicos valores posibles son
y
(recordemos que
y
son números enteros). Para
obtenemos que
y de ahí que
. Y para
obtenemos
y por tanto
, que es el resultado buscado.
¿Conocéis alguna otra demostración de este hecho? Los comentarios son vuestros.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: Introducción Hace ya bastante tiempo comentamos una curiosa propiedad del número 26. Concretamente es ésta: El número 26 es el único número natural que está situado entre un cuadrado () y un cubo (). Al parecer fue Fer…..
Quizás deberías añadir lo que dice Ivorra al final: la demostración funciona porque el anillo
es de factorización única. Ignorar detalles como éste llevó a algún famoso matemático a dar demostraciones incorrectas de último teorema de Fermat.
En cualquier caso, ¡muy buen blog!
Excelente!
Já sei qual é dia em que faço anos!! 🙂
Una pregunta. Es que la afirmación «el 26 es el único número situado entre un cuadrado y un cubo» es un tanto ambigua, porque dicho así a mi me parece que hay que demostrar tanto que es el único que se encuentra entre un cuadrado y un cubo como que es el único que se encuentra entre un cubo y un cuadrado, y me ha dado la impresión de que sólo se demuestra una de las afirmaciones. ¿Es el único en ambas afirmaciones o sólo en la primera?
Por cierto, googleando un poco he encontrado esto, que no sé si es el mismo artículo al que os referíais:
http://www.normalesup.org/~baglio/maths/26number.pdf
Osukaru | 1 de Marzo de 2010 | 16:24
Bem visto!, Osukaru.
quiero agregar un link que demuestra que el 26 es único:
http://26veintiseis.blogspot.com/ 🙂
(muy en la línea de acertijos y más cosas y de pequeños enigmas, los primeros links a la derecha de su pantalla, pero con un estilo propio poco frecuente dentro de los problemas de ingenio)
Gracias Juan Pablo.
Mi 26 es una cosa menor, un divertimento personal y para unos pocos, queridos y pacientes lectores, que creo que aquí nunca ha encajado, pero si recuerdo que en cierta ocasión alla por 2006, planteé lo que en este post se resuelve, tal vez tu o nuestro amigo Merfat (Fuerza CHILE¡¡¡)os acordéis.
http://blogs.ya.com/veintiseis/200608.htm#157
en el 26 anterior
Me alegra mucho encontrar en este magnifico blog una respuesta.
Un pequeño detalle. Cuando afirmas que la norma tal y como la defines, es multiplicativa, es algo correcto, pero no implica que sea positiva (en
, tal y como está definida la norma siempre es positiva, pero en
por ejemplo, existen elementos de norma negativa.
A lo que iba (que he publicado antes de tiempo), que la multiplicidad de la función norma, no implica que sea positiva, tal y como está definida
Profe Demente, es cierto que la demostración es válida porque
es un DFU, estaba esperando que alguien lo comentara :).
Osuraku, si te digo la verdad no sé responderte en este momento a tu pregunta de si el 26 es único también en el otro sentido que comentas. Por otra parte, no recuerdo si ese es el artículo que comentaba antes, pero me da que sí.
alaspencas, la norma está definida en
, donde sí es positiva. En
se debería definir otra norma, si es que necesitamos que sea positiva.
Según veo, el problema está relacionado con unas «Curvas de Mordell» http://mathworld.wolfram.com/MordellCurve.html, en nuestro caso con
.
La duda de Osukaru (si habrá un entero que esté entre un cubo y un cuadrado) correspondería al caso
, y según tabulan ahí la única solución es
(y es claro: 0 está entre un cubo y un cuadrado).
Para la demostración, caso
y
remiten al libro «Uspensky & Heaslett, Elementary Number Theory» ( http://listserv.nodak.edu/cgi-bin/wa.exe?A2=ind0311&L=nmbrthry&D=0&P=1290)
Acá hay una tabulación gigante para distintos n: http://tnt.math.metro-u.ac.jp/simath/MORDELL/
Otro detalle, es que si
entonces en general no vale que
y
sean cubos, sino que existe una unidad u tal que
y
son cubos. Pero en el anillo
vale que las unicas unidades
son cubos, luego no hay que hacer ese ajuste.
PD: Una forma de ver que es DFU es probar que es Euclideo, por ejemplo usando la norma propuesta.
La respuesta a la pregunta de Osuraku (si habrá además un entero que se encuentre entre un cubo y un cuadrado) estaría dada, según veo, en esta página sobre curvas de Mordell
, el alternativo de Osuraku a
, y que sólo tiene como solución entera el par (-1,1). Y es verdad, aunque un poco trivial: 0 está entre un cubo (-1) y un cuadrado (1).
http://mathworld.wolfram.com/MordellCurve.html
El problema original corresponde a
me gustó mucho! 🙂 tengo muchas ganas de cursar las álgebras (me toca el año que viene) para empezar a entender estas cuestiones en profundidad jejeje
Dani, gosta mais de Álgebra ou de Análise?
[…] 5 en El único es el 26 […]
[…] El único es el 26 gaussianos.com/el-unico-es-el-26/ por sjah el 02:20 UTC […]
[…] » noticia original […]
digamos que como aun no he visto álgebra en serio (y sería discutible si he visto cálculo en serio puesto que ni me he metido en teoría de la medida ni he visto E.D.Ps) creo que voy a esperar un par de años para responder a esa pregunta jejeje. Por ahora lo que más me ha gustado con diferencia es la topología diferencial. Milnor me enamoró 🙂
Nem sei o que é a Topologia Diferencial nem quais as ligações com a Geometria Diferencial. Mas, quanto ao EDP, pode ver 🙂 EDP = Erdős’s Discrepancy Problem, ao vivo, no blog do Professor Gowers, no WordPress (gowers.wordpress.com, antecedido de http://). Já são 15 posts e mais de 1500 comentários no total, na tentativa em curso, por vários matemáticos e teóricos da computação, de provar esta conjectura, formulada há quase 80 anos por Erdős. Além do blog indicado, pode consultar este site michaelnielsen.org/polymath1/index.php?title=The_Erdős_discrepancy_problem (antecedido de http://) ou directamente o ponto 9, do artigo de 1957 Some Unsolved Problems de Paul… Lee más »
No me había percatado de eso. Habrá que ver si hay otros números con características similares. Está, para mí, muy bien presentada la teoría. Espero que la gente se entusiasme y busque otras cosas raras como la del 26
[…] El único es el 26Isa Fer, de la UGR al ICMCelebrando infinitamente el día de PiLa línea de Nagel […]
[…] El único número que cumple esta propiedad es el 26. Puedes ver la demostración en la página gaussianos.com […]
Encuentro interesante que, con la contribución de los adeptos al blog se cree una colección de NÜMEROS NATURALES DEL TIPO 26. Serían números que gocen de una propiedad única como este 26.
Como ejemplos valgan los siguientes:
1 es el único natural que no es primo ni compuesto.
2 es el único primo par.
4900 es el único cuadrado que también es piramidal cuadrado.
Espero contribuciones.
Los números 0 y 1 son los únicos en los que se verifica que «latex x^2 = x^3$, en todos los demás naturales se tiene que
, entonces no puede existir un número entre un cubo y un cuadrado.
Interesante también resulta el número 6, ya que
es decir que si vamos contando de a 2, el 6 parece ser el único número que está entre un cuadrado y un cubo.
¿Se podrá resolver en sentido afirmativo
con
? ¿Y en general se podrá tener soluciones enteras para la ecuación
con 
Romeo, el 123 está entre 11^2 y 5^3 con diferencias de 2.
Para cualquier cubo x^3 mayor que un cuadrado y^2 hay un valor entero n que cumple y^2 + n = x^3.
El caso de
se puede generalizar para
.
Hi there! It appears as though we both have a passion for the same thing. Your blog, «» and mine are very similar. Have you ever thought about writing a guest post for a similar website? It is sure to help gain exposure to your blog (my website recieves a lot of traffic). If you are interested, contact me at:. Thanks
Y cambiando de tema, habrá algún número que este ubicado entre un cubo y una cuarta? en general, existirán números que esten ubicados entre una potencia n y la n+1?
26 son las letras del alfabeto actual mundial castellano (21 consonants y 5 vocals),
26 son los huesos de cada pie que permiten estar parado al ser humano
26 son el numero de vertebras de la columna vertebral
206 son el total de huesos terminals del Homo sapiens
26 son los subcubos giratorios del cubo de Rubick
Muy interesante esta demostración.
Muchas gracias por hacerla conocer.
[…] numero 26 es el único numero natural que esta entre un cuadro (5×5=25) y un cubo (7x3x3=27) (la explicación, por si alguien tiene curiosidad). Esto demuestra que hasta las cosas mas normales tienen algo […]
Muy interesante la investigación, gracias por las fuentes, las voy a revisar para ver qué más puedo saber sobre esto.