Infinitos primos Noviembre 22, 2007
Posted by Álvaro in números, teoremas.Tags: aritmetica, numeros primos
trackback
Por supuesto el primer teorema de este sitio es el de la infinitud de los primos :) o sea:
El conjunto de los números primos (que solamente se dividen entre 1 y si mismos) es infinito
La demostración clásica es la de reducción al absurdo, es decir: suponer que el resultado no es cierto para llegar a una contradicción.
Supongamos entonces que hay solo primos, podríamos entonces enlistarlos todos:
y hacer el siguiente número:
, o sea 1 mas la multiplicación de todos ellos.
Como este numero es compuesto (no es un primo por que es mayor a todos ellos), es divisible entre algún primo, digamos pero tambien lo es el producto de todos los primos (el anterior a el), entonces tenemos que
divide a 1, que es la diferencia entre estos 2 (he aqui la contradicción)


Un resultado similar y muy conocido es el de que hay infinitos primos de la forma
, ya que al multiplicar números que no tienen este residuo, resulta un producto con residuo distinto a 3.
, como no es par, sus factores primos tienen residuo 1 o 3 al dividirlos en 4. Pero si solo tuviera factores con residuo 1, entonces el resultado quedaría con residuo 1.
. De forma similar al argumento de la infinitud de los primos,
divide a
, entonces tambien divide a 3 (contradicción)
Por principio hay que notar que todos los primos, excepto el 2 tienen un resido 1 o 3. y al multiplicar 2 números con residuo 1 resulta siempre otro con residuo 1.
Si un número deja residuo 3 al dividirlo entre 4 entonces tiene un factor de la forma
Si solo fueran un conjunto finito de primos de esa forma, podríamos tomar el siguiente número:
Entonces tiene al menos un factor con residuo 3, digamos
Hay otra demostración de la infinitud del conjunto de los primos atribuida a Perre de Fermat:
pensando en que todos eran primos, ahora se les conoce como números de Fermat. Se puede demostrar que son primos relativos entre ellos, pero primero hay que demostrar el siguiente:

y
con
:

Fermat definió los números
Lema
el cual no es muy difícil de probar por inducción. (lo sugiero como ejercicio)
entonces calculemos el MCD de el
Como todos son primos relativos entre sí y son una cantidad infinita de ellos, pues debe haber una cantidad infinita de primos (al menos uno distinto por cada número de Fermat)
:)
Otra demostración!!!





esta es un poquito mas difícil.
Cualquier entero se puede escribir como producto de sus divisores primos a alguna potencia. Usaremos este hecho.
Si hubiera una cantidad finita de primos, al escribir la siguiente suma:
cada termino podría factorizarse con una colección finita de inversos de primos, es decir
podríamos entonces tomar el primer primo y factorizar a todos los que tienen a su inverso como factor y separar a los demás:
pero hay que recordar que la suma de las potencias de un número menor que 1 es:
y de nuevo hacerlo con los demás primos… y como cada entero se descompone en solo una cantidad finita de primos tendríamos:
lo cual es una cantidad finita (producto de un número finito de números).
Pero podemos demostrar también fácilmente que la suma original es infinita: en la suma

, y en total su suma es mayor que 1/4+1/4=1/2. Los terminos del 5 al 8 son todos mayores o iguales a
y como son 4, su suma es mayor que 4/8 = 1/2
hasta el 
los términos 3 y 4 son ambos mayores iguales que
así, del termino
son mayores o iguales que el último, y en total su suma es mayor que 1/2.
Como hay infinitas potencias de 2, y por cada una de ellas la suma hasta esa potencia aumenta 1/2 a la suma total… entonces la suma total no es finita.
pero si hay una cantidad finita de primos esa suma tiene que ser finita!,
Conclusión: hay una cantidad infinita de primos
Hola Álvaro,
El resultado mencionado en tu primer comentario se puede obtener también como caso particular del teorema de Dirichlet sobre primos en progresiones aritméticas.
– Si (a,b)=1 entonces la sucesión \{a+bk\}_{k \in \mathbb{N}} contiene infinitos números primos.
Con respecto al comentario 3:
De hecho, se sabe que la serie de los recíprocos de los primos es divergente.
Una prueba elemental del resultado se puede encontrar en
http://www.math-inst.hu/~p_erdos/1938-13.pdf
Saludos a todos.
en efecto, gracias por ambos comentarios :)