Professional Documents
Culture Documents
Author(s): D. H. Fowler
Source: Archive for History of Exact Sciences, Vol. 26, No. 3 (1982), pp. 193-209
Published by: Springer
Stable URL: https://www.jstor.org/stable/41133647
Accessed: 25-08-2018 15:48 UTC
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide
range of content in a trusted digital archive. We use information technology and tools to increase productivity and
facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
https://about.jstor.org/terms
Springer is collaborating with JSTOR to digitize, preserve and extend access to Archive for
History of Exact Sciences
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Book HofEucliďs Elements
andapre-Eudoxan Theory of Ratio
Part 2: Sides and Diameters
D. H. Fowler
Communicated by D. T. Whiteside
(a) It left open the problem of verifying those expansions whose perio
contained five or more terms, and
(b) It failed to provide any satisfactory role for Propositions 12 and 13 wi
the interpretation2.
I shall now describe a further procedure which fills in these two gaps. I
based on a generalisation of the method of 'sides and diameters'; it will suc
fully verify the anthyphairesis of all ratios of the form in'im' and the only no
basic geometrical results it uses are precisely II, 12 and 13. Like the previ
method, it presupposes a preliminary arithmetical exploration of feature
the anthyphairetic expansions of the ratios.
1 Archive for History of Exact Sciences, 22 (1980) pp. 5-36. This (which I will he
forth refer to as my Tart 1 ') and my previous article 'Ratio in Early Greek Mathem
Bulletin of the American Mathematical Society (New Series), 1 (1979) pp. 807-846 (w
1 refer to as 'Greek Ratio') should be consulted for the historical and mathematical
ground to the reconstruction of an anthyphairetic ratio theory that will be devel
further here. Full references are listed at the end.
2 In my Tart 1', the presence of Propositions 12 and 13- the 'cosine law' for ob
and acute angled triangles respectively- was excused by arguing that they are gen
lisations, important in their own right, of Pythagoras' theorem which itself is
in Book II and a proof of which, it can also be argued, should be restored af
Proposition 8.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
194 D.H. Fowler
dČ-2sš = (-l)k.
In addition, Proclus refers to a geometrical construction, but there he is much
less explicit:
The Pythagoreans proposed this elegant theorem about the diameters and
sides, that when the diameter receives the side of which it is diameter it be-
comes a side, while the side, added to itself and receiving its diameter, becomes
a diameter. And this is proved by lines in the second book of the Elements
by him [sc. Euclid]. If a straight line be bisected and a straight line be added
to it, the square on the whole including the added straight line and the square
on the latter by itself are together double of the square on the half and of the
square on the straight line made up of the half and the added straight line.
Proclus clearly underlines the distinction between the geometric and arithmetic
forms, by referring, in the quoted passage, to the way the former is proved "by
lines" (grammikos), while elsewhere4 he says that the latter goes "by numbers"
{dia ton arithmon). Neither author gives explicit details of the role of these con-
structions in Plato's dialogues, but the passages are considered to relate to the
mysterious 'nuptial number' at Republic 546 B-C, where Plato refers to "the ration-
al diameter of five lacking one in each case". Here the rational diameter of square
of side 5 is believed to be the number 7, since 72 = 2.25 - 1; so 7:5 is an
approximation to the ratio ^2:1 = /50:/25 given by the ratio of the third
diameter and side numbers5.
Proclus' reference to "the second book of the Elements" and his quotation
of II, 10 (with slight variations in style) do not really help us in interpreting what
3 Theon of Smyrna, Expositio (Hiller), pp. 42-45, and Proclus, In Rem Publicam
(Kroll), 2, pp. 24-29. There is an almost complete translation of the passage from
Theon in Thomas, Selections, 1, pp. 132-137, and a complete English version of the
whole work by R. & D. Lawlor. The short passage from Proclus that is excerpted
and translated in Thomas, Selections (1, pp. 136-139) will be quoted here (with one slight
adaptation) in its entirety; but I know of no other English translation of the rest of the
passage.
* Proclus, In Rem Publicam, 2, p. 24, 11. 17-18.
5 There is a vast literature on Plato's nuptial number. For the text and references,
see Plato, Republic (Shorey), 2, p. xliv, n.a., and Thomas, Selections, 1, pp. 398-401.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 195
5 G/
Fig. 1
The second step compared the sizes of S and D - S = s, and the third
will compare s and d - s, so they and all subsequent steps will be equal. H
D:S = [1,2,2,2,...] = [1,2].
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
196 D.H. Fowler
for any two numbers a and b. (The reader is strongly recommended to sketch
the generalisation of Figure 1 implied by this prescription.) Similarly, we can
define another associated sequence of side and diameter numbers for the square
by
Sk+i = ask + bdk,
4+1 = 2bsk + adk,
where
Si = di = 1,
whose ratio does, again, always tend to ]/2: 1 ; but these sequences do not generally
satisfy the relation
d£-2sč = ±l
that is emphasised by Theon and Proclus, and the corresponding figure can
only be used for the verification of the periodicity of the ratio )/2 : 1 for very special
values of a and b. The procedure I shall now describe will determine particular
values of a and b that preserve these important and characteristic properties
of sides and diameters for any given ratio /n:|/m.
In order to demonstrate that the investigation can be carried out within
the spirit of Greek mathematics, these explorations will need to be arithmetical
or geometrical, and any algebraic symbolism that I invoke must be no more than
a convenient shorthand for straightforward and easily understood arithmetical
and geometrical statements. For example, the formulae
D-1.S = (D-S) = s and
S - 2.S = (d - s)
which I used earlier, together with the text that immediately follows t
be expanded as follows: If the side of the big square is subtracted from
onal of the big square, it will leave a remainder that can easily be see
Figure 1, to be equal to the side of the small square; and this remainder is s
than the side of the big square. This is the first step of the anthyphairesis.
second step of the anthyphairesis, we can subtract the side of the sma
twice from the side of the big square to leave a remainder equal to the
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 197
minus the side of the small square, which then is less than the side
square. Since the ratios of the diagonal to the side of any two squa
the ratios of the side to the diagonal minus the side of any two sq
equal. The second step of the anthyphairesis that we have just eval
that the anthyphairesis of the ratio of the side to the diagonal min
the big square is equal to two followed by the corresponding, and
equal, ratio for the small square; and hence this ratio is an unendin
series of twos. Finally we adjoin the first step, to get that the anth
the diagonal to side of the big (and, therefore, any) square is one, f
unending sequence of twos.
An Appendix will give brief details of the mathematical theory that
the procedures, using modern notations and ideas.
(a) Aristarchus of Samos, in On the Sizes and Distances of the Sun and Moon,
asserts that
8 The original texts are excerpted and translated in Thomas, Selections, 2, pp. 14-15,
and 1, pp. 316-333. More details of the anthyphairetic interpretation of these, and other
related arithmetical texts, is given in my 'Greek Ratio', pp. 822-826, and 836-845.
(There is a minor arithmetical mistake on p. 844, Example A 5(a), in the analysis of
the first of Aristarchus' examples. The correct numbers are given here.) Many alter-
native reconstructions of Archimedes' procedure for approximating /3 : 1 have been
proposed; for summaries see Dijksterhuis, Archimedes, pp. 234-238, Heath, Archimedes,
pp. lxxvii-xciv and, for a further interpretation, based on a generalisation of side and
diameter numbers using an elaboration of the method of the basic algorithm discussed
in my 'Greek Ratio', see Knorr, 'Archimedes and the Measurement of a Circle'
pp. 136-139.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
198 D.H. Fowler
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 199
where d_! = s0 = 0, and s_x = d0 = 1 ; and this calculation can most con
ly be set out in the following kind of table, which illustrates the case
[1,2,2,2,...]:
Í2:' 12 2 2
dk 0 1 1 3 7 17
sk 1 0 1 2 5 12
hr^
Fig. 2
Take a small parallelogram with sides s and ps, and one diagonal d = in s
(so (p - 1) < in < (p + 1)); and take any two numbers a and b. We now
use the prescription
S = as + bd
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
200 D. H. Fowler
This kind of construction can be performed for any numbers a and b but,
as with the generalisation of the construction for squares given at the end of
Section 1, only particular values of a and b will give rise to the special feature
of the geometrical construction in which the anthyphairesis of the ratio D : S,
the diameter and side of the larger parallelogram, leads after several steps, to
the verification of its periodic behaviour. These special values of a and b are
the same values that occur in the corresponding arithmetical formula, and they
can be read off from a table of the anthyphairesis and convergents of the ratio
^n : 1, initially by guessing what the coefficients are and then by a more systematic
and simpler observation of the numbers occurring in the table. Some examples
will make this clear.
n = 5
k 0 12 3
|/5: 1 = 2 4 4
dk 0 1 2 9 38
sk 1 0 1 4 17
I start with this example sinc
arithmetical description of sid
sk+i = 2sk + dk,
dk+i = 5sk + 2dk,
and hence a = 2, b = 1. A suit
is provided by a rectangle with
struction furnishes a confirm
anthyphairetic expansion of /
S = 2s + d, D = 5s + 2d,
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 201
then
D- 2.S = s, and
S _4.s = (d-2s).
The second step compared the sizes of S and D - 2S = s, and the third st
will compare s with d - 2s, so they, and all subsequent steps, will be equ
since the larger and smaller rectangles are similar. Hence ^5:1= [2, 4].
A similar argument shows that the general case of /(n2 + 1) : 1 = [n, 2n]
can immediately be dealt with by the description
S =ns + d,
S = 2s + d, D = 3s+2d,
then
D-l.S=(s + d),
S - l.(s + d) = s, and
(s + d)-2.s = (d-s).
The next step will compare s and (d - s), while the second step comp
and (D - S). Therefore these two terms, and then all corresponding subs
terms will be equal. Hence /3 : 1 =[1,1,2].
The procedure is not affected by the length of the period or size of the ter
in the period once the trick for deducing the recurrence relation has been spo
and the form that I have described for this relation (in terms of a's and
a considerable clue to its derivation. Here, for example, is the case of
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
202 D. H. Fowler
-TZ = 7
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Eucliďs Elements and Ratio Theory 203
of the equation arise from the convergents at the end of all subsequen
with alternate signs when the number of terms in the period is odd. This
the behaviour that Theon and Proclus describe so meticulously in
when n is equal to two.
The procedure can be further generalised to deal with ratios of the form
since the anthyphairetic expansions of these ratios exhibit the same
4. Discussion
convergents of every period (when the period is of even length) or of every other period
(when the period has odd length, in which case the first, third, fifth, etc., periods end with
the complete set of solutions of x2 - ny2 = -1). There has been much discussion
of the role of "Pell's" equation in ancient mathematics; see, for example, van der Waer-
den, 'Pell's Equation' and, for further references, Dickson, op. cit., 2, chapter 12.
My observation is that the solution of the equation appears here as an incidental by-
product of the algorithm whose behaviour prompts the investigation of these two articles,
and that the present procedure assigns a new role for the equation in the historical
context. I hope to discuss this in detail elsewhere.
14 The text of the problem is given, with an English translation and brief notes about
the solution, in Thomas, Selections, 2, pp. 202-207; and the full solution is described in
a forthcoming article, 'Archimedes' Cattle Problem and the Pocket Calculating Machine.'
15 There is a recent discussion of the authorship of the problem in Fraser, Ptole-
maic Alexandria, 1, pp. 407-409 and 2, pp. 587-590, pp. 242-260, which concludes that
"it may be judged more economical to regard the poem as from the pen of Archimedes
and, in fact, though positive proof is lacking, there seem good reasons for accepting
the attribution".
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
204 D. H. Fowler
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 205
the added straight line"; thus the citation of II, 10 and its use to verify th
could have been added at any time, together or separately, between the
tion of the Elements and Proclus' text. Alternatively, the cited pr
could have come from the archetype of Book II and, after this text
adapted and compiled into the Elements, the reference to Book II could
added. Now proceeding via II, 10 is not only an unnecessary and comp
obfuscation of a simple and elegant geometrical result, but also it leads
and indeed Proclus' text reverts, without further comment, at the e
geometrical proof, to the discussion of side and diameter numbers. W
ever, side and diameter figures and numbers are set within a restored
anthyphairetic ratios and their convergents they lead, naturally and su
(both adjectives describe accurately my own feelings), back to II, 12 an
two otherwise superfluous propositions of Book II. This leads me to s
further possibility, that the sentence "And this was proved by lines in the
book of the Elements by him" may derive from an earlier reference to an
phairetic role for Book II or its archetype; but that when the anthyphairet
cedures were abandoned, the sentence came to be interpreted as a refe
II, 10. We have no evidence, not even the absence of the geometrical theore
Theon's text, that would help us to decide between these and other po
A general problem connected with ratios in : im remains, to prove that
always have the periodic palindromic form in : 1 = [no,nl5 n2, ..., n2,
and that x2 - ny2 = ± 1 will always have a solution. I have now demo
how to verify any particular example, using methods that would have
cessible to fourth century Greek mathematicians, but I cannot conceiv
way of proving the general result without expert use of sophisticated
reasoning18.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
206 D. H. Fowler
manière suffisante et qui ne laisse rien à désirer; c'est ce qui m'a déterminé à en faire
l'objet de mes recherches, d'autant plus que la solution de ce problème est comme la clef
de tous les autres problèmes de ce genre."
The proof of the palindromic behaviour of in was given by Legendre, in his Essai
sur la Théorie des Nombres (Ist ed. 1798; 2nd ed. 1808; 3rd ed. 1830). Part 1 of the book,
comprising a third of the whole, is devoted to a description of continued fraction methods,
and Section V finishes with the required proof. A converse problem is raised in Section X>
entitled 'Comparison des fractions continues résultantes du développement des deux
racines d'une même équation du second degré,' which ends with the following incon-
clusive sentence: "S'il arrivoit que la période qui règne dans le développement d'une
racine fût de la forme ¡i, ¡a' ¡i" ', ... //', /¿', ¡i, k, c'est-à-dire fut composée d'une partie
symmétrique, précédée ou suivie d'un terme isolé k, alors le renversement donneroit
toujours la même période, laquelle par conséquent seroit commune aux deux racines
de l'équation. C'est ce qui s'observe dans un grand nombre de cas."
Galois gave a complete characterisation of those numbers whose expansions are
periodic with a period that starts at the first term, and he described the relationship
with the number got by reversing the periods, in his 'Démonstration d'un théorème sur
les fractions continues périodiques' (Annales de Mathématiques, 19 (1828) [= Oeuvres,
pp 1-8]). From this it is a short step to the proof of the cited properties of the expansion
of in: im and these results seem to appear directly in later text books, e.g. Serret, Cours
d'Algèbre Supérieure, revised third edition (1866). Further details of some of these works
are given in Dickson, History of the Theory of Numbers, 2, pp. 351-166, or H. J. S. Smith,
'Report on the Theory of Numbers,' Part III, § 96 (in Report of the British Association
(1861) [= Collected Works, 1, pp. 38-364]); but I know of nowhere where details of
the history of continued fractions can be found, though the selected references given in
Perron, Kettenbrüchen go some way towards filling that gap.
19 See, for example, Gantmacher, Theory of Matrices, 2, Chapter 13.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 207
Proposition. Let ^4 = 1 I
y* - nx2 = ± 1
period convergent of in and a2 - nb2 = -1. Define (xk, yk) recursively by the
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
208 D. H. Fowler
Then, if x0 = a, yo = b, this w
gents of in.
In fact this result appears to ap
the expansion of in; i.e. the rec
numbers appears to generate su
apart, from the initial correspon
is precisely the behaviour that
References
20 I am grateful to J. S. W. Cass
on the theory of quadratic forms.
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms
Euclid's Elements and Ratio Theory 209
Mathematics Institute
University of Warwick
Coventry, England
This content downloaded from 193.54.110.56 on Sat, 25 Aug 2018 15:48:32 UTC
All use subject to https://about.jstor.org/terms