janmr blog

Arithmetic by Geometry

Today real numbers are most often represented by applying (elementary) functions to (decimal) integers. Throughout history, though, arithmetic and propositions involving (positive) real numbers were often considered from a purely geometrical point of view. Real numbers were identified by the length of some line segment and, e.g., the product of two numbers was identified by the area of a rectangle with side-lengths equal to the two numbers. This made sense from a physical/applied point of view, but it had certain shortcomings.

According to Hawking‘s God Created the Integers, this was changed by René Descartes in the seventeenth century. He treated any (positive) real number as the length of a line segment, also products, square roots, and so on. This article considers some of the constructions he considered in Problems the Construction of Which Requires Only Straight Lines and Circles (included and commented in Hawking's book), namely multiplication, division and root extraction.

Multiplication

Let A be a point in the Euclidean plane and let two non-parallel lines have one end-point at A and otherwise extend infinitely. Place now the points B and D on one of the lines and C and E on the other, with the restriction that the lines BC and DE should be parallel. See Figure 1.

Multiplication by geometry
Figure 1. Multiplication by geometry.

We see that the triangles ABC and ADE are similar and this implies that

(1)

If we now place point B such that , point C such that , point D such that , and point E such that BC and DE are parallel, we have

Division

Division can be performed using the same geometrical construction as for multiplication: Place point B such that , point D such that , point E such that , and point C such that BC and DE are parallel. Then we have

Square Root

Let the line segment CD have length and extend the line from D to a point A such that . Draw a semicircle with AC as diameter. Now draw a line through D which is perpendicular to AC and call the intersection between this line and the circle point B. The length of the line segment BD is now equal to the square root of . See Figure 2.

Square root by geometry
Figure 2. Square root by geometry.

Why is this so? It can be shown by using the Pythagorean theorem and a bit of algebra, but it is most easily seen by considering similar triangles again. First, we argue that the angle at B in the triangle ABC in Figure 3 is a right angle. This is so because the two triangles ABM and BCM are isosceles triangles and the sum of the angles in the triangle ABC is thus , implying that is equal to a right angle.

Any triangle inscribed in a semicircle has a right angle
Figure 3. Any triangle inscribed in a semicircle has a right angle.

Consider Figure 4. It is now easy to see that the triangles ADB, BDC, and ABC are all similar. For instance, ABC and BDC both have a right angle and share the angle at C, so the remaining angles must be equal.

Three similar triangles related to a semicircle
Figure 4. Three similar triangles related to a semicircle.

We now have

and if we set and we get

Concluding Remarks

Signed multiplication by geometry
Figure 5. Signed multiplication.

Addition and subtraction of numbers geometrically is quite trivial. Simply lay out the numbers/line segment one after another along an infinite reference line, taking signs into consideration according to some positive direction.

It is interesting to note how addition and subtraction is one-dimensional in this geometrical sense, while multiplication, division, and square root are two-dimensional. Furthermore, these three latter operations also need the notion of unit length.

Figure 5 shows how even signed real numbers can be multiplied geometrically. Let two non-parallel and (infinitely long) lines meet at point A and let A split each line into a positive and a negative part. Point B, located at unit length from A, naturally has to be in positive part. This construction now handles the signs of multiplication quite nicely (for instance, the product of two negative numbers is seen to be positive).

It should be noted that Descartes was not the first to show these constructions. The construction of the square root of some number was also mentioned in, e.g., Euclid‘s Elements, Book VI, Proposition 13. However, he made essential steps to join geometry with algebra and analysis into analytical geometry.