13.6. Question 5

The section begins by stating the goal: to show that there are infinitely many prime numbers, and the approach is to use proof by contradiction.

In this proof, we start with the assumption that there are only a finite number of prime numbers. By assuming this, we denote the finite set of primes as P1, P2, ... Pn. Our goal is to demonstrate that this assumption leads to a contradiction, thus proving the original statement true.

Imagine a box of crayons that contains only a few colors. If someone claimed that these are the only colors that exist, you might challenge them by pointing out that new colors can be mixed or created, suggesting the existence of more types of colors beyond what is in the box.

Next, a new number Q is defined as the product of all known prime numbers plus 1: Q = (P1 * P2 * ... * Pn) + 1.

Here, Q is explicitly constructed as a number that is greater than any prime we have considered. The significance of this construction becomes evident as we analyze the properties of Q in relation to the primes. Since Q is defined such that it cannot be evenly divided by any of these primes, it reveals inconsistencies in our initial assumption about the completeness of our list of primes.

Think of Q like a secret ingredient that you add to a recipe. By adding that ingredient, you create a new dish that cannot be replicated with the known ingredients alone, illustrating that there can always be something new that falls outside an existing set.

The proof considers two cases for Q: it might either be a prime number itself or a composite number.

If Q is prime, it means we've discovered a new prime not included in our original finite list, contradicting our assumption. If Q is composite, it can be expressed as a product of primes. None of the primes in our original list can divide Q, leading to the conclusion that there exists a prime factor of Q that is not included in the list, also a contradiction.

This is like trying to complete a puzzle with missing pieces. If you find a piece that fits but isn't part of your original collection, it proves that there are always additional pieces (or in this case, primes) that haven’t been accounted for.

In either case, whether Q is prime or composite, we arrive at a contradiction of the assumption that there are only a finite number of primes.

Therefore, since assuming a finite number of primes leads us to these contradictions, we conclude that our initial assumption must be false. Thus, the only logical conclusion is that there must be infinitely many primes.

This conclusion could be compared to realizing that there are always more books to read than you can ever get through. No matter how many you finish, there's always more on the shelf.

--