Matpic
mathematics, in pictures
Concept

Squaring the circle

The problem of constructing, with straightedge and compasses alone, a square whose area equals a given circle's. It is impossible, because it would require constructing the square root of π, and π is transcendental; curves drawn by other means, such as a spiral, can do it.

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

Looking for a polynomial with π as a root. A table of the closest an integer polynomial of each degree comes to vanishing at the number, over a bounded search.

The circle that will not square

The other three impossibilities are a number having the wrong degree. This one is a number having no degree at all — and that is a claim no finite search can establish, which makes it the one place in this field where the picture has to admit what it is not doing.

computation · Constructible numbers 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.

computation · Neusis

Named alongside it

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

Constructible numberPiAlgebraic numberAngle trisectionArchimedean spiralDegree of an extensionMethod of exhaustionMinimal polynomialStraightedge and compassTangentTranscendenceTranscendental number

All concepts