Series

Compass-only — the series

9 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. The midpoint of a segment, drawn with a compass and no straightedge. A segment with the arcs that step its length three times round one end to reach the point twice as far away, and the further arcs that send that point back to the midpoint, every one of them a circle.

    The straightedge buys nothing

    Every point a compass and a straightedge can construct together can be constructed by the compass alone. The straightedge draws lines nobody needs; the compass does the work, and the proof that it does is an inversion performed with arcs.

    part 1 · computation
  2. The circle is used once, and its centre is the point. A circle with its centre and one diameter, a point above it, and the straightedge-only construction of the parallel to that diameter through the point.

    One circle, and a straightedge

    A straightedge alone cannot bisect a segment, so it cannot draw a parallel, so it can construct almost nothing. Draw one circle anywhere and mark its centre and everything a compass could ever have done becomes available — the circle is never needed again.

    part 2 · computation
  3. A compass that will not change its opening. A segment longer than twice the compass's fixed opening, with the opening stepped along it 2 times and the remaining piece bisected by two arcs of that same opening.

    The compass that will not open

    Fix the compass at one opening and never change it. That looks like a serious loss — a circle of a given radius through a given point is the compass's whole job — and it turns out to cost nothing at all, for reasons that are arithmetic rather than geometric.

    part 3 · computation
  4. The midpoint of AB: simplicity 11. A construction drawn step by step — the midpoint of AB, using ruler and compass — with each circle and line numbered in order and Lemoine's count of its operations beneath.

    The price of a construction

    Three theorems have shown that a compass alone, a straightedge with one circle, and a compass stuck at one opening all reach exactly the points a full set of instruments reaches. None of them said what the journey costs. Émile Lemoine priced every movement of the hand in 1888, and by his count a compass that collapses when lifted — Euclid's — pays twenty-one operations, by Euclid's own method, for what a compass that holds its opening does in four.

    part 4 · computation
  5. A straightedge construction on a circle, and the same construction moved by a map that keeps the circle. Two copies of one straightedge construction on a circle — six points, five chords and their crossings — the second the image of the first under a projective map fixing the circle. Chords and crossings correspond exactly, but the centre (orange) is carried to (0.551, 0.000).

    The centre a straightedge cannot find

    Give a straightedge one circle and its centre, and it can do everything a compass can. Take the centre away and it cannot even find it again — because to a straightedge a circle has no centre. The maps that keep a circle and its straight lines are the motions of the hyperbolic plane, and in that plane the centre is a point like any other.

    part 5 · computation
  6. The spiral of Theodorus, √2 to √17, built from square corners and a unit length. 16 right triangles with legs √k and 1 arranged in a spiral around a common corner; their long sides have lengths √2 to √17, and together they turn through 351.2 degrees.

    The lengths dividers cannot reach

    A pair of dividers carries a length from one place to another and draws nothing. With a straightedge it finds midpoints, parallels and right angles, and it draws the regular 17-gon. It cannot draw a segment of length √(1 + √2) — and the reason is not on the page at all, but in the other root of the equation that number solves.

    part 6 · computation
  7. The midpoint in the fewest moves: four with a ruler, six with the compass alone. Minimal constructions of the midpoint of AB: 4 moves with ruler and compass, 6 circles compass-only; 55 and 45611 configurations searched.

    The fewest moves to draw it

    Every construction with ruler and compass is a sequence of moves — draw this line, draw that circle — and it is natural to ask for the shortest. Nobody can answer that by cleverness alone, but a machine can answer it by trying everything: the midpoint of a segment takes four moves and no fewer, the square on it five, a third of it five. Take the ruler away and the compass pays for it: six circles for the midpoint, seven for the square.

    part 7 · computation
  8. The centre of a circle found with six circles and no straightedge. A circle with two marked points 37.3° apart and the six compass circles that construct its centre.

    The centre a compass finds in six circles

    A circle is drawn and its centre was never marked. A straightedge alone can never find it again. A compass alone can, from two points on the circle, in six circles — and a search through every construction of five circles or fewer shows that six is the least. The reason six works is an inversion that turns the circle into a straight line; the price of discarding the straightedge is exactly one move.

    part 8 · computation
  9. The price of the centre, arc by arc. 10°: 5, 15°: 4, 20°: 4, 25°: 6, 30°: 3, 35°: 6, 40°: 6, 45°: 5, 50°: 5, 55°: 6, 60°: 2, 65°: 6, 70°: 5, 75°: 4, 80°: 6, 85°: 6, 90°: 5, 95°: 6, 100°: 4, 105°: 4, 110°: 5, 115°: 6, 120°: 6, 125°: 6, 130°: 5, 135°: 5, 140°: 4, 145°: 6, 150°: 3, 155°: 6, 160°: 6, 165°: 4, 170°: 5, 175°: 6.

    The arcs that make the centre cheap

    Finding a circle's centre with the compass alone, from two points on it, costs six circles when the points are placed with no special relation — and as few as two when the arc between them is 60°. Searching every arc in steps of five degrees maps the price exactly, and it is not a smooth function of the arc: it is a list of coincidences, each one a small number of compass steps that happens to land on a chord equal to the radius.

    part 9 · computation

All series