215
Views
1
CrossRef citations to date
0
Altmetric
Original Articles

Theodorus’ proofs of incommensurabilities with Gnomons

&
 

Abstract

An ‘infinite decreasing sequence of Gnomons’ is characteristic, according to Proclus, of incommensurability, hence David Fowler's idea to reconstruct Theodorus’ proofs of incommensurabilities, reported in the Theaetetus147d, employing Gnomons, is attractive and solidly based. The ‘preservation of the shape of the Gnomons’ is a form of the Pythagorean principle of the Limited according to Aristotle. In the present paper we propose a reconstruction that employs Gnomons but is free of the drawbacks present in Fowler's reconstruction.

Acknowledgements

We wish to thank the anonymous referee for substantial comments.

Disclosure statement

No potential conflict of interest was reported by the authors.

Notes

1 Two line segments are commensurable if they have a common measure, otherwise incommensurable (Definitions, Book X., Elements).

2 translation by Harold N Fowler, 1921. The crucial word ‘dunamis’ is rendered as ‘root’.

3 The use of definitions and Propositions in the Elements to reconstruct geometrical Propositions, reported by Plato more than half a century before they were composed, might strike the reader as anachronistic. However Proclus, in In Eucliden 66,8-68,10, arguably provides evidence that much of the Elements were conceived in Plato's Academy, especially by two great mathematicians Theaetetus and Eudoxus.

4 The proof of Proposition X.2 in the Elements makes use of Eudoxus’ condition def.4, Book V, of the Elements. For this reason Knorr (Citation1975, Chapter VIII, Section III) believes that it could not be in use by Theodorus. Nevertheless an elementary, not involving pre-Eudoxian, proof of X.2 can be given with a simple argument, similar to the pre-Eudoxian proof, of Proposition VI.1 of the Elements, suggested in Aristotle's Topics 158 b 29–35. The pre-Eudoxian proof of X.2 is as follows: suppose that a,b are commensurable. Then there are natural numbers n,m and line segment c, such that a=mc, b=nc. It is then practically obvious (as Aristotle himself points out) that Anth(a,b)=Anth(m,n); since, by Propositions VII.1 & 2, Anth(m,n) is finite, a contradiction is reached.

5 cf. Hardy and Wright Citation1926; Fowler Citation1999.

6 Fowler Citation1999, 3.4, 74–83; 10.3, 374–378

7 There has been an ongoing controversy as to whether Book II and Propositions 27–29 in Book VI of the Elements can be considered precursors of the modern quadratic equations, with van der Waerden Citation(1976) (who has employed the term geometric algebra for the Propositions of Book II), H Freudenthal Citation(1977), and Andre Weil Citation(1978) the notable exponents of that thesis (with which we firmly side), and Sabetai Unguru Citation(1975), the principal exponent of the opposite thesis.

8 cf. Morrow Citation1970.

9 Fowler Citation1999, 376

10 Fowler Citation1999, 76–77

11 This drawback holds as well for all the proposed anthyphairetic reconstructions, employing the theory of ratios, including those by Zeuthen Citation(1910), Becker Citation(1933), von Fritz Citation(1934), van der Waerden Citation(1950), Kahane Citation(1985). Non-anthyphairetic reconstructions of Theodorus’ incommensurabilities include Hardy and Wright Citation(1926) and Knorr Citation(1975), Bashmakova Citation(1986), Conway and Shipman Citation(2013).

12 158 b 29–34

13 203 a 1–16

14 Fowler Citation1999, 376

15 Here and elsewhere the bar over a sequence of numbers indicates its periodic recurrence.

16 Fowler Citation1999, 83

17 cf. Knorr Citation1975, 126, who states ‘it would certainly be neat if Theodorus’ researches had foreshadowed Theaetetus aanthyphairetic theory’, but does not believe that it happened.

18 cf. concluding remarks after, below.

19 Meno 84d3–85b7

20 Theaetetus 147 d ‘pos enescheto’. Knorr (Citation1975 Chapter III) reads these words to mean that in fact Theodorus stopped because he encountered difficulty at the case N=17, this being a particularly simple anthyphairesis, in effect provides an argument against an anthyphairetic reconstruction. Accordingly his non-anthyphairetic reconstruction finds some difficulty at N=17 (Knorr Citation1975, Chapter VI). But there are objections against Knorr's reading, such as: ‘mechri X’ normally means ‘up to and including X’; the anonymous scholiast to the Theaetetus repeatedly replaces ‘enescheto’ with ‘heste’ (simply ‘stopped’) at N=17.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.