''Euler's Gem: The Polyhedron Formula and the Birth of Topology'' is a book on the formula

V-E+F=2

for the

Euler characteristic In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's ...

of convex polyhedra and its connections to the history of

topology Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...

. It was written by

David Richeson David S. Richeson is an American mathematician whose interests include the topology of dynamical systems, recreational mathematics, and the history of mathematics. He is a professor of mathematics at Dickinson College, where he holds the John J. & ...

and published in 2008 by the

Princeton University Press Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial ...

, with a paperback edition in 2012. It won the 2010 Euler Book Prize of the

Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university A university () is an educational institution, institution of tertiary edu ...

Topics

The book is organized historically, and reviewer Robert Bradley divides the topics of the book into three parts. The first part discusses the earlier history of polyhedra, including the works of

Pythagoras Pythagoras of Samos (; BC) was an ancient Ionian Greek philosopher, polymath, and the eponymous founder of Pythagoreanism. His political and religious teachings were well known in Magna Graecia and influenced the philosophies of P ...

Thales Thales of Miletus ( ; ; ) was an Ancient Greek philosophy, Ancient Greek Pre-Socratic philosophy, pre-Socratic Philosophy, philosopher from Miletus in Ionia, Asia Minor. Thales was one of the Seven Sages of Greece, Seven Sages, founding figure ...

Euclid Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...

, and

Johannes Kepler Johannes Kepler (27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, Natural philosophy, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best know ...

, and the discovery by

René Descartes René Descartes ( , ; ; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and Modern science, science. Mathematics was paramou ...

of a polyhedral version of the Gauss–Bonnet theorem (later seen to be equivalent to Euler's formula). It surveys the life of

Euler Leonhard Euler ( ; ; ; 15 April 170718 September 1783) was a Swiss polymath who was active as a mathematician, physicist, astronomer, logician, geographer, and engineer. He founded the studies of graph theory and topology and made influential ...

, his discovery in the early 1750s that the

V-E+F

(the number of vertices minus the number of edges plus the number of faces) is equal to 2 for all convex polyhedra, and his flawed attempts at a proof, and concludes with the first rigorous proof of this identity in 1794 by

Adrien-Marie Legendre Adrien-Marie Legendre (; ; 18 September 1752 – 9 January 1833) was a French people, French mathematician who made numerous contributions to mathematics. Well-known and important concepts such as the Legendre polynomials and Legendre transforma ...

, based on Girard's theorem relating the angular excess of triangles in

spherical trigonometry Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the edge (geometry), sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, ge ...

to their area. Although polyhedra are geometric objects, ''Euler's Gem'' argues that Euler discovered his formula by being the first to view them topologically (as abstract incidence patterns of vertices, faces, and edges), rather than through their geometric distances and angles. (However, this argument is undermined by the book's discussion of similar ideas in the earlier works of Kepler and Descartes.) The birth of topology is conventionally marked by an earlier contribution of Euler, his 1736 work on the

Seven Bridges of Königsberg The Seven Bridges of Königsberg is a historically notable problem in mathematics. Its negative resolution by Leonhard Euler, in 1736, laid the foundations of graph theory and prefigured the idea of topology. The city of Königsberg in Prussia ...

, and the middle part of the book connects these two works through the theory of graphs. It proves Euler's formula in a topological rather than geometric form, for

planar graph In graph theory, a planar graph is a graph (discrete mathematics), graph that can be graph embedding, embedded in the plane (geometry), plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. ...

s, and discusses its uses in proving that these graphs have vertices of low degree, a key component in proofs of the

four color theorem In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions shar ...

. It even makes connections to

combinatorial game theory Combinatorial game theory is a branch of mathematics and theoretical computer science that typically studies sequential games with perfect information. Research in this field has primarily focused on two-player games in which a ''position'' ev ...

through the graph-based games of Sprouts and Brussels Sprouts and their analysis using Euler's formula. In the third part of the book, Bradley moves on from the topology of the plane and the sphere to arbitrary topological surfaces. For any surface, the Euler characteristics of all subdivisions of the surface are equal, but they depend on the surface rather than always being 2. Here, the book describes the work of

Bernhard Riemann Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the f ...

Max Dehn Max Wilhelm Dehn (November 13, 1878 – June 27, 1952) was a German mathematician most famous for his work in geometry, topology and geometric group theory. Dehn's early life and career took place in Germany. However, he was forced to retire in 1 ...

, and Poul Heegaard on the classification of manifolds, in which it was shown that the two-dimensional

compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...

topological surfaces can be completely described by their Euler characteristics and their

orientability In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is o ...

. Other topics discussed in this part include

knot theory In topology, knot theory is the study of knot (mathematics), mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be und ...

and the Euler characteristic of

Seifert surface In mathematics, a Seifert surface (named after German mathematician Herbert Seifert) is an orientable surface whose boundary is a given knot or link. Such surfaces can be used to study the properties of the associated knot or link. For exampl ...

s, the Poincaré–Hopf theorem, the Brouwer fixed point theorem,

Betti number In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicia ...

s, and Grigori Perelman's proof of the

Poincaré conjecture In the mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space. Originally conjectured b ...

. An appendix includes instructions for creating paper and soap-bubble models of some of the examples from the book.

Audience and reception

''Euler's Gem'' is aimed at a general audience interested in mathematical topics, with biographical sketches and portraits of the mathematicians it discusses, many diagrams and visual reasoning in place of rigorous proofs, and only a few simple equations. With no exercises, it is not a textbook. However, the later parts of the book may be heavy going for amateurs, requiring at least an undergraduate-level understanding of

calculus Calculus is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithmetic operations. Originally called infinitesimal calculus or "the ...

and

differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...

. Reviewer Dustin L. Jones suggests that teachers would find its examples, intuitive explanations, and historical background material useful in the classroom. Although reviewer Jeremy L. Martin complains that "the book's generalizations about mathematical history and aesthetics are a bit simplistic or even one-sided", points out a significant mathematical error in the book's conflation of polar duality with

Poincaré duality In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology (mathematics), homology and cohomology group (mathematics), groups of manifolds. It states that if ''M'' is an ''n''-dim ...

, and views the book's attitude towards

computer-assisted proof Automation describes a wide range of technologies that reduce human intervention in processes, mainly by predetermining decision criteria, subprocess relationships, and related actions, as well as embodying those predeterminations in machine ...

as "unnecessarily dismissive", he nevertheless concludes that the book's mathematical content "outweighs these occasional flaws". Dustin Jones evaluates the book as "a unique blend of history and mathematics ... engaging and enjoyable", and reviewer Bruce Roth calls it "well written and full of interesting ideas". Reviewer Janine Daems writes, "It was a pleasure reading this book, and I recommend it to everyone who is not afraid of mathematical arguments".

References

{{reflist, refs= {{citation, url=https://www.maa.org/programs-and-communities/member-communities/maa-awards/writing-awards/euler-book-prize, title=Euler Book Prize, publisher=

, accessdate=2020-02-25 {{citation , last = Bradley , first = Robert , date = January 8, 2009 , newspaper =

Times Higher Education ''Times Higher Education'' (''THE''), formerly ''The Times Higher Education Supplement'' (''The THES''), is a British magazine reporting specifically on news and issues related to higher education. Ownership TPG Capital acquired TSL Education ...

, title = Review of ''Euler's Gem'' , url = https://www.timeshighereducation.com/books/eulers-gem-the-polyhedron-formula-and-the-birth-of-topology/404921.article {{citation , last = Bultheel , first = Adhemar , author-link = Adhemar Bultheel , date = January 2020 , journal = EMS Reviews , publisher =

European Mathematical Society The European Mathematical Society (EMS) is a European organization dedicated to the development of mathematics in Europe. Its members are different mathematical societies in Europe, academic institutions and individual mathematicians. The curren ...

, title = Review of ''Euler's Gem'' , url = https://euro-math-soc.eu/review/eulers-gem-0 , access-date = 2020-02-26 , archive-date = 2020-02-25 , archive-url = https://web.archive.org/web/20200225214459/https://euro-math-soc.eu/review/eulers-gem-0 , url-status = dead {{citation , last = Ciesielski , first = Krzysztof , journal =

Mathematical Reviews ''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also pu ...

, mr = 2963735 , title = Review of ''Euler's Gem'' {{citation , last = Daems , first = Jeanine , date = December 2009 , doi = 10.1007/s00283-009-9116-0 , issue = 3 , journal =

The Mathematical Intelligencer ''The Mathematical Intelligencer'' is a mathematical journal published by Springer Science+Business Media that aims at a conversational and scholarly tone, rather than the technical and specialist tone more common among academic journals. Volumes ...

, pages = 56–57 , title = Review of ''Euler's Gem'' , volume = 32, doi-access = free {{citation , last = Jones , first = Dustin L. , date = August 2009 , issue = 1 , journal = The Mathematics Teacher , publisher =

National Council of Teachers of Mathematics Founded in 1920, The National Council of Teachers of Mathematics (NCTM) is a professional organization for schoolteachers of mathematics in the United States. One of its goals is to improve the standards of mathematics in education. NCTM holds an ...

, jstor = 20876528 , page = 87 , title = Review of ''Euler's Gem'' , volume = 103 {{citation , last = Karpenkov , first = Oleg , journal = zbMATH , title = none , zbl = 1153.55001 {{citation , last = Martin , first = Jeremy , date = December 2010 , issue = 11 , journal =

Notices of the American Mathematical Society ''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except for the combined June/July issue. The first volume was published in 1953. Each issue of the magazine ...

, pages = 1448–1450 , title = Review of ''Euler's Gem'' , url = https://www.ams.org/notices/201011/rtx101101448p.pdf , volume = 57 {{citation , last = Roth , first = Bruce , date = March 2010 , issue = 529 , journal =

The Mathematical Gazette ''The Mathematical Gazette'' is a triannual peer-reviewed academic journal published by Cambridge University Press on behalf of the Mathematical Association. It covers mathematics education with a focus on the 15–20 years age range. The journ ...

, jstor = 27821912 , pages = 176–177 , title = Review of ''Euler's Gem'' , volume = 94, doi = 10.1017/S0025557200007397 {{citation , last = Satzer , first = William J. , date = October 2008 , journal = MAA Reviews , publisher =

, title = Review of ''Euler's Gem'' , url = https://www.maa.org/press/maa-reviews/eulers-gem-the-polyhedron-formula-and-the-birth-of-topology {{citation , last = Wagner , first = Clifford , date = February 2010 , doi = 10.4169/loci003291 , journal = Convergence , publisher =

, title = Review of ''Euler's Gem'', doi-broken-date = 5 December 2024 Polyhedral combinatorics Topological graph theory Books about the history of mathematics 2008 non-fiction books

Topics

Audience and reception

See also

References