Ninth Grade Mathematics: Euclidean Rules: Compass & Straightedge
Geometric construction is the art of drawing precise figures, angles, and lengths using only two idealized mechanical instruments: an unmarked straightedge and a compass. In this chapter, you will master the classical Euclidean rules governing pure constructions, understand the mathematical justification behind every stroke, and explore which geometric feats are possible and which are impossible.
The Classical Euclidean Rules
In modern engineering and drafting, students use rulers with millimeter markings and 360-degree protractors. In pure Euclidean geometry, however, measurement with numbers is forbidden. Euclid restricted all geometric constructions strictly to two instruments, justified directly by his first three postulates:
The Two Classical Instruments:
1. The Straightedge (Postulates 1 & 2):
- An idealized straight ruler with NO MEASUREMENT MARKINGS.
- Used exclusively to draw a straight line between two given points,
or to extend an existing line segment indefinitely.
2. The Compass (Postulate 3):
- A drafting tool with a sharp pivot point and a pencil lead.
- Used exclusively to draw a circle (or circular arc) given a fixed
center point and a radius distance.
Permissible Operations:
- Drawing a line segment connecting two established points.
- Drawing a circle or arc with a given point as center and passing through another point.
- Identifying points created by the intersection of two lines, a line and a circle,
or two circles.
A construction is not an artistic guess or an empirical approximation; it is a physical enactment of a mathematical proof. Every constructed point must be justified by an intersection of loci.
Collapsible vs. Non-Collapsible Compasses
Euclid's third postulate defines what modern mathematicians call a 'collapsible compass': once the compass is lifted from the page, it collapses shut and forgets its radius setting. It cannot be used as a physical caliper to transport distances directly.
Euclid's Compass Equivalence Theorem (Elements Book I, Proposition 2):
Any construction that can be performed using a rigid compass (which holds
its radius when moved) can be performed using a collapsible compass.
Because Euclid proved how to transfer a distance using only collapsible compasses and straightedges, modern geometry allows the convenient use of rigid, modern compasses without violating the foundational rules.
The Famous Impossible Constructions of Antiquity
For over two thousand years, Greek mathematicians attempted to solve three famous construction problems using only an unmarked straightedge and a compass:
The Three Impossible Problems of Classical Antiquity:
1. Squaring the Circle:
Construct a square having the exact same area as a given circle.
(Requires constructing a length equal to sqrt(pi)).
2. Doubling the Cube (The Delian Problem):
Construct the side of a cube whose volume is exactly twice that of a given cube.
(Requires constructing a length equal to the cube root of 2: cbrt(2)).
3. Trisecting an Arbitrary Angle:
Divide an arbitrary given angle into three exactly equal sub-angles.
In the nineteenth century, French mathematician Pierre Wantzel and German mathematician Ferdinand von Lindemann used advanced abstract algebra to prove definitively that all three problems are impossible with compass and straightedge alone. Straightedge and compass constructions can only execute arithmetic operations (addition, subtraction, multiplication, division) and square roots (degree-two field extensions). Because doubling a cube requires a cube root (degree 3) and pi is transcendental, they cannot be constructed.
Chapter Exercises
Exercise 1: State the permissible operations of an unmarked straightedge and a compass in Euclidean geometry, explaining why using markings on a ruler violates the classical rules.
Exercise 2: Explain why constructing the square root of 2 is possible with compass and straightedge, whereas constructing the cube root of 2 is mathematically impossible.
Exercise 3: Describe how an unmarked straightedge and a compass can be used to transfer a given line segment AB onto an arbitrary ray originating at point P.
Solutions and Explanations
Solution 1: In classical Euclidean geometry, the straightedge is permitted only to draw a straight line segment connecting two existing points or to produce an existing segment indefinitely in a straight line. The compass is permitted only to draw a circle or circular arc with an established center and an established radius distance. Using measurement markings on a ruler violates the classical rules because it introduces empirical numerical measurement and visual parallax into a pure deductive system. Marking units replaces geometric deduction with physical estimation, whereas Euclidean constructions must establish existence and congruence purely through intersections of lines and circles.
Solution 2: Constructing a segment of length sqrt(2) is possible because square roots correspond algebraically to the solution of quadratic equations. By constructing a right-angled triangle with legs of unit length 1 using straightedge and compass, the Pythagorean theorem guarantees that the hypotenuse has length sqrt(1^2 + 1^2) = sqrt(2). Straightedge and compass operations can generate any number formed by field operations and successive square roots. By contrast, constructing the cube root of 2 (cbrt(2)) requires solving the cubic equation x^3 - 2 = 0. In abstract algebra, Wantzel proved that a geometric length can be constructed if and only if the degree of its minimal algebraic polynomial over the rational numbers is a power of 2. Because x^3 - 2 = 0 is irreducible and has degree 3 (which is not a power of 2), cbrt(2) cannot be constructed with compass and straightedge.
Solution 3: To transfer segment AB onto a ray originating at point P: place the sharp needle point of the compass at endpoint A, and adjust the pencil opening until the pencil tip rests precisely on endpoint B. Without altering the compass width, lift the compass and place the needle point at the ray's initial point P. Swing a circular arc that intersects the ray at a point Q. The resulting segment PQ has length exactly equal to AB, because segment PQ is the radius of a circle of radius AB centered at P.