Todo número de Mersenne con exponente compuesto es también compuesto

Sive, en este comentario, ha dado una demostración informática de que un número de Mersenne con exponente compuesto es también compuesto. En este post voy a dar yo una más matemática.

Definición

Un número de Mersenne es un número M de la forma M=2^n-1, con n\in\mathbb{N}.

Teorema

Todo número de Mersenne M=2^n-1 con n compuesto es también compuesto.

Demostración

Si n es compuesto se puede descomponer como producto de al menos dos factores mayores que 1. Supongamos entonces n=p \; q, con p,q > 1.

Sabemos que a^m-b^m=(a-b) \; (a^{m-1}+a^{m-2} \; b+ \ldots +a \; b^{m-2}+b^{m-1}). Además 2^n=2^{p \;q}=(2^p)^q. Tomando a=2^p y m=q en la igualdad anterior se tiene el resultado:

(2^p)^q-1=(2^p)^q-1^q=(2^p-1) \; ((2^p)^{q-1}+(2^p)^{q-2}+ \ldots +2^p+1)

Es decir, 2^{pq}-1 tiene al menos dos factores mayores que 1 y, por tanto, es compuesto.

¿Qué pasa si n es primo? Pues que sus únicos divisores son 1 y el propio n. Por tanto, utilizando la igualdad anterior obtendríamos:

2^n-1=2^n-1^n=(2-1) \; (2^{n-1}+2^{n-2}+ \ldots +2+1)=2^{n-1}+2^{n-2}+ \ldots +2+1

número éste que podría ser primo o no. Por eso 2^n-1 sólo puede ser primo si n lo es.

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.

13 Comentarios

  1. Buena demostracion pero podria darse el caso de que si q=1 y p>1 el resultado fuera compuesto aun sin ser n compuesto?

    Lo que digo es que si p=1 es obvio que se obtiene una multiplicacion por 1 pero y si el 1 estubiera en q y p fuera mayor a la unidad (p>1)? Eso significaria que el resultado del segundo parentesis tambien tendria que ser 1?

    Publica una respuesta
  2. Perdon, por un momento olvidaba que se trataba de los numeros de Mersenne.

    Publica una respuesta
  3. Ramón, efectivamente 2^p-1 puede ser compuesto, aunque p sea primo. Los primeros ejemplos se obtienen con p=11, 23, 29, 37, 41, 43, \ldots

    Publica una respuesta
  4. En relación a los números de Mersenne, esto me recuerda el siguiente problema:

    “Sea n \geq 2 entero. Demuestre que 2^{2^{n}}-1 tiene al menos n factores primos diferentes.”

    Publica una respuesta
  5. Muy bueno, Jorge. Propongo también este otro:

    “Demostrar que para cada natural n\geq 3, el mayor factor primo de 2^{2^n}+1 es mayor que 2^{n+2}\cdot(n+1).”

    Publica una respuesta
  6. Es evidente la demostración, y se conoce desde hace mucho tiempo, hay este y varios teoremas relacionados en el Álgebra Superior de Hall-Knight en el capítulo correspondiente a teoría de números.

    Publica una respuesta
  7. Hola David,

    Gracias por la reseña, no obstante ¿podrías indicar la demostración? ¡Gracias!

    Publica una respuesta
  8. No conocía esa propiedad, jorge. La demostración que se me ha ocurrido es:

    Descomponemos la expresión (resta de cuadrados): \displaystyle (2^{2^n} - 1) = (2^{2^{n-1}} - 1)(2^{2^{n-1}} + 1) \quad \forall n \ge 2

    Vemos que el primer término es justamente el anterior número del tipo que estamos descomponiendo, que a su vez puede descomponerse de la misma manera teniendo al anterior como factor (el primero de todos ellos para n = 1 sería el 3). El segundo término es otro número impar que difiere en 2 del primero, con lo cual no pueden tener ningún factor común. De esta manera vemos cómo cada número de este tipo tiene todos los factores de los anteriores más los que le añada el término \displaystyle (2^{2^{n-1}} + 1)

    Publica una respuesta
  9. perfecto, Asier, así es:     a^{2^{k+1}}-1=(a^{2^{k}}+1)(a^{2^{k-1}}+1)\ldots(a+1)(a-1)

    y en el caso a=2 no puede haber un primo impar que divida a dos factores consecutivos 2^{2^{j}}+1 y 2^{2^{j+1}}+1.

    Publica una respuesta
  10. necesito demostrar
    si a mayor a 1
    p/q mayor a r/s

    Entoncees

    (a^(p/q) -1): (p/q)mayor que (a^(r/s) -1): (r/s)

    Publica una respuesta
  11. no entiendo bien la parte , en la que toman en cuenta la igualdad de estas dos proposiciones : “si M es primo implica que n es primo”lo toman igual a “si M es compuesto implica que n es compuesto”

    Publica una respuesta
  12. Creo que la repuesta esta en la lógica.
    tomando a ; p: M es primo ;
    q: nes primo
    verdad=(si p entonces q)=(-q entonces -p)

    Publica una respuesta

Trackbacks/Pingbacks

  1. Confirmado el descubrimiento del primo de Mersenne número 48 - Gaussianos - [...] habiendo sido descubiertos los más grandes por el grupo GIMPS. De estos números de Mersenne se sabe que para…

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 *