Generator

Arithmetic on a dial of 12

A generator in the discrete library, called 42 times across 10 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

clock is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

With nothing chosen

Arithmetic on a dial of 12. A dial with 12 positions. Starting at 8 and stepping forward 9 places lands on 5, because the walk passes the top 1 time on the way.

Powers of 5 and 6 until the digits settle

Powers of 5 and 6 until the digits settle. five-adic tail 0896109004106619977392256259918212890625; six tail 9103890995893380022607743740081787109376; settled after 8: 10, 9.

Four numbers that are their own squares

Four numbers that are their own squares. n=4: 0, 1, 625, 9376.

One digit a step, none, or twice as many

One digit a step, none, or twice as many. squaring 5: 1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26; fifth powers of 6: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25; squaring 6: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1; Newton: 1,2,4,8,16,32,64,128,256,400.

Two non-zero numbers whose product is nought

Two non-zero numbers whose product is nought. 9103890995893380022607743740081787109376 × 0896109004106619977392256259918212890625 ≡ 0, sum ≡ 1 (mod 10^40).

How many own-square numbers each base has

How many own-square numbers each base has. 2:2 3:2 4:2 5:2 6:4 7:2 8:2 9:2 10:4 11:2 12:4 13:2 14:4 15:4 16:2 17:2 18:4 19:2 20:4 21:4 22:4 23:2 24:4 25:2 26:4 27:2 28:4 29:2 30:8 31:2 32:2 33:4 34:4 35:4 36:4

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

Discrete

A number that is its own square

Square 625 and the answer, 390625, ends in 625. Square 9376 and it ends in 9376. Keep extending them and two endless strings of digits appear, running leftward, each equal to its own square — and their product is nought, though neither is. Base ten does this because ten is two times five: a number in base ten is secretly a pair of numbers, one in base two and one in base five, and these two strings are the pair (one, nought) and (nought, one). In a prime base no such thing can happen.

Discrete

A root lifted one digit at a time

On a dial of seven, 3 × 3 is 2. On a dial of forty-nine the square root of 2 must reduce to 3, so there are only seven candidates, and exactly one of them works: 10. On a dial of 343 exactly one lift of 10 works: 108. Each step adds one digit on the left, found by solving a linear equation, and the digits go on for ever — a number …21216213 whose square is 2, in a world where closeness means divisibility by seven.

Number

Counting one rectangle, twice

Whether seven is a square modulo eleven, and whether eleven is a square modulo seven, are two unrelated-looking questions. Their answers are linked, and the link is a rectangle of dots counted along its rows and then along its columns.

Discrete

Multiplying every number on the dial at once

Join every residue on a dial to twice itself and the chords draw a heart-shaped curve with one cusp; join each to three times itself and the curve has two. The picture is the whole multiplication map at once, and it holds three facts: the map splits the dial into cycles whose lengths are orders, those cycles on a dial of 2ⁿ − 1 are the binary necklaces of length n, and the curve is the caustic light draws inside a cup.

Number

Necklaces that prove a theorem

Thread five beads in two colours, thirty-two ways. Two of them are all one colour; the other thirty fall into rings of five. That count, and nothing else, is Fermat's little theorem.

Discrete

Numbers that wrap

A clock does arithmetic. It has finitely many numbers, addition never leaves it, and multiplication behaves entirely differently depending on one property of the size of the dial.

Algebra

The blocks a subgroup cuts out

Take any part of a group that is closed under composition, and it slices the whole group into blocks of its own size that do not overlap. Everything Lagrange's theorem says is arithmetic about that picture — and whether the blocks can be multiplied is a separate question with a surprising answer.

Discrete

The last place in the circle

Forty-one people stand in a circle and every third is removed. Which place is safe? Counting round by hand is not necessary: the survivor is a running sum on a dial that grows by one each step. With every second person it is n's binary digits rotated by one place, which is a tidier fact than anybody asked for. With every third the rule depends on repeatedly multiplying by three halves and rounding up, and the constant it reaches, 1.62227…, has no known closed form.

Number

The two supplements, and where the eight comes from

The main law relates two odd primes to each other and says nothing about −1 or about 2. Those two are settled separately, by their own counts, and the answers arrive modulo four and modulo eight — which is a clue about where the whole subject is really taking place.

Number

Two dials at once

Watch one number on two clocks with different faces. If the faces share no factor, every pair of readings occurs exactly once — so two remainders name a number, and a hard calculation can be split into two easy ones.

The whole library · What the figures prove