European Mathematical Society  Philip Ording
https://euromathsoc.eu/author/philipording
en

99 Variations on a Proof
https://euromathsoc.eu/review/99variationsproof
<div class="field fieldnamefieldreviewreview fieldtypetextwithsummary fieldlabelhidden"><div class="fielditems"><div class="fielditem even"><div class="tex2jax"><p>
From the title, you might think that the book is showing different proofs of a crucial theorem that has been reinvented many times and hence has been proved in many different ways. The Pythagoras theorem could be a good candidate with many published proofs, but still it would be hard to find 99 different ways. No, the author wants to illustrate that there are many different styles of communicating mathematics, in particular of giving a proof of some theorem. What the theorem is, is not essential here. The choice of the author is to prove some totally unimportant statement: If $x^36x^2+11x6=2x2$, then $x=1$ or $x=4$. The cubic equation has indeed a double root at 1 and a simple root at 4.</p>
<p>
The idea of the book is inspired by <em>Exercises de style</em> (1947) by Raymond Queneau, a member of the experimental writers group <em>Oulipo</em> (Ouvroir de littÃ©rature potentielle). What "styles" could one think of? There is certainly a tradition of doing mathematics that is inherited from historical mathematical centres in a country. There is definitely a difference between some papers written in a German or a French tradition. When looking at history, then proofs by Euclid or by Newton are certainly different and they are not at all like computer (assisted) proofs. Digging into history along this line of ideas will result in many proofs of the same statement looking very differently. One would come a long way, but still, 99 variations is a lot. Another source for differentiating is the way things are represented: graphical (geometric or other), colours, prefix or postfix notation, hand waving, oral discussion, emails, encrypted, sign language,... and there are some fun variations. In this way Ording arrives at 99 proofs. In fact, there is also a proof numbered 0, which has the statement of the problem with a proof omitted, which is indeed a way in which a lemma is often formulated in current mathematical papers. This is nicely represented by the cover of the book which has a ten by ten square grid of black squares, except for the first one which is white. The grid fills almost the whole cover which is possible since the shape of the book is almost square too.</p>
<p>
Most of the proofs are short and take only a few lines. On the back of the page, Ording gives some comments, for example where he got his (historical) inspiration or how to read the proof (for geometric constructions) or explaining the notation, the symbols, or the language, etc. For example the psychedelic proof is just a blackandwhite fractal plot of the attraction basins of Newton's method. Such a "proof" obviously requires some explanation. These backside notes give also cross references to related proofs in the book. Exceptionally a proof takes more than one page. The comments by Ording turn the book into a fragmented survey of many historical mathematical factoids. Even if some of the proofs are abstract and incomprehensible for the layman, it can still be considered a popular science book about the peculiarities and trivia of mathematics. We meet proofs as dialogues formatted after one of the oldest Chinese texts on mathematics, but also a dialogue as it would develop at a tea party in a mathematics institute, or a proof can take the form of a screenplay featuring Cardano and Tartaglia, etc. There is a proof in the form of a parody of the collaborative discussion modelled after the Polymath projects by Yitang Zhang and Terrence Tao to work on the twin prime conjecture. Fermi was famous for his proofs scribbled "on the back of an envelope" and that one is represented too with a hand written proof on the back of the page. There are proofs as given during an exam, or during a seminar, or on a blackboard, proofs discussed in a referee report, in a patent application, in blogs, in a newspaper article, preprints on arXiv, a tweet by Cardano (if he would have been able to twitter), ... Among the more surprising ones are the ones using a music score, colour spectra, origami, a slide rule,... In fact most of them are surprising and/or amusing.</p>
<p>
The book can be safely considered as one produced by constrained writing as an oulipo author would produce it, and indeed as Queneau did in 1947, not for mathematical proofs, but for some surrealistic short story. The influence of constrained writing is for example obvious in a verbal proof using only monosyllabic words. There are many more hidden trouvailles like the proof called "Ancient" (in Babylonian cuneiform signs) as opposed to the one called "Modern" (with high level of abstraction). These are not placed next to each other but the first is numbered 16 and the second gets the opposite number 61. It must also have been great fun inventing parodies for styles like doggerel, paranoid, mystical, or social media. But it is more than just fooling around. There is always some rationale behind the way it is presented.</p>
<p>
I love this book. It is so much fun to read, and there are many double layers to be discovered. It is temping to invent some extra variations of your own. It is so much more than a book about mathematics. It is indeed creative writing under constraints. I will pick it up regularly and I am sure there will be more hidden gems to be unravelled that are easily missed in a first reading.</p>
</div></div></div></div><div class="field fieldnamefieldreviewreviewer fieldtypetext fieldlabelinline clearfix"><div class="fieldlabel">Reviewer: </div><div class="fielditems"><div class="fielditem even">Adhemar Bultheel</div></div></div><div class="field fieldnamefieldreviewdesc fieldtypetextlong fieldlabelhidden"><div class="fielditems"><div class="fielditem even"><div class="tex2jax"><p>
This is an exercise in using different mathematical styles to prove a theorem about the solution of a particular (otherwise not important) cubic equation. It is inspired by, and written in the style of, the constrained writing embraced by the French oulipo writers group, in particular the book <em>Exercises de style</em> (1947) by Raymond Queneau was a main source of inspiration.</p>
</div></div></div></div><span class="vocabulary field fieldnamefieldreviewauthor fieldtypetaxonomytermreference fieldlabelinline clearfix"><h2 class="fieldlabel">Author: </h2><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/author/philipording" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Philip Ording</a></li></ul></span><span class="vocabulary field fieldnamefieldreviewpublisher fieldtypetaxonomytermreference fieldlabelinline clearfix"><h2 class="fieldlabel">Publisher: </h2><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/publisher/princetonuniversitypress" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">princeton university press</a></li></ul></span><div class="field fieldnamefieldreviewpub fieldtypenumberinteger fieldlabelinline clearfix"><div class="fieldlabel">Published: </div><div class="fielditems"><div class="fielditem even">2019</div></div></div><div class="field fieldnamefieldreviewisbn fieldtypetext fieldlabelinline clearfix"><div class="fieldlabel">ISBN: </div><div class="fielditems"><div class="fielditem even">9780691158839 (hbk)</div></div></div><div class="field fieldnamefieldreviewprice fieldtypetext fieldlabelinline clearfix"><div class="fieldlabel">Price: </div><div class="fielditems"><div class="fielditem even">24.95 USD</div></div></div><div class="field fieldnamefieldreviewpages fieldtypenumberinteger fieldlabelinline clearfix"><div class="fieldlabel">Pages: </div><div class="fielditems"><div class="fielditem even">272</div></div></div><span class="vocabulary field fieldnamefieldreviewclass fieldtypetaxonomytermreference fieldlabelhidden"><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/imu/mathematicseducationandpopularizationmathematics" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Mathematics Education and Popularization of Mathematics</a></li></ul></span><div class="field fieldnamefieldreviewwebsite fieldtypetext fieldlabelhidden"><div class="fielditems"><div class="fielditem even"><a href="https://press.princeton.edu/titles/13308.html" title="Link to web page">https://press.princeton.edu/titles/13308.html</a></div></div></div><span class="vocabulary field fieldnamefieldreviewmsc fieldtypetaxonomytermreference fieldlabelhidden"><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/msc/00general" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00 General</a></li></ul></span><span class="vocabulary field fieldnamefieldreviewmscfull fieldtypetaxonomytermreference fieldlabelhidden"><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/mscfull/00a09" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00a09</a></li></ul></span><span class="vocabulary field fieldnamefieldreviewmscother fieldtypetaxonomytermreference fieldlabelhidden"><ul class="vocabularylist"><li class="vocabularylinks fielditem even"><a href="/mscfull/00a05" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00a05</a></li><li class="vocabularylinks fielditem odd"><a href="/mscfull/97a80" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">97A80</a></li></ul></span>
Wed, 20 Mar 2019 09:50:58 +0000
Adhemar Bultheel
49212 at https://euromathsoc.eu
https://euromathsoc.eu/review/99variationsproof#comments