A brief introduction to Rational Trigonometry

Greek approach to measurement

N. J. Wildberger

Euclid does not deal directly with distance. The ancient Greeks understood the meaning of saying two segments in the same direction were in the ratio `three to two', but they did not have a direct notion of distance, because that would have entailed an understanding of real numbers, which they did not have. Similarly, Euclid does not measure angle. To him, an angle was just the geometrical configuration consisting of two intersecting lines. In fact the modern notion of `radian measure' is only a little more than a hundred years old.

Instead of distance and angle, the ancient Greeks believed that area is the fundamental quantity in planar geometry. To measure the separation of two lines, they measured the area of a square built on that line segment, a process called quadrature. A new theory of trigonometry, called rational trigonometry, was developed in 2005 by N. J. Wildberger (UNSW) in Divine Proportions: Rational Trigonometry to Universal Geometry, Wild Egg Books, Sydney, 2005, https://wildegg.com. Downloads from the book, supporting articles and links to reviews are available at https://wildegg.com/authors/. This note briefly motivates this new approach and lists the main laws, which require no transcendental circular functions.

Pythagoras' theorem

There are two really important theorems about areas formed by three points. One is well known, the other much less so. Proposition 47 of Book 1 of Euclid's Elements states that for a right angled triangle, the square on the hypotenuse is the sum of the squares on the other two sides. This version of Pythagoras' theorem uses area, not distance. Area is an affine concept, in the sense that proportions between areas are invariant under affine transformations, which include linear transformations. To measure a line segment, Euclid measures the area of a square on that segment, a number which we call quadrance, being close to the word quadrature. If $Q_{1},Q_{2}$ and $Q_{3}$ are the three quadrances of a right triangle MATH for which $A_{1}A_{3}$ is perpendicular to $A_{2}A_{3},$ then Pythagoras' theorem can be stated asMATHFor a triangle with rational points (vertices), the quadrances are rational numbers which can be determined combinatorially---by counting cells in a suitable grid lattice, as in the figure with $Q_{1}=5,$ $Q_{2}=20$ and $Q_{3}=25.$
pyth4,2dotted.eps

Triple quad formula

Pythagoras' theorem has a sister theorem that Euclid does not mention, but which is implicit in work of Archimedes, and fundamental for rational trigonometry. It concerns the case when the three points $A_{1},A_{2}$ and $A_{3}$ are collinear. In this case the three quadrances satisfy the Triple quad formula MATH

The figure shows a case where $Q_{1}=5,$ $Q_{2}=20$ and $Q_{3}=45.$


bluetriplequad.eps
Although algebraically more complicated, the Triple quad formula is in some sense a one-dimensional result, and easier to prove. Although Euclid did not have this theorem, one could argue that Archimedes did, as it is closely related to Herons' formula, known to Archimedes.

Main laws of rational trigonometry

An angle is a circular distance, that is distance measured along a circular arc, and this is too complicated a concept to qualify as fundamental for measuring the separation of two lines. To define angles properly you require calculus, a logical point that is rarely acknowledged by educators. Teachers of trigonometry constantly rely on 90 - 45 - 45 and 90 - 60 - 30 triangles for examples and test questions. Once you get the hang of rational trigonometry and the much wider scope for explicit triangles that can be completely analysed, you will appreciate just how limiting classical trigonometry is. See Divine Proportions: Rational Trigonometry to Universal Geometry for a complete development of this new theory.

The true separation between lines $l_{1}$ and $l_{2}$ is captured by the concept of spread, which may be defined as the ratio of two quadrances. Suppose $l_{1}$ and $l_{2}$ intersect at the point $A.$ Choose a point $B\neq A$ on one of the lines, say $l_{1},$ and let $C$ be the foot of the perpendicular from $B$ to $l_{2}$.
spreaddef.eps
Then the spread s between l1 and l2 is


s = s(l1, l2) = Q(B, C) / Q(A, B) = Q / R.


is ratio is clearly independent of the choice of $B,$ by Thales' theorem. The spread is defined between lines, not rays. Parallel lines are defined to have spread s = 0 while perpendicular lines have spread s = 1. you may check that the spread corresponding to 30° or 150° is s = 1/4. while the spread corresponding to 60° or 120° is s = 3/4.

When lines are expressed in Cartesian form, the spread becomes a rational expression in the coefficients of the lines. It therefore makes sense over arbitrary fields, although there is the possibility of null lines for which the denominator involved in the spread is zero. Note that in the triangle $\overline{ABC}$ above, the spread at the vertex $A$ and the spread at the vertex $B$ sum to $1,$ on account of Pythagoras' theorem.

In diagrams a spread MATH is displayed beside a small line segment joining the two lines to distinguish it from angle. A spread protractor was created by Michael Ossmann and is available online at https://www.ossmann.com/protractor/.

So now a triangle MATH has quadrances $Q_{1},Q_{2}$ and $Q_{3}$ as well as spreads $s_{1},s_{2}$ and $s_{3},$ as in the following diagram.
fig1.4.eps

The other main laws of rational trigonometry are MATHThis is the Spread law, the analog of the Sine law. The analog of the Cosine law is the Cross law: MATH

The relationship between the three spreads of the triangle is the Triple spread law: MATH

The Triple quad formula, Pythagoras' theorem, the Spread law, the Cross law and the Triple spread formula are the five main laws of rational trigonometry. They are implicitly contained in the geometrical work of the ancient Greeks. As demonstrated at some length in `Divine Proportions', these formulas and a few additional secondary ones suffice to solve the majority of trigonometric problems, usually more simply, more accurately and more elegantly than the classical theory involving $\sin \theta ,$ $\cos \theta $, $\tan \theta $ and their inverse functions. The same formulas extend to geometry over general fields and with arbitrary quadratic forms. See supporting articles at https://wildegg.com/authors.htm.

Example

The triangle with vertices MATH, MATH and MATH has quadrances $Q_{1}=5,$ $Q_{2}=13$ and $Q_{3}=10.$ You can check that the spreads are $s_{1}=49/130,$ $s_{2}=49/50$ and $s_{3}=49/65,$ and verify directly that all the laws are satisfied.

Since the laws are purely algebraic, they hold over a general field.

Example

If we work over the field with $11$ elements, the above triangle has quadrances $Q_{1}=5,$ $Q_{2}=2$ and $Q_{3}=10$ and spreads MATH, MATH and MATH The above laws still hold.

There is a collection of videos at YouTube that explains in detail the novel view point:

  1. WildTrig1: Why trig is hard
    https://www.youtube.com/watch?v=ZYWHfvij94U
  2. WildTrig2: Quadrance via Pythagoras and Archimedes
    https://www.youtube.com/watch?v=3GU9mGyxz04
  3. WildTrig3: Spread, angles and astronomy
    https://www.youtube.com/watch?v=9wd0i44vK04
  4. WildTrig4: Five main laws of rational trigonometry
    https://www.youtube.com/watch?v=Oe2DZc6BXZk
  5. WildTrig5: Applications of rational trigonometry
    https://www.youtube.com/watch?v=BfqSln90zrA
  6. WildTrig6: Heron's formula viewed rationally
    https://www.youtube.com/watch?v=hooQuHLS-kk
  7. WildTrig7: Solving triangles with rational trigonometry
    https://www.youtube.com/watch?v=csprnzWN_lE
  8. WildTrig8: Centers of triangles with rational trigonometry
    https://www.youtube.com/watch?v=MIyPfv5Os6Y
  9. WildTrig9: The laws of proportion for a triangle
    https://www.youtube.com/watch?v=L9Xz3Es16wo
  10. WildTrig10: Geometry of circles with rational trigonometry
    https://www.youtube.com/watch?v=N7orImM4vsM
  11. WildTrig11: Applications of rational trig to surveying (I)
    https://www.youtube.com/watch?v=2Zd4931chJU
  12. WildTrig12: Cartesian coordinates and geometry
    https://www.youtube.com/watch?v=a6Pk-kbzhxA

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

[an error occurred while processing this directive]
[an error occurred while processing this directive]