Skip to main content
Mathematics LibreTexts

6.3: The Infinitude of Primes

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    The highlight of this section is Theorem 6.25, which states that there are infinitely many primes. The first known proof of this theorem is in Euclid’s Elements (c. 300 BCE). Euclid stated it as follows:

    Proposition IX.20. Prime numbers are more than any assigned multitude of prime numbers.

    There are a few interesting observations to make about Euclid’s proposition and his proof. First, notice that the statement of the theorem does not contain the word “infinity.” The Greek’s were skittish about the idea of infinity. Thus, he proved that there were more primes than any given finite number. Today we would say that there are infinitely many. In fact, Euclid proved that there are more than three primes and concluded that there were more than any finite number. While such a proof is not considered valid in the modern era, we can forgive Euclid for this less-than-rigorous proof; in fact, it is easy to turn his proof into the general one that you will give below. Lastly, Euclid’s proof was geometric. He was viewing his numbers as line segments with integral length. The modern concept of number was not developed yet.

    Prior to tackling a proof of Theorem 6.25, we need to prove a couple of preliminary results. The proof of the first result is provided for you.

    Theorem 6.23. The only natural number that divides \(1\) is \(1\).

    Let \(m\) be a natural number that divides \(1\). We know that \(m\geq 1\) because 1 is the smallest positive integer. Since \(m\) divides \(1\), there exists \(k\in \mathbb{N}\) such that \(1=mk\). Since \(k\geq 1\), we see that \(mk\geq m\). But \(1=mk\), and so \(1\geq m\). Thus, we have \(1\leq m \leq 1\), which implies that \(m=1\), as desired.

    For the next theorem, try utilizing a proof by contradiction together with Theorem 6.23.

    Theorem 6.24. Let \(p\) be a prime number and let \(n\in \mathbb{Z}\). If \(p\) divides \(n\), then \(p\) does not divide \(n+1\).

    We are now ready to prove the following important theorem. Use a proof by contradiction. In particular, assume that there are finitely many primes, say \(p_1, p_2,\ldots,p_k\). Consider the product of all of them and then add 1.

    Theorem 6.25. There are infinitely many prime numbers.

    We conclude this chapter with a fun problem involving prime numbers. This problem comes from David Richeson (Dickinson College).

    Problem 6.26.Start with the first \(n\) prime numbers, \(p_1,\ldots, p_n\). Divide them into two sets. Let \(a\) be the product of the primes in one set and let \(b\) be the product of the primes in the other set. Assume the product is 1 if the set is empty. For example, if \(n=5\), we could have \(\{2,7\}\) and \(\{3,5,11\}\), and so \(a=14\) and \(b=165\). In general, what can we conclude about \(a+b\) and \(a-b\)? Form a conjecture and then prove it.

    This page titled 6.3: The Infinitude of Primes is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Dana Ernst via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?