The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Proof: Infinitely Many Primes

Date: 6/24/96 at 23:5:0
From: Anonymous
Subject: Proof: Infinitely Many Primes

I need another proof that there are an infinite number of primes other 
than Euclid's proof by contradiction.

What is the Dirichlet proof?

Date: 9/4/96 at 14:15:12
From: Doctor Ceeks
Subject: Re: Proof: Infinitely Many Primes


The following proof is due to Euler.

Let zeta(s) = sum of reciprocals of the s-th powers of the natural 

Because every number has a unique prime factorization, we have

zeta(s) = product over all primes p of (1+1/p^s+1/p^(2s) + ...)

which in turn can be written

zeta(s) = product over all prime p of 1/(1-1/p^s)

(an application of the formula for an infinite geometric series)

Note that the limit of zeta(1+e) as e tends to 0 is infinity.
This can be seen by making a comparison of the series of reciprocals
of the s-th powers of the naturals with an integral of 1/x^s.

If there were only finitely many primes, then this limit should
converge to the finite product over all p of 1/(1-1/p^s), a

Dirichlet generalized this idea to obtain his theorem that any
arithmetic series with base relatively prime to the common difference
contains infinitely many primes.

For another proof, you can show that the sums of the reciprocals of 
the primes diverges...see Hardy and Littlewood's book on number 

-Doctor Ceeks,  The Math Forum
 Check out our web site!   
Associated Topics:
College Number Theory

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.