Abstract
The standard attitude to Euclid’s diagrams is focused on assumptions hidden behind intersecting lines. We adopt an alternative perspective and study the diagrams in terms of a balance between the visual and theoretical components involved in a proposition. We consider theoretical components to consist of definitions, Postulates, Common Notions, and references to previous propositions. The residuum makes the visual part of the proof. Through analysis of propositions I.6, I.13, and II.1–4, we show that such residuum actually exists. We argue that it is related to a primitive lesser-greater relation between figures, or an undefined relation of the concatenation of figures.
We also identify a tendency in the Elements to eliminate visual aspects in order to achieve generality founded on theoretical grounds alone. Our analysis spans between two versions of the Pythagorean theorem, i.e., I.47 and VI.31. We study the diagrams in Books I through VI in terms of how visual elements are being replaced in favor of theoretical components. That process is crowned by proposition VI.31. None of its parts build on the accompanying diagram. Moreover, it concerns objects that are not represented on the diagram at all. In fact, this pattern applies to most propositions of Book VI. Therefore, we treat VI.31 as a model example of Euclidean methodology, not as an exception.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It can be shown that this tacit assumption hypothesis rests on a dogma started in the early modern era which states that lines consist of points.
- 2.
All English translations of the Elements after [5]. Sometimes we slightly modify Fitzpatrick’s version by skipping interpolations, most importantly, the words related to addition or sum. Still, these amendments are easy to verify, as this edition is available on the Internet, and also provides the Greek text of the classic Heiberg edition.
- 3.
Numbering of sentences and names of parts of the proposition added.
References
Blåsjö, V.: In defence of geometrical algebra. Arch. Hist. Exact Sci. 70(3), 325–359 (2015). https://doi.org/10.1007/s00407-015-0169-5
Błaszczyk, P.: From Euclid’s Elements to the methodology of mathematics. Two ways of viewing mathematical theory. Ann. Univ. Paedagogicae Cracoviensis 10, 5–15 (2018). https://didacticammath.up.krakow.pl/article/view/6613
Błaszczyk, P., Petiurenko, A.: Euclid’s theory of proportion revised. Ann. Univ. Paedagogicae Cracoviensis 11, 37–61 (2019). https://didacticammath.up.krakow.pl/index.php/aupcsdmp/article/view/6901
Chou, S., Gao, X., Zhang, J.: Machine Proofs in Geometry. World Scientific, Singapore (1994)
Fitzpatrick, R., Heiberg, J.: Eculid’s Elements. University of Texas at Austin, Institute for Fusion Studies Department of Physics (2007). https://books.google.pl/books?id=7HDWIOoBZUAC
Giaquinto, M.: Crossing curves: a limit to the use of diagrams in proofs. Philos. Math. 19(3), 281–307 (2011). https://doi.org/10.1093/philmat/nkr023
Hartshorne, R.: Geometry: Euclid and and Beyond. Springer, New York (2000). https://doi.org/10.1007/978-0-387-22676-7
Hilbert, D.: Grundlagen Der Geometrie. Teubner, Leipzig (1903)
Janičic, P., Narboux, J., Quaresma, P.: The area method. J. Autom. Reason. 48(4), 489–532 (2012)
Manders, K.: The Euclidean diagram. In: Mancosu, P. (ed.) The Philosophy of Mathematical Practice, pp. 80–133. Oxford University Press, Oxford (2008)
Netz, R.: The Shaping of Deduction in Greek Mathematics. Cambridge University Press, Cambridge (1999)
Tan, L.: The group of rational points on the unit circle. Math. Mag. 69(3), 163–171 (1996). http://www.jstor.org/stable/2691462
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Błaszczyk, P., Petiurenko, A. (2020). Modes of Diagrammatic Reasoning in Euclid’s Elements. In: Pietarinen, AV., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds) Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science(), vol 12169. Springer, Cham. https://doi.org/10.1007/978-3-030-54249-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-54249-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54248-1
Online ISBN: 978-3-030-54249-8
eBook Packages: Computer ScienceComputer Science (R0)