Preface |
|
xiii | |
Introduction |
|
1 | (8) |
1 Divisibility |
|
9 | (46) |
|
|
9 | (8) |
|
1.1.1 Proof by Contradiction |
|
|
15 | (2) |
|
|
17 | (2) |
|
|
19 | (2) |
|
1.4 Euclid's Original Proof |
|
|
21 | (2) |
|
1.5 The Sieve of Eratosthenes |
|
|
23 | (2) |
|
1.6 The Division Algorithm |
|
|
25 | (2) |
|
1.6.1 A Cryptographic Application |
|
|
26 | (1) |
|
1.7 The Greatest Common Divisor |
|
|
27 | (3) |
|
1.8 The Euclidean Algorithm |
|
|
30 | (7) |
|
1.8.1 The Extended Euclidean Algorithm |
|
|
32 | (5) |
|
|
37 | (3) |
|
1.10 Fermat and Mersenne Numbers |
|
|
40 | (3) |
|
|
43 | (1) |
|
|
44 | (11) |
|
|
44 | (6) |
|
1.12.2 Computer Explorations |
|
|
50 | (1) |
|
1.12.3 Answers to "Check Your Understanding" |
|
|
51 | (4) |
2 Linear Diophantine Equations |
|
55 | (12) |
|
|
55 | (5) |
|
2.2 The Postage Stamp Problem |
|
|
60 | (4) |
|
|
64 | (1) |
|
|
64 | (3) |
|
|
64 | (2) |
|
2.4.2 Answers to "Check Your Understanding" |
|
|
66 | (1) |
3 Unique Factorization |
|
67 | (10) |
|
|
67 | (2) |
|
3.2 The Fundamental Theorem of Arithmetic |
|
|
69 | (5) |
|
3.3 Euclid and the Fundamental Theorem of Arithmetic |
|
|
74 | (1) |
|
|
75 | (1) |
|
|
75 | (2) |
|
|
75 | (1) |
|
3.5.2 Answers to "Check Your Understanding" |
|
|
76 | (1) |
4 Applications of Unique Factorization |
|
77 | (18) |
|
|
77 | (2) |
|
|
79 | (2) |
|
4.3 The Rational Root Theorem |
|
|
81 | (2) |
|
|
83 | (4) |
|
4.5 Differences of Squares |
|
|
87 | (2) |
|
|
89 | (1) |
|
|
90 | (5) |
|
|
90 | (3) |
|
4.7.2 Computer Explorations |
|
|
93 | (1) |
|
4.7.3 Answers to "Check Your Understanding" |
|
|
93 | (2) |
5 Congruences |
|
95 | (38) |
|
5.1 Definitions and Examples |
|
|
95 | (7) |
|
5.2 Modular Exponentiation |
|
|
102 | (2) |
|
|
104 | (4) |
|
|
108 | (7) |
|
5.5 The Chinese Remainder Theorem |
|
|
115 | (4) |
|
|
119 | (2) |
|
5.7 Queens on a Chessboard |
|
|
121 | (2) |
|
|
123 | (1) |
|
|
124 | (9) |
|
|
124 | (6) |
|
5.9.2 Computer Explorations |
|
|
130 | (1) |
|
5.9.3 Answers to "Check Your Understanding" |
|
|
130 | (3) |
6 Fermat, Euler, Wilson |
|
133 | (20) |
|
|
133 | (5) |
|
|
138 | (7) |
|
|
145 | (2) |
|
|
147 | (1) |
|
|
147 | (6) |
|
|
147 | (3) |
|
6.5.2 Computer Explorations |
|
|
150 | (1) |
|
6.5.3 Answers to "Check Your Understanding" |
|
|
151 | (2) |
7 Cryptographic Applications |
|
153 | (46) |
|
|
153 | (3) |
|
7.2 Shift and Affine Ciphers |
|
|
156 | (4) |
|
|
160 | (6) |
|
7.4 Transposition Ciphers |
|
|
166 | (3) |
|
|
169 | (7) |
|
|
176 | (5) |
|
|
181 | (3) |
|
|
184 | (3) |
|
|
187 | (1) |
|
|
187 | (12) |
|
|
187 | (8) |
|
7.10.2 Computer Explorations |
|
|
195 | (1) |
|
7.10.3 Answers to "Check Your Understanding" |
|
|
196 | (3) |
8 Order and Primitive Roots |
|
199 | (30) |
|
|
199 | (4) |
|
|
201 | (2) |
|
|
203 | (1) |
|
|
203 | (6) |
|
|
209 | (5) |
|
|
212 | (2) |
|
|
214 | (2) |
|
8.5 The Discrete Log Problem |
|
|
216 | (2) |
|
8.6 Existence of Primitive Roots |
|
|
218 | (5) |
|
|
223 | (1) |
|
|
223 | (6) |
|
|
223 | (4) |
|
8.8.2 Computer Explorations |
|
|
227 | (1) |
|
8.8.3 Answers to "Check Your Understanding" |
|
|
227 | (2) |
9 More Cryptographic Applications |
|
229 | (16) |
|
9.1 Diffie-Hellman Key Exchange |
|
|
229 | (2) |
|
9.2 Coin Flipping over the Telephone |
|
|
231 | (2) |
|
|
233 | (5) |
|
|
238 | (2) |
|
|
240 | (1) |
|
|
240 | (5) |
|
|
240 | (3) |
|
9.6.2 Computer Explorations |
|
|
243 | (1) |
|
9.6.3 Answers to "Check Your Understanding" |
|
|
243 | (2) |
10 Quadratic Reciprocity |
|
245 | (30) |
|
10.1 Squares and Square Roots Mod Primes |
|
|
245 | (8) |
|
10.2 Computing Square Roots Mod p |
|
|
253 | (2) |
|
|
255 | (1) |
|
|
256 | (5) |
|
10.5 Proof of Quadratic Reciprocity |
|
|
261 | (7) |
|
|
268 | (1) |
|
|
268 | (7) |
|
|
268 | (5) |
|
10.7.2 Answers to "Check Your Understanding" |
|
|
273 | (2) |
11 Primality and Factorization |
|
275 | (22) |
|
11.1 Trial Division and Fermat Factorization |
|
|
275 | (4) |
|
|
279 | (6) |
|
|
279 | (5) |
|
|
284 | (1) |
|
|
285 | (6) |
|
|
285 | (4) |
|
11.3.2 Factoring Pseudoprimes and Factoring Using RSA Exponents |
|
|
289 | (2) |
|
11.4 Coin Flipping over the Telephone |
|
|
291 | (2) |
|
|
293 | (1) |
|
|
293 | (4) |
|
|
293 | (2) |
|
11.6.2 Computer Explorations |
|
|
295 | (1) |
|
11.6.3 Answers to "Check Your Understanding" |
|
|
296 | (1) |
12 Sums of Squares |
|
297 | (14) |
|
|
297 | (4) |
|
12.1.1 Algorithm for Writing p = 1 (mod 4) as a Sum of Two Squares |
|
|
300 | (1) |
|
12.2 Sums of Four Squares |
|
|
301 | (5) |
|
12.3 Other Sums of Powers |
|
|
306 | (1) |
|
|
307 | (1) |
|
|
307 | (4) |
|
|
307 | (4) |
13 Arithmetic Functions |
|
311 | (16) |
|
|
311 | (4) |
|
13.2 Multiplicative Functions |
|
|
315 | (6) |
|
|
321 | (1) |
|
|
321 | (6) |
|
|
321 | (3) |
|
13.4.2 Computer Explorations |
|
|
324 | (1) |
|
13.4.3 Answers to "Check Your Understanding" |
|
|
325 | (2) |
14 Continued Fractions |
|
327 | (14) |
|
14.1 Rational Approximations |
|
|
328 | (4) |
|
14.2 Evaluating Continued Fractions |
|
|
332 | (2) |
|
|
334 | (2) |
|
|
336 | (1) |
|
|
337 | (4) |
|
|
337 | (2) |
|
14.5.2 Computer Explorations |
|
|
339 | (1) |
|
14.5.3 Answers to "Check Your Understanding" |
|
|
339 | (2) |
15 Recent Developments |
|
341 | (10) |
|
15.1 Goldbach's Conjecture and the Twin Prime Problem |
|
|
341 | (1) |
|
15.2 Fermat's Last Theorem |
|
|
342 | (3) |
|
15.3 The Riemann Hypothesis |
|
|
345 | (6) |
A Supplementary Topics |
|
351 | (26) |
|
|
351 | (2) |
|
A.2 Mathematical Induction |
|
|
353 | (5) |
|
A.3 Pascal's Triangle and the Binomial Theorem |
|
|
358 | (6) |
|
|
364 | (3) |
|
|
367 | (4) |
|
|
371 | (6) |
|
|
371 | (3) |
|
A.6.2 Answers to "Check Your Understanding" |
|
|
374 | (3) |
B Answers and Hints for Odd-Numbered Exercises |
|
377 | (12) |
Index |
|
389 | |