Theme

The same thing twice — page 1

Two constructions that look unrelated and turn out to be the same object wearing different clothes.
same four trianglessame four triangles Geometry

Two squares, four triangles, and no algebra

The Pythagorean theorem is usually met as a formula to be memorised. It is much better met as a rearrangement that can be checked by eye.

circleplane levelellipsetilted a littleparabolaparallel to the sidehyperbolasteeper still Geometry

One cone, four curves

The circle, the ellipse, the parabola and the hyperbola look like four separate objects with four separate equations. They are one object, cut at four angles.

πθ1−1sin Analysis

A sine wave is a circle seen from the side

Sine is introduced as a ratio in a right triangle, which is true and explains nothing about why its graph is a wave. There is a better picture.

realimaginaryθφzwzw|z| = 1.49|w| = 1.08|zw| = 1.61θ + φ = 76° Algebra

Multiplying is turning

Complex numbers are introduced as an algebraic dodge for square roots of negatives. They are better understood as the arithmetic of rotation, at which point every rule stops needing to be remembered.

Discrete

Pascal's triangle, in two colours

Shade the odd numbers in Pascal's triangle and a fractal appears. Nothing was designed to produce it, and the same shape arrives independently from a completely different construction.

the one point with nowhere to goa circle on the sphere……is a circle on the planethe plane runs on past the edge of the drawing Topology

A sphere is a plane plus one point

Remove a single point from a sphere and what is left can be flattened out to cover an infinite plane exactly. The construction is one straight line, repeated.

23581321 : 13 = 1.6154 (φ = 1.6180) Geometry

The rectangle that eats itself

Cut a square off a golden rectangle and what is left is a golden rectangle. That single property is the whole of the golden ratio, and it explains both what the number really does and most of what is wrongly claimed for it.

abshadowa · b = 10.00= 2.43 × 4.12 Algebra

The dot product is a shadow

Multiply the matching coordinates and add them up. That rule explains nothing, and it hides the fact that the answer is a length — how far one arrow reaches along another, times how long that other one is.

14 of them Discrete

One sequence, counting everything

The number of ways to cut a polygon into triangles is 1, 2, 5, 14, 42. So is the number of ways to bracket a product, the number of binary trees, and the number of paths that never cross a diagonal. They are the same count, and the reason is one picture.

VEFV − E + Ftetrahedron4642cube81262octahedron61282dodecahedron2030122icosahedron1230202 Topology

Every corner pays for itself

Count the corners of any solid, subtract the edges, add the faces. The answer is two. It is two for a cube, for a pyramid, for a football, for anything squashed or stretched — and the number is measuring the shape it is wrapped around rather than the shape itself.

Geometry

The plane, divided by whoever is nearest

Scatter some points and colour every other point of the plane by which one is closest. The result is a tiling nobody designed, and its dual triangulation has a property that no part of the construction mentions.

00.511.522.5300.51fthis areaheight 1.12900.511.522.5300.511.522.5where the area stopsarea so farslope 1.129 Analysis

Area is the undoing of slope

Two operations invented for unrelated reasons — measuring a region and measuring a rate — turn out to be inverse. The picture is two panels sharing one axis, and the claim is that the lower curve's steepness is the upper curve's height.

zeroa tangent field98 arrows, every onechecked perpendicularto the radius2 zerosand the sum of theirindices is forced to be 2 Topology

Nothing on a sphere can be combed flat

Point an arrow along the surface at every place on a sphere, continuously, and somewhere an arrow has to vanish. On a doughnut it can be done. The difference between the two is a number that was already known from counting corners.

=φ1 +11 +11 +11 +11 +11[1; 1, 1, 1, 1, 1, …] — and it does not stop Number

A fraction that never closes

Euclid's algorithm throws away everything except the number of squares it peeled at each step. Those counts are a second name for the number it started from — one that terminates exactly when the ratio is a ratio.

11122113233231142535344353524115 fractions, all in lowest terms, none of them twiceand left to right they are already in order Number

Every fraction, exactly once

Take two fractions, add the tops and add the bottoms. That is not how fractions are added, it is not an average, and repeating it produces every positive rational exactly once, already in lowest terms.

first split 2 × 180first split 18 × 203602180229022245222315222335360182029210233225both end in 2 × 2 × 2 × 3 × 3 × 5the same primes, the same number of times, in a different order — and that is the theorem Number

One way to factor, and no other

Every number breaks into primes in exactly one way. That is so familiar it is hard to see as a claim at all — until it is put beside an arithmetic where it is false, and where six has two different factorisations that cannot be reconciled.

12 lattice points sit on the circle — and 4 × (3 − 0) = 12divisors of 25: 1, 5, 25 are 1 mod 4, none are 3 mod 4 Number

Two squares, and a lattice

Whether a prime is the sum of two squares is decided entirely by its remainder on division by four. A fact about circles is settled by a fact about remainders, and neither statement contains any hint of the other.

(−1, 0)3/4 → 7, 24, 252/3 → 5, 12, 131/2 → 3, 4, 52/5 → 21, 20, 291/3 → 8, 6, 101/4 → 15, 8, 17each line of rational slope meets the circle a second time at a rational pointclearing the denominators turns that point into a Pythagorean triple, and every triple arises this way Number

Every triple, on one circle

Draw a line of rational slope through a single point of a circle. Wherever it comes out is a rational point, and clearing the denominators turns it into a Pythagorean triple — so every triple there is comes from one line through one point.

xf(x)x ↦ 3.2x(1 − x), started at 0.2the orbit settles into a cycle of 2 points Dynamics

The staircase that shows the whole orbit

Take a number, feed it to a rule, feed the answer back in. There is a way of drawing that on the rule's own graph which turns the entire future of a starting point into a shape — and the shape is legible.

r = 2.6slope in (−1, 1) — attractingr = 3.3slope outside (−1, 1) — repellingat r = 2.6 the slope at the crossing is -0.60 and the staircase walks inat r = 3.3 it is -1.30 and the staircase walks out — the crossing has not moved, its steepness has Dynamics

A point that pulls, and a point that pushes

Every crossing of a curve with the diagonal is a value the rule leaves alone. Whether anything ever arrives there is decided by one number — the slope at the crossing — and the picture makes the reason obvious.

perioddoubles at r =gap ratio22.99830443.4488464.743183.5438344.6385163.5643124.6464323.568719each doubling is found by bisection, and each ratio is measured from the two gaps beside itthe last one is 4.646; Feigenbaum's constant is 4.6692, and it is the same for any map with a smooth hump Dynamics

A constant that does not care which map

The gaps between successive period doublings shrink by a factor. Measure that factor for the logistic map and you get 4.669. Measure it for a completely different map and you get 4.669, and nobody expected that.

0rthe average of log |f′| along the orbit — positive means nearby orbits separateat r = 4 it is log 2 = 0.6931, which is the one value here that can be checked exactly Dynamics

How fast two orbits part

The word "sensitive" is an adjective. Averaging the logarithm of one derivative along an orbit turns it into a number — one that says how many steps of prediction the map allows, and whose sign says whether it allows any.

rule 90: the eight neighbourhoods, read as the bits of 90and this is Pascal's triangle modulo two, checked cell by cell against the binomial coefficients Dynamics

Eight rules and a triangle

A row of cells, each one deciding its next state from the three above it. Eight cases, one bit of output each — a rule that fits in a byte, and 256 of them in total. One of those bytes draws Pascal's triangle.

0123456721 steps of a rotation by φ − 1 of a turnthe gaps between neighbouring points take 2 distinct values — never more than three, at any number of steps Dynamics

Three gaps and no more

Turn a circle by the same irrational angle over and over. The points never repeat and never settle, and yet at every single stage the gaps they leave take at most three different lengths — never four, at any number of steps, for any angle.

All themes