[Math] Is the proof of Proposition 2 in Book 1 of Euclid’s elements a bit redundant

euclidean-geometrygeometry

Here is the proposition together with a the proof :

enter image description here

enter image description here

Whats wrong with the following : Choose an arbitrary point A and another arbitrary one D. Now with center A describe a circle with radius BC and the intersection of the circle and the line AD is the required line segment.

Best Answer

I think that what's wrong here is your use of 'lifting the compass from the page without losing the distance between the "feet".' Euclid's compass could not do this (or was not assumed to be able to do this). The proof you've just read shows that it was safe to pretend that the compass could do this, because you could imitate it (via this proof) any time you needed to.

Euclid's assumptions about the geometry of the plane are remarkably weak from our modern point of view. He doesn't assume a priori anything about the compatability of the metric at distinct points. Indeed, there isn't actually a distance metric -- just a notion of congruence and between-ness. One of the great achievements of Eudoxus (I believe...check out a late chapter in Moise, "Elementary Geometry from an Advanced Standpoint" to be sure) was showing that the Euclidean axioms actually allowed you to construct, via clever tricks having to do with proportions, described geometrically, something that was essentially Dedekind cuts, i.e., to construct a function that actually produced a metric on Euclidean space, by first constructing the codomain, i.e., the reals. This is some serious work!

Related Question