Preface |
|
xix | |
|
|
1 | (8) |
|
1.1 Diophantine Equations |
|
|
2 | (2) |
|
|
4 | (1) |
|
1.3 Primes and the Distribution of Primes |
|
|
5 | (2) |
|
|
7 | (2) |
|
|
9 | (42) |
|
|
9 | (2) |
|
|
11 | (2) |
|
2.3 Euclid's Original Proof |
|
|
13 | (2) |
|
2.4 The Sieve of Eratosthenes |
|
|
15 | (2) |
|
2.5 The Division Algorithm |
|
|
17 | (3) |
|
2.5.1 A Cryptographic Application |
|
|
19 | (1) |
|
2.6 The Greatest Common Divisor |
|
|
20 | (3) |
|
2.7 The Euclidean Algorithm |
|
|
23 | (8) |
|
2.7.1 The Extended Euclidean Algorithm |
|
|
25 | (6) |
|
|
31 | (3) |
|
2.9 Fermat and Mersenne Numbers |
|
|
34 | (4) |
|
|
38 | (1) |
|
|
38 | (13) |
|
|
38 | (7) |
|
|
45 | (2) |
|
2.11.3 Computer Explorations |
|
|
47 | (1) |
|
2.11.4 Answers to "Check Your Understanding" |
|
|
48 | (3) |
|
3 Linear Diophantine Equations |
|
|
51 | (12) |
|
|
51 | (6) |
|
3.2 The Postage Stamp Problem |
|
|
57 | (3) |
|
|
60 | (1) |
|
|
60 | (3) |
|
|
60 | (2) |
|
3.4.2 Answers to "Check Your Understanding" |
|
|
62 | (1) |
|
|
63 | (12) |
|
|
63 | (1) |
|
4.2 The Fundamental Theorem of Arithmetic |
|
|
64 | (5) |
|
4.3 Euclid and the Fundamental Theorem of Arithmetic |
|
|
69 | (1) |
|
|
70 | (1) |
|
|
71 | (4) |
|
|
71 | (2) |
|
|
73 | (1) |
|
4.5.3 Answers to "Check Your Understanding" |
|
|
73 | (2) |
|
5 Applications of Unique Factorization |
|
|
75 | (38) |
|
|
75 | (2) |
|
|
77 | (4) |
|
5.2.1 Four More Proofs That √2 Is Irrational |
|
|
79 | (2) |
|
5.3 The Rational Root Theorem |
|
|
81 | (3) |
|
|
84 | (6) |
|
5.5 Differences of Squares |
|
|
90 | (2) |
|
5.6 Prime Factorization of Factorials |
|
|
92 | (2) |
|
5.7 The Riemann Zeta Function |
|
|
94 | (11) |
|
|
100 | (5) |
|
|
105 | (1) |
|
|
106 | (7) |
|
|
106 | (2) |
|
|
108 | (4) |
|
5.9.3 Computer Explorations |
|
|
112 | (1) |
|
5.9.4 Answers to "Check Your Understanding" |
|
|
112 | (1) |
|
|
113 | (42) |
|
6.1 Definitions and Examples |
|
|
113 | (9) |
|
6.2 Modular Exponentiation |
|
|
122 | (2) |
|
|
124 | (5) |
|
|
129 | (7) |
|
6.5 The Chinese Remainder Theorem |
|
|
136 | (5) |
|
|
141 | (2) |
|
6.7 Queens on a Chessboard |
|
|
143 | (2) |
|
|
145 | (1) |
|
|
145 | (10) |
|
|
145 | (7) |
|
|
152 | (1) |
|
6.9.3 Computer Explorations |
|
|
153 | (1) |
|
6.9.4 Answers to "Check Your Understanding" |
|
|
154 | (1) |
|
7 Classical Cryptosystems |
|
|
155 | (34) |
|
|
155 | (1) |
|
7.2 Shift and Affine Ciphers |
|
|
156 | (5) |
|
|
161 | (6) |
|
7.4 Transposition Ciphers |
|
|
167 | (3) |
|
|
170 | (5) |
|
|
171 | (1) |
|
7.5.2 Linear Feedback Shift Registers (LFSR) |
|
|
172 | (3) |
|
|
175 | (4) |
|
|
179 | (2) |
|
7.8 Generating Random Numbers |
|
|
181 | (2) |
|
|
183 | (1) |
|
|
183 | (6) |
|
|
183 | (3) |
|
7.10.2 Answers to "Check Your Understanding" |
|
|
186 | (3) |
|
8 Fermat, Euler, and Wilson |
|
|
189 | (20) |
|
|
189 | (5) |
|
|
194 | (6) |
|
|
200 | (2) |
|
|
202 | (1) |
|
|
203 | (6) |
|
|
203 | (3) |
|
|
206 | (1) |
|
8.5.3 Computer Explorations |
|
|
207 | (1) |
|
8.5.4 Answers to "Check Your Understanding" |
|
|
207 | (2) |
|
|
209 | (18) |
|
|
210 | (7) |
|
|
217 | (2) |
|
|
219 | (1) |
|
|
219 | (8) |
|
|
219 | (5) |
|
|
224 | (1) |
|
9.4.3 Computer Explorations |
|
|
225 | (1) |
|
9.4.4 Answers to "Check Your Understanding" |
|
|
226 | (1) |
|
10 Polynomial Congruences |
|
|
227 | (12) |
|
10.1 Polynomials Mod Primes |
|
|
227 | (3) |
|
10.2 Solutions Modulo Prime Powers |
|
|
230 | (4) |
|
|
234 | (1) |
|
|
235 | (1) |
|
|
235 | (4) |
|
|
235 | (1) |
|
|
236 | (1) |
|
10.5.3 Computer Explorations |
|
|
237 | (1) |
|
10.5.4 Answers to "Check Your Understanding" |
|
|
238 | (1) |
|
11 Order and Primitive Roots |
|
|
239 | (34) |
|
|
239 | (5) |
|
|
241 | (2) |
|
|
243 | (1) |
|
|
244 | (6) |
|
|
250 | (5) |
|
|
253 | (2) |
|
|
255 | (2) |
|
11.5 The Discrete Log Problem |
|
|
257 | (6) |
|
11.5.1 Baby Step--Giant Step Method |
|
|
258 | (2) |
|
11.5.2 The Index Calculus |
|
|
260 | (3) |
|
11.6 Existence of Primitive Roots |
|
|
263 | (3) |
|
|
266 | (1) |
|
|
266 | (7) |
|
|
266 | (3) |
|
|
269 | (2) |
|
11.8.3 Computer Explorations |
|
|
271 | (1) |
|
11.8.4 Answers to "Check Your Understanding" |
|
|
271 | (2) |
|
12 More Cryptographic Applications |
|
|
273 | (16) |
|
12.1 Diffie--Hellman Key Exchange |
|
|
273 | (2) |
|
12.2 Coin Flipping over the Telephone |
|
|
275 | (2) |
|
|
277 | (5) |
|
12.4 The ElGamal Public Key Cryptosystem |
|
|
282 | (3) |
|
|
285 | (1) |
|
|
285 | (4) |
|
|
285 | (2) |
|
|
287 | (1) |
|
12.6.3 Computer Explorations |
|
|
287 | (1) |
|
12.6.4 Answers to "Check Your Understanding" |
|
|
288 | (1) |
|
|
289 | (30) |
|
13.1 Squares and Square Roots Mod Primes |
|
|
289 | (7) |
|
13.2 Computing Square Roots Mod p |
|
|
296 | (2) |
|
|
298 | (2) |
|
|
300 | (5) |
|
13.5 Proof of Quadratic Reciprocity |
|
|
305 | (7) |
|
|
312 | (1) |
|
|
312 | (7) |
|
|
312 | (4) |
|
|
316 | (2) |
|
13.7.3 Answers to "Check Your Understanding" |
|
|
318 | (1) |
|
14 Primality and Factorization |
|
|
319 | (38) |
|
14.1 Trial Division and Fermat Factorization |
|
|
319 | (4) |
|
|
323 | (12) |
|
|
323 | (5) |
|
14.2.2 The Pocklington--Lehmer Primality Test |
|
|
328 | (3) |
|
14.2.3 The AKS Primality Test |
|
|
331 | (2) |
|
|
333 | (2) |
|
|
335 | (1) |
|
|
335 | (15) |
|
|
336 | (3) |
|
14.3.2 Factoring Pseudoprimes and Factoring Using RSA Exponents |
|
|
339 | (1) |
|
14.3.3 Pollard's p -- 1 Method |
|
|
340 | (2) |
|
14.3.4 The Quadratic Sieve |
|
|
342 | (8) |
|
14.4 Coin Flipping over the Telephone |
|
|
350 | (2) |
|
|
352 | (1) |
|
|
352 | (5) |
|
|
352 | (3) |
|
|
355 | (1) |
|
14.6.3 Computer Explorations |
|
|
355 | (1) |
|
14.6.4 Answers to "Check Your Understanding" |
|
|
356 | (1) |
|
|
357 | (28) |
|
15.1 Volumes and Minkowski's Theorem |
|
|
357 | (5) |
|
|
362 | (6) |
|
15.2.1 Algorithm for Writing p ≡ 1 (mod 4) as a Sum of Two Squares |
|
|
366 | (2) |
|
15.3 Sums of Four Squares |
|
|
368 | (2) |
|
|
370 | (6) |
|
15.4.1 Bhaskara's Chakravala Method |
|
|
373 | (3) |
|
|
376 | (1) |
|
|
376 | (9) |
|
|
376 | (4) |
|
|
380 | (4) |
|
15.6.3 Answers to "Check Your Understanding" |
|
|
384 | (1) |
|
|
385 | (16) |
|
|
385 | (4) |
|
16.2 Multiplicative Functions |
|
|
389 | (6) |
|
|
395 | (1) |
|
|
395 | (6) |
|
|
395 | (2) |
|
|
397 | (1) |
|
16.4.3 Computer Explorations |
|
|
398 | (1) |
|
16.4.4 Answers to "Check Your Understanding" |
|
|
399 | (2) |
|
|
401 | (42) |
|
17.1 Rational Approximations; Pell's Equation |
|
|
402 | (8) |
|
17.1.1 Evaluating Continued Fractions |
|
|
405 | (2) |
|
|
407 | (3) |
|
|
410 | (8) |
|
|
418 | (2) |
|
17.4 Periodic Continued Fractions |
|
|
420 | (9) |
|
17.4.1 Purely Periodic Continued Fractions |
|
|
422 | (5) |
|
17.4.2 Eventually Periodic Continued Fractions |
|
|
427 | (2) |
|
17.5 Square Roots of Integers |
|
|
429 | (3) |
|
17.6 Some Irrational Numbers |
|
|
432 | (6) |
|
|
438 | (1) |
|
|
438 | (5) |
|
|
438 | (1) |
|
|
439 | (2) |
|
17.8.3 Computer Explorations |
|
|
441 | (1) |
|
17.8.4 Answers to "Check Your Understanding" |
|
|
441 | (2) |
|
|
443 | (24) |
|
|
443 | (2) |
|
18.2 Gaussian Irreducibles |
|
|
445 | (4) |
|
18.3 The Division Algorithm |
|
|
449 | (3) |
|
18.4 Unique Factorization |
|
|
452 | (6) |
|
|
458 | (6) |
|
18.5.1 Sums of Two Squares |
|
|
458 | (3) |
|
18.5.2 Pythagorean Triples |
|
|
461 | (1) |
|
|
462 | (2) |
|
|
464 | (1) |
|
|
464 | (3) |
|
|
464 | (1) |
|
|
465 | (1) |
|
18.7.3 Computer Explorations |
|
|
465 | (1) |
|
18.7.4 Answers to "Check Your Understanding" |
|
|
465 | (2) |
|
|
467 | (26) |
|
19.1 Quadratic Fields and Algebraic Integers |
|
|
467 | (5) |
|
|
472 | (4) |
|
|
476 | (3) |
|
|
479 | (7) |
|
19.4.1 The Lucas--Lehmer Test |
|
|
482 | (4) |
|
19.5 Non-Unique Factorization |
|
|
486 | (2) |
|
|
488 | (1) |
|
|
488 | (5) |
|
|
488 | (1) |
|
|
489 | (2) |
|
19.7.3 Answers to "Check Your Understanding" |
|
|
491 | (2) |
|
20 The Distribution of Primes |
|
|
493 | (18) |
|
20.1 Bertrand's Postulate |
|
|
493 | (9) |
|
20.2 Chebyshev's Approximate Prime Number Theorem |
|
|
502 | (5) |
|
|
507 | (1) |
|
|
508 | (3) |
|
|
508 | (1) |
|
|
509 | (1) |
|
20.4.3 Computer Explorations |
|
|
510 | (1) |
|
21 Epilogue: Fermat's Last Theorem |
|
|
511 | (10) |
|
|
511 | (3) |
|
|
514 | (3) |
|
|
517 | (4) |
|
|
521 | (34) |
|
|
521 | (9) |
|
A.1.1 Proof by Contradiction |
|
|
527 | (3) |
|
|
530 | (1) |
|
A.3 Mathematical Induction |
|
|
531 | (6) |
|
A.4 Pascal's Triangle and the Binomial Theorem |
|
|
537 | (6) |
|
|
543 | (3) |
|
|
546 | (4) |
|
|
550 | (5) |
|
|
550 | (2) |
|
A.7.2 Answers to "Check Your Understanding" |
|
|
552 | (3) |
|
B Answers and Hints for Odd-Numbered Exercises |
|
|
555 | (18) |
Index |
|
573 | |