How to write mathematical proofs, shown in fully-worked out examples.

This is a companion volume Joel Hamkins's Proof and the Art of Mathematics, providing fully worked-out solutions to all of the odd-numbered exercises as well as a few of the even-numbered exercises. In many cases, the solutions go beyond the exercise question itself to the natural extensions of the ideas, helping readers learn how to approach a mathematical investigation. As Hamkins asks, "Once you have solved a problem, why not push the ideas harder to see what further you can prove with them?" These solutions offer readers examples of how to write a mathematical proofs.
     The mathematical development of this text follows the main book, with the same chapter topics in the same order, and all theorem and exercise numbers in this text refer to the corresponding statements of the main text.
1 A Classical Beginning
2 Multiple Proofs
3 Number Theory
4 Mathematical Induction
5 Discrete Mathematics
6 Proofs Without Words
7 Theory of Games
8 Pick's Theorem
9 Lattice-Point Polygons
10 Polygonal Dissection Congruence Theorem
11 Functions and Relations
12 Graph Theory
13 Infinity
14 Order Theory
15 Real Analysis
Joel David Hamkins is Professor of Logic at Oxford University and Sir Peter Strawson Fellow in Philosophy at University College, Oxford. He has published widely in refereed research journals in mathematical logic and set theory and is the creator of the popular blog Mathematics and Philosophy of the Infinite. He is a prominent contributor to MathOverflow, where he has posted more than 1,000 mathematical arguments.

About

How to write mathematical proofs, shown in fully-worked out examples.

This is a companion volume Joel Hamkins's Proof and the Art of Mathematics, providing fully worked-out solutions to all of the odd-numbered exercises as well as a few of the even-numbered exercises. In many cases, the solutions go beyond the exercise question itself to the natural extensions of the ideas, helping readers learn how to approach a mathematical investigation. As Hamkins asks, "Once you have solved a problem, why not push the ideas harder to see what further you can prove with them?" These solutions offer readers examples of how to write a mathematical proofs.
     The mathematical development of this text follows the main book, with the same chapter topics in the same order, and all theorem and exercise numbers in this text refer to the corresponding statements of the main text.

Table of Contents

1 A Classical Beginning
2 Multiple Proofs
3 Number Theory
4 Mathematical Induction
5 Discrete Mathematics
6 Proofs Without Words
7 Theory of Games
8 Pick's Theorem
9 Lattice-Point Polygons
10 Polygonal Dissection Congruence Theorem
11 Functions and Relations
12 Graph Theory
13 Infinity
14 Order Theory
15 Real Analysis

Author

Joel David Hamkins is Professor of Logic at Oxford University and Sir Peter Strawson Fellow in Philosophy at University College, Oxford. He has published widely in refereed research journals in mathematical logic and set theory and is the creator of the popular blog Mathematics and Philosophy of the Infinite. He is a prominent contributor to MathOverflow, where he has posted more than 1,000 mathematical arguments.

Three Penguin Random House Authors Win Pulitzer Prizes

On Monday, May 5, three Penguin Random House authors were honored with a Pulitzer Prize. Established in 1917, the Pulitzer Prizes are the most prestigious awards in American letters. To date, PRH has 143 Pulitzer Prize winners, including William Faulkner, Eudora Welty, Josh Steinbeck, Ron Chernow, Anne Applebaum, Colson Whitehead, and many more. Take a look at our 2025 Pulitzer Prize

Read more

Books for LGBTQIA+ Pride Month

In June we celebrate Lesbian, Gay, Bisexual, Transgender, Queer, Intersex, and Asexual + (LGBTQIA+) Pride Month, which honors the 1969 Stonewall riots in Manhattan. Pride Month is a time to both celebrate the accomplishments of those in the LGBTQ+ community and recognize the ongoing struggles faced by many across the world who wish to live

Read more