Theme

Proof without words — page 5

Arguments that are complete once they have been looked at properly. Not illustrations of proofs — the proofs themselves.
The roots of every polynomial of degree 11 with coefficients ±1. 22528 roots; radii from 0.500 to 2.000; 42% within 0.1 of the unit circle. Algebra

Random roots crowd onto the circle

The roots of a random polynomial are not scattered across the plane. They gather within about 1/n of the unit circle, and their directions spread evenly round it. Paul Erdős and Pál Turán proved in 1950 that this is not a fact about randomness at all: any polynomial whose coefficients are all of roughly one size has roots whose directions are nearly even, and the inequality says exactly how nearly, in terms of nothing but the coefficients.

The butterfly: wings that cut a chord equally. A circle with chord PQ, its midpoint M, two chords through M, and the wings AD and BC meeting PQ at X and Y, each 0.476 from M. Geometry

Wings that cut a chord equally

Take a chord of a circle and its midpoint. Draw any two more chords through the midpoint, join their ends crosswise, and the two crossing lines — the butterfly's wings — cut the first chord at equal distances from the middle. The proof is the inscribed angle and the power of a point working together; move the point off the middle and what survives is a law about reciprocals; replace the circle by any conic and the theorem does not notice.

The point nearest in total to three corners, and the lines that find it. A triangle with equilateral triangles on its sides, the three lines from each corner to the opposite apex meeting at the Fermat point, where the sides subtend 120°; least total distance 7.7090. Geometry

The point nearest in total to three corners

Three towns want one depot with the least total road to all of them. The answer is not the centroid or any of the classical centres: it is the point from which every side of the triangle is seen at 120°, found by building equilateral triangles on the sides. Three straight lines through it have the same length, and that length is the least total. When an angle of the triangle reaches 120°, the answer jumps to that corner — and the same 120° rule shapes soap films and the shortest networks joining many points.

The three-sphere filled with trefoils. Seven fibres of the (2,3) Seifert fibration of S³, stereographically projected: five trefoils and two exceptional circles; pairwise linking numbers 6, 3, 2 and 1 verified. Topology

Torus knots that fill the three-sphere

Hopf filled the three-sphere with circles, every two linked once. Let the circles turn at two different speeds instead — p turns one way while they make q the other — and the three-sphere is filled with (p, q) torus knots, trefoils when p and q are 2 and 3, every two of them linked exactly pq times. Two exceptional fibres remain plain circles; every knot links them q and p times, and they link each other once. Computed from the drawn curves for ten fibrations, every pair comes out at pq to six decimal places.

An astrolabe is a stereographic projection in brass. Latitude 52°: 16 engraved curves, worst departure from a circle 8.88e-15; altitude-circle formulas within 2.2e-16; Cancer radius 0.6564, Capricorn 1.5235 of the equator's. Topology

An instrument that computes with circles

An astrolabe is a stereographic projection of the sky cut in brass. Because the projection sends circles to circles, every line on it can be drawn with compasses, and turning the star map over the plate is a rotation that answers questions in spherical astronomy without a single calculation. Of the lines medieval makers engraved, one family is not a circle on the sphere — and the arcs they drew for it miss the truth by a third of a millimetre.

Ten points, thirteen halving lines. points 0.253,1.518 0.242,0.216 0.717,0.119 -0.427,0.222 0.554,0.409 0.299,0.346 0.806,0.006 -1.101,0.118 1.209,-0.414 0.445,0.714; halving pairs 0-9 1-2 1-3 1-5 2-4 2-6 3-5 3-7 4-5 4-9 5-6 5-9 6-8; degrees 1,3,3,3,3,5,3,1,1,3. Topology

Lines that leave half on each side

Scatter ten points on a page and draw every line through two of them that leaves four on each side. There are at least five such halving lines and at most thirteen, and every point lies on an odd number of them. Both facts come from turning a line through half a revolution, the argument that halves two shapes with one cut. How many halving lines n points can have is the k-set problem, and its answer lies somewhere between a little more than n and n to the four-thirds.

Dudeney's four pieces, as a triangle and as a square. Dudeney dissection of the equilateral triangle of side 2 (area 1.732051) into a square of side 1.316074: J at (0.25451, 0.44082), K at (0.75451, 1.30685); piece areas 0.40568, 0.68076, 0.39787, 0.24775. Computation

Dudeney's four pieces are the fewest

In 1902 Henry Dudeney cut an equilateral triangle into four pieces that rearrange into a square, and hinged them so the triangle folds into the square in one motion. For a hundred and twenty-two years nobody could say whether three pieces would do. In December 2024 Erik Demaine, Tonan Kamata and Ryuhei Uehara proved they would not. The construction, built exactly here, shows why four is natural; the proof shows why it is necessary.

Four perpendiculars from inside, two from outside. Normals to the ellipse x²/4 + y²/1.44 = 1 from (0.55, 0.18) inside its evolute (4) and from (2.3, 0.9) outside it (2), with the evolute drawn. Geometry

Four perpendiculars to an ellipse

From a point near the centre of an ellipse, four lines meet the curve at right angles; from a point far away, only two. Apollonius found the boundary between the cases twenty-two centuries ago. It is the curve traced by the ellipse's centres of curvature, a four-cusped star, and it is also the envelope of all the normals, the fold in a family of lines where two perpendiculars merge and vanish.

All themes