10.12.2012 Views

Prime Numbers

Prime Numbers

Prime Numbers

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

50 Chapter 1 PRIMES!<br />

prime? What is the largest integer N divisible by every integer smaller than<br />

√ N?<br />

1.2. Prove Euclid’s “first theorem”: The product of two integers is divisible<br />

by a prime p if and only if one of them is divisible by p. Then show that<br />

Theorem 1.1.1 follows as a corollary.<br />

1.3. Show that a positive integer n is prime if and only if<br />

∞<br />

n<br />

<br />

n − 1<br />

− =2.<br />

m m<br />

m=1<br />

1.4. Prove that for integer x ≥ 2,<br />

x<br />

<br />

1<br />

π(x) = n k=2⌊⌊n/k⌋k/n⌋ <br />

.<br />

n=2<br />

1.5. Sometimes a prime-producing formula, even though computationally<br />

inefficient, has actual pedagogical value. Prove the Gandhi formula for the<br />

n-th prime:<br />

⎢ ⎛<br />

⎢<br />

pn = ⎣1 − log ⎝− 2<br />

1 µ(d)<br />

+<br />

2 2<br />

d|pn−1!<br />

d ⎞ ⎥<br />

⎠⎦<br />

.<br />

− 1<br />

One instructive way to proceed is to perform (symbolically) a sieve of<br />

Eratosthenes (see Chapter 3) on the binary expansion 1 = (0.11111 ...)2.<br />

1.6. By refining the method of proof for Theorem 1.1.2, one can achieve<br />

lower bounds (albeit relatively weak ones) on the prime-counting function<br />

π(x). To this end, consider the “primorial of p,” the number defined by<br />

p# = <br />

q =2· 3 ···p,<br />

q≤p<br />

where the product is taken over primes q. Deduce, along the lines of Euclid’s<br />

proof, that the n-th prime pn satisfies<br />

pn 1<br />

ln ln x,<br />

ln 2<br />

for x ≥ 2.<br />

Incidentally, the numerical study of primorial primes p# + 1 is interesting<br />

in its own right. A modern example of a large primorial prime, discovered by<br />

C. Caldwell in 1999, is 42209#+1, with more than eighteen thousand decimal<br />

digits.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!