# Solution

Prove that there are infinitely many prime numbers of the form $4k+3$.

With the exception of 2, we first note all primes must be of the form $4k+1$ or $4k+3$ where $k$ is an integer, as $2 \mid 4k + 0$ and $2 \mid 4k+2$.

Now, let's consider what happens when we multiply primes (or any numbers for that matter) of these forms together.

For example, the following shows that multiplying two numbers of the form $4k+1$ together yields another number of the same form.

$$\begin{array}{rcl} (4k_1 + 1)(4k_2 + 1) &=& 16k_1 k_2 + 4k_1 + 4k_2 + 1 \\ &=& 4(4k_1 k_2 + k_1 + k_2) + 1 \\ &=& 4k_3 + 1 \quad \textrm{ for some integer } k_3 \end{array}$$

When multiplying two numbers of the form $4k+3$, we again get a number of the form $4k+1$:

$$\begin{array}{rcl} (4k_1 + 3)(4k_2 + 3) &=& 16k_1 k_2 + 12k_1 + 12k_2 + 9 \\ &=& 4(4k_1 k_2 + 3k_1 + 3k_2 + 2) + 1 \\ &=& 4k_3 + 1 \quad \textrm{ for some integer } k_3 \end{array}$$

Multiplying a number of the form $4k+1$ by another of the form $4k+3$, however, results in a number of the form $4k+3$

$$\begin{array}{rcl} (4k_1 + 1)(4k_2 + 3) &=& 16k_1 k_2 + 12k_1 + 4k_2 + 3 \\ &=& 4(4k_1 k_2 + 3k_1 + k_2) + 3 \\ &=& 4k_3 + 3 \quad \textrm{ for some integer } k_3 \end{array}$$

Turning our attention back to the claim to be proven, let us now argue indirectly...

Assume that there are a finite number of primes of the form $4k+3$, namely:

$$p_1, p_2, p_3, \ldots , p_n$$

If $n$ is even, consider the value

$$q = p_1 p_2 p_3 \cdots p_n + 2$$

If $n$ is odd, consider the following instead

$$q = p_1^2 p_2 p_3 \cdots p_n + 2$$

In either case, we have an even number of primes of the form $4k+3$ multiplied together, producing a value of the form $4k+1$. With the additional "$+2$", it must be the case that $q$ is a number of the form $4k+3$.

Consequently, $q$ must have a prime divisor of the form $4k+3$. Consider the alternative, if all of its prime divisors were of the form $4k+1$, then it too would be of that form.

However, this contradicts the fact that $q$ has no prime divisors of this form, as primes of this form are precisely $p_1, p_2, p_3, \ldots, p_n$ and each of these leaves a remainder of $2$ when used to divide $q$.

Since our assumption led to a contradiction, we must reject it.

Hence, there are an infinite number of primes of the form $4k+3$, where $k$ is an integer.