What Euclid’s Ruler and Compass Were Really Doing

3Blue1Brown introduces a guest video by Ben Syversen, a creator of documentaries on the history of mathematics and science. Syversen asks what Euclid’s ruler-and-compass constructions were doing in the Elements, beyond producing neat diagrams.

The Elements influenced mathematics for centuries. The video argues that Greek geometric practice treated diagrams and constructions as part of the reasoning itself, a different approach from modern formal proofs in which the logical assumptions must be made explicit.

Euclid begins with definitions, common notions and geometric postulates. Proposition 1 constructs an equilateral triangle on a segment AB: draw a circle centered at A through B and another centered at B through A, then connect an intersection to the endpoints.

Both new sides are radii of the circles, so each equals AB; the common notion that things equal to the same thing are equal completes the equality argument. From a modern formal perspective, the construction also needs a justification that the circles intersect, which Euclid does not explicitly state as an axiom.

Historian Viktor Blåsjö offers another interpretation. He suggests imagining Greek proof in a setting of debate: a skeptic who has performed the prescribed construction can see the circles cross. On this reading, the diagrammatic construction does some of the argumentative work rather than merely decorating a complete verbal proof.

Blåsjö distinguishes a robust positional fact such as crossing from an exact claim such as equality of lengths. A drawing that looks equilateral cannot establish exact equality on sight; that requires reasoning. The video presents this distinction as a historical interpretation, not a substitute for explicit assumptions in a modern formal system.

Diagrams have rules. When the Elements asks for an equilateral triangle, it refers back to the steps that construct one. A construction is thus a procedure for introducing a geometric object into an argument, and its result can be reused in later propositions.

Syversen cautions that reconstructing Greek mathematical philosophy from technical works requires inference. Proposition 2 offers another clue: it shows how to copy a given length to a given point using circles and the previously constructed equilateral triangle.

A craftsperson might simply carry a compass without changing its opening. Euclid’s more elaborate procedure instead establishes that the transfer is possible using the allowed basic operations. Once proved, it becomes a reusable subroutine rather than an instruction to repeat every line in everyday drawing.

The video places these methods within a culture of philosophical debate. It contrasts idealized forms associated with Plato and observation associated with Aristotle, and proposes that constructions gave geometers a way to develop and test arguments without reducing geometry to either approach.

The first three postulates allow a straight segment between points, extension of a line and a circle with a chosen center and radius. Blåsjö argues that physically realizable operations helped make these starting points intelligible and credible to a skeptic.

The video uses physical drawing to motivate continuity and intersections. That philosophical motivation should be distinguished from a formal consistency proof: actual drawings have finite precision, and the consistency of a mathematical axiom system is a separate logical question.

Diagrams can mislead. Syversen demonstrates a deliberately false proof purporting to show unequal right angles. He draws a square, adds equal segments and perpendicular bisectors, then uses congruent triangles to arrive at a contradiction.

The hidden mistake is positional. Slightly inaccurate bisectors make one triangle look as though it sits where the argument needs it; a correct construction places it outside the square. The angle addition used in the purported proof therefore fails.

Following construction procedures helps reveal such inside–outside relationships even though physical drawings are not exact. In the video’s interpretation, the figure must be constructed according to the established rules before it can play its role in the proof.

Squares offer a subtler example. A seemingly simple construction uses equal perpendicular sides, but proving the opposite side and angles have the desired properties requires results about parallel lines. Euclid introduces his fifth postulate before the relevant later propositions.

The fifth postulate states that if a transversal makes the interior angles on one side sum to less than two right angles, the two lines, extended far enough, meet on that side. A familiar modern equivalent, in an appropriate axiomatic setting, is the uniqueness of a parallel through a point outside a line.

Syversen contrasts Euclid’s formulation, which speaks of lines eventually meeting, with a description of lines that never meet. He argues that the former fits the constructive perspective, while also acknowledging that geometry derives consequences beyond what a finite physical drawing can directly check.

Euclid’s square construction uses earlier propositions to erect an equal perpendicular side and draw parallels. Properties of the resulting parallelogram establish the remaining equal sides and right angles. Expanding all those earlier steps makes the physical drawing surprisingly elaborate.

The example also illuminates non-Euclidean geometry. In standard hyperbolic geometry, a quadrilateral constructed with a base and equal perpendicular sides does not close as a Euclidean square with four right angles. Euclid did not anticipate non-Euclidean geometry, but analyzing dependencies makes its assumptions visible.

For centuries mathematicians tried to prove the parallel postulate from the other assumptions. The video mentions Ibn al-Haytham, Omar Khayyam, Lagrange and Legendre. Later development of non-Euclidean models demonstrated independence in suitable modern formulations, explaining why those attempted proofs could not succeed as intended.

The Elements continues from the square to the Pythagorean theorem, then through plane geometry, number theory and solid geometry. Syversen emphasizes its organization as a cumulative structure: each established construction and result supports later work, drawing on generations of mathematicians.

The video traces the book’s influence through scholarship in the Islamic world and later Europe. It describes an enduring preference for geometrical constructions as a source of certainty even as algebra became increasingly powerful. These are broad historical interpretations, and the traditions involved were diverse.

Descartes’ analytic geometry connected coordinates and algebra with geometry, yet the video notes that he still used constructions and mechanical devices to justify curves beyond ordinary ruler-and-compass constructions. The relationship between symbolic calculation and constructive geometry changed gradually.

In the nineteenth century, non-Euclidean geometries and other developments encouraged more explicit formal foundations. Modern systems such as Lean check proofs against specified rules. Syversen compares them with the earlier desire for verifiable procedures, without claiming the systems or their assumptions are identical.

Syversen closes by reflecting on programmatic animation: having to implement a construction can reveal a difference between what was imagined and what the procedure actually produces. That experience offers a contemporary way to appreciate the constructive side of the Elements.