Matpic
mathematics, in pictures
Concept

Figurate numbers

The counts of dots that fill a regular shape of growing size — triangles, squares, pentagons and on, or pyramids in three dimensions. Each is a running total of an arithmetic sequence, and which numbers are sums of a few of them has exact answers that Fermat began to state.

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

The sum of the first 6 squares, as a staircase over a curve. Bars of height k^2 for k from 1 to 6, totalling 91, drawn over the curve y = x^2, whose area up to 6 is 72.00. The slivers between staircase and curve hold 19.00, close to half the last bar.

Sums of powers, read off a staircase

Add the first n squares, or cubes, or seventh powers, and the answer is always a polynomial in n. Its first term is the area under a curve, its second is half of the last step, and every term after that is a correction for the corners of a staircase — which is where the Bernoulli numbers come from, and why they eventually grow without bound.

geometry · Figurate numbers The fewest pentagonal numbers adding to each number up to 120. Fewest pentagonal numbers summing to 1..120; the most ever needed up to 20000 is 5, by 9, 21, 31, 43, 55, 89.

Six numbers that need five pentagons

In 1638 Fermat wrote that every whole number is a sum of three triangular numbers, four squares, five pentagonal numbers, six hexagonal numbers, and so on for every polygon — and that he had a proof he would not write down. The claim is true; Cauchy proved it in 1813. What the claim hides is how unequal the cases are. Triangles and squares need their full count infinitely often. For pentagons, only six numbers ever need all five — 9, 21, 31, 43, 55 and 89 — and from hexagons on, two apiece.

geometry · Figurate numbers

Named alongside it

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

Triangular numbersApproximationAsymptotic seriesError termExhaustive searchGnomonIntegralPolynomialQuadratic formRiemann sumSum of squares

All concepts