← Return to Master Citadel

Euclid: Compass & Straightedge Quest

Experience geometry as Euclid designed it in Alexandria (~300 BCE). No rulers with measurement markings. No angle protractors. Construct geometric truth using only unmeasured lines, collapsible circle radii, and rigorous deductive logic!

Step 1: The Intuition

Why No Measurements? The Power of Pure Axioms

In modern classrooms, geometry is often taught with plastic rulers and protractors. But physical rulers are imperfect: eyes blur, pencil leads dull, and tick marks only approximate values.

A geometric proof explains why a result follows from stated assumptions and earlier results. Euclid's Elements begins with definitions, common notions and five postulates; modern accounts make further assumptions explicit. Construction activities use two ideal tools:

The Straightedge

Can only draw an unmeasured straight line passing through any two given points. Cannot measure distance or mark ticks.

The Compass

Pins a center point and opens to a perimeter point to scribe a circle. Definition: All radii of a circle are strictly equal!

The Q.E.D. Proof

Every construction concludes with deductive logic. When proven beyond doubt, it is sealed with Quod Erat Demonstrandum ("Which was to be demonstrated").

Step 2: The Lab Bench The Artisan's Drawing Table
Magnetic Snapping Active

Experiment freely with the virtual compass and straightedge. Hover or drag near points and intersections to snap magnetically!

Artisan Table ready. Select Compass or Straightedge to construct.
Step 3: Apprentice Drill

Axiomatic Foundations Check

Test your understanding of Euclid's definitions before entering the Proposition Gauntlet!

Why does Euclid's compass prove that segment $AC$ equals segment $AB$ when both are drawn from center $A$ to circle circumference points?
Step 4: The Arcade Arena Proposition I.1: The Equilateral Triangle
Inspection Timer

Construct an Equilateral Triangle upon the Given Segment AB

Select Compass to draw circles from A and B, then use Straightedge to connect the upper intersection.
Proof Chamber (Axiomatic Mode) Arrange statements logically

Drag or click arrows to order statements into valid deductive logic:

Step-by-step lesson

Constructions and proofs: explain why the picture must work

Before you start: Recognise points, segments, circles and equal lengths.

What the ideal tools are allowed to do

A straightedge draws a straight line through two given distinct points; it has no ruler marks. A compass draws a circle with a chosen centre and radius. Every point on a circle has the same distance from its centre. A screen drawing approximates these objects, but a proof concerns the ideal geometry.

Worked construction: an equilateral triangle on AB

Start with distinct points A and B. Draw a circle centred at A through B, so its radius is AB. Draw another centred at B through A, with radius BA. Choose an intersection C of the circles and join A to C and B to C.

Because C lies on the first circle, AC = AB. Because C lies on the second, BC = BA. Also AB and BA name the same length. Hence AC = AB = BC: all three sides are equal, so triangle ABC is equilateral. These equalities justify the construction; measuring three nearly equal screen distances would only provide approximate evidence.

Assumptions, definitions and deductions

A definition explains a term, such as “equilateral.” A postulate is an accepted starting condition. A deduction follows from those conditions and previously established results. Euclid's early postulates allow joining points, extending segments and drawing circles; the proof also relies on the circles intersecting, a continuity assumption made explicit in modern treatments.

In Euclidean plane geometry, the parallel postulate can be stated as: through a point outside a line, exactly one parallel line passes. Other geometries use different assumptions. A diagram alone cannot settle which assumptions describe a particular mathematical space.

Common mistakes to avoid

Do not infer that a segment is a midpoint or an angle is 90° simply because it looks that way. Identify the construction step or theorem that establishes it. Also keep A and B distinct: a zero-length starting segment does not produce this triangle.

Try it yourself

In the construction, suppose AC = AB has been established. What additional equality proves that BC has the same length?

Show answer and explanation

C lies on the circle centred at B through A, so BC = BA. Since BA = AB, BC equals the same common length as AC.

Use the activity to check your understanding

Construct first, then give a reason for each equality. Use the proof activities to distinguish a visual guess from a deduction.

Try the next activity: Shape Architect →

Sources and further reading