Table of Contents
Guide
Page List
Proof and the Art of Mathematics
Proof and the Art of Mathematics
Joel David Hamkins
The MIT Press
Cambridge, Massachusetts
London, England
2020 Massachusetts Institute of Technology
All rights reserved . No part of this book may be reproduced in any form by any electronic or me-
chanical means (including photocopying, recording, or information storage and retrieval) without
permission in writing from the publisher.
This book was set using
and TikZ by the author.
LT X
E
A
Library of Congress Cataloging-in-Publication Data is available.
ISBN: 978-0-262-53979-1
To my studentsmay all their theorems be true, proved by elegant arguments that ow
effortlessly from hypothesis to conclusion, while revealing fantastical mathematical beauty.
Contents
Preface xiii
A Note to the Instructor xvii
A Note to the Student xxi
About the Author xxv
1 A Classical Beginning
1.1 The number
2 is irrational 2
1.2 Lowest terms 4
1.3 A geometric proof 5
1.4 Generalizations to other roots 6
Mathematical Habits 7
Exercises 8
2 Multiple Proofs
2.1 n
n is even 10
2.2 One theorem, seven proofs 10
2.3 Different proofs suggest different generalizations 12
Mathematical Habits 13
Exercises 14
Credits 14
3 Number Theory
3.1 Prime numbers 15
3.2 The fundamental theorem of arithmetic 16
3.3 Euclidean division algorithm 19
3.4 Fundamental theorem of arithmetic, uniqueness 21
3.5 Innitely many primes 21
Mathematical Habits 24
Exercises 25
viii Contents
4 Mathematical Induction
4.1 The least-number principle 27
4.2 Common induction 28
4.3 Several proofs using induction 29
4.4 Proving the induction principle 32
4.5 Strong induction 33
4.6 Buckets of Fish via nested induction 34
4.7 Every number is interesting 37
Mathematical Habits 37
Exercises 38
Credits 39
5 Discrete Mathematics
5.1 More pointed at than pointing 41
5.2 Chocolate bar problem 43
5.3 Tiling problems 44
5.4 Escape! 47
5.5 Representing integers as a sum 49
5.6 Permutations and combinations 50
5.7 The pigeon-hole principle 52
5.8 The zigzag theorem 53
Mathematical Habits 55
Exercises 55
Credits 56
6 Proofs without Words
6.1 A geometric sum 57
6.2 Binomial square 58
6.3 Criticism of the without words aspect 58
6.4 Triangular choices 59
6.5 Further identities 60
6.6 Sum of odd numbers 60
6.7 A Fibonacci identity 61
6.8 A sum of cubes 61
6.9 Another innite series 62
6.10 Area of a circle 62
Contents ix
6.11 Tiling with dominoes 63
6.12 How to lie with pictures 66
Mathematical Habits 68
Exercises 69
Credits 70
7 Theory of Games
7.1 Twenty-One 71
7.2 Buckets of Fish 73
7.3 The game of Nim 74
7.4 The Gold Coin game 79
7.5 Chomp 81
7.6 Games of perfect information 83
7.7 The fundamental theorem of nite games 85
Mathematical Habits 89
Exercises 89
Credits 90
8 Picks Theorem
8.1 Figures in the integer lattice 91
8.2 Picks theorem for rectangles 92
8.3 Picks theorem for triangles 93
8.4 Amalgamation 95
8.5 Triangulations 97
8.6 Proof of Picks theorem, general case 98
Mathematical Habits 98
Exercises 99
Credits 100
9 Lattice-Point Polygons
9.1 Regular polygons in the integer lattice 101
9.2 Hexagonal and triangular lattices 104
9.3 Generalizing to arbitrary lattices 106
Mathematical Habits 107
Exercises 108
Credits 110
x Contents
10 Polygonal Dissection Congruence Theorem
10.1 The polygonal dissection congruence theorem 111
10.2 Triangles to parallelograms 112
10.3 Parallelograms to rectangles 113
10.4 Rectangles to squares 113
10.5 Combining squares 114
10.6 Full proof of the dissection congruence theorem 115
10.7 Scissors congruence 115
Mathematical Habits 117
Exercises 118
Credits 119
11 Functions and Relations
11.1 Relations 121
11.2 Equivalence relations 122
11.3 Equivalence classes and partitions 125
11.4 Closures of a relation 127
11.5 Functions 128
Mathematical Habits 129
Exercises 130
12 Graph Theory
12.1 The bridges of K
onigsberg 133
12.2 Circuits and paths in a graph 134
12.3 The ve-room puzzle 137
12.4 The Euler characteristic 138
Mathematical Habits 139
Exercises 140
Credits 142
13 Innity
13.1 Hilberts Grand Hotel 143
Hilberts bus 144
Hilberts train 144
Hilberts half marathon 145
Cantors cruise ship 146
13.2 Countability 146
Contents xi
13.3 Uncountability of the real numbers 150
Alternative proof of Cantors theorem 152
Cranks 153
13.4 Transcendental numbers 154
13.5 Equinumerosity 156
13.6 The Shr
oder-Cantor-Bernstein theorem 157
13.7 The real plane and real line are equinumerous 159
Mathematical Habits 160
Exercises 160
Credits 161
14 Order Theory
14.1 Partial orders 163
14.2 Minimal versus least elements 164
14.3 Linear orders 166
14.4 Isomorphisms of orders 167
14.5 The rational line is universal 168
14.6 The eventual domination order 170
Mathematical Habits 171
Exercises 171
15 Real Analysis
15.1 Denition of continuity 173
15.2 Sums and products of continuous functions 175
15.3 Continuous at exactly one point 177
15.4 The least-upper-bound principle 178
15.5 The intermediate-value theorem 178
15.6 The Heine-Borel theorem 179
15.7 The Bolzano-Weierstrass theorem 181
15.8 The principle of continuous induction 182
Mathematical Habits 185
Exercises 185
Credits 187
Answers to Selected Exercises 189
Bibliography 199
Index of Mathematical Habits 201
Notation Index 203
Subject Index 205
Preface
This is a mathematical coming-of-age book, for students on the cusp, who are maturing
into mathematicians, aspiring to communicate mathematical truths to other mathematicians
in the currency of mathematics, which is: proof. This is a book for students who are
learningperhaps for the rst time in a serious wayhow to write a mathematical proof.
I hope to show how a mathematician makes an argument establishing a mathematical truth.
Proofs tell us not only that a mathematical statement is true, but also why it is true, and
they communicate this truth. The best proofs give us insight into the nature of mathemat-
ical reality. They lead us to those sublime yet elusive Aha! moments, a joyous experience