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.

3.8 Exercises 167<br />

3.28. Show that the definition of Frobenius pseudoprime in Section 3.6.5 for<br />

a polynomial f(x) =x 2 − ax + b reduces to the definition in Section 3.6.2.<br />

3.29. Show that if a, n arepositiveintegerswithn odd and coprime to<br />

a, thenn is a Fermat pseudoprime base a if and only if n is a Frobenius<br />

pseudoprime with respect to the polynomial f(x) =x − a.<br />

3.30. Let a, b be integers with ∆ = a 2 −4b not a square, let f(x) =x 2 −ax+b,<br />

let n be an odd prime not dividing b∆, and let R = Zn[x]/(f(x)). Show that<br />

if (x(a − x) −1 ) 2m =1inR, then(x(a − x) −1 ) m = ±1 inR.<br />

3.31. Show that a Frobenius pseudoprime with respect to x 2 − ax + b is also<br />

an Euler pseudoprime (see Exercise 3.21) with respect to b.<br />

3.32. Prove that the various identities in Section 3.6.3 are correct.<br />

3.33. Prove that the recurrence (3.22) is valid.<br />

3.34. Show that if a = π x 1/3 , then the number of terms in the double<br />

sum in (3.23) is O x 2/3 / ln 2 x .<br />

3.35. Show that with M computers where M1, and describing quantitatively the relative ease with which one<br />

can calculate ζ(ns) for large integers n.<br />

3.37. By establishing theoretical bounds on the magnitude of the real part<br />

of the integral<br />

∞<br />

eitα β + it dt,<br />

T<br />

where T,α,β are positive reals, determine a bound on that portion of the<br />

integral in relation (3.27) that comes from Im(s) >T. Describe, then, how<br />

large T must be for π ∗ (x) to be calculated to within some ±ɛ of the true<br />

value. See Exercises 3.38, 3.39 involving the analogous estimates for much<br />

more efficient prime-counting methods.

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

Saved successfully!

Ooh no, something went wrong!