Before logic could be a calculus it had to be a method: agree a few things, then let nothing in that you did not earn. Euclid's Elements is that method, and its very first proposition can be drawn — a triangle whose three sides are provably equal, built from nothing but two circles.
source Euclid, The Elements, Book I, Proposition 1 — archive.org/details/elementsgeometr00eucl. Rendered, not quoted.
The Elements opens with 23 definitions, 5 postulates, and 5 common notions — the whole of what you are allowed to assume. Everything after is proved from them, in order, for 13 books.
Postulate 3: "a circle may be drawn with any center and radius." Common Notion 1: "things equal to the same thing are equal to one another." Those two, alone, build the first triangle.
This is the axiomatic method — the shape every later sphere inherits: assume little, deduce all, sign it QED.
"On a given straight line, to construct an equilateral triangle."
The recipe: draw a circle centered A through B, and a circle centered B through A. Let C be where they cross. Join A–C and B–C. Then AC = AB and BC = AB, so all three are equal. QED.
Three lines of proof, no numbers. It is the archetype of a construction — and you can watch it hold.
Move the slider — the construction is recomputed and the three lengths are measured on the spot. AC and BC are radii of equal circles, so they can only equal AB.
Why the sides must be equal, with no measuring:
| AC and AB | radii of circle A → AC = AB |
| BC and BA | radii of circle B → BC = AB |
| ∴ AC = BC = AB | equal to the same thing (CN 1) |
The measurement in the engine only confirms what the three lines already force. Proof first; the picture is a witness.
The proof has a silent step: it assumes the two circles cross at C. Nothing in the five postulates guarantees a point sits exactly where two curves appear to meet — that is a fact about continuity, and Euclid never stated it.
So the archetype of rigor rests, at its very first move, on an unstated premise. Not a flaw in the method — a flaw in this proof, and a lesson every sphere on the spine repeats: the assumption you don't notice is the one that carries the weight.
Aristotle's syllogism and Boole's algebra both inherit this method — and both, in their turn, hid a premise (existential import). Same crack, different century.
Rebuilds the triangle at 300 random segment lengths and checks all three sides equal. Then move the apex off the crossing and watch it fail.
If C is not the true crossing point, AC ≠ AB — the equal-sides check breaks and the badge goes red. Measured, not painted.
"Euclid's Proposition 1 is completely rigorous." Cut. The intersection point C is not guaranteed by the five postulates; its existence needs a continuity assumption Euclid never wrote down. The gap was noticed for centuries.
"The picture proves the theorem." Cut. A diagram can only illustrate; the proof is the three lines (CN 1). The engine measures to confirm, and it can be tampered — which is the point.
"Euclid used numbers/coordinates." Kept, corrected. He had none — no algebra, no coordinates (those are Descartes, 1637). The construction is pure compass-and-straightedge; the pixels here are the translation.
The strongest case against, stated fairly:
The honest reading: the method — assume, deduce, QED — is exactly right and underwrites everything downstream. The execution of Proposition 1 leaned on an unstated premise. Showing both is the sphere's job; hiding the crack would be the lie.