Muy cierto:
Saludos!
Demostrémoslo:
Utilizaremos el principio del buen orden (PBO). Ahora, por el PBO sabemos que no existe un descenso infinito en los números Z
PBO:
En matemática, el teorema del buen orden establece que todo conjunto puede ser bien ordenado. Un conjunto X está bien ordenado por un orden estricto si todo subconjunto no vacío de X tiene un elemento mínimo bajo dicho orden.
Fuente:
https://es.wikipedia.org/wiki/Teorema_del_buen_ordenVeamos:
Vamos a demostrar primero que:
Lema 1: Todo número entero mayor que 1 tiene un divisor primo.
Sea n que pertenece a los Z
1- Si
n es primo, ya esta, se divide a si mismo
2- Si
n no es primo => Existe a,b : 1<a,b<n : n=ab
- Si
a es primo, ya esta (lo divide), Sino => Existe a
1, b
1 : a = a
1b
1a
1 es divisor de a; pero como a es divisor de n, luego a
1 es divisor de n por transitividad.
Ahora este proceso está obligado a detenerse porque no existe un descenso infinito (como podemos ver estos números van a ir disminuyendo) por el PBO. Por lo tanto tiene que encontrar un número primo.
Queda demostrado el Lema 1.
Ahora demostremos el teorema:
Teorema 1: Existen infinitos números primos.,
Tomemos el conjunto A={P
1, P
2, ..., P
k}
(*La idea es fabricar un número primo, que no este en A, luego demostrar que ningún P
i lo divide, luego por el Lema 1, tiene algún divisor primo que no está en A*)
Veamos, como un número no divide a su sucesor:
O sea,
a no divide
a+1, entonces se que
p no divide a
pq+1, porque
p divide a
pq. Luego
p no divide a
pq+1Por lo tanto, un número no divide a su sucesor y también un número no divide al sucesor de un múltiplo suyo.
Dicho esto podemos tomar el número:
N=P
1P
2*******P
k + 1
Lo que implica que N no es divisible por ningun P
i de A.
Luego queda demostrado que si fabrico una lista con números primos, puedo SIEMPRE fabricar un número que no es divisible por ningún número de esa lista.
Por lo tanto, este número, por el Lema 1, tiene al menos un divisor primo, que no está en la lista.
Luego queda demostrado que los números primos son infinitos.
Espero se haya entendido.
Salu2s
PD: Me encanta la teoría de números