Matpic
mathematics, in pictures
Concept

Trisection

The division of an angle into three equal parts, which straightedge and compass cannot perform in general. Its impossibility follows from the cube roots involved, and it is one of three classical constructions ruled out by the same argument.

Named by 5 essays across 2 fields — each of them below, with the objects they name alongside it.

Which angles with a rational cosine can be cut in three. A dial of angles marked trisectable or not, beside the cubic whose rational roots decided each one.

The angle that will not divide by three

Halving an angle costs one circle. Cutting it in three means solving a cubic, and for sixty degrees that cubic has no rational root — but plenty of angles do trisect, and which ones is a question with a countable answer.

computation · Constructible numbers Trisect every angle, and an equilateral triangle appears. A triangle with angles 78°, 54°, 48°, its six angle trisectors, and the triangle whose corners are where the trisectors nearest each side meet. That inner triangle is equilateral, which is Morley's theorem.

Three trisectors and a triangle nobody expected

Cut every angle of a triangle into three. The trisectors nearest each side meet in three points, and those three points are always the corners of an equilateral triangle — for every triangle there is, with no exceptions and no reason anybody finds obvious.

geometry · Morley 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.

computation · Neusis 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.

computation · Neusis 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.

computation · Neusis

Named alongside it

The objects these essays reach for when they reach for this one.

Constructible numberOperation setCubicDegreeField extensionMarked straightedgeNeusisStraightedge and compassAngleConstructionCosineCounterexample

All concepts