Matpic
mathematics, in pictures
The collection

Every essay — page 30

Page 30 of 50, continuing through the fields in the same order.

Geometry Analysis Algebra Discrete Topology Probability Number Dynamics Logic Computation Applied What's new Series Concepts Search

Number

The whole numbers, and how much structure they turn out to have.

How the abundancy σ(n)/n is distributed, up to 1,000,000. The share of numbers up to 1000000 whose ratio σ(n)/n is at least t, for t from 1 to 4. It is 0.2475 at two, 0.0202 at three and 0.00023 at four, with a steep fall just above one, where the numbers with no small prime factor sit.

Why a quarter of numbers overshoot

6 figures The tangent built from a continued fraction. The curve tan x on (−1.55, 1.55) with 4 of Lambert's convergents: a straight line, then rational curves that bend ever closer to the tangent and follow it towards its poles.

The fraction Lambert built for the tangent

5 figures The continued fraction of e. Bars for the first 30 continued-fraction terms of e: mostly ones, with every third bar rising in a straight staircase, 2, 1, 2, 1, 1, 4, 1, 1, 6, ….

The pattern in e's continued fraction

5 figures 441 factored two ways among the numbers of the form 4k + 1. Two factor trees for 441 among the Hilbert numbers, those one more than a multiple of four: one splits it as 9 times 49, the other as 21 times 21, and every factor is irreducible there.

A factorisation that hides its primes

6 figures Where discs of radius one cover the lattice, and where they leave holes. Six lattices of algebraic integers drawn as points in the plane with a unit disc around each; for five of them the discs cover the whole plane and for the sixth, the integers of the field of the square root of minus nineteen, uncovered holes remain.

Factoring uniquely with no way to divide

7 figures A witness that 97 is prime: 5 has order 96. A table of the checks Lucas's test makes on 97 with base 5: the power (n − 1)/q for each prime q dividing n − 1, none of which is 1.

An order that proves a prime

5 figures The Fermat quotient of 2 at every prime up to 4000, and where it is 0. A scatter of the Fermat quotient of 2 modulo p, divided by p, against p for the primes up to 4000; the points spread evenly between zero and one and reach zero at the Wieferich primes.

Two primes where Fermat holds twice

5 figures The solutions of x² − 2y² = N, class by class. Rows for several right-hand sides N, each marking the solutions of x² − 2y² = N at the logarithm of x + y√2, coloured by class, over alternately shaded windows one unit-step wide.

Two families of solutions, and a box that holds both

5 figures How many digits Pell's first solution has, for D up to 1000. A scatter of the digit count of the smallest solution of Pell's equation against D, with the record-setting values ringed and labelled.

Sixty needs two digits and sixty-one needs ten

6 figures Random partitions of 1,000, scaled, against their limit shape. The outlines of 4 uniformly random partitions of 1000, scaled by the square root of 1000, lying close to the curve e^(−cx) + e^(−cy) = 1 with c = π/√6.

The shape a random partition takes

5 figures Two ways of counting that agree at every number. For n up to 40, the counts of partitions with gaps of at least two against partitions into parts congruent to 1 or 4 mod 5, on a logarithmic scale, equal at every n, with the second identity's counts beside them.

Two counts that agree for no visible reason

5 figures Numbers whose divisors add to two, three, four, five and six times themselves. A table of multiperfect numbers with the multiple their divisor sum makes of them, the number itself and its factorisation into prime powers.

Divisors that add to three times the number

5 figures Numbers up to 600 that share their abundancy. A scatter of abundancy against n with horizontal segments joining numbers that have exactly the same abundancy.

A ratio nobody else has

5 figures The next sum of two squares after 150. A quarter of the circle of radius √150 on the integer lattice, with the column x = 12 and the first lattice point above the circle in it, (12, 3), on the circle of radius √153.

The wait for the next sum of two squares

5 figures From a rational point on x² + y² = 17 to a whole one. The circle of radius √17 on the integer lattice, a rational point on it, and 4 reflections through nearest lattice points, the denominators 3757, 205, 25, 5, 1, ending at (1, 4).

A fraction on the circle forces a whole point

5 figures Selberg's parity example: the same sieve data, the primes on one side and nothing on the other. Horizontal bars for the numbers up to 100000 with an odd and an even count of prime factors, before sifting (50144 and 49855) and after sifting by the primes below √100000 (9527 and 0).

Two halves a sieve cannot tell apart

6 figures Prime pairs a fixed distance apart, counted, against Hardy and Littlewood's prediction. Bars for the number of prime pairs (p, p + d) up to 2000000 for even d from 2 to 60, jagged with peaks at multiples of 6 and 30, each with the Hardy–Littlewood prediction marked.

The patterns primes are allowed to make

6 figures The 46 Farey fractions of order 12, and how far each strays from even spacing. Farey fractions of order 12 against 46 evenly spaced points, with the deviation of each drawn as a bar; largest deviation 0.0616.

How evenly the fractions spread

6 figures The 4 reduced forms of discriminant −84, each in its place. The reduced binary quadratic forms of discriminant −84 (x² + 21y²; 2x² + 2xy + 11y²; 3x² + 7y²; 5x² + 4xy + 5y²) plotted at their roots in the upper half-plane, all inside the modular fundamental region.

Counting the classes that break factorisation

6 figures The necklaces of 7 beads with 3 black. C(7, 3) = 35 arrangements in 5 rotation classes of sizes 7, 7, 7, 7, 7.

The row that proves a prime

5 figures How often 2 is a primitive root, measured against the prediction. base 2: 37.429% of primes up to 2000000, predicted 37.396%.

How often two generates every remainder

5 figures Which D up to 400 make x² − Dy² = −1 solvable. D from 2 to 400: 69 solvable, 302 blocked by 4 or a prime 4k + 3, 9 unsolvable with no such obstruction, first at 34.

When minus one can be reached

6 figures The first 600 terms of the continued fraction of ∛2. Partial quotients of ∛2 computed exactly: 1, 3, 1, 5, 1, 1, 4, 1, 1, 8, 1, 14, 1, 10, 2, 1, 4, 12, 2, 3 …; the largest in the first 600 is 7451.

A cube root that looks like chance

6 figures Class numbers of x² + ny², with Euler's idoneal numbers marked. A scatter of class number against n up to 2000, on a logarithmic scale, with the 65 idoneal numbers marked on the power-of-two levels.

Euler's sixty-five convenient numbers

6 figures