Trisecting a Line Segment (With World Record Efficiency!)
Trisecting a Line
In high school geometry, one of the most useful ruler and compass constructions is bisecting a line segment. This beautiful construction can be done with only two circles and one line.
Euclid's very first proposition contains the essence of this construction, though he does not explicitly bisect a segment until the tenth proposition.
But what if we wanted to trisect the line segment? Given a line with segment \(AB\), construct a point \(F\) on the segment so that \(AF = (1/3) AB\), using the classical straightedge and compass.
This construction uses two circles and four additional lines. Certainly two is the fewest number of circles that is possible, since one needs two circles to construct a point not on the given line through \(AB\).
Can we do better than two circles and four lines?
This elegant construction takes two circles and only three additional lines. (Here is a proof why it works.)
What if one allows a third circle?
We have used three circles and two additional lines, which is Hartshorne's "par 5." (Here is a proof.)
If we wanted to use circles and no additional lines, how many would it take?
Only four circles, one under "par"!
Here is a proof. This construction can be generalized to construct a segment of length \(1/n\) by replacing the circle of radius 3 by one of radius \(n\).
Four circles is in fact the best possible, since three circles or three circles and one line cannot suffice (details). Nor are two circles and two additional lines enough to trisect the segment (details).
By the way, it is impossible to trisect an arbitrary angle with unmarked ruler and compass.
(See also the Mohr-Mascheroni and Poncelet-Steiner constructions.)
Styer, Robert, "Trisecting a Line Segment (With World Record Efficiency!)," Loci (October 2009), DOI: 10.4169/loci003342
Be the first to start a discussion about this article.