Esto es algo que Euclides demostró hace siglos. Pero, para defender el honor de un matemático fallecido, algunas personas hoy argumentarán que su prueba es constructiva, no por contradicción. En cualquier caso, espero que al menos te resulte convincente.
Supongamos que el conjunto de números primos es finito, y conoces todos ellos. Por ejemplo, 2, 5, 11, 17. Dado que el conjunto es finito, puedes multiplicar sus elementos y sumar 1 para obtener otro número, 1871, en este ejemplo. Este otro número no es divisible por ninguno de los primos conocidos, pero debe ser o bien primo en sí mismo o ser divisible por un primo que no esté en nuestra lista.
Resulta que 1871 es primo. Así que modificamos nuestra lista de primos: 2, 5, 11, 17, 1871. Podemos multiplicarlos nuevamente y sumar 1 otra vez, obteniendo 3498771, que es compuesto pero divisible por primos que aún no están en nuestra lista: 3, 1033, 1129. Así que modificamos nuestra lista de primos una vez más, y así sucesivamente.
Esto significa que cada vez que asumes que un conjunto particular de números primos es el conjunto de todos los números primos, puedes usar ese conjunto para obtener al menos otro número primo que no esté en tu lista.
Más comúnmente, las personas utilizan el conjunto de los primeros $ n $ primos, y multiplicándolos obtienen lo que se llaman "primoriales": 2, 6, 30, 210, 2310, etc. Al agregar 1 a esos obtienes: 3, 7, 31, 211, 2311, etc., algunos de los cuales son primos, otros son compuestos pero no divisibles por primos encontrados anteriormente.
3 votos
Infinitamente muchas pruebas de que hay infinitos números primos, por cut-the-knot.org. Solo por mencionar un ejemplo...
0 votos
¿Dónde estás atascado?
2 votos
Supongamos que los números primos son finitos, sea $\{p_1, p_2, \cdots, p_n\}$ el conjunto de todos los números primos. $p_1 \cdot p_2 \cdots p_{n-1} \cdot p_n + 1$ no puede ser primo ya que es mayor que cualquier $p_i$, pero no puede ser compuesto ya que no es divisible por ningún número primo (deja un resto de 1 para cada $p_i$). La contradicción surge de suponer que hay un número finito de primos, por lo tanto debe haber infinitos de ellos.
1 votos
No necesitas ni siquiera asumir que tienes un número finito de primos, puedes asumir que se te da una lista finita de números primos y simplemente hacer lo que chelivery hizo arriba con esta lista. Lo que seguiría es que o bien el producto de todos estos primos más uno es un nuevo primo que no está en tu lista, o es compuesto pero no divisible por ninguno de los números primos. En ambos casos puedes añadir un nuevo número primo a esta lista y repetir el proceso y verás que puedes constantemente añadir nuevos números primos. Por lo tanto, debe haber un número infinito de números primos.
0 votos
Tenemos el número de Fermat $F_n=2^{2^n}+1$ entonces o bien $F_n$ es primo o $\exists p; p|F_n$