Matpic
mathematics, in pictures
Theme

The same thing twice — page 16

Two constructions that look unrelated and turn out to be the same object wearing different clothes.
Every slice of a tilted bell is a bell, centred off the axis. Contour ellipses of a two-variable bell with correlation 0.6, five vertical slices drawn as bells, their centres on the line y = 0.6x, and the ellipses' long axis on the diagonal y = x. Algebra

Regression is a square completed halfway

A bell in two variables, sliced at a fixed x, is a bell in y — and completing the square in y alone says where it is centred: at ρx, on a line flatter than the ellipse's own axis. That gap is regression to the mean, and the same completion says it runs backwards in time just as well as forwards.

 Walking a figure eight, and the sine it makes. Bernoulli's lemniscate with 24 equally spaced stations, and the graph of the distance from its centre against arc length walked: the lemniscatic sine, period 2ϖ ≈ 5.2441, beside an ordinary sine of the same period. Analysis

The sine of a figure eight

Walk round a circle and read the height against the distance walked, and the reading is the sine. Do the same on Bernoulli's figure eight and the reading is a new function, with an arc integral that has t⁴ where the circle's has t², a length Gauss found inside an average, two periods instead of one — and exactly the same list of equal divisions that compass and straightedge can draw.

 A function on nine points, and the tree with two marks it becomes. Left: a function on 9 points as arrows, with cycles through 2, 5, 7 and trees hanging into them. Right: the tree Joyal's rule makes from it, a path from head 7 to tail 2 with the same trees hanging below. Discrete

Every function is a tree with two marks

There are n to the n functions from n points to themselves, and n to the n − 2 trees on those points. André Joyal noticed in 1981 that the missing factor of n² is a choice of two points — a head and a tail — and that a function, read the right way, simply is a tree with a head and a tail. The reading turns Cayley's formula into one line and hands over a fact about random trees from the birthday problem.

 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.

 Two ways to cut a hexagon, one total of radii. A cyclic hexagon triangulated two ways with the incircles drawn; the inradii sum to 1.1622 both times. Geometry

A total hung in a temple

Put a polygon's corners on a circle, cut it into triangles, and add up the radii of the circles inscribed in the triangles. Cut it a different way and the total is the same — for all fourteen ways of cutting a hexagon, to every digit. The fact was painted on a wooden tablet in a Japanese temple around 1800, and the reason for it is a theorem about one triangle and the distances from its circumcentre to its sides.

 Twelve's divisors make every total up to twenty-eight. Stacked bars for each total from 1 to 28, each built from distinct divisors of 12. Number

Divisors that make every amount

Twelve's divisors — 1, 2, 3, 4, 6, 12 — can be chosen to add to every whole number from one to twenty-eight. Numbers like that are called practical, a test on their primes decides them, and they turn out to be counted like the primes: about 1.336 x / log x of them below x. For practical numbers Goldbach's conjecture and the twin conjecture are theorems.

 A loop that cannot be undone, and the surface it bounds. The loop aba⁻¹b⁻¹ on the figure eight, which cannot be pulled tight, beside a square whose boundary reads the same word, showing that the loop bounds a surface. Topology

What homology forgets about a loop

Let the letters of a loop commute and the loop group of a space becomes its first homology group: a loop now records only how often it went round each hole. What is thrown away is exactly the loops that bound a surface. On the figure eight that is nearly everything — of the loops of sixty letters that homology calls nought, about one in 6,700 is a loop that actually shrinks.

 Pascal's triangle mod 2, and the room for the 2-dimensional projective space. Pascal's triangle with odd entries filled, rows 0 to 15, with row 3 marked as the tangent ledger 1 + a + a² and row 1 as the normal ledger 1 + a. Topology

The room a projective space needs, read off Pascal's triangle

The projective plane cannot sit in three-dimensional space without crossing itself, and the reason can be written as arithmetic: a polynomial that records how a shape twists, which a room must cancel. For the n-dimensional projective space that polynomial is a row of Pascal's triangle read mod 2, its inverse is another row, and the inverse's last term says how many extra dimensions the room must have — exactly enough, at every power of two.

All themes