View source for Divine Proportions: Rational Trigonometry to Universal Geometry

{{Short description|2005 book reformulating plane geometry}}{{Infobox book
| author            = Norman J. Wildberger
| pub_date          = 2005
| genre             = Mathematics
| publisher         = Wild Egg
}}

{{italic title}}
'''''Divine Proportions: Rational Trigonometry to Universal Geometry''''' is a 2005 book by the mathematician Norman J. Wildberger on a proposed alternative approach to [[Euclidean geometry]] and [[trigonometry]], called '''rational trigonometry'''.  The book advocates replacing the usual basic quantities of trigonometry, [[Euclidean distance]] and [[angle]] measure, by [[Euclidean distance#Squared Euclidean distance|squared distance]] and the square of the [[sine]] of the angle, respectively.  This is logically equivalent to the standard development (as the replacement quantities can be expressed in terms of the standard ones and vice versa). The author claims his approach holds some advantages, such as avoiding the need for [[irrational numbers]].

The book was "essentially self-published"{{r|wiswell}} by Wildberger through his publishing company Wild Egg.  The formulas and theorems in the book are regarded as correct mathematics but the claims about practical or pedagogical superiority are primarily promoted by Wildberger himself and have received mixed reviews.

== Overview ==
The main idea of ''Divine Proportions'' is to replace distances by the [[squared Euclidean distance]], which Wildberger calls the '''''quadrance''''', and to replace angle measures by the squares of their sines, which Wildberger calls the '''''spread''''' between two lines. ''Divine Proportions'' defines both of these concepts directly from the [[Cartesian coordinate]]s of points that determine a line segment or a pair of crossing lines. Defined in this way, they are [[rational function]]s of those coordinates, and can be calculated directly without the need to take the [[square root]]s or [[inverse trigonometric functions]] required when computing distances or angle measures.{{r|wiswell}}

For Wildberger, a [[finitism|finitist]], this replacement has the purported advantage of avoiding the concepts of [[Limit (mathematics)|limits]] and [[actual infinity]] used in defining the [[real number]]s, which Wildberger claims to be unfounded.{{r|gefter}}{{r|wiswell}} It also allows analogous concepts to be extended directly from the rational numbers to other number systems such as [[finite field]]s using the same formulas for quadrance and spread.{{r|wiswell}} Additionally, this method avoids the ambiguity of the two [[supplementary angle]]s formed by a pair of lines, as both angles have the same spread. This system is claimed to be more intuitive, and to extend more easily from two to three dimensions.{{r|leversha}} However, in exchange for these benefits, one loses the additivity of distances and angles: for instance, if a line segment is divided in two, its length is the sum of the lengths of the two pieces, but combining the quadrances of the pieces is more complicated and requires square roots.{{r|wiswell}}

== Organization and topics ==
''Divine Proportions'' is divided into four parts. Part I presents an overview of the use of quadrance and spread to replace distance and angle, and makes the argument for their advantages. Part II formalizes the claims made in part I, and proves them rigorously.{{r|wiswell}} Rather than defining lines as infinite sets of points, they are defined by their [[homogeneous coordinates]], which may be used in formulas for testing the incidence of points and lines. Like the sine, the cosine and tangent are replaced with rational equivalents, called the "cross" and "twist", and ''Divine Proportions'' develops various analogues of [[Trigonometric identity|trigonometric identities]] involving these quantities,{{r|leversha}} including versions of the [[Pythagorean theorem]], [[law of sines]] and [[law of cosines]].{{r|henle}}

Part III develops the geometry of [[triangle]]s and [[conic section]]s using the tools developed in the two previous parts.{{r|wiswell}} Well known results such as [[Heron's formula]] for calculating the area of a triangle from its side lengths, or the [[inscribed angle theorem]] in the form that the angles subtended by a chord of a circle from other points on the circle are equal, are reformulated in terms of quadrance and spread, and thereby generalized to arbitrary fields of numbers.{{r|leversha|franklin}} Finally, Part IV considers practical applications in physics and surveying, and develops extensions to higher-dimensional [[Euclidean space]] and to [[polar coordinate]]s.{{r|wiswell}}

== Audience ==
''Divine Proportions'' does not assume much in the way of mathematical background in its readers, but its many long formulas, frequent consideration of finite fields, and (after part I) emphasis on mathematical rigour are likely to be obstacles to a [[popular mathematics]] audience. Instead, it is mainly written for mathematics teachers and researchers. However, it may also be readable by mathematics students, and contains exercises making it possible to use as the basis for a mathematics course.{{r|wiswell|barker}}

== Critical reception ==
The feature of the book that was most positively received by reviewers was its work extending results in distance and angle geometry to finite fields. Reviewer Laura Wiswell found this work impressive, and was charmed by the result that the smallest finite field containing a regular [[pentagon]] is <math>\mathbb{F}_{19}</math>.{{r|wiswell}} Michael Henle calls the extension of triangle and conic section geometry to finite fields, in part III of the book, "an elegant theory of great generality",{{r|henle}} and William Barker also writes approvingly of this aspect of the book, calling it "particularly novel" and possibly opening up new research directions.{{r|barker}}

Wiswell raises the question of how many of the detailed results presented without attribution in this work are actually novel.{{r|wiswell}} In this light, Michael Henle notes that the use of [[squared Euclidean distance]] "has often been found convenient elsewhere";{{r|henle}} for instance it is used in [[distance geometry]], [[least squares]] statistics, and [[convex optimization]]. James Franklin points out that for spaces of three or more dimensions, modelled conventionally using [[linear algebra]], the use of spread by ''Divine Proportions'' is not very different from standard methods involving [[dot product]]s in place of trigonometric functions.{{r|franklin}}

An advantage of Wildberger's methods noted by Henle is that, because they involve only simple algebra, the proofs are both easy to follow and easy for a computer to verify. However, he suggests that the book's claims of greater simplicity in its overall theory rest on a false comparison in which quadrance and spread are weighed not against the corresponding classical concepts of distances, angles, and sines, but the much wider set of tools from classical trigonometry. He also points out that, to a student with a scientific calculator, formulas that avoid square roots and trigonometric functions are a non-issue,{{r|henle}} and Barker adds that the new formulas often involve a greater number of individual calculation steps.{{r|barker}} Although multiple reviewers felt that a reduction in the amount of time needed to teach students trigonometry would be very welcome,{{r|leversha|franklin|campbell}} Paul Campbell is skeptical that these methods would actually speed learning.{{r|campbell}} Gerry Leversha keeps an open mind, writing that "It will be interesting to see some of the textbooks aimed at school pupils [that Wildberger] has promised to produce, and ... controlled experiments involving student guinea pigs."{{r|leversha}} However, these textbooks and experiments have not been published.

Wiswell is unconvinced by the claim that conventional geometry has foundational flaws that these methods avoid.{{r|wiswell}} While agreeing with Wiswell, Barker points out that there may be other mathematicians who share Wildberger's philosophical suspicions of the infinite, and that this work should be of great interest to them.{{r|barker}}

A final issue raised by multiple reviewers is inertia: supposing for the sake of argument that these methods are better, are they sufficiently better to make worthwhile the large individual effort of re-learning geometry and trigonometry in these terms, and the institutional effort of re-working the school curriculum to use them in place of classical geometry and trigonometry? Henle, Barker, and Leversha conclude that the book has not made its case for this,{{r|leversha|henle|barker}} but [[Sandra Arlinghaus]] sees this work as an opportunity for fields such as her mathematical geography "that have relatively little invested in traditional institutional rigidity" to demonstrate the promise of such a replacement.{{r|arlinghaus}}

== See also ==
* [[Perles configuration]], a finite set of points and lines in the Euclidean plane that cannot be represented with rational coordinates

== References ==
{{reflist|refs=

<ref name=arlinghaus>{{citation
 | last = Arlinghaus | first = Sandra L. | author-link = Sandra Arlinghaus
 | date = June 2006
 | hdl = 2027.42/60314
 | url = http://www-personal.umich.edu/~copyrght/image/solstice/sum06/wildberger.html
 | issue = 1
 | journal = Solstice: An Electronic Journal of Geography and Mathematics
 | title = Review of ''Divine Proportions''
 | volume = 17}}</ref>

<ref name=barker>{{citation
 | last = Barker | first = William
 | date = July 2008
 | publisher = [[Mathematical Association of America]]
 | title = Review of ''Divine Proportions''
 | url = https://www.maa.org/press/maa-reviews/divine-proportions-rational-trigonometry-to-universal-geometry
 | work = MAA Reviews}}</ref>

<ref name=campbell>{{citation
 | last = Campbell | first = Paul J.
 | date = February 2007
 | issue = 1
 | journal = [[Mathematics Magazine]]
 | jstor = 27643001
 | pages = 84–85
 | title = Review of ''Divine Proportions''
 | volume = 80| doi = 10.1080/0025570X.2007.11953460
 | s2cid = 218543379
 }}</ref>

<ref name=franklin>{{citation
 | last = Franklin | first = James
 | date = June 2006
 | doi = 10.1007/bf02986892
 | issue = 3
 | journal = [[The Mathematical Intelligencer]]
 | pages = 73–74
 | title = Review of ''Divine Proportions''
 | url = https://philpapers.org/archive/FRADPR.pdf
 | volume = 28| s2cid = 121754449
 }}</ref>

<ref name=gefter>{{citation 
 | last = Gefter | first = Amanda
 | year = 2013
 | title = Mind-bending mathematics: Why infinity has to go
 | journal = New Scientist
 | volume = 219
 | issue = 2930
 | pages = 32–35
 | doi = 10.1016/s0262-4079(13)62043-6
 | bibcode = 2013NewSc.219...32G
 }}</ref>

<ref name=henle>{{citation
 | last = Henle | first = Michael
 | date = December 2007
 | issue = 10
 | journal = [[The American Mathematical Monthly]]
 | jstor = 27642383
 | pages = 933–937
 | title = Review of ''Divine Proportions''
 | volume = 114}}</ref>

<ref name=leversha>{{citation
 | last = Leversha | first = Gerry
 | date = March 2008
 | doi = 10.1017/S0025557200182944
 | issue = 523
 | journal = [[The Mathematical Gazette]]
 | jstor = 27821758
 | pages = 184–186
 | title = Review of ''Divine Proportions''
 | volume = 92| s2cid = 125430473
 }}</ref>

<ref name=wiswell>{{citation
 | last = Wiswell | first = Laura
 | date = June 2007
 | id = {{ProQuest|228292466}}
 | doi = 10.1017/S0013091507215020
 | issue = 2
 | journal = [[Proceedings of the Edinburgh Mathematical Society]]
 | pages = 509–510
 | title = Review of ''Divine Proportions''
 | volume = 50| doi-access = free
 }}</ref> (n.b. surname Wisewell misspelled in source)

}}

[[Category:Mathematics books]]
[[Category:2005 non-fiction books]]
[[Category:Trigonometry]]
[[Category:Self-published books]]