Este artículo ha sido promovido para aparecer en la portada de Menéame. Si te ha gustado y quieres votarlo entra en este enlace y haz click en Menéalo.
Introducción
Como ya hemos comentado alguna vez, Leonhard Euler es el matemático más prolífico de la historia. Podemos encontrar su nombre en casi todas las ramas de las matemáticas, desde álgebra hasta análisis complejo, pasando por geometría y topología. Pero cuanto más indaga uno en sus trabajos más se sorprende. Por más que pensemos que conocemos los trabajos de Euler siempre aparece por sorpresa con un tema nuevo que nos era ajeno. Esto mismo es lo que me ha pasado a mí hace unos días. Y, cómo no, os lo voy a contar.
Numeri idonei
En una carta dirigida al físico suizo Nicolas Béguelin, Euler comentaba lo siguiente:
Todos los números contenidos de una sola forma en
son primos o dobles de primos donde
e
son primos entre sí. He observado que otras expresiones similares de la forma
gozan de la misma propiedad dando a la letra
valores convenientes.
Esto es, todo número que puede expresarse de una única forma como , para
e
primos relativos, es primo o el doble de un primo. En particular, todo número impar que pueda expresarse de una única forma en el sentido anterior es primo.
Pero aún hay más. No sólo sirve una expresión del tipo , sino que existen ciertos valores de
tales que una expresión del tipo
cumple la misma propiedad. A estos valores de
es a los que se les llama numeri idonei (números convenientes o números idóneos en español y suitable numbers o idoneal numbers en inglés).
Al menos esta era la definición inicial de número idóneo. Pero esta forma de definir este tipo de números presenta algunos problemas. Por ejemplo, es un número idóneo (lo veremos más adelante) y para él se cumple que:
es la única representación del número 9 como . Pero como todos sabemos 9 no es primo, aunque sí es potencia de un primo, ya que
. Por tanto deberíamos decir que
es un número idóneo si todo número impar que pueda expresarse de una única forma como
es primo o potencia de un primo, pero se puede afinar un poco más para eliminar esta nueva posibilidad, esto es, que el número sea una potencia de un número primo (en el primer enlace de las fuentes podéis ver algunas de las condiciones que se podemos añadir a la definición para evitar esto).
Conociendo un poco la forma de trabajar de Euler cualquiera puede imaginar que no se quedó ahí, que sus investigaciones sobre este tema no terminaron en el establecimiento de la definición de este tipo de números. Sabiendo de su carácter indagador uno tiende a pensar que intentó profundizar más en el asunto. Y teniendo un poco de información sobre sus logros no es difícil convencerse de que lo hizo, y muy profundamente. Pues sí, así fue. Euler elaboró una lista de números idóneos. Es la siguiente:
En total 65 números que Euler comprobó que eran idóneos (en el sentido comentado anteriormente). De hecho indagó más: utilizó esta lista para construir números primos hasta de ocho cifras.
Llegados a este punto lo más lógico es que nos hagamos la siguiente pregunta: ¿es infinito el conjunto de números idóneos? La respuesta es no. En 1934, el matemático Sarvadaman Chowla demostró que el conjunto de números idóneos es finito.
Sabiendo esto nos surge otra cuestión: ¿hay más números idóneos aparte de los encontrados por Euler? Por desgracia para esta pregunta todavía no hay respuesta, aunque sí se tienen datos. Concretamente se sabe que como mucho existe un número idóneo más, aparte de los que se encuentran en la lista. Y que si este último número idóneo en realidad existe, debe ser mayor que 100000000.
Mayor número primo encontrado con los números idóneos
Hemos comentado antes que Euler utilizó estos números para encontrar números primos relativamente grades (hasta ocho cifras). El mayor número primo que encontró Euler con esta téctica fue . Para demostrar que este número de ocho cifras es primo habría que comprobar que la única solución de la ecuación
es . ¿Alguien se atreve?
Fuentes:
- Numeri Idonei en Math Pages.
- Idoneal number en la Wikipedia inglesa.
- Euler y la teoría de números (pdf), de Fernando Chamizo.
- Numeri idonei en la Enciclopedia de las secuencias de números enteros, donde además podréis encontrar un código para Mathematica que genera todos los números idóneos hasta 10000.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
[…] Numeri Ideonei [Euler y los Números Idóneos] gaussianos.com/numeri-idonei/ por eliatron el 09:32 UTC […]
Información Bitacoras.com…
Valora en Bitacoras.com: Introducción Como ya hemos comentado alguna vez, Leonhard Euler es el matemático más prolífico de la historia. Podemos encontrar su nombre en casi todas las ramas de las matemáticas, desde álgebra hasta análisis comple…..
El 19 de febrero de 2010 apareció en la revista Science un artículo sobre la Enciclopedia.
Quedé encantado con los números idóneos, no habia escuchado hablar de su existencia.
Quiero aprovechar este espacio para hacer otro comentario que se aparta del tema de este post
Fermat soñaba hallar una formula que generara números primos, pués bien; aquí va mi aporte
p y q son números primos
q# < p^2
p# (1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … 1/p) es congruente con r, módulo q#
r = 1 ó primo.
Disculpadme pero tengo una duda que me gustaría que respondieran. Si el número idóneo que falta es mayor que un número tan relativamente pequeño como es 100000000, ¿por qué no se van probando valores para ese número con ordenadores hasta poner una cota más alta a partir de la cual la tecnología no nos permita seguir haciéndolo, quizá el número que buscamos se encuantra entre 100000000 y el límite máximo de calculo de algún supercomputador? Me gustaría que publicaras en la página la demostración de que el conjunto de los números idóneos es finito ^DiAmOnD^, si no te importa. Responded… Lee más »
Ghibertti, da por hecho que esa cuestión ya ha sido, cuando menos, estudiada. ¿Quién no querría ser aquel que completó la lista de números idóneos de Euler?.
Aunque está en inglés, un completísimo análisis de los números idóneos que incluye un apartado de computación numérica:
http://www.mast.queensu.ca/~kani/papers/idoneal.pdf
[…] Numeri idonei [ gaussianos.com ] […]