Manifesto | Index | What's new | rss feed

| Bookmark |

| Follow us

| Recommend | Contact |

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, http://wildegg.com. Downloads from the book, supporting articles and links to reviews are available at http://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 for which $A_{1}A_{3}$ is perpendicular to $A_{2}A_{3},$ then Pythagoras' theorem can be stated as MATH For 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 Choose a point $B\neq A$ on one of the lines, say $l_{1},$ and let be the foot of the perpendicular from to $l_{2}$ .
spreaddef.eps
Then the spread s between l₁ and l₂ is

s = s(l₁, l₂) = Q(B, C) / Q(A, B) = Q / R.

is ratio is clearly independent of the choice of 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 and the spread at the vertex sum to on account of Pythagoras' theorem.

In diagrams a spread 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 http://www.ossmann.com/protractor/.

So now a triangle 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 MATH This 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 http://wildegg.com/authors.htm.

Example

The triangle with vertices , and 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 elements, the above triangle has quadrances $Q_{1}=5,$ $Q_{2}=2$ and $Q_{3}=10$ and spreads , and The above laws still hold.

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

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

40611796