Compass & Straightedge Explorer

Build classical geometry constructions step by step using only a compass and an unmarked straightedge. Watch animated walkthroughs, drag anchor points, and try freeform constructions yourself.

Fundamentals

Intermediate

Advanced

0 / 5

Select a step or press play to begin.

Theorem

Every point on the perpendicular bisector of a segment is equidistant from the segment's endpoints.

PA = PB \iff P \in \ell_{\perp}

Understanding Compass & Straightedge Explorer

A classical construction is a sequence of allowed moves, not a careful sketch. A straightedge draws the unique line through two known points. A compass copies a distance by drawing a circle with a chosen center and a radius set by two known points.

New points come only from intersections of lines and circles. This rule matters because every new point has a reason for existing. The final figure may look simple, yet its construction records information about equal lengths, equal angles, or fixed directions.

Most constructions work by turning a condition into a location. A point equally far from two endpoints lies on the perpendicular bisector of their segment. A point equally far from the sides of an angle lies on an angle bisector.

Drawing two such loci makes the wanted point appear where they meet. This is the hidden logic behind many steps that seem mysterious in an animation. Students should name the condition each arc or line represents before trusting the picture.

Circles are especially powerful because they carry an exact distance everywhere along their edge. When two circles have the same radius, their intersection can create an equilateral triangle without measuring a single angle. Repeatedly transferring one radius can divide a line into equal steps or build regular patterns.

This does not mean every visually regular pattern is guaranteed. A valid result depends on the specified intersections, including which of two possible intersection points was chosen.

Good construction work separates discovery from proof. During exploration, it is useful to drag the starting points and watch which relationships stay unchanged. A relationship that survives many positions may suggest a theorem, but the moving diagram does not prove it.

Proof comes from facts such as congruent triangles, equal radii, or properties of parallel lines. If a construction breaks when points move, the failure often reveals a hidden assumption, such as collinear points or a circle that no longer intersects a line.

Precision is more than neatness. Thick pencil marks, nearly tangent circles, and intersections that lie very close together can make a correct plan hard to read. In a digital tool, snapping or rounded display values can hide these difficulties, so students should focus on the construction steps rather than judging by appearance alone.

These habits connect to technical drawing, map design, computer graphics, and engineering, where a design must be defined by constraints. Classical constructions teach a useful idea in all of these fields. Rules limit the moves, while logical planning still produces surprisingly rich results.

Reference Guide

What are Compass and Straightedge Constructions?

Compass and straightedge constructions are geometric drawings created using only two tools: an unmarked straightedge (for drawing lines through two points) and a compass (for drawing circles centered at one point and passing through another).

These constraints were formalized in Euclid's Elements around 300 BCE. The five postulates at the start of that work describe exactly what a straightedge and compass can do. By limiting ourselves to these two operations, every construction serves as a proof that a geometric relationship follows from the axioms of Euclidean geometry alone.

For example, bisecting a line segment $\overline{AB}$ with compass arcs proves that the midpoint and perpendicular bisector exist without relying on measurement or arithmetic.

The Three Impossible Constructions

Three famous problems from antiquity were eventually proved impossible with compass and straightedge alone:

Trisecting an arbitrary angle. Splitting any given angle into three equal parts.
Doubling a cube. Constructing a cube with exactly twice the volume of a given cube, which requires constructing a segment of length $\sqrt[3]{2}$ .
Squaring a circle. Constructing a square with the same area as a given circle, which requires constructing $\sqrt{\pi}$ .

The proofs of impossibility, completed in the 19th century by Wantzel and Lindemann, rest on a key algebraic insight: the set of constructible numbers consists exactly of those reachable from the rationals by addition, subtraction, multiplication, division, and taking square roots. Since $\sqrt[3]{2}$ and $\pi$ are not constructible, neither are the constructions that require them.

Key Theorems

Perpendicular Bisector Locus

Every point on the perpendicular bisector of $\overline{AB}$ is equidistant from $A$ and $B$ . This is why two circle intersections (equal radii from each endpoint) determine the bisector.

Angle Bisector Locus

Every point on the angle bisector is equidistant from the two sides of the angle. Arc intersections at equal radii locate points on this locus.

Triangle Concurrence Points

Incenter Intersection of the three angle bisectors. Center of the inscribed circle.

Circumcenter Intersection of the three perpendicular bisectors. Center of the circumscribed circle.

Centroid Intersection of the three medians. The triangle's balance point, located at

\tfrac{2}{3}

of each median from the vertex.

Orthocenter Intersection of the three altitudes.

Construction Strategy Tips

Most compass and straightedge constructions combine a small set of recurring patterns. Keep these in mind as you build:

Equal radii create equilateral triangles. Drawing two circles of the same radius from the endpoints of a segment gives you the vertices of an equilateral triangle, which is the basis for 60-degree angles.
Arc intersections find equidistant points. Two arcs of equal radius from different centers meet at points equidistant from both centers. This underlies perpendicular bisectors, angle bisectors, and most other constructions.
Transferring lengths preserves measurement. Setting the compass to a known segment and marking it elsewhere lets you copy distances without an actual ruler.
Perpendicular bisectors find midpoints. The perpendicular bisector of a segment always passes through its midpoint, giving you an exact halfway point for free.
Work outward from what you know. Start each construction from the given elements and add one circle or line at a time, using only previously constructed points.

From Euclid to Today

Euclid's Elements (c. 300 BCE) organized centuries of Greek geometric knowledge into 13 books. The first four books deal almost entirely with compass and straightedge constructions, and every proposition is either a construction or a theorem proved with the help of one.

Constructions served a deeper purpose than drawing: they proved existence. To show that an equilateral triangle exists on a given segment, Euclid constructed one. This constructive approach influenced mathematical rigor for over two thousand years.

In the 19th century, mathematicians translated construction problems into algebra. The constructible numbers (those you can reach from the rationals using $+, -, \times, \div$ and $\sqrt{\phantom{x}}$ ) form a field, and a length is constructible if and only if its minimal polynomial has degree that is a power of 2. This algebraic framework settled the three classical impossibility problems and connected ancient geometry to modern abstract algebra and Galois theory.