Series

Neusis — the series

6 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. An angle of 60° cut in three with one mark. A circle with a marked point on it, a straightedge laid through that point so the segment between the extended diameter and the circle equals the radius, and the third-angle it makes.

    The mark that changes what is reachable

    Two thousand years of failure to trisect an angle with compass and straightedge was failure at a stated set of operations. Scratch two marks on the straightedge and Archimedes trisects any angle in four steps — because the new operation solves a cubic, and the old ones could only ever solve quadratics.

    part 1 · computation
  2. Which polygons two instrument sets reach, up to 24. A strip of the polygons from 3 to 24 sides, each marked according to whether compass and straightedge reach it and whether a conic or a trisector does, with the degree of its cosine beneath.

    Two instruments with one reach

    Allow every conic to be drawn at will, or allow an angle to be cut in three. The two permissions look nothing alike and reach exactly the same numbers — because what an operation buys is a degree, and both of these buy three.

    part 2 · computation
  3. The polynomial the 11-sided polygon needs. The minimal polynomial of twice the cosine of the central angle of an 11-sided polygon, with its degree, the rational root test applied to it, and whether that degree is reachable by cubic steps.

    A quintic a sliding mark reaches

    The eleven-sided polygon needs a number of degree five, and five is not a product of twos and threes — so no conic and no angle trisector reaches it. A ruler with two scratches does, which places the marked ruler strictly above the conics and leaves its exact reach unknown.

    part 3 · computation
  4. Hippias's quadratrix, traced by two uniform motions. A unit square with a quarter circle, several positions of a turning radius and a falling horizontal line, their crossings, and the curve through them ending on the base at 2/π.

    A curve that divides any angle

    Let a radius turn at a steady rate while a horizontal line falls at a steady rate, both finishing together, and mark where they cross. The curve they trace turns heights into angles, so dividing a height — which a ruler and compass can always do — divides the angle in the same ratio. The same curve meets its base at 2/π of the side, a length from which a square with the area of a circle follows. It reaches what no marked ruler or conic can, and the ancient objection to it is exact.

    part 4 · computation
  5. The spiral's tangent lays the circumference out straight. Spiral r = aθ to θ = 6.2832; tangent at P meets the perpendicular through O at T with OT = 6.28319 = OP × θ = 6.28319.

    The spiral that measures its own circle

    Let a ray turn steadily while a point moves steadily out along it, and the point draws Archimedes' spiral. Distance from the centre is then proportional to angle, so dividing a length divides an angle in any ratio. The spiral's second power is stranger: the tangent at the end of the first turn cuts off, on a line through the centre, a straight length exactly equal to the circumference of the circle through that end — a curved length laid out straight, and with it the circle squared. The catch is the tangent itself.

    part 5 · computation
  6. Trisecting 120° by bisection, step after step. Partial sums θ(1/4 + 1/16 + …) for θ = 120°: 30.000, 37.500, 39.375, 39.844, 39.961 degrees, approaching 40.000.

    A third reached only in the limit

    No compass-and-straightedge construction trisects every angle. But a quarter, plus a quarter of a quarter, plus a quarter of that, and so on, adds up to a third — and each of those pieces is two bisections away. So an angle can be trisected by bisecting forever, every stage exact and the shortfall shrinking to a quarter each time. The construction never ends, and that is precisely what Wantzel's proof forbids: a construction is a finite thing, and a third of a general angle is only reached in the limit.

    part 6 · computation

All series