2.3
Right triangle with hypotenuse labeled R and a side labeled Q, with angle opposite Q labelled as s
A triangle in Rational Trigonometry

Euclidean geometry, distance and quadrance

While distance is a practically useful linear quantity, the corresponding quadratic quantity is often mathematically more fundamental. Our understanding of distance squared, or quadrance, goes back to ancient Greek mathematics and Euclid’s formulation of Pythagoras’ theorem, and forms a bridge to an exciting development of modern geometry.

In this step, you will

  • learn how the ancient Greeks viewed Pythagoras’ theorem using quadrance rather than length

  • see how irrationalities can be avoided with Rational Trigonometry.

Pythagoras’ theorem

A right triangle is a triangle with one right (90 degree) angle. Pythagoras’ theorem states that a square built on the hypotenuse of a right triangle (the triangle’s longest side) has an area which is exactly the sum of the areas of the squares built on the shorter two sides of the triangle.

This is actually how Euclid stated it in Proposition 47 of Book 1 of Euclid’s “The Elements”, presented by David Joyce — in terms of areas of squares, rather than squares of lengths of sides. The reason Euclid preferred this language was that it had the big advantage of avoiding irrationalities.

Right triangle with points A1, A2, A3 has hypotenuse A1-A2, and squares labelled Q1, Q2, Q3 drawn on each side; Q3 builds on the hypotenuse. Q1 + Q2 = Q3 is another way to write the Pythagorean Theorem.

Avoiding irrationalities

In the triangle shown, the lines and are aligned with the grid lines, so we can easily count that the lengths of the segments and are and respectively. However the length of the hypotenuse segment leads to the irrational quantity

which we can never completely determine. It follows that even the “existence” of an “irrational number” such as is computationally problematic.

Note however that the calculations of the areas of the three squares is an elementary matter – this is why the ancient Greeks preferred to measure segments by constructing squares on them, a process they called quadrature. Following the Greeks, we define the quadrance of a segment, denoted usually by , to be the area of a square built on it.

It is easy to count areas to see that the quadrances and in the diagram above are and , respectively. The area of the square on the hypotenuse is a bit trickier to determine, but in the first diagram below, you should be able to piece together pairs of triangles into rectangles and count that the total area, or quadrance, is in fact . And this is also the sum of , just as Pythagoras taught us.

Image on left shows with Q3 divided into 5 parts: 4 triangles and a 2x2 square. Image on right shows Q3 inscribed inside a larger 8 x 8 square

Q1 (M): Use the second picture, with inscribed in a larger square with known side lengths, to give an alternate derivation of .

Rational trigonometry

Quadrance is an important quadratic concept. It scales quadratically, so that if we double a segment, its quadrance multiplies by . From a theoretical point of view, the precision of working with quadrance outweighs the disadvantage of dealing with a quadratic (rather than a linear) relation.

There is also an associated rational analog of angle called the spread between lines. This approach to trigonometry was introduced by Norman in his 2005 book Divine Proportions: Rational Trigonometry to Universal Geometry. The first chapter is quite readable for high school students, you can have a look at Divine Proportions book.

Discussion

Pythagoras’ theorem is easily the most important result in mathematics. All students should know at least one proof. How about you? If someone asked you: “Why is Pythagoras’ theorem true?” what would be your answer?

Answers

A1. The big square has area , and two of the opposite triangles fit together to give a rectangle with area . There are two of those, so the remaining area must be .

Share this article:

This article is from the free online course:

Maths for Humans: Linear, Quadratic & Inverse Relations

UNSW Sydney