Preface |
|
vii | |
|
1 The Theorem of Pythagoras |
|
|
1 | (16) |
|
1.1 Arithmetic and Geometry |
|
|
2 | (2) |
|
|
4 | (2) |
|
1.3 Rational Points on the Circle |
|
|
6 | (4) |
|
1.4 Right-Angled Triangles |
|
|
10 | (2) |
|
|
12 | (5) |
|
|
17 | (18) |
|
|
18 | (2) |
|
2.2 The Regular Polyhedra |
|
|
20 | (3) |
|
2.3 Ruler and Compass Constructions |
|
|
23 | (3) |
|
|
26 | (3) |
|
|
29 | (6) |
|
|
35 | (16) |
|
3.1 The Role of Number Theory |
|
|
36 | (1) |
|
3.2 Polygonal, Prime, and Perfect Numbers |
|
|
36 | (3) |
|
3.3 The Euclidean Algorithm |
|
|
39 | (4) |
|
|
43 | (4) |
|
3.5 The Chord and Tangent Methods |
|
|
47 | (4) |
|
4 Infinity in Greek Mathematics |
|
|
51 | (12) |
|
|
52 | (2) |
|
4.2 Eudoxus's Theory of Proportions |
|
|
54 | (2) |
|
4.3 The Method of Exhaustion |
|
|
56 | (4) |
|
4.4 The Area of a Parabolic Segment |
|
|
60 | (3) |
|
|
63 | (22) |
|
|
64 | (1) |
|
5.2 Linear Equations and Elimination |
|
|
65 | (3) |
|
|
68 | (3) |
|
5.4 Quadratic Irrationals |
|
|
71 | (2) |
|
5.5 The Solution of the Cubic |
|
|
73 | (2) |
|
|
75 | (2) |
|
5.7 Higher-Degree Equations |
|
|
77 | (2) |
|
|
79 | (3) |
|
5.9 Fermat's Little Theorem |
|
|
82 | (3) |
|
|
85 | (14) |
|
6.1 Steps Toward Algebraic Geometry |
|
|
86 | (1) |
|
|
87 | (2) |
|
|
89 | (2) |
|
6.4 Newton's Classification of Cubics |
|
|
91 | (3) |
|
6.5 Construction of Equations, Bezout's Theorem |
|
|
94 | (2) |
|
6.6 The Arithmetization of Geometry |
|
|
96 | (3) |
|
|
99 | (24) |
|
|
100 | (3) |
|
|
103 | (2) |
|
7.3 Desargues's Projective Geometry |
|
|
105 | (3) |
|
7.4 The Projective View of Curves |
|
|
108 | (4) |
|
|
112 | (3) |
|
|
115 | (3) |
|
7.7 Homogeneous Coordinates |
|
|
118 | (5) |
|
|
123 | (16) |
|
|
124 | (1) |
|
8.2 Early Results on Areas and Volumes |
|
|
125 | (3) |
|
8.3 Maxima, Minima, and Tangents |
|
|
128 | (2) |
|
8.4 The Arithmetica Infinitorum of Wallis |
|
|
130 | (3) |
|
8.5 Newton's Calculus of Series |
|
|
133 | (3) |
|
8.6 The Calculus of Leibniz |
|
|
136 | (3) |
|
|
139 | (18) |
|
|
140 | (3) |
|
9.2 From Pythagoras to Pi |
|
|
143 | (3) |
|
|
146 | (3) |
|
9.4 Fractional Power Series |
|
|
149 | (2) |
|
|
151 | (2) |
|
|
153 | (4) |
|
10 Elliptic Curves and Functions |
|
|
157 | (24) |
|
10.1 Fermat's Last Theorem |
|
|
158 | (4) |
|
10.2 Rational Points on Cubics of Genus 0 |
|
|
162 | (3) |
|
10.3 Rational Points on Cubics of Genus 1 |
|
|
165 | (3) |
|
10.4 Elliptic and Circular Functions |
|
|
168 | (2) |
|
|
170 | (3) |
|
10.6 Doubling the Arc of the Lemniscate |
|
|
173 | (2) |
|
10.7 General Addition Theorems |
|
|
175 | (2) |
|
|
177 | (4) |
|
11 Complex Numbers and Curves |
|
|
181 | (24) |
|
|
182 | (1) |
|
|
183 | (2) |
|
|
185 | (4) |
|
11.4 The Fundamental Theorem of Algebra |
|
|
189 | (4) |
|
11.5 Roots and Intersections |
|
|
193 | (3) |
|
11.6 The Complex Projective Line |
|
|
196 | (4) |
|
|
200 | (1) |
|
11.8 Topology of Complex Projective Curves |
|
|
201 | (4) |
|
12 Complex Numbers and Functions |
|
|
205 | (20) |
|
|
206 | (4) |
|
|
210 | (2) |
|
|
212 | (3) |
|
12.4 Double Periodicity of Elliptic Functions |
|
|
215 | (3) |
|
|
218 | (4) |
|
|
222 | (3) |
|
13 Non-Euclidean Geometries |
|
|
225 | (32) |
|
13.1 Transcendental Curves |
|
|
226 | (3) |
|
13.2 Curvature of Plane Curves |
|
|
229 | (3) |
|
13.3 Curvature of Surfaces |
|
|
232 | (3) |
|
|
235 | (2) |
|
|
237 | (3) |
|
13.6 Spherical and Hyperbolic Geometry |
|
|
240 | (3) |
|
13.7 Geometry of Bolyai and Lobachevsky |
|
|
243 | (5) |
|
13.8 Beltrami's Conformal Models |
|
|
248 | (4) |
|
13.9 The Complex Interpretations |
|
|
252 | (5) |
|
|
257 | (26) |
|
|
258 | (3) |
|
14.2 Subgroups and Quotients |
|
|
261 | (2) |
|
14.3 Permutations and Theory of Equations |
|
|
263 | (4) |
|
|
267 | (2) |
|
|
269 | (3) |
|
14.6 Groups and Geometries |
|
|
272 | (3) |
|
14.7 Combinatorial Group Theory |
|
|
275 | (4) |
|
14.8 Finite Simple Groups |
|
|
279 | (4) |
|
|
283 | (14) |
|
15.1 Geometry and Topology |
|
|
284 | (1) |
|
15.2 Polyhedron Formulas of Descartes and Euler |
|
|
285 | (2) |
|
15.3 The Classification of Surfaces |
|
|
287 | (3) |
|
|
290 | (4) |
|
15.5 The Fundamental Group |
|
|
294 | (3) |
|
|
297 | (26) |
|
|
298 | (1) |
|
|
299 | (3) |
|
|
302 | (3) |
|
16.4 Algebraic Numbers and Algebraic Integers |
|
|
305 | (3) |
|
|
308 | (3) |
|
16.6 Fields as Vector Spaces |
|
|
311 | (2) |
|
16.7 Fields of Algebraic Numbers |
|
|
313 | (3) |
|
|
316 | (2) |
|
16.9 Ideal Prime Factorization |
|
|
318 | (5) |
|
17 Sets, Logic, and Computation |
|
|
323 | (24) |
|
|
324 | (2) |
|
|
326 | (3) |
|
|
329 | (2) |
|
17.4 Axiom of Choice and Large Cardinals |
|
|
331 | (3) |
|
17.5 The Diagonal Argument |
|
|
334 | (1) |
|
|
335 | (4) |
|
17.7 Logic and Godel's Theorem |
|
|
339 | (4) |
|
17.8 Provability and Truth |
|
|
343 | (4) |
Image Credits |
|
347 | (2) |
Bibliography |
|
349 | (28) |
Index |
|
377 | |