Every essay — page 3
Geometry Analysis Algebra Discrete Topology Probability Number Dynamics Logic Computation Applied What's new Series Concepts Search
Geometry
Shapes, and the arguments that can be made by rearranging them.
Three triangular numbers, and no fewer
On 10 July 1796 Gauss wrote in his diary: ΕΥΡΗΚΑ — num = Δ + Δ + Δ. Every whole number is a sum of three triangular numbers. Two are not enough, and not by a little: the numbers that are sums of two thin out to a share of nought. Both facts are statements about squares in disguise, and one picture translates them.
Three ordinary lines from a count
Kelly's proof finds one line through exactly two of the points by minimising a distance. Melchior, seven years earlier, had found three — by turning every point into a line and counting the corners, edges and regions of the picture that results. Euler's formula for the projective plane does the rest, and it says exactly which configurations have no more than three.
The fewest ordinary lines a polygon allows
Take the corners of a regular polygon and add the points at infinity where its parallel chords meet. Every chord then carries three points, the line at infinity carries all the new ones, and the only lines left with exactly two points are the tangents at the corners — half as many as there are points. Dirac guessed in 1951 that nothing does better, and Green and Tao proved it in 2013.
One number for every chord through a point
Draw any line through a point and let it cut a circle twice. The two distances from the point to the circle multiply to the same number whichever line is drawn — inside, outside, or grazing as a tangent. The number belongs to the point, and the reason it does not depend on the line is the inscribed angle: two chords through a point cut out two triangles with the same angles.
Every side measured by one diameter
In any triangle, divide each side by the sine of the angle opposite it: the three answers are equal. That much is the law of sines, and it is usually left there. The common answer has a name — it is the diameter of the circle through the triangle's corners — and the reason is the inscribed angle once more. It is also why the sine was first a half-chord, why Ptolemy's theorem is the addition formula, and why a circle can hold infinitely many points all at rational distances from each other.
Seven pieces and an equilateral middle
Morley's theorem has two proofs worth knowing, and they run in opposite directions. The trigonometric one starts from the triangle and computes each side of the inner one as 8R sin α sin β sin γ, symmetric in the three angles. Conway's starts from an equilateral triangle, builds six pieces round it from their angles alone, and shows they fit — so the triangle they make is whatever triangle was wanted, and its middle is equilateral because it was built that way.
Eighteen equilateral triangles
Every angle of a triangle has three trisectors, not one, once the angle and its outside are both counted. Choosing one at each corner gives twenty-seven ways to cut out a triangle, and eighteen of them give an equilateral one. The nine that fail are exactly the choices whose labels add to 2, 5 or 8 — and all eighteen equilateral triangles have their sides in the same three directions, fixed by a third of the difference between two angles.
The player who meets the first long run
Turn Euclid's algorithm into a game: two players take turns cutting squares off the rectangle, any number from the current run, and whoever cuts the last one wins. The whole game is decided before it starts — by whether the ratio of the sides is more or less than the golden ratio, which is the same thing as how many runs of length one come first.
The remainders that count the roots
Run Euclid's algorithm on a polynomial and its derivative, flipping the sign of each remainder, and write down the signs of the whole chain at any point. The number of sign changes drops by exactly one each time the point passes a real root — so the roots in any interval can be counted, exactly, without finding a single one.
The diagonal no unit measures
Draw the five diagonals of a regular pentagon and they make a star with a smaller pentagon at its centre. Subtract the side from the diagonal and what is left is the smaller pentagon's diagonal; subtract that from the side and what is left is its side. The pentagon has handed back a smaller copy of itself, and it will do so for ever — which means no unit, however small, measures both the side and the diagonal an exact whole number of times.
Tiles that never repeat
Two rhombs with angles taken from the pentagon, cut each into halves, and cut each half into smaller copies of the two halves by a fixed rule. Repeat, and the pieces fill the plane with no gaps and no overlaps, in a pattern with five-fold stars everywhere and no period anywhere. The reason it cannot repeat is a single number: thick tiles outnumber thin ones by φ, and a repeating pattern would make that ratio a fraction.
The least wall for equal rooms
Divide the plane into rooms of equal area using as little wall as possible, and every wall does double duty. Bees settled on hexagons long ago, and the proof that nothing does better — not even rooms with curved walls — came in 1999. The straight-walled half of it is two facts: the rooms of any division average six sides, and more sides never cost more wall.
Every chord slid to the middle
Take a shape, pick a line, and slide every chord that crosses the line at right angles until the line cuts it in half. The area cannot change, the boundary can only get shorter, and the result is symmetric. Do it again about another line, and another, and the shape is squeezed towards a disc — unless the lines are badly chosen, in which case it stops short.
Analysis
Limits, curves, and what happens when the going does not stop.
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.
Adding up rectangles until they stop being rectangles
The integral is defined as a limit of sums of rectangles. The definition is exact, the picture is honest about what it costs, and the gap between them is the whole subject.
A square wave built entirely out of round ones
Add enough sine waves together and flat tops and vertical cliffs appear from nothing. Almost — there is a 9% overshoot that never goes away, and it is not a bug.
The curve that is its own slope
There is exactly one shape of exponential curve whose steepness at every point equals its height at that point. The number that produces it is 2.71828…, and it was not chosen for elegance.
A sum whose terms vanish and whose total does not
Add a half, a third, a quarter, and keep going. The terms shrink to nothing and the total passes every number there is — but so slowly that no computation will ever watch it happen.
One point's worth of information
A Taylor series claims that everything a function does, everywhere, is encoded in its behaviour at a single point. That claim is extraordinary, it is often true, and the cases where it fails are the interesting ones.
The slope of a single point
A slope needs two points. A derivative is the slope at one. The construction that bridges the gap is a sequence of secants, and the whole difficulty of calculus is in what "the limit of that sequence" is allowed to mean.
The same terms, in a different order, adding to whatever is asked
Flip alternate signs in the harmonic series and it converges. Reorder the terms — add nothing, remove nothing — and it converges to any number chosen in advance. Addition stops being commutative, and the picture shows where it goes.
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.
The sum that fits in one square
Half, then a quarter, then an eighth, forever. Adding infinitely many things sounds like it should give infinity, and the picture that says otherwise is a square with a corner left uncut.
The staircase that is not the diagonal
A staircase can be made to follow a quarter circle as closely as anyone likes. Its length is 2 at every stage and the arc's length is 1.5708, and no amount of refinement closes the gap — which is a fact about length rather than about staircases.