The anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, by means of the restoration of Book II of the Elements to its original Pythagorean form
Stelios Negrepontis, Vassiliki Farmaki

TL;DR
This paper proposes a novel anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, restoring Book II of Euclid's Elements to its original Pythagorean form using geometric algebra and the Application of Areas.
Contribution
It introduces a new reconstruction method for the Pythagorean proof, combining anthyphairetic and geometric algebra techniques, based on restoring Book II of Euclid's Elements.
Findings
Reconstruction of the original Pythagorean proof using anthyphairetic methods.
Restoration of Book II of Euclid's Elements to its original form.
Support for the use of geometric algebra in ancient proofs.
Abstract
Unquestionably the greatest discovery of the Pythagoreans is the existence of incommensurable magnitudes, most probably the incommensurability of the diameter to the side of a square, but there is no agreement among historians of Greek mathematics on their method of proof. In this chapter we present novel arguments not only for an anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, but also in favor of one that employs the Pythagorean Application of Areas in Excess and in fact Geometric Algebra. The main tool for this reconstruction is the restoration of Book II of the Elements to its original Pythagorean form. The final version of this paper will appear as a chapter in the book Essays on Geometry: Celebrating the 65th Birthday of Athanase Papadopoulos, ed. A. Muhammed Uluda\u{g} and A. Zeytin, Springer International Publishing, 2025.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
