The geometry of numbers in Euclid

This is about how the Elements of Euclid shed light, even on the most basic mathematical activity, which is counting. I have tried to assume no more in the reader than elementary-school knowledge of how whole numbers are added and multiplied.

How come 7 ⋅ 13 = 13 ⋅ 7? We can understand the product 7 ⋅ 13 as the number of objects that can be arranged into seven rows of thirteen each.

Seven times thirteen

Seven times thirteen

If we turn the rows into columns, then we end up with thirteen rows of seven each; now the number of objects is 13 ⋅ 7.

Thirteen times seven

Thirteen times seven

In the end, it doesn’t matter whether we have arranged the objects into rows or columns of thirteen. Either way, when we gather up the objects and count them, we must always get the same result.

A heap of a hundred bottle-caps and five bottle-caps.

A heap of a hundred five bottle-caps.

Must we really? We believe from childhood that we must. As children, we learn to say certain words in a certain order: one, two, three, four, and so on. We learn to say these words as we move objects, one by one, from one pile to another. As we move the last object, the last word we say is supposed to be the number of objects in the original pile. We have now counted that pile. In the process, we have removed the pile; but if we count the new pile, we get the same number.

At least we think we do. Does anybody ever question this? If we do question it, and if we are familiar with some mathematical terminology, we may decide that, in technical terms, what we are asking is whether all linear orderings of the same finite set are isomorphic, or whether all one-to-one functions from the set to itself are also onto the set. We can prove that they are, in either case, by the method of mathematical induction. However, I suppose it takes some mathematical sophistication, not only to understand the terminology, but to believe that anything is accomplished by its use. If one is being asked to learn the method of mathematical induction for the first time, I doubt one will be impressed by its usefulness in establishing that, no matter how many times you count a bag of bottle-caps, you will always get the same number.

Meanwhile, there is a more fundamental question: what is a number in the first place? As it happens, for me, the best theoretical answer is that a number, a counting number, is a nonempty ordinal that neither contains a limit nor is itself a limit. An ordinal is a set with two properties: (1) it contains every member of each of its members, and (2) among the members of each of its nonempty subsets, there is one that has no other as a member. The empty set is an ordinal, and if a set called alpha is an ordinal, then so is the set that contains every member of alpha, along with alpha itself. This new set is the successor of alpha, and every ordinal that is neither the empty set nor a successor is a limit. Now, using the method given by von Neumann in 1923, I have defined counting numbers in simple terms, but in a complicated way that cannot be made sense of without some work. I am not going to do that work here, but I shall instead suggest that Euclid’s Elements offers an understanding of numbers that is unmatched, as far as I know, until the work of Dedekind in 1888. It some ways it may remain unmatched in the twenty-first century.

For Euclid, a number is a magnitude. A pile of bottle-caps might be called a magnitude; at least it has a weight, to which may be assigned a number. No matter how the bottle-caps are piled into the pan of a scale, we expect the same weight to be found; but it is hard to see how this observation can be made into a mathematical principle.

Euclid’s typical magnitudes—the ones seen in his diagrams—are bounded straight lines, or what we call line segments. What makes one of these a number is that some specified segment measures it, or goes into it evenly. This is the fundamental notion. The measuring segment is a unit, as is any other segment that is equal to it—equal in the sense of being congruent.

A number then is a magnitude that can be divided into units. Unless it is prime, it can be divided into numbers as well. Thus a number consisting of fifteen units can be divided into those fifteen units, or into five numbers of three units each, or three numbers of five units each. In the last case, we might refer to each of those three numbers as five; but then, strictly speaking, we are using the adjective five as a noun meaning five units. The units may vary. All fives are equal—equal in number—but they are not all the same.

Dividing is not the same as measuring, but complementary. Dividing fifteen apples among five children is a different activity from measuring how many five-apple collections can be formed from fifteen apples. In the first case, each child gets three apples, in the second, three collections of apples are formed. A number of three things arises in each case, because multiplying three by five has the same result as multiplying five by three.

This is only a special case of Euclid’s general result, which is Proposition 16 of Book VII of the Elements:

Ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινας,
οἱ γενόμενοι ἐξ αὐτῶν ἴσοι ἀλλήλοις ἔσονται.

If two numbers multiply one another,
their products will be equal to one another.

Actually the Greek is a bit wordier: If two numbers, multiplying one another, make some things, the products of them [that is, the original numbers] will be equal to one another. This multiplication is defined as follows:

Ἀριθμὸς ἀριθμὸν πολλαπλασιάζειν λέγεται,
ὅσαι εἰσὶν ἐν αὐτῷ μονάδες,
τοσαυτάκις συντεθῇ ὁ πολλαπλασιαζόμενος,
καὶ γένηταί τις.

A number is said to multiply a number
however many units are in it,
so many times is the the number being multiplied laid down,
and something is produced.

Jonathan Crabtree argues strenuously that multiplying A by B does not mean adding A to itself B times, since this would result in a sum of B + 1 copies of A.

A product is the multiple of a multiplicand by a multiplier. Euclid proves that the roles of multiplicand and multiplier are interchangeable: in modern terms, multiplication is commutative. The proof uses a theory of proportion. In this theory, there are several ways to say the same thing:

  1. the numbers A, B, C, and D are in proportion;

  2. the ratio of A to B is the same as the ratio of C to D;

  3. A is to B as C is to D.

I shall abbreviate these by writing

A : B :: C : D.

The meaning of this for Euclid may not be crystal clear to modern readers; but I think it can only mean that when the so-called Euclidean algorithm is applied to C and D, the algorithm has the same steps as when applied to A and B.

Applied to any two magnitudes, each step of the Euclidean algorithm has the following two parts:

  1. Judge whether one of the magnitudes is greater than the other.

  2. If it is, then subtract from it a piece that is equal to the less magnitude.

Repeat as long as you can. There are three possibilities. In the simplest case, you will keep subtracting pieces equal to the same magnitude, until what is left of the other magnitude is equal to it. In this case, the one magnitude measures the other: alternatively, it is a part of the other. In case the algorithm never ends, then the original magnitudes must not have been numbers, but they were incommensurable. In the third case, you end up with a greatest common measure of the original two numbers, and each of these numbers is said to be parts of the other.

That is Euclid’s terminology. By the definition at the head of Book VII of the Elements, A : B :: C : D means A is the same part, or parts, or multiple of B that C is of D. Again, if we assume Euclid knows what he’s doing, this can only mean that, at each step of the Euclidean algorithm, the same magnitude (first or second, left or right) is greater, whether we start with A and B or C and D. Thus 8 : 6 :: 12 : 9, because

8 > 6, 8 – 6 = 2;
2 < 6, 6 – 2 = 4;
2 < 4, 4 – 2 = 2;

while in the same way

12 > 9, 12 – 9 = 3;
3 < 9, 9 – 3 = 6;
3 < 6, 6 – 3 = 3;

the pattern >, <, < is the same in each case. We discover incidentally that the greatest common measure of 8 and 6 is 2; and of 12 and 9, 3. In fact

8 = 2 ⋅ 4,  6 = 2 ⋅ 3,  12 = 3 ⋅ 4,  9 = 3 ⋅ 3.

The repetition of the multipliers 4 and 3 here also ensures the proportion 8 : 6 :: 12 : 9, but only because 3 and 4 are prime to one another: they have no common measure, other than a unit. If we did not impose this condition on the multipliers, then the definition of proportion alone would not ensure the transitivity of sameness of ratios: the definition alone would not guarantee that ratios that were the same as the same ratio were the same as one another. But every kind of sameness has this property. Therefore, although Euclid does not quite spell it out, I contend that his definition of proportion of numbers has the meaning that I have given.

We can now describe Euclid’s proof of the commutativity of multiplication as follows. We accept that addition is commutative:

A + B = B + A.

This means, if you pick up a rod, turn it end to end, and put it back down, it will still occupy the same distance. One might try to imagine a geometry in which this is not true; but we assume it is true. It follows then that, for any multiplier x,

Ax + Bx = (A + B)x,

that is,

A + … + A + B + … + B = A + B + … + A + B,

where the ellipses represent the same number of missing terms in each case.

Given A : B :: C : D, we now show A : B :: (A + C) : (B + D). Assuming, as we may, that A is less than B, we have two possibilities:

  1. A is part of B, and so, for some x, we have

    B = Ax, D = Cx.

  2. A is parts of B, and so, for some x and y that are prime to one another, for some E and F, we have

    B = Ex, A = Ey, D = Fx, C = Fy.

In the first case, B + D = Ax + Cx = (A + C)x. Similarly, in the second case, B + D = (E + F)x, while A + C = (E + F)y. In either case, we have the desired conclusion, A : B :: (A + C) : (B + D). As special cases, we have

A : B :: A + A : B + B :: A + A + A : B + B + B

and so on; in general, A : B :: Ax : Bx.

Given again A : B :: C : D, we now show A : C :: B : D. We consider the same two cases as before. In case (1), we have A : C :: Ax : Cx :: B : D. In the same way, in case (2), we have A : C :: E : F and B : D :: E : F, so again A : C :: B : D.

Finally, denoting a unit by 1, since by definition we have 1 : A :: B : BA and 1 : B :: A : AB, and the latter gives us now 1 : A :: B : AB, we conclude BA = AB. This is Proposition 16 of Book VII of Euclid’s Elements.

Thus, if we lay out seven sticks end to end, each thirteen units long, we reach the same length as if we lay out thirteen sticks, each seven units long. This is not obvious, even though, if you follow the rules of computation learned in school, you will find that 7 ⋅ 13 and 13 ⋅ 7 are equal. Euclid proves that this will be so, without any need for computation—which anyway will apply only to the particular example in question.

8 Trackbacks

  1. […] is the bit of history that I referred to earlier. It is relevant to a key point of Collingwood’s […]

  2. […] In Anglo-Norman French, heresie is attested in 1119, in Le Bestiaire de Philippe de Thaun. The word comes as if from heresia; but this is unattested in Latin, where the word is heresis. This is a transliteration of the Greek αἵρεσις, which is the abstract noun derived from αἱρεῖν, meaning to take; the middle voice of the verb means to take for oneself, and thus to choose. Adding prefixes, we obtain ἀνθυφαιρεῖν, meaning to engage in the alternating subtraction that constitutes the Euclidean Algorithm; I looked at this in “The Facebook Algorithm” and “The Geometry of Numbers in Euclid.” […]

  3. […] Unfortunately I have not personally enjoyed the excitement of discovering a convincing proof of an historical conclusion. (Note added, November 28, 2018: I would say now that I have proved the meaning, which is commonly misunderstood, of Euclid’s definition of proportion of numbers. See “The geometry of numbers in Euclid.”) […]

  4. By Logic of Elliptic Curves « Polytropy on January 6, 2019 at 8:49 pm

    […] these, historically, there was a third account. I talked somewhat about these matters in “The Geometry of Numbers in Euclid.” Thus my doctoral work took up an ancient theme: when two things are the same, how can you […]

  5. By On the Idea of History « Polytropy on October 20, 2019 at 6:48 am

    […] “The Geometry of Numbers in Euclid,” this blog, January 2, 2017, reposted in The De Morgan Forum. […]

  6. By Salvation « Polytropy on February 24, 2020 at 7:06 am

    […] A number is a multitude of units. As I read Euclid, a unit is a magnitude, and so a number is a magnitude, albeit considered as a multitude. Another scholar has told me that a number is not a magnitude, but I have not received a clear reason. Euclid does have two theories of proportion: one for arbitrary magnitudes, another for numbers. The latter theory is obscure for modern readers; I have spelled out my understanding of it in “The Geometry of Numbers in Euclid.” […]

  7. By Discrete Logarithms « Polytropy on August 14, 2020 at 2:55 pm

    […] of counting numbers; I had taken this up also, earlier in 2017, in a blog post, “The geometry of numbers in Euclid.” I had once considered trying to teach number theory as Euclid did; but I decided this would […]

  8. By Multiplicity of Mathematics « Polytropy on October 8, 2020 at 5:54 am

    […] and their ratios that we do not. I wrote about my understanding of Euclid in a 2017 post called “The geometry of numbers in Euclid” (reposted at the De Morgan Forum), and more recently, with references to all of the relevant […]

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: