Straightedge-and-compass construction

The first three postulates of the Elements permit joining points, extending a straight line and drawing a circle with a specified centre and radius. A straightedge determines a line; it is not used to read arbitrary lengths from graduations.

An instrument must be understood through its permitted operations. Adding marks and fitting a marked interval into a diagram changes the model, so results under that expanded rule are not automatically constructions under the original restrictions.

References: [1] [2] [3]

Proposition I.1 starts from segment AB and draws circles centred at A and B with radius AB. Joining either intersection C to the endpoints supplies a candidate equilateral triangle.

AC equals AB as radii of the first circle, and BC equals BA as radii of the second. Equality then establishes all three sides. The construction supplies objects, while the proof checks the defining condition without measuring a drawing.

References: [4]

Physical lines have thickness and drawing errors, whereas the argument concerns ideal objects and exact relations. A visually convincing enlargement is therefore not a substitute for showing why the required relation follows.

Existence assumptions also matter. The web edition’s Guide notes that I.1 uses an intersection not separately guaranteed by Euclid’s stated postulates. Distinguishing diagrammatic intuition from explicit premises helps explain later scrutiny of these classical constructions.

References: [4]