Numbers: Their Tales, Types, and Treasures.
Chapter 10: Numbers and Proportions
10.2.PROPORTIONS OF LENGTHS
Let us represent two magnitudes geometrically by lengths a and b. Consider, for example, the two line segments shown at the top of figure 10.3. How can we learn something about the relation between the two line segments—that is, about their proportion? If possible, we would like to find the natural numbers n and m, such that the proportion a:b could be expressed as n:m.
In order to achieve this, the Pythagoreans devised the following method, which we illustrate in figure 10.3.
Figure 10.3: Determining the proportion of two line segments.
One starts by examining how often the shorter line segment b would fit into the longer one. Obviously, b fits into a twice, and then a short part r1 of the segment a would be left over. Hence, we write a = 2 × b + r1, where r1 is shorter than b. The next question would be, how often wouldr1 fit into b? Figure 10.3 shows that, obviously, b = 1 × r1 + r2, with r2 < r1. The next step shows that the remainder r2 would fit into r1 twice, with an even smaller remainder r3. Finally, r3 fits exactly twice into r2. That is, there is no remainder r4, or r4 = 0.
What have we achieved now? Obviously, we found a length r3 (the last nonvanishing remainder) that fits a whole number of times into all previous lengths, and, therefore, a = 19r3, and b = 7r3. Both line segments a and b can be expressed with the help of the small line segment r3; they are both integer multiples of r3. The line segment r3 is a “unit” that allows us to measure a and b simultaneously and is called the “greatest common measure” of a and b. If r3 would be taken as the unit of length, then we would have a = 19 and b = 7. We then say that a is to b in the same relation as 19 to 7. One says the proportion a:b equals 19:7. Today, this proportion would be considered a fraction with the numerical value of 19 divided by 7. In decimal notation this would be
(the bar over the six digits after the point indicates that they are continuously repeated).
Greek philosophers in the fifth century BCE seemed to have held the belief that this method of finding an integer proportion would actually always work for any two quantities and would come to an end after a finite number of steps. Philosophers Leucippus and Democritus claimed that any extended continuous quantity cannot be divided infinitely. It was the birth of the theory of atomism—that is, that any division of an extended quantity would finally terminate in atoms, which cannot be further divided. Likewise, the method shown in figure 10.3 would terminate, in the worst case, when the remainder was the size of an atom and hence indivisible.