Lec05 PrimeDistribution
Lec05 PrimeDistribution
Lec05 PrimeDistribution
6, 10, 8, 8, 7, 7, 10, 5, 6, 8
2, 6, 6, 6, 5, 4, 7, 10, 9, 6.
Perhaps not surprisingly, one can find consecutive primes with arbitrarily large
distances apart! In other words, there exist arbitrarily long sequences of consecutive
composite integers.
Theorem 1.1. For any integer n > 0 there are at least n consecutive composite integers.
(n + 1)! + 2, (n + 1)! + 3, . . . , (n + 1) + n + 1.
Then for each j = 2, 3, . . . , n + 1, it is clear that j|(n + 1)!, and since j|j we have that
j|((n + 1)! + j).
Hence these n consecutive integers are all composite.
1
Prof A. Munagi Distribution of Primes MATH4024-Number Theory
Example: Let n = 5. Then Theorem 1.1 gives the following consecutive composite
numbers.
6! + 2, 6! + 3, 6! + 4, 6! + 5, 6! + 6,
that is, 722, 723, 724, 725, 726.
However, this is not the best possible (i.e., not minimal). The smallest such set is
24, 25, 26, 27, 28.
The foregoing observation and Theorem 1.1 seem to imply that primes would even-
tually disappear altogether? However, the Euclid’s infinitude of primes theorem dis-
agrees?
Twin Primes Conjecture. There are infinitely many twin primes, that is, pairs of
primes (p, p + 2).
Exercise 3. Show that there are no “prime triplets”, that is, primes p, p + 2, p + 4,
other than 3,5,7.
[Consider the three possible forms of p, namely 3k, 3k + 1 and 3k + 2.]
Bertrand’s Postulate. For every integer n > 1, there is a prime p such that
Goldbach’s Conjecture. Every even positive integer greater than 2 can be expressed
as the sum of two primes.
Examples:
10 = 3 + 7 = 5 + 5
24 = 5 + 19 = 7 + 17 = 11 + 13
100 = 3 + 97 = · · · 7 cases.
2
Prof A. Munagi Distribution of Primes MATH4024-Number Theory
Generally the statement a(x) ∼ b(x) means “a(x) is asymptotic to b(x)” which is
a(x)
equivalent to lim = 1.
x→∞ b(x)
An elementary proof (i.e., not using ζ(s) nor complex analysis) was discovered in 1949
by A. Selberg and P. Erdös.
We consider only one application of the Prime Number Theorem. (This topic belongs
properly to the branch of Analytic Number Theory).
How big is the nth prime number pn ?
The following statement follows from the Prime Number Theorem
3
Prof A. Munagi Distribution of Primes MATH4024-Number Theory
Corollary 2.2. The Prime Number Theorem implies the asymptotic estimate
pn ∼ n log n.
Exercise 5. Consider the following arithmetic progression (AP), where a > 1 and
d, n > 0.
a, a + d, . . . , a + (n − l)d.
We claim that if the terms are all odd primes, then d is divisible by every prime less
than n.
To see this take any prime p < n. Use the division algorithm to divide the first p + 1
terms of the AP by p to get
a = q0 p + r0 , a + d = q1 p + r1 , . . . , a + pd = qp p + rp , 0 ≤ ri < p ∀ i.
By the pigeonhole principle, at least two of the remainders must be equal, say ri = rj .
By subtracting the equations corresponding to ri and rj , that is, (a + id) − (a + jd),
show that (i − j)d = (qi − qj )p.
Deduce the claim.
Exercise 6. (a) Find an AP of length six that begins with 7 and where every term is
a prime. [Hint: solves faster using Exercise 5.]
(b) Find the smallest possible minimum difference for an AP that contains four terms
and where every term is a prime.
(c) Find the smallest possible minimum difference for an AP that consist of six primes.