Bridging Classical and Modern Approaches to Thales' Theorem

Piotr Błaszczyk; Anna Petiurenko

doi:10.18778/0138-0680.2026.05

Authors

Piotr Błaszczyk University of the National Education Commission, Institute of Mathematics, Kraków, Poland Author https://orcid.org/0000-0002-3501-3480
Anna Petiurenko University of the National Education Commission, Institute of Mathematics, Kraków, Poland Author https://orcid.org/0000-0002-0196-6275

DOI:

https://doi.org/10.18778/0138-0680.2026.05

Keywords:

Thales’ theorem, 20th-century foundations of geometry, the Elements, mechanical proofs

Abstract

In this paper, we reconstruct Euclid’s theory of similar triangles, as developed in Book VI of the Elements, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman and Parker, as well as Hartshorne. In the final sections, we present recent developments concerning non-Archimedean fields and mechanized proofs.

Thales’ theorem (VI.2) serves as the reference point in our comparisons. It forms the basis of Euclid’s system and follows from VI.1 – the only proposition within the theory of similar triangles that explicitly applies the definition of proportion.

Instead of the ancient proportion, modern systems adopt the arithmetic of line segments or real numbers. Accordingly, they adopt other propositions from Euclid’s Book VI, such as VI.4, VI.6, or VI.9, as a basis.

In §10, we present a system that, while meeting modern criteria of rigor, reconstructs Euclid’s theory and mimics its deductive structure, beginning with VI.1. This system extends to automated proofs of Euclid’s propositions from Book VI.

Systems relying on real numbers provide the foundation for trigonometry as applied in modern mathematics. In §9, we prove Thales’ theorem in geometry over the hyperreal numbers. Just as Hilbert managed to prove Thales’ theorem without referencing the Archimedean axiom, so do we by applying the arithmetic of the non-Archimedean field of hyperreal numbers.

References

T. Banakh, Linear Geometry and Algebra (2025), DOI: https://doi.org/10.48550/arXiv.2506.14060, preprint, accessed: 01.09.2025.

M. Beeson, On the Notion of Equal Figures in Euclid, Beiträge zur Algebra und Geometrie, vol. 64 (2023), pp. 581–625, DOI: https://doi.org/10.1007/s13366-022-00649-9.

M. Beeson, J. Narboux, F. Wiedijk, Proof-checking Euclid, Annals of Mathematics and Artificial Intelligence, vol. 85 (2019), pp. 213–257, DOI: https://doi.org/10.1007/s10472-018-9606-x.

G. D. Birkhoff, A Set of Postulates for Plane Geometry, Based on Scale and Protractor, Annals of Mathematics, vol. 33(2) (1932), pp. 329–345, DOI: https://doi.org/10.2307/1968336.

P. Błaszczyk, Galileo’s paradox and numerosities, Zagadnienia Filozoficzne w Nauce, vol. 70 (2021), pp. 73–107.

P. Błaszczyk, Descartes’ Transformation of Greek Notion of Proportionality, [in:] Handbook of the History and Philosophy of Mathematical Practice, Springer, Cham (2024), pp. 235–267, DOI: https://doi.org/10.1007/978-3-031-40846-5_16.

P. Błaszczyk, Ciągłość i liczby rzeczywiste: Eudoxos-Dedekind-Conway, WN UKEN, Kraków (2025).

P. Błaszczyk, Reading Newton’s Principia through Euclidean Proportion and Nonstandard Analysis, Foundations of Science, (2025), DOI: https://doi.org/10.1007/s10699-025-09997-w.

P. Błaszczyk, K. Mrówka, A. Petiurenko, Decoding Book II of the Elements, AUPC, vol. 321 (2020), pp. 39–88, DOI: https://doi.org/10.24917/20809751.12.3.

P. Błaszczyk, A. Petiurenko, Euclid’s proportion revised, AUPC, vol. 290 (2019), pp. 37–61.

P. Błaszczyk, A. Petiurenko, Euler’s Series for Sine and Cosine: An Interpretation in Nonstandard Analysis, [in:] Research in History and Philosophy of Mathematics, Birkhäuser (2023), pp. 73–102.

P. Błaszczyk, A. Petiurenko, Synthetic non-Archimedean Geometry: New Foundations for Newton’s Mathematics (2025), manuscript.

K. Borsuk, W. Szmielew, Podstawy Geometrii, PWN, Warszawa (1972).

S.-C. Chou, X.-S. Gao, J.-Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore (1994).

DeepMind AlphaGeometry Project, rules.txt, https://github.com/google-deepmind/alphageometry/blob/main/rules.txt (2025), plain text file in GitHub repository.

R. Descartes, Discours de la Méthode pour bien conduire sa raison, et chercher la vérité dans les sciences, plus la Dioptrique, les Météores et la Géométrie qui sont des essais de cette Méthode, Jan Maire, Lejda (1637).

R. Fitzpatrick, Euclid’s Elements of Geometry. The Greek text of J.L. Heiberg (1883–1885) from Euclidis Elementa, edited and provided with a modern English translation, by Richard Fitzpatrick, Independently Published (2008), URL: https://farside.ph.utexas.edu/Books/Euclid/Elements.pdf.

R. Goldblatt, Lectures on the Hyperreals, Springer, New York (1998).

M. Greenberg, Euclidean and Non-Euclidean Geometries, Freeman, New York (2008).

R. Hartshorne, Geometry: Euclid and Beyond, Springer, New York (2000), DOI: https://doi.org/10.1007/978-0-387-22676-7.

D. Hilbert, Grundlagen der Geometrie, Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, (1899), pp. 1–92, DOI: https://doi.org/10.1007/978-3-662-45569-2, in: K. Volkert (Hrsg.), David Hilbert, Grundlagen der Geometrie (Festschrift 1899), Springer, Berlin 2015.

D. Hilbert, Über den Zahlbegriff, Jahresbericht der Deutschen Mathematisch-Vereinigung, vol. 8 (1900), pp. 180–184.

D. Hilbert, The Foundations of Geometry, Open Court Publishing Company, La Salle, IL (1950).

D. Hilbert, The Foundations of Geometry, Open Court Publishing Company, La Salle, IL (1971).

D. Hilbert, Grundlagen der Geometrie, 11th ed., Stuttgart (1972).

P. Janičić, J. Narboux, P. Quaresma, The Area Method: a Recapitulation,Journal of Automated Reasoning, vol. 48(4) (2012), pp. 489–532.

P. Janičić, GCLC – A tool for visualizing geometric constructions, URL: http://poincare.matf.bg.ac.rs/~janicic/gclc/, accessed: 26.02.2025.

R. Millman, G. Parker, Geometry: A Metric Approach with Models, Springer, Berlin (1991), DOI: https://doi.org/10.1007/978-1-4684-0130-1.

I. Mueller, Philosophy of Mathematics and Deductive Structure in Euclid’s Elements, Dover, New York (2006).

M. Pasch, Vorlesungen uber neuere Geometrie, Teubner, Leipzig (1882).

W. Schwabhäuser, W. Szmielew, A. Tarski, Metamathematische Methoden in der Geometrie, Springer, Berlin (1983), DOI: https://doi.org/10.1007/978-3-642-69418-9.

K. Sieklucki, Geometria i topologia. Część 1 Geometria, PWN, Warszawa (1978).

T. H. Trinh, Y. Wu, Q. V. Le, et al., Solving Olympiad Geometry without Human Demonstrations, Nature, vol. 625 (2024), pp. 476–482, DOI: https://doi.org/10.1038/s41586-023-06747-5.

W. Wu, Mechanical Theorem Proving in Geometries: Basic Principles, Symbolic computation, Springer Vienna (1994), DOI: https://doi.org/10.1007/978-3-7091-6639-0.