Se Euclides sabia, então você certamente também sabe que
Existe uma infinidade de números primos.
O primeiro a provar esta afirmação foi Euclides (figura abaixo). Eis a sua prova:
Prova 1. (Euclides) Suponha que há somente uma quantidade finita de primos. Temos, então, todos os $k$ números primos $p_1 = 2, p_2=3,\ldots,p_k$. Considere o inteiro $P = p_1 p_2 \cdots p_k + 1$. Seja $p$ um divisor primo de $P$. Então $p$ deve ser igual a algum $p_r$. Mas então $p$ é um divisor de $P$ e do produto $ p_1 p_2 \cdots p_k$, logo é um divisor da diferença destes dois números $P - p_1 p_2 \cdots p_k = 1$. Um absurdo. Portanto deve haver uma quantidade infinita de números primos. $\square$
Neste post, veremos várias outras provas tão memoráveis quanto àquela de Euclides. Tem para todos os gostos. Espero que tomem alguma como sua favorita.