noticias y última hora

La función Phi de Euler: otra genialidad del maestro

Introducción

Pierre de Fermat

Pierre de Fermat


Tras la muerte de Pierre de Fermat, muchas de sus conjeturas quedaron sin resolver. Como ya sabemos, Fermat no era muy dado a publicar las demostraciones de sus resultados, por lo que debían ser demostrados por otros para confirmar su validez o falsedad. El caso más famoso, por lo que se tardó en confirmar y por la gran cantidad de matemáticos que se dedicaron a ello, es el denominado último teorema de Fermat, demostrado finalmente por Andrew Wiles en 1995, pero ni mucho menos fue el único.

La afirmación de Fermat sobre la primalidad de todos los números enteros positivos F_n=2^{2^n}+1, llamados números de Fermat, fue otra de sus más famosas conjeturas, refutada finalmente por Euler en 1732 al encontrar la factorización de F_5:

F_5=2^{2^5}+1=4294967297=641 \cdot 6700417

De hecho no se ha vuelto a encontrar ningún número de Fermat que sea primo.

Y el llamado pequeño teorema de Fermat constituye otro caso del mismo tipo que los anteriores. Dicho teorema afirma lo siguiente:

Si p es un número primo y a es un número natural que no es divisible por p, entonces a^{p-1} \equiv 1 \pmod{p}

Euler demostró este resultado y dio además la demostración de una generalización del mismo. En esta historia la conocida como función \varphi de Euler ejerce un papel de suma importancia.
(Leer el resto del post)

El problema de Waring

Esta entrada ha sido promovida para aparecer en la portada de Menéame. Si te ha gustado y quieres votarla haz click en este enlace y pincha en Menéalo.


En ocasiones puede resultar paradójico que la respuesta a una pregunta suponga la aparición de muchas otras preguntas, pero en matemáticas esto ocurre constantemente. Es habitual que la demostración de un hecho traiga consigo la formulación de muchas preguntas relacionadas con este hecho.

Edward Waring

Edward Waring


Precisamente esto es lo que ocurrió en 1909. Ese año David Hilbert daba una demostración de una conjetura conocida como problema de Waring, formulada por el matemático inglés Edward Waring más de cien años antes, en 1770.

En concreto, Waring conjeturó en su obra Meditationes Algebraicae que

Todo entero positivo puede expresarse como suma de a lo sumo n potencias k-ésimas positivas, siendo n dependiente de k (se entiende que k es un número entero positivo).

Esto quiere decir que dado un exponente entero positivo k, todo número entero positivo que tomemos necesitará de, como mucho, un número concreto de potencias con ese exponente k. Waring conjeturó que todo entero positivo puede expresarse como suma de, a lo sumo, 4 cuadrados, 9 cubos y 19 potencias cuartas. Vamos, que si expresáramos todos los enteros positivo como suma de números al cuadrado, no haría falta usar 5 de ellos para expresar así ningún número.

Al parecer no se considera que Waring tuviera la suficiente capacidad para probar su propia conjetura, de hecho ni siquiera para probar alguno de los casos particulares (k=2,3,4) que él mismo conjeturó. Pero ahí quedó la cosa, como un reto al igual que cualquier otra conjetura, para quien la quisiera tomar.

El mismo año 1770 en el que se formuló la conjetura, el caso k=2 queda demostrado por Lagrange dando como resultado que Waring tenía razón: todo entero positivo puede expresarse como suma de, a lo sumo, 4 cuadrados. Como no podía ser de otra forma, este resultado se denomina teorema de los cuatro cuadrados y, aunque Fermat ya pensaba que era cierto, fue Lagrange el primero en dar una demostración. Un punto para Waring. Pequeño, sí, pero ahí queda.

David Hilbert

David Hilbert


La traca final llegó en 1909 cuando Hilbert demuestra el caso general. Es decir, dado cualquier entero positivo k, el número n de potencias k-ésimas que hay que sumar para obtener cualquier entero positivo está acotado, tiene un máximo, un tope, sea cual sea el número entero positivo que queramos expresar así.

El pero de todo esto (sí, siempre tiene que haber un pero) es que la demostración de Hilbert no da ningún procedimiento para calcular ese número máximo de sumandos. Por poner un ejemplo, esto quiere decir que sabemos que todo número natural puede ser expresado como, a lo sumo, un cierto número concreto de potencias de exponente 328, pero la demostración de ello no nos dice cuál es ese número concreto de ellas.

Dado que no tenemos una fórmula explícita para, dado k, calcular el valor de n, la única opción que nos queda es estudiar caso por caso: cuadrados por un lado, cubos por otro, potencias cuartas, etc.
(Leer el resto del post)

Cómo generar conjuntos CuCu

Introducción

A los matemáticos nos encanta poner nombre a las cosas, y cuanto más descriptivo sea el nombre mucho mejor. Así, los puntos frontera de un conjunto son los que gráficamente situaríamos como frontera geográfica de dicho conjunto o una sucesión monótona es una sucesión en la que nunca pasa nada distinto, es decir, una sucesión en la que la tendencia no cambia, es siempre creciente o siempre decreciente, pero no hay cambios.

Los conjuntos que os voy a presentar hoy no tienen nombre (al menos yo no conozco ningún nombre para ellos). Por eso los he bautizado a partir de la propiedad que tienen. Son los conjuntos CuCu.

¿Qué es un conjunto CuCu?

Lo primero que voy a hacer es explicar qué es para mí un conjunto CuCu.

Un conjunto CuCu es un conjunto de números enteros positivos tales que la suma de sus Cubos es igual al Cuadrado de su suma. Es decir:

Un conjunto CuCu es un conjunto de números enteros positivos \{ a_1, \ldots a_k \} que cumplen que:

a_1^3+ \ldots + a_k^3=(a_1+ \ldots + a_k)^2

Un ejemplo muy interesante de conjunto CuCu es el conjunto \{1, 2, \ldots , n \}, para cualquier n \in \mathbb{N}. Que este conjunto de números sea un conjunto CuCu significa lo siguiente:

1^3+2^3+ \ldots + n^3=(1+2+ \ldots +n)^2

Vamos a demostrar este resultado por inducción:

Demostración:

El resultado es evidente para n=1:

1^3=1^2

Supongamos ahora que es cierto para n, es decir, que

(1+2+ \ldots +n)^2=1^3+2^3+ \ldots + n^3

y demostremos que la igualdad es cierta para n+1. Para ello partiremos de la parte de la igualdad relativa al cuadrado y utilizaremos el caso n (esto es, la hipótesis de inducción) para llegar al objetivo buscado.

Partimos entonces de esta expresión:

(1+2+ \ldots +n+(n+1))^2=

Tomamos como primer término 1+2+\ldots +n y como segundo término n+1 y desarrollamos el cuadrado de la suma:

=(1+2+ \ldots +n)^2+(n+1)^2+2(1+2+ \ldots+n)(n+1)=

Ahora utilizamos la hipótesis de inducción en la primera suma y que 1+2+\ldots+n=\cfrac{n(n+1)}{2} en la segunda:

=1^3+2^3+ \ldots +n^3+(n+1)^2+2 \cdot \cfrac{n(n+1)}{2} \cdot (n+1)=

Operando ahora el último sumando obtenemos n(n+1)^2 y agrupándolo con el segundo sumando obtenemos (n+1)^3, llegando entonces a la igualdad buscada. \Box

¿Cómo generar conjuntos CuCu?

Pero el conjunto de los primeros enteros positivos no es el único que cumple esta propiedad. De hecho existe un procedimiento para generar conjuntos de números que cumplen que la suma de sus cubos es igual al cuadrado de su suma, es decir, conjuntos CuCu.

Joseph Liouville

Joseph Liouville

Dicho procedimiento se lo debemos a Joseph Liouville y consiste en lo siguiente:

  1. Tomamos un número entero positivo cualquiera y calculamos los divisores de dicho número (el 1 y el propio número también cuentan).
  2. De cada divisor calculado antes contamos cuántos divisores tiene.
  3. Los números que designan las cantidades de divisores de cada divisor del número inicial son un conjunto CuCu.

Vamos a ver un ejemplo sobre la aplicación de este procedimiento:

Número 20

  1. Los divisores de 20 son 1,2,4,5,10 y 20.
  2. Ahora:
    - El 1 tiene 1 divisor (el 1 solamente).
    - El 2 tiene 2 divisores (el 1 y el 2).
    - El 4 tiene 3 divisores (el 1, el 2 y el 4).
    - El 5 tiene 2 divisores (el 1 y el 5).
    - El 10 tiene 4 divisores (el 1, el 2, el 5 y el 10).
    - El 20 tiene 6 divisores (el 1, el 2, el 4, el 5, el 10 y el 20).
  3. Entonces el conjunto \{1,2,3,2,4,6 \} es un conjunto CuCu:

    1^3+2^3+3^3+2^3+4^3+6^3=(1+2+3+2+4+6)^2

    Efectivamente, ambos miembros de la igualdad dan como resultado 324.

Evidentemente este procedimiento tiene su demostración, pero en vez de reproducirla aquí prefiero que visitéis este enlace en el que el gran Ignacio Larrosa nos la cuenta.

El único es el 26

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 (25=5^2) y un cubo (27=3^3).

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.
(Leer el resto del post)

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:

Los números de Catalan

Este artículo es mi aportación a la primera edición de Carnaval de Matemáticas organizado por Tito Eliatron.

Motivación

Un polígono convexo es un polígono que cumple que todos sus ángulos interiores miden menos de 180º. De forma más intuitiva, un polígono es convexo cuando todos sus vértices están apuntando hacia el exterior del polígono. Por ejemplo, el siguiente polígono es convexo

Polígono convexo

pero éste no lo es

Polígono no convexo

Según esta definición es evidente que todos los polígonos regulares (triángulo equilátero, cuadrado, pentágono regular…) son convexos.

Bien, aclarado este punto vamos a realizar un experimento con estos polígonos regulares. Lo que vamos a hacer es dividir cada uno de ellos en triángulos trazando diagonales que no se corten entre si. Y vamos a contar de cuántas formas podemos hacer esa subdivisión para cada uno de los polígonos.

TriánguloTomemos el primer polígono regular en lo que a número de lados se refiere, el triángulo equilátero. Está claro que en un triángulo equilátero no se puede trazar ninguna diagonal, pero como la propia figura es un triángulo digamos que ya tendríamos el polígono dividido en triángulos. Esto es, el número de formas en las que podemos dividir un triángulo equilátero en triángulos trazando diagonales de la forma descrita antes es 1.

Pasamos al siguiente, el cuadrado. En él podemos trazar dos diagonales que lo dividen en triángulos

Cuadrados

Por ello, el número de formas en las que podemos dividir el cuadrado en triángulos como se comentó antes es 2.

El siguiente es el pentágono. En este caso cada forma de dividirlo en triángulos así consiste en trazar dos diagonales que no se corten. Estas son las 5 formas.

Pentágonos

Con el hexágono el número de diagonales a trazar es tres por vez. Nos quedan las siguientes 14 formas de dividir un hexágono regular como hemos dicho antes:

Hexágonos

Con un heptágono obtendríamos 42 formas, con un octógono 132, y así sucesivamente…Un momento, ¿cómo que y así sucesivamente? Hemos obtenido la siguiente sucesión de números:

1, 2, 5, 14, 42, 132, \ldots

A la vista de estos elementos no parece que sea muy evidente cómo encontrar el siguiente término. La sucesión de números obtenida más bien parece aleatoria, casual, sin ningún interés…

La pregunta está clara:

¿Aparecen estos números en algún otro sitio? ¿Tienen algo de interés?

Pues va a ser que sí…
(Leer el resto del post)

Factorización de un primo de la forma 4k+1 en el anillo de los enteros gaussianos

Este artículo es una colaboración enviada por fede a gaussianos (arroba) gmail (punto) com.


Introducción

Un número primo de la forma 4k+1 es suma de los cuadrados de dos números enteros. Además la representación p=x^2 + y^2 es única si 0 < x < y.

Como x^2 + y^2 = (x+iy)(x-iy), la representación anterior da una factorización de un primo natural p = 4k+1 en el anillo de los enteros gaussianos. Además los factores (x+iy) y (x-iy) son primos en ese anillo.

Este post describe cómo obtener los enteros x,y que son solución de p=x^2 + y^2.

Describiendo el algoritmo

Podemos probar con un programa valores sucesivos de x hasta que encontremos la solución de x^2+y^2=p, y eso puede funcionar para primos pequeños como 100123456789 y 100987654321, pero no sirve para primos algo más grandes como el primo gemelo titánico más pequeño o el primo más pequeño de 2000 dígitos decimales.

La demostración de Zagier de que un primo de la forma 4k+1 es suma de dos cuadrados tampoco da un método práctico para encontrar la solución, ni las de Euler, Lagrange o Dedekind.

Tampoco la fórmula explícita de Gauss

x \equiv \dfrac{(2k)!}{2(k!)^2} \pmod{p}, \quad y \equiv (2k)!x \pmod{p}

es útil para calcular los valores de x e y.

Sin embargo existe un algoritmo muy simple para obtener la solución. Podemos describirlo de la siguiente forma:

Obtenemos un r < p tal que r = \pm \sqrt{-1} \pmod{p}, es decir, r^2 \equiv -1 \pmod{p}.

A continuación aplicamos el algoritmo de Euclides a \dfrac{p}{r}. El primer resto que encontramos menor que \sqrt{\dfrac{p}{2}} es el valor de x y el resto anterior es el valor de y.

El algoritmo se deriva de las demostraciones de Serret, Hermite y H.J. Smith, las primeras publicadas en el “Diario de Liouville” en 1848 y la última en el “Diario de Crelle” en 1855.

Calculadora de las componentes de los factores

Podéis probar el algoritmo introduciendo un primo en la casilla de abajo. Para encontrar primos de algunos centenares de dígitos, podéis copiar y pegar en la casilla de abajo primos cuyas 2 últimas cifras sean de la forma 4k+1 desde las páginas de “Prime Curios!”.

                                                   

  Paso  Resultado  Duración
1. Validación de entrada   
2. Busca no-residuo   
3. Calcula raíz de -1   
4. Alg.Euclides sobre p/r   
5. Comprobación  
 x =
 y =

Descripción de la calculadora

  • El paso 1 sólo verifica que el número introducido sea de la forma 4k+1.

    Los dos siguientes pasos sirven para obtener r = \sqrt{-1} \pmod{p}, y están basados en los resultados de la teoría elemental de residuos cuadráticos.

  • En el paso 2 se busca un no-residuo cuadrático t (es decir, un número que no sea un cuadrado \pmod{p}). Como la mitad de los números menores que p son no-residuos, y es rápido determinar si un número es o no un residuo cuadrático (calculando el símbolo de Jacobi), probando con números al azar podemos obtener rápidamente un no-residuo cuadrático.

    Sin embargo no está demostrado (todavía) que exista algoritmo determinista en tiempo polinomial para obtener un no-residuo cuadrático.

    La implementación devuelve el menor no-residuo, si éste es menor que 2000.

  • Una vez que tenemos un no-residuo t, en el paso 3 se obtiene r = t^{(p-1)/4} \pmod{p}.

    Por el criterio de Euler para residuos cuadráticos, r= \pm \sqrt{-1} \pmod{p}.

  • Que el paso 4 nos da la solución se justifica por el teorema de Serret:

    Si r^2 \equiv -1 \pmod{p}, \ r < p, la lista de cocientes parciales del desarrollo en fracción continua de \dfrac{p}{r} es simétrica (omando la lista de longitud par, lo que siempre es posible porque {}[a_0, \ldots, a_n] = [a_0, \ldots, a_n-1, 1]).

    A partir de los resultados mencionados en el post sobre fracciones continuas finitas, y con la notación usada alli, resulta que p = N[a_0,\ldots,a_h,a_h,\ldots ,a_0] = N[a_0,\ldots,a_h]^2 + N[a_0,\ldots,a_{h-1}]^2 .

    Por ser simétrica la fracción continua, los restos que se obtienen al aplicar el algoritmo de Euclides a \dfrac{p}{r} son los numeradores de los convergentes parciales (en orden inverso) y por tanto no hace falta calcular los numeradores de dichos convergentes parciales. Basta con aplicar el algoritmo de Euclides a \dfrac{p}{r} hasta que obtengamos un resto menor que \sqrt{\dfrac{p}{2}} .

  • Por último, en el paso 5 se comprueba si los valores obtenidos cumplen x^2 + y^2=p. Si no se cumple la igualdad, se concluye que el número p introducido no es primo (y los valores de t,r no serán, en general, correctos).

El teorema de Serret se demuestra fácilmente usando la relación entre numeradores y denominadores de los convergentes parciales consecutivos y las reglas de formación de esos numeradores y denominadores. De ese teorema se obtiene una demostración de que un primo de la forma 4k+1 es suma de dos cuadrados, que pertenece al grupo de demostraciones que parten de que, para un primo de esa forma, -1 es un cuadrado \pmod{p}

En cambio la demostración de H.J. Smith que exponemos a continuación no hace uso de este hecho.

La demostración de H.J. Smith

Usamos la notación {}[ a_0, a_1, \ldots, a_n ] para representar la fracción continua finita cuyos cocientes parciales son a_0,a_1, \ldots ,a_n. Designamos con N[ a_0, a_1, \ldots, a_n ] el numerador de la fracción {}[ a_0, a_1, \ldots, a_n ] .

Como {}[a_0, a_1, \ldots, a_{n-1}, 1 ] = [a_0, a_1, \ldots, a_{n-1} + 1 ], asumimos que el último cociente es siempre mayor que 1.

En el post sobre fracciones continuas vimos que se cumple

  • N[a_0, a_1, \ldots, a_n ] =  N[a_n, a_{n-1}, \ldots, a_0 ] ,
  • N[a_0,\ldots,a_k,\ldots,a_n] =  N[a_0,\ldots,a_k] N[a_{k+1},\ldots,a_n] +  N[a_0,\ldots,a_{k-1}]  N[a_{k+2},\ldots,a_n]

Estas identidades implican:

(1)   N[a_0,\ldots,a_h,a_h,\ldots ,a_0] = N[a_0,\ldots,a_h]^2 + N[a_0,\ldots,a_{h-1}]^2 .
(2)   N[a_0,\ldots,a_h,a_{h+1},a_h,\ldots ,a_0] = N[a_0,\ldots,a_{h}] (  N[a_0,\ldots,a_{h+1}] + N[a_0,\ldots,a_{h-1}] )  .

De esta última igualdad se concluye que si a_0 es mayor que 1 (y hay más de un cociente), N[a_0,\ldots,a_h,a_{h+1},a_h,\ldots ,a_0] no es primo.

Para un primo de la forma 4k + 1, sea S el conjunto de las fracciones \dfrac{p}{i}, \ \  2 \le i \le \dfrac{p-1}{2} , desarrolladas en fracción continua.

En el desarrollo en fracción continua de \dfrac{p}{i} = [a_0, a_1, \ldots, a_n ] se tiene que a_0 \ge 2 , porque i \le \dfrac{p-1}{2} , y a_n \ge 2 porque asumimos que el último cociente es mayor que 1.

La función f([a_0, \ldots, a_n ]) = [a_n, \ldots, a_0] asocia a cada elemento de S otro elemento de S, porque el numerador de una fracción continua no se altera si se invierte el orden de los cocientes y el denominador es un número menor que \dfrac {p}{2}, porque a_n \ge 2.

La función f es entonces una involución de S.

Si p=4k+1, el número de elementos de S es 2k-1, un número impar, y entonces f tiene por lo menos un punto fijo, es decir, existe un r, \  2 \le r \le \dfrac{p-1}{2} que da una fracción continua simétrica \dfrac{p}{r} = [a_0, \ldots, a_h, a_h, \ldots, a_0] (por la observación (2) anterior, el número de cocientes ha de ser par porque p es primo).

Entonces p es suma de 2 cuadrados por la observación (1) anterior.

Sea \dfrac{p}{r} = [a_0, \ldots, a_h, a_h, \ldots, a_0 ] = \dfrac{N[a_0, \ldots, a_h , a_h, \ldots, a_0]}{D[a_0, \ldots, a_h , a_h, \ldots, a_0]}.

Como

D[a_0,a_1,\ldots a_n] =   N[a_1,\ldots a_n], \ \ r=N[a_1,\ldots a_h, a_h, \ldots, a_0]

y como

 N[a_0 \ldots,a_n] N[a_1, \ldots,a_{n-1}] - N[a_0 \ldots,a_{n-1}] N[a_1, \ldots,a_n] = (-1)^{n-1}

tenemos que

 p N[a_1,\ldots,a_h,a_h,\ldots, a_1] - r^2 = 1

y por tanto

r^2 \equiv -1 \pmod{p}

.

Los curiosos enteros gaussianos

Introducción

Un joven Gauss

Un joven Gauss

El conjunto \mathbb{Z}=\{ \ldots -3,-2,-1,0,1,2,3 \ldots \} de los números enteros es un conjunto numérico bien conocido por todos nosotros. Y, aunque seguro que en menor medida, también lo es el conjunto \mathbb{C}=\{ a+bi; \; a, b \in \mathbb{R} \} de los números complejos, conjunto numérico muy interesante y muy útil en gran cantidad de problemas relacionados con muchas ramas de las matemáticas.

¿Qué ocurriría sin mezclamos las dos definiciones de estos conjuntos? Me explico:

¿Tendrá alguna utilidad considerar el conjunto de los números complejos cuyas partes real e imaginaria son números enteros?

No habría sido extraño que fuera algo así lo que pensó Gauss al introducir este conjunto en 1832 (aunque en realidad su motivación fue el estudio sobre sumas de cuadrados). Y la verdad es que acertó (como muchas otras veces). Encontró un conjunto realmente especial. Vamos a hablar un poco sobre él y sobre sus interesantes y curiosas propiedades.
(Leer el resto del post)

Monstruos numéricos

Este artículo ha sido promovido para portada en Menéame. Si te ha gustado y quieres votarlo haz click en este enlace y pincha en Menéalo.

Introducción

La familia de los números naturales es muy grande, inmensa. En ella conviven infinitos (y numerables, es decir, contables) miembros que, aunque pueda parecer curioso tratándose de una familia, nunca nacieron y nunca morirán. Siempre han estado ahí y ahí continuarán.

Todos ellos son importantes y también todos ellos pueden ser útiles en cierto momento. En el transcurso de nuestro viaje por este camino temporal llamado vida nos encontramos (y nos seguiremos encontrando) con muchos de ellos. Bien es cierto que habitualmente toparemos con miembros más bien pequeños, de bajo valor númerico (aunque esto no significa que tengan poco valor). Pero de vez en cuando asistiremos a la aparición de algún miembro cuyo peso como número tiene cierta entidad.

Pero al fin y al cabo nuestra existencia es finita, terminará. Este hecho unido al carácter infinito de los números naturales hace que resulte imposible encontrarse con todos, que sea inviable conocer a todos los miembros de esta familia.

Uniendo estos dos hechos (generalmente nos encontraremos con números relativamente pequeños y nos es imposible conocerlos a todos en persona) es evidente que muchos números grandes quedarán fuera de nuestro alcance en el sentido de que no tendremos el placer de tenerlos delante.

Posiblemente los tres números que os voy a presentar hoy pertenezcan a estos últimos. Bueno, puede que el primero de ellos, por estar relacionado con un juego de mesa muy popular, sí sea conocido por vosotros, pero estoy convencido de que muchos de los que leáis este artículo añadiréis al menos dos números más a vuestra lista mental de miembros conocidos de la familia de los números naturales.
(Leer el resto del post)

Los números de Smith

Hoy os traigo un tipo de números curiosos tanto por su definición como por la historia de su denominación: los números de Smith.

Vamos con la definición de este tipo de números:

Un número de Smith es un número natural compuesto que cumple que la suma de sus dígitos es igual a la suma de los dígitos de todos sus factores primos (si tenemos algún factor primo repetido lo sumamos tantas veces como aparezca).

Con esta definición es sencillo ver que el primer número de Smith es el 4:

\begin{matrix} 4=2 \cdot 2 \\ 4=2+2 \end{matrix}

Y el siguiente es el 22:

\begin{matrix} 22=2 \cdot 11 \\ 2+2=2+1+1 \end{matrix}

Pero hay muchos más, de hecho hay infinitos números de Smith. Otro ejemplo, esta vez con un número más grande, 9985:

\begin{matrix} 9985=5 \cdot 1997 \\ 9+9+8+5=5+1+9+9+7 \end{matrix}

Los números de Smith fueron presentados por el matemático Albert Wilanski en 1982. Pero, ¿por qué no llevan su nombre? Muy sencillo. Al parecer el número de teléfono de teléfono del cuñado de Wilanski era 493-7775 y Albert se dio cuenta de que el número 4937775 es un número de este tipo:

\begin{matrix} 4937775=3 \cdot 5 \cdot 5 \cdot 65837 \\ 4+9+3+7+7+7+5=3+5+5+6+5+8+3+7 \end{matrix}

El nombre de este tipo de números se debe a que el cuñado de Wilanski (que no tenía nada que ver con las matemáticas) se llamaba Harold Smith. Se vuelve a cumplir la sentencia de Klein.

En el momento en el que aparecieron los números de Smith éste era el mayor número de este tipo conocido. Pero a partir de aquí comenzaron a aparecer artículos dando propiedades y ejemplos mayores que el citado 4937775. Por ejemplo, en 1983 Oltikar y Wayland descubrieron que si p es un número primo repuit (es decir, con todos sus dígitos iguales a uno), entonces el número 3304p es un número de Smith. Pero no es el único caso. Descubrieron muchos más números tales que multiplicados por un repunit primo dan siempre un número de Smith. Por ejemplo los números $1540, 1720, 2170, 2440, 5590$ y 6040 también tienen esa propiedad. En la sucesión-pedia tenéis la lista de los mismos.

En 1984 Pat Costello encontró 75 nuevos números de Smith de la forma p \cdot q \cdot 10^k, siendo p un primo pequeño y q un primo de Mersenne. El mayor de ellos (con 65319 dígitos) fue el siguiente:

191 \cdot (2^{216091} - 1) \cdot 10^{266}

En 1986 se presentó otro método distinto para generar números de Smith con el que se encontró, por ejemplo, el siguiente número de Smith:

5 \cdot 1110110110111 \cdot (2 \cdot 5)^5=555055055055500000

Pero no fue el único Se encontraron números realmente colosales, por ejemplo un número de Smith con 2592699 dígitos.

Pero fue en 1987 cuando se produjo el descubrimiento más importante sobre este tipo de número. Wayne Mc Daniel descubrió que hay infinitos números de Smith. De hecho descubrió más cosas. Introdujo los k-números de Smith, que son los que cumplen que la suma de los dígitos de los factores primos es el producto de k por la suma de los dígitos del número y demostró que los k-números de Smith son infinitos, para todo k.

En este mismo año también se definieron los números de Smith palindrómicos (es decir, capicúas), como el 12345554321, o los hermanos de Smith, que son parejas de números de Smith consecutivos, como el 728 y el 729 o el 67728 y el 67729. A partir de esto se han descubierto tripletes de Smith (por ejemplo, 225951, 225952 y 225953), conjuntos de cuatro consecutivos (el más pequeño de este tipo es el formado por los números 4463535, 4463536, 4463537 y 4463538), y así sucesivamente.

Para terminar os dejo la lista de números de Smith de la sucesión-pedia y el mayor número de Smith conocido hasta la fecha:

9 \cdot R_{1031} (10^{4594}+3 \cdot 10^{2297}+1)^{1476} \cdot 10^{3913210}

donde R_{1031} es el primo repunit compuesto por 1031 unos.

Fuentes:

  • La maravilla de los números, de Clifford A. Pickover.
  • Fascinating Smith Numbers: Sección de la web de Shyam Sunder Gupta con mucha información sobre los números de Smith.

Anterior