|
|
|
|
there are an infinite number of primes
|
(Theorem)
|
|
Proof. Choose any prime $p\equiv 3\pmod 4$ ; we find a prime of that form that exceeds $p$ . $$ N=(2^2\cdot 3\cdot 5\cdot 7\cdots p) - $$ Clearly $N\equiv 3\pmod 4$ , and thus must have at least one prime factor that is also $\equiv 3\pmod 4$ . But $N$ is not divisible by any prime less than or equal to $p$ , so must be divisible by some prime congruent to $3\pmod 4$ that exceeds $p$ . 
Theorem 2 There are an infinite number of primes congruent to $1\pmod 4$ .
Proof. Given $N>1$ , we find a prime $p>N$ with $p\equiv 1\pmod 4$ . Let $p$ be the smallest ( odd) prime factor of $(N!)^2+1$ ; note that $p>N$ . Now $$ (N!)^2\equiv -1\pmod $$ and therefore $$ (N!)^{p-1}\equiv (-1)^{(p-1)/2}\pmod p $$ By Fermat's little theorem, $(N!)^{p-1}\equiv 1\pmod p$ , so we have $$ (-1)^{(p-1)/2}\equiv 1\pmod $$ The left-hand side cannot be -1, since then $0\equiv 2\pmod p$
. Thus $(-1)^{(p-1)/2}=1$ and it follows that $p\equiv 1\pmod 4$ . 
Note that the variant of Euclid's proof of the infinitude of primes used in the proof of Theorem 1 does not work for Theorem 2, since we cannot conclude that an integer $\equiv 1\pmod 4$ has a factor of the same kind.
- 1
- Apostol, T Introduction to Analytic Number Theory, Springer 1976.
|
"there are an infinite number of primes " is owned by rm50.
|
|
(view preamble | get metadata)
Cross-references: factor, integer, theorem, proof, Euclid's proof of the infinitude of primes, side, Fermat's little theorem, odd, divisible, prime factor, congruent, primes, number, infinite
This is version 1 of there are an infinite number of primes , born on 2007-04-18.
Object id is 9218, canonical name is ThereAreAnInfiniteNumberOfPrimesEquivPm1pmod4.
Accessed 1303 times total.
Classification:
| AMS MSC: | 11N13 (Number theory :: Multiplicative number theory :: Primes in progressions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|