Prueba de Euclides:
Supongamos que hay muchos primos finitos, y los enumeramos en orden ascendente como [matemática] \ left \ {p_1, p_2, p_3, \ cdots, p_n \ right \} [/ math]. Ahora construimos un nuevo número
[matemáticas] p = p_1 \ veces p_2 \ veces p_3 \ cdots p_n + 1 \ tag * {} [/ matemáticas]
Podemos ver que este número no es divisible por ninguno de los números primos [math] p_1, p_2, \ cdots p_n [/ math], eso está en nuestra lista, porque dividiendo [math] p [/ math] por [math] p_1 , p_2 [/ math] o combinaciones de sus productos siempre darán como resultado un resto de [math] 1 [/ math]. Si [math] p [/ math] hubiera sido un número compuesto entonces, al menos uno de nuestros primos enumerados habría podido dividirlo.
- ¿Cómo podemos demostrar que la raíz cuadrada de 2 es irracional?
- Cuando los números se escriben en la base b, tenemos 15 * 22 = 414, ¿cuál es el valor de b?
- ¿Cuál es el número de 10 dígitos [matemáticas] a_ {0} a_ {1} a_ {2} a_ {3} a_ {4} a_ {5} a_ {6} a_ {7} a_ {8} a_ {9} [ / math] en que [math] i [/ math] ocurre [math] a_ {i} [/ math] veces?
- ¿Cuál es la solución para una ecuación cuadrática general en una sola variable?
- ¿Cómo simplifico [matemáticas] \ frac {9x ^ 2 – x ^ 4} {x ^ 2 – 6x + 9} [/ matemáticas]?
Esto significa que debe haber algunos primos [matemática] p_ {n + 1} [/ matemática] [matemática]> [/ matemática] [matemática] p_n [/ matemática], de modo que [matemática] p_ {n + 1} \ mid p [/ math] que significa que no está incluido en nuestra lista de primos. Esto es una contradicción.
Por lo tanto, hay infinitos números primos.