Preface |
|
v | |
Notation |
|
xi | |
|
|
1 | (40) |
|
|
1 | (1) |
|
A Famous Sequence of Numbers |
|
|
2 | (4) |
|
|
6 | (19) |
|
|
|
Reversing the Euclidean Algorithm |
|
|
|
The Extended GCD Algorithm |
|
|
|
The Fundamental Theorem of Arithmetic |
|
|
|
|
|
|
25 | (5) |
|
|
30 | (11) |
|
A Fast Algorithm for Exponentiation |
|
|
|
Powers of Matrices, Big-O Notation |
|
|
|
Congruences, Equations, and Powers |
|
|
41 | (24) |
|
|
41 | (1) |
|
Solving Linear Congruences |
|
|
41 | (8) |
|
Linear Diophantine Equations in Two Variables |
|
|
|
Linear Equations in Several Variables |
|
|
|
|
|
|
|
An Important Quadratic Congruence |
|
|
|
The Chinese Remainder Theorem |
|
|
49 | (6) |
|
|
55 | (4) |
|
|
|
|
|
|
59 | (6) |
|
Using the Pseudoprime Test |
|
|
|
|
65 | (34) |
|
|
65 | (1) |
|
|
65 | (7) |
|
Perfect Numbers and Their Relatives |
|
|
72 | (9) |
|
The Sum of Divisors Function |
|
|
|
|
|
Amicable, Abundant, and Deficient Numbers |
|
|
|
|
81 | (3) |
|
Primitive Roots for Primes |
|
|
84 | (6) |
|
|
|
Primes Have Primitive Roots |
|
|
|
|
|
Primitive Roots for Composites |
|
|
90 | (3) |
|
|
93 | (6) |
|
|
|
|
|
The Form of Carmichael Numbers |
|
|
|
|
99 | (46) |
|
|
99 | (1) |
|
|
100 | (14) |
|
We'll Never Run Out of Primes |
|
|
|
The Sieve of Eratosthenes |
|
|
|
Chebyshev's Theorem and Bertrand's Postulate |
|
|
|
Prime Testing and Certification |
|
|
114 | (17) |
|
|
|
|
|
Prime Certification Via Primitive Roots |
|
|
|
|
|
|
|
Refinements and Other Directions |
|
|
131 | (10) |
|
|
|
|
|
|
|
|
141 | (4) |
|
|
145 | (34) |
|
|
145 | (1) |
|
|
145 | (10) |
|
Tossing a Coin into a Well |
|
|
|
|
|
|
|
The Yao Millionaire Problem |
|
|
155 | (3) |
|
|
158 | (9) |
|
Basic Check Digit Schemes |
|
|
|
A Perfect Check Digit Method |
|
|
|
Beyond Perfection: Correcting Errors |
|
|
|
|
167 | (12) |
|
|
|
|
|
|
|
|
|
|
|
|
179 | (22) |
|
|
179 | (1) |
|
|
179 | (6) |
|
|
|
|
|
Primes Congruent to 1 (Mod 4) |
|
|
|
Proof of Quadratic Reciprocity |
|
|
185 | (9) |
|
|
|
Proof of Quadratic Reciprocity |
|
|
|
|
|
An Application to Factoring |
|
|
|
|
194 | (7) |
|
|
201 | (46) |
|
|
201 | (1) |
|
Finite Continued Fractions |
|
|
202 | (5) |
|
Infinite Continued Fractions |
|
|
207 | (6) |
|
Periodic Continued Fractions |
|
|
213 | (14) |
|
|
227 | (5) |
|
Archimedes and the Sun God's Cattle |
|
|
232 | (6) |
|
Wurm's Version: Using Rectangular Bulls |
|
|
|
|
|
Factoring via Continued Fractions |
|
|
238 | (9) |
|
Prime Testing with Lucas Sequences |
|
|
247 | (32) |
|
|
247 | (1) |
|
Divisibility Properties of Lucas Sequences |
|
|
248 | (11) |
|
Prime Tests Using Lucas Sequences |
|
|
259 | (20) |
|
|
|
The Lucas--Lehmer Algorithm Explained |
|
|
|
|
|
Strong Quadratic Pseudoprimes |
|
|
|
Primality Testing's Holy Grail |
|
|
|
Prime Imaginaries and Imaginary Primes |
|
|
279 | (54) |
|
|
279 | (1) |
|
|
279 | (23) |
|
|
|
|
|
|
|
|
|
|
302 | (23) |
|
|
|
|
|
|
|
|
|
|
325 | (8) |
|
Appendix A. Mathematics Basics |
|
|
333 | (18) |
|
|
333 | (2) |
|
|
335 | (3) |
|
|
338 | (3) |
|
|
|
|
341 | (2) |
|
|
343 | (2) |
|
|
345 | (2) |
|
|
347 | (2) |
|
|
349 | (2) |
|
Appendix B. Lucas Certificates Exist |
|
|
351 | (4) |
References |
|
355 | (4) |
Index of Mathematics Objects |
|
359 | (4) |
Subject Index |
|
363 | |