Numeri idonei

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

Euler en un billete de 10 francos suizosComo 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 x^2 + y^2 son primos o dobles de primos donde x e y son primos entre sí. He observado que otras expresiones similares de la forma x^2 + ny^2 gozan de la misma propiedad dando a la letra n valores convenientes.

Esto es, todo número que puede expresarse de una única forma como x^2+y^2, para x e y 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 x^2+y^2, sino que existen ciertos valores de n tales que una expresión del tipo x^2+n y^2 cumple la misma propiedad. A estos valores de n 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, 2 es un número idóneo (lo veremos más adelante) y para él se cumple que:

1^2+ 2 \cdot 2^2=9

es la única representación del número 9 como x^2+2y^2. Pero como todos sabemos 9 no es primo, aunque sí es potencia de un primo, ya que 9=3^2. Por tanto deberíamos decir que n es un número idóneo si todo número impar que pueda expresarse de una única forma como x^2+n y^2 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:

\begin{matrix} 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 21, 22, \\ 24, 25, 28, 30, 33, 37, 40, 42, 45, 48, 57, 58, 60, 70, \\ 72, 78, 85, 88, 93, 102, 105, 112, 120, 130, 133, 165, \\ 168, 177, 190, 210, 232, 240, 253, 273, 280, 312, 330, \\ 345, 357, 385, 408, 462, 520, 760, 840, 1320, 1365, 1848 \end{matrix}

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 18518809 = 197^2 + 1848 \cdot 100^2. 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 x=197, y=100. ¿Alguien se atreve?


Fuentes:

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

4 Comentarios

  1. 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.

    Publica una respuesta
  2. 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 a mi pregunta, por favor.

    Gracias.

    Publica una respuesta

Trackbacks/Pingbacks

  1. Numeri Ideonei [Euler y los Números Idóneos] - [...] Numeri Ideonei [Euler y los Números Idóneos] gaussianos.com/numeri-idonei/  por eliatron el 09:32 UTC [...]
  2. Bitacoras.com - 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…
  3. Numeri idonei - apezz.com - [...] Numeri idonei [ gaussianos.com ] [...]

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *