LA INFINITUD DE LOS NÚMEROS PRIMOS

David Palomino Alva

dapalomin@gmail.com

Un número primo es aquel número entero positivo, que es únicamente divisible entre el mismo y
la unidad. Se exceptúa al número 1, el cual no se considera primo, por temas de la aritmética
superior.

El número 2 es el único primo par, el 5 es primo, el 7

también. Para encontrar números primos uno puede ir
probando o usar métodos sistemáticos como la criba de
Eratóstenes. Aquí mostramos los números primos menores
que 100, encontrados mediante la criba.

Conforme avanzamos en la búsqueda de primos veremos

que estos se encuentran cada vez más espaciados, por lo
que es natural preguntarse, ¿cuántos números primos
existen? o hay una lista interminable de ellos.

El gran matemático griego Euclides dio respuesta a esta pregunta, demostrando por un método
interesante que existen infinitos números primos. Lo que Euclides quería demostrar era lo
siguiente:

Existen infinitos números primos.

Para lograrlo supuso que lo que debía demostrar era falso, es decir que hay una cantidad finita de
números primos.
Entonces denotemos a estos números como: 𝑝1 ; 𝑝2 ; 𝑝3 ; … … . . ; 𝑝𝑛 , ellos son los únicos primos
que existen.
A partir de aquí Euclides formó el nuevo número 𝑁 = 𝑝1 𝑝2 𝑝3 … 𝑝𝑛 + 1.
Es claro que este número es mayor que todos los primos utilizados para formarlo.
También resulta claro que el número N, no es divisible por 𝑝1, ni por 𝑝2 , ni por ninguno de los
primos utilizados para formarlo.

Euclides había construido un número mayor que todos los primos, y que solo era divisible por si
mismo y por la unidad, es decir N es un primo mayor que todos los primos que se suponían existían,
esto es una contradicción.

Por lo tanto, lo que es verdad es que existen infinidad de números primos.

El tipo de demostración utilizada por Euclides se conoce como demostración por contradicción o
reducción al absurdo.

En símbolos lógicos podemos expresarla así:

Se quiere demostrar: 𝑝 → 𝑞 para hacerlo por reducción al absurdo, negamos la tesis (𝑞) y
utilizamos la hipótesis (𝑝) para llegar a una contradicción. Es decir:

𝑝 → 𝑞 𝑒𝑠 𝑉 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑝 ∧∼ 𝑞 𝑒𝑠 𝐹

Si con la negación de la tesis se llega a una contradicción, entonces la tesis es verdadera.

Este método de demostración es muy útil en muchos casos, sobre todo cuando el camino directo o
constructivo es muy difícil de realizar.