One mathematical idea, worked through
Daily lessons for curious generalists, from first principles to the stranger edges of modern mathematics. Each lesson names its prerequisites before asking you to come aboard.
A repeating decimal is a long-division machine revisiting an old remainder. That loop proves the number is an exact fraction, not an approximation.
PrerequisitesFractions and long division · Multiplication by powers of ten · Solving a one-step equation
Most arrows turn when a matrix transforms the plane. Eigenvectors identify the exceptional directions that only stretch, shrink, or reverse.
PrerequisitesCoordinates and vectors in the plane · Multiplying a 2×2 matrix by a vector · Factoring a quadratic
Four symbols have five complete parenthesizations. A pentagon has five triangulations. The Catalan recurrence reveals the shared branching structure behind both counts.
PrerequisitesMultiplication and addition · Binomial coefficients · Reading a recurrence
Reflect one endpoint across a mirror and a bent route becomes straight. That single construction finds the shortest bounce and explains why the incoming and outgoing angles match.
PrerequisitesCoordinates in the plane · The distance formula · The triangle inequality
A perfect termination checker sounds like the ultimate debugging tool. Self-reference proves that no algorithm can answer correctly for every possible program and input.
PrerequisitesReading short pseudocode · Proof by contradiction · A program can be represented as data
A pure musical fifth has the ratio 3:2, but twelve such jumps overshoot seven octaves. That tiny mismatch explains why tuning is a choice rather than a solved equation.
PrerequisitesRatios and exponents · Prime factorization · Logarithms as inverse exponents
Kruskal's algorithm builds a minimum spanning tree by taking the cheapest edge that does not create a cycle—and an exchange argument explains why the greedy choice is safe.
PrerequisitesReading a weighted graph · Addition and inequalities · Basic set and grouping ideas
The arithmetic mean is more than a familiar recipe: it is the unique number that makes the total squared distance to a dataset as small as possible.
PrerequisitesArithmetic mean · Squaring positive and negative numbers · Basic algebra with sums
Quantum tunneling turns a classically forbidden barrier into an exponential filter. The wave shrinks inside the barrier, so width matters with startling force.
PrerequisitesExponents and square roots · Second derivatives as curvature · Probability between 0 and 1
Simpson’s paradox appears when separate groups point one way but their combined totals point the other. The reversal comes from unequal mixtures, not broken arithmetic.
PrerequisitesFractions and percentages · Weighted averages · Reading a two-way table
A geometric series can contain endlessly many positive terms and still have a finite sum. The remaining gap, rather than the growing list of terms, explains why.
PrerequisitesFractions · Exponents with positive whole-number powers · Finite sums
Fox tricoloring turns a knot diagram into arithmetic modulo 3. A valid coloring survives every legal deformation, so the trefoil cannot become an unknotted loop.
PrerequisitesRemainders modulo 3 · Reading overcrossings and undercrossings in a knot diagram · Following a proof by invariance
Binary entropy turns a coin's bias into a precise measure of uncertainty—and explains why one fair toss carries the most information possible from two outcomes.
PrerequisitesProbabilities between 0 and 1 · Logarithms base 2 · Weighted averages
The Euclidean algorithm keeps replacing two numbers with a divisor and remainder. Nothing common is lost, and the last remainder settles the question.
PrerequisitesWhole-number division with remainders · Factors and multiples
Classify every pair as friends or strangers. With six people, one three-person pattern becomes unavoidable—and five people show why the number is exact.
PrerequisitesCounting pairs · Odd and even numbers · Following a proof by cases
Newton’s method replaces a hard curve with an easy tangent, then repeats. For square roots, the error nearly squares itself away at every step.
PrerequisitesDerivatives of polynomials · Tangent lines · Algebra with fractions
The determinant of a two-by-two matrix is more than a memorized cross-multiplication. It records area, orientation, and whether a plane has been flattened.
PrerequisitesCoordinates in the plane · Area of a parallelogram · Dot products and vector length
Noether’s theorem turns an unchanged law of motion into a conserved quantity. The time-translation case shows, line by line, where energy comes from.
PrerequisitesDerivatives and the chain rule · Kinetic and potential energy · Basic partial derivatives
A continuous function that sends a closed interval back into itself must return at least one input unchanged. One subtraction reveals why.
PrerequisitesFunctions and graphs · Continuity · Intermediate value theorem
Assume every endless binary sequence has been numbered. One diagonal walk then constructs a sequence that the list must have missed.
PrerequisitesSets and functions · One-to-one correspondence · Proof by contradiction
A flat six-sided die is not bell-shaped. Average several independent dice, however, and a precise limit theorem explains the rounded mound that appears.
PrerequisitesArithmetic mean · Basic probability · Standard deviation as a measure of spread
Three overlapping parity checks do more than notice a flipped bit: their pattern names the exact position to repair.
PrerequisitesBinary digits · Even and odd numbers · Powers of two
Equations of degree five exposed a limit of algebraic formulas—and turned the permutations of roots into a new kind of mathematics.
PrerequisitesThe quadratic formula · Square roots and nested radicals · Composition of reversible operations
Fourier series stack odd sine waves into flat plateaus and sudden jumps, turning a complicated signal into a frequency recipe.
PrerequisitesSine and cosine graphs · Radian measure · Definite integrals as signed area
A positive result reverses the question a test was designed to answer—and the condition's rarity can dominate the answer.
PrerequisitesPercentages · Fractions · The probability of one event given another
A shared junction can connect three towns with less road than any two town-to-town links—and equal angles reveal where to put it.
PrerequisitesThe distance formula · Square roots · Vectors and dot products · Cosine of an angle
Euler’s theorem explains the arithmetic hinge inside RSA: choose two exponents whose product is one full modular cycle plus one step.
PrerequisitesModular arithmetic and congruence · Prime numbers · Fermat’s little theorem · Greatest common divisors
Fermat’s little theorem turns multiplication modulo a prime into a collision-free rearrangement—and reduces 2¹⁰⁰⁰ to one small remainder.
PrerequisitesModular arithmetic and congruence · Prime numbers · Products and exponents
Modular arithmetic discards whole laps, turning a 188-digit power into a four-step cycle.
PrerequisitesWhole-number division with remainders · Exponents · Factors and multiples
The Koch curve is too crumpled to behave like a line and too sparse to fill a plane; its scaling law measures exactly how far it lies between them.
PrerequisitesExponents · Logarithms as inverse exponents · Length and area scaling
The largest-remainder method turns fair fractional shares into whole seats—and can punish a state when the legislature grows.
PrerequisitesFractions and percentages · Rounding down to a whole number · Comparing fractional remainders
A hanging chain follows a hyperbolic cosine because each point must support the weight of all the chain below it.
PrerequisitesSlope as rise over run · Basic derivatives and integrals · Exponential functions
A two-state Markov chain can remember today while gradually forgetting day zero—and settle into a stable long-run distribution.
PrerequisitesPercentages · Basic algebra · Weighted averages
On the complex plane, the algebraic rule i² = −1 becomes a geometric motion: every multiplication by i rotates a point 90 degrees.
PrerequisitesAlgebra with negative numbers · Cartesian coordinates · The Pythagorean theorem
Gödel’s first incompleteness theorem finds an unavoidable blind spot in every consistent, mechanical rulebook strong enough for arithmetic.
PrerequisitesAxioms and logical implication · Proof by contradiction · Natural numbers
Pick’s theorem turns the interior and boundary points of a lattice polygon into its exact area.
PrerequisitesCounting · Area of rectangles and triangles · Coordinate grids
Benford’s law turns the unequal widths of logarithmic intervals into a surprising prediction about first digits—and a useful warning about suspicious data.
PrerequisitesPercentages · Base-ten logarithms as exponents
Euler’s bridge puzzle reveals how a few odd and even counts can decide whether an entire route exists.
PrerequisitesCounting · Odd and even numbers
The epsilon–delta definition turns an intuitive approach toward a limit into a guarantee that survives every requested tolerance.
PrerequisitesAlgebra · Absolute value as distance · Basic function notation
The derivative turns shrinking intervals into a precise local rate of change, resolving an apparent contradiction at the heart of motion.
PrerequisitesAlgebra · Slope of a line · Basic function notation