EXCESS AND DEFECT: OR THE LITTLE MORE AND THE LITTLE LESS
In two recent papers, Prof A E Taylor has discussed the Platonic or Pythagorean philosophy of Number, as Plato and Aristotle relate it to us and as it may be further elucidated in various ways. In particular he compares the account of the irrational numbers given in the Epinomis with the descriptions (well-known to students of Greek mathematics) which Theon, lamblichus and Proclus give of the so-called 'side and diagonal numbers'; and he shows that, somehow or other, these side and diagonal numbers are connected with what Plato means by the 'One and the Great-and-small' as constituents of Number.
Aristotle gives us the following statement of Plato's concept of the 'genesis of number':
This particular process of generation has never been shown to be related to the so-called
The 'side and diagonal numbers', as Theon and Iamblichus explain them, hark back to the all-important Theorem of Pythagoras, and to the simplest case thereof where the right-angled triangle is also isosceles. By their means we 'arithmeticize' this construction, and for certain values of the side obtain 'rational values' for the corresponding diagonal; consequently, dividing the diagonal-number by the side-number, we obtain an approximation to, or a 'rational value' for, √2, the true ratio of diagonal to side. It is part of the great Pythagorean principle of letting mathematics rest on an arithmetical basis. It is just worth mentioning that what we here call the diagonal is called in Greek the diameter; it is the diagonal of the completed square (or parallelogram), and the diameter of the circle in which it can be described.
The following is a table of the side and diagonal numbers (
For, in the line AC, if AB and BC be as side and diagonal, then 2AB2 = BC2.
Further, if DA = AB, then (II. 10)
The table of side and diagonal numbers has many other properties. For instance, as Proclus tells us, the sum of the squares of two adjacent diagonals = twice the sum of the squares on the two corresponding sides: e.g. 32 +72 = 2(22 + 52). And, in Chapter xxiii he shows, following Adrastus, that the sum of the squares of 'all' the diagonals is equal to twice the sum of the squares of 'all' the sides.
As Prof Taylor explains, this table is precisely equivalent to what, in our arithmetic, we call a continued fraction, viz.,
But while we may illustrate our problem in this way, I do not think we simplify it. The continued fraction is an elegant arithmetical device, and the mathematician calls it a simplified expression; but it does not follow that it is simple to work with. Carry it on to ten or twenty terms, and it becomes a troublesome matter to evaluate; while the Greek side-and-diagonal numbers may be carried as far as you please, and still require only the easiest arithmetic.
The Greek table has another advantage over our continued fraction, in that it obviously is just what it purports to be, namely an arithmetization of the corresponding geometrical figure. We have merely to take twice the square of a side-number to get, approximately, the square of the opposite diagonal number: and when we proceed to do so systematically we discover three curious and important things. Firstly, the successive results are closer and closer approximations to that irrational number (viz., √2) which is the 'limit', the unattainable limit, of the series. Secondly, the approximations are alternately on one side or the other, a little more or a little less than the number at which we aim; and herein lies the technical meaning in Greek arithmetic of 'excess and defect', (literally
2 × 22 = 32 - 1
2 × 52 = 72 + 1
2 × 122 = 172 - 1
Now the question arises whether this
Similar tables can be constructed, as the Greeks well knew, for other square roots; and the way to construct them is in each case easy to discover. For instance, the table for √5 is as follows:
| 1 2 |
| According to which table
|5 × 12 = 22 + 1|
5 × 42 = 92 - 1
5 × 172 = 382 + 1
5 × 722 = 1612 - 1
The table for √17, to which allusion is made in the Theaetetus, would run:
| 1 4|
| Hence ||17 × 12 = 42 + 1|
17 × 82 = 332 - 1 &c.
Observe how the 'One' comes in, to 'equalize' all of these.
The case of √3 is a somewhat remarkable one. It may be represented in our arithmetic by the continued fraction
identical with the series of convergent fractions beginning 1/1 , 2/1 , 5/3 &c., which we may set forth as follows, in tabular form:
1 2 3 5 4 7 11 19 15 26 41 71 56 97 153 256 209 362 571 989 780 1351 &c.
| Applying this table as before, we find that
|3 × 12 = 22 - 1 |
3 × 32 = 52 + 2
3 × 42 = 72 - 1
3 × 112 = 192 + 2
So in this case, unlike the others we have described, excess and defect are represented not by ±1, but by -1, +2, alternately.
We have set forth this table at greater length than the others because it so happens that Archimedes makes use of certain of its higher convergents. He tells us, without further explanation, that √3 lies between 1351/780 and 265/153 , being less than the former and greater than the latter. This statement is quite correct; for the former fraction squared gives the value 3.000017 .... the latter gives 2.999936....
It is strange, however, that Archimedes should apparently skip over two convergents in making his comparison; he might have narrowed the issue by telling us that √3 was greater than 989/571. But he used an abbreviated table, which he had probably constructed in a somewhat different way. For we may begin, as the table begins, by taking √3 as being nearly equal to 5/3; therefore 3√3 - 5 is small. Now
which continued fraction is identical with the series of convergent fractions 1/5 , 10/51 , &c. Whence we find the convergents to √3 to be 5/3 , 26/15 , 265/153 , 1351/780 , &c.; in short, we have the very series from which Archimedes may have drawn his examples, without omissions. Archimedes may have done it in this way; there is nothing we need put beyond his powers. But I feel pretty sure that all these tables were originally arrived at in a much simpler and more plodding way, by trial and error. An old arithmetician may have searched (as we might search through Barlow's Tables) for a square number which was the double of some other square; he would fail to find one. But he would very soon find that 32 was nearly the double of 22 ; searching for another such case, he would find that 72 was nearly the double of 52; and by the time he had found a third instance he would be on the brink of the rule which connects them all, and defines the series.
We have now seen that in the convergent series leading to √3, the 'One' is no longer the unique and indispensable 'equalizer'; and we shall soon see that it is by no means indispensable (though at first it seemed so) in the series of side and diagonal numbers which leads to √2. For the ordinary two-column table of side and diagonal numbers, as Theon describes it and with which we began, may be extended as follows:
±1/4 ±1/2 ±1 ±2 ±4 ±8 ±16
1/2 1/2 1 1 2 2 4 4
1 3/2 2 3 4 6 8 12
5/2 7/2 5 7 10 14 20 28
6 17/2 12 17 24 34 48 68
29/2 41/2 29 41 58 82 116 164
In this extended table each column may serve by turns for side-numbers or for diagonals; and the 'equalizing factor', the amount of excess or defect, which began with ±1, becomes in the next column ±2, then ±4, ±8 and so on. The table may also be extended towards the left-hand side, where the first extended column will show an equalizing factor of ±1/2, and so on. All this arithmetic is so simple that it can hardly have escaped the notice of any calculator who pondered over the elementary table with which we began. To proceed from our first table for the values of √2 to those giving values for √3, √5, &c. (as we have seen that the Greeks did), was neither an easier nor a harder operation than to pass from that same table where the values of √2 are 'equalized' by 1, to the extended table where they are 'equalized' by 2, or powers of 2. But such an extension of the table of side and diagonal numbers is neither mentioned nor described. It may have escaped notice, though this is unlikely. It may have seemed of little importance, though this seems unlikelier still. It may have been one of those things of which the less said the better; for, if my interpretation be correct of what was meant by the One as the continual 'equalizer' of the never-ending Dyad, the whole theory would receive a shock on the revelation that, mutatis mutandis, the same part could be played by 2 or by 4.
There is still another table which may be just as easily or indeed still more easily derived from the first, and which is of very great importance. Yet there is no account of it, nor the least allusion to it, in all the history of Greek mathematics; and it is commonly believed to have been first made known by the great arithmetician who introduced the Arabic numerals into the Christian world.
We remember that, to form our table of side and diagonal numbers, we added each side-number to its own predecessor, that is to say, to the number standing immediately over it in the table, and so we obtained the next diagonal; thus we add 5 to 2 to get 7, in the following:
1 1 2 3 5 7 12 &c.
1 1 2 3 5 8 13 21 34 55 &c.
Its successive pairs of numbers, or fractions, as 5/3, 8/5, &c., are familiar to botanists, ever since Bravais showed them to express the number of spirals which may be counted, to right and to left, on a fir-cone or any other complicated inflorescence.
Here is another of the many curious properties of the series:
02 + 22 = 2(12 + 12)
12 + 32 = 2(12 + 22)
12 + 52 = 2(22 + 32)
22 + 82 = 2(32 + 52)
But the main property, the essential characteristic, of these pairs of numbers, or fractions, is that they approximate rapidly, and by alternate excess and defect, to the value of the Golden Mean, that is to say to the value of
(√5 - 1)/2 = 0.618... Thus the successive fractions 1/2 , 2/3 , 3/5 , , &c., expressed in decimals, are as follows:
In the line (AC) divided in extreme and mean ratio we have three magnitudes, AC, AB, BC, such that BC2 = AB. AC [there is a misprint here in the original article that we have corrected].
And in our table, any three consecutive numbers may represent these three geometrical magnitudes, the square of the intermediate number being equivalent - approximately equivalent - to the product of the other two. Observe that precisely as in the former case the approximation gets closer and closer; there is alternate excess and defect, and (above all) the 'One' is needed in every case, to equate the terms or remedy the defective approximation; e.g.
52 = 3 × 8 + 1
82 = 5 × 13 - 1
132 = 8 × 21 + 1
Our two series started alike, with 1 and 1 - the
1 . 1
2 . 3
But in the one case we added our 2 to the left-hand 1, and in the other to the right-hand; and the difference shows itself in the next line:
1 . 1 or 1 . 1
2 . 3 2 . 3
5 . 7 5 . 8
12 . . 13 . .
Of the two series which thus begin alike and then part company, the one leads to the square-root of 2 or the hypotenuse of an isosceles right-angled triangle, and the other leads to the Divine or Golden Section. These are the two famous surds or 'irrational numbers' of antiquity, and they are also the two pillars of Euclidian geometry.
It is inconceivable that the Greeks should have been familiarly acquainted with the one and yet unacquainted with the other of these two series, so simple, so interesting and so important, so similar in their properties and so closely connected with one another. Between them they arithmeticize what is admittedly the greatest theorem, and what is probably the most important construction, in all Greek geometry. Both of them hark back to themes which were the chief topics of discussion among Pythagorean mathematicians from the days of the Master himself; and both alike are based on the arithmetic of fractions, with which the early Egyptian mathematicians and doubtless the Greek also were especially familiar. Depend upon it, the series which has its limit in the Golden Mean was just as familiar to them as that other series whose limit is √2.
The Golden Mean series is a very curious one; and we have put it only in one and that the simplest of its many forms. For the fact is, we may begin it as we please, with 1, 1, or 1, 2, or 1, 3, or any two numbers whatsoever, whole or fractional, and in the end it comes always to the same thing! For instance, we may have the series
These two methods, of finding the value of √2 and the value of the Golden Mean, are, be it remarked, by no means mere rough approximations, but they actually lead, more easily and quicker than does our modern arithmetic, to results of extreme accuracy. In the case of the side and diagonal numbers we need go no farther than the tenth place in the table (as can be done in less than two minutes) to get a fraction which is equivalent to the value of √2 to six places of decimals!
Remembering the immense interest which the ancients took in the decagon, the pentagon and their related solids, let us see how our side-and-diagonal table and the closely related table of the Golden Mean may help us in studying these. We know (from Euclid IV. 10) that the side of the decagon is equal (in terms of the radius) to the Golden Mean = (√5 - 1)/2 = 0.618 ... ; let τ be this Golden Mean -
The squares on the sides of the regular decagon and pentagon and on the corresponding, star-polygons are still more easily dealt with; for (calling D and Dx the side of the decagon and star-decagon respectively) we have
Dx2 = τ-2 = 2 + τ,
P2 = τ√5 = 2 - τ,
Px2 = τ-1√5 = 3 + τ.
All this is a beautifully simple illustration of a principle recognized in modern mathematics, that you may immensely extend the efficiency (so to speak) of the series of natural numbers if only you can add one other number to it. 1, 2, 3.... carry us a long way; but if we add to this consecutive series either √2, or π, or the number we have now called τ, in each case an immense new field of operations is rendered possible. π presents some difficulties of its own; but the determination of √2 or of τ to any required degree of accuracy should have presented no difficulty even to very early and primitive arithmeticians.
The cube root of 2 is another story. We can neither represent it by a continued fraction nor by a series of side-and-diagonal numbers. I feel pretty sure that the peculiar importance and air of mystery attaching to the Delian Problem arose simply from the fact that for the extraction of a cube root you have no such arithmetical device as that by which a square root can be extracted so easily and so accurately.
The technical phrase 'excess or defect' is sometimes used, especially by Aristotle, in a sense which is obviously not the arithmetical one, though it must be more or less analogous thereto. A single instance must suffice. In the first chapter of the Historia Animalium, Aristotle tells us that, within the limits of a 'genus', such as Bird or Fish, the difference between one form or species and another is of the nature of 'excess or defect'; that their corresponding parts differ in property or accident, or in the degree to which they are subject to this or that property or accident, or in number or in magnitude - in short always, after some fashion or other, in the way of excess or defect. When I translated the Historia Animalium many years ago, I took this statement to be neither more nor less than a foreshadowing of our own comparative morphology. I supposed that Aristotle would regard each species of bird much as a modern morphologist does; that he would recognize the correspondence or homology of their several parts; and that he saw, better perhaps than many morphologists do, how the differences between these corresponding parts are essentially quantitative differences, or 'differences of degree'. The chief difference between Aristotle's point of view and ours seemed merely to be that he limited his comparison, or his concept of homology, to the species of a single 'genus'; whereas the evolutionary morphologist seeks (not always with success), to trace detailed homologies between one Aristotelian genus and another.
But now that we understand the phrase excess-and-defect better than ever before, we may read its technical meaning into the Aristotelian passage and find the whole significance vastly altered and improved. For I take it now that Aristotle was thinking, more Platonico, of all the fowls of the air as mere visible forms or