Math
Formulas, number facts, and the people behind them — sorted for quick review before a match. Quiz-bowl math has two halves: computation (know the formulas cold and do them fast) and math history/trivia (who proved what, and when). This page covers both.
Sequences & Special Numbers
↑ topFibonacci sequence
Each term is the sum of the two before it: Fn = Fn−1 + Fn−2, with F1 = F2 = 1 (often F0 = 0 is included). learn more · MathWorld
| n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|
| Fn | 1 | 1 | 2 | 3 | 5 | 8 | 13 | 21 | 34 | 55 |
| n | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| Fn | 89 | 144 | 233 | 377 | 610 | 987 | 1597 | 2584 | 4181 | 6765 |
- Origin: Leonardo of Pisa (“Fibonacci,” short for filius Bonacci, “son of Bonacci”) posed the rabbit-breeding problem in Liber Abaci (“Book of Calculation”), 1202. The same book popularized Hindu–Arabic numerals in Europe. The sequence was known centuries earlier in India (Pingala, Virahanka, Hemachandra) in the study of poetic meters. learn more
- Name: French mathematician Édouard Lucas attached Fibonacci's name to the sequence in the 1870s. Lucas also invented the Tower of Hanoi puzzle (1883), which takes 2n − 1 moves for n disks. learn more · Tower of Hanoi
- Handy facts: every 3rd Fibonacci number is even; F1 + … + Fn = Fn+2 − 1; Cassini's identity Fn−1Fn+1 − Fn2 = (−1)n; 144 is the only Fibonacci square other than 0 and 1. learn more
Golden ratio φ
The ratio of consecutive Fibonacci numbers Fn+1/Fn approaches the golden ratio φ = (1 + √5)/2 ≈ 1.6180339887. It satisfies φ2 = φ + 1 and 1/φ = φ − 1 ≈ 0.618. Euclid called it dividing a line in “extreme and mean ratio.” The letter φ honors the sculptor Phidias. learn more · MathWorld
Binet's formula (closed form): Fn = (φn − ψn)/√5, where ψ = (1 − √5)/2 ≈ −0.618. Because |ψ| < 1, Fn is just φn/√5 rounded to the nearest integer. learn more · MathWorld
Lucas numbers
Same rule, different start (L1 = 1, L2 = 3, or L0 = 2): 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322, 521… Ratios also approach φ, and Ln = φn + ψn = Fn−1 + Fn+1. learn more
Fibonacci in nature
- Spiral counts in sunflower heads (commonly 34 & 55 or 55 & 89), pinecones (8 & 13), pineapples, and daisies; leaf arrangement (phyllotaxis). learn more
- Family tree of a male honeybee (drone): ancestors in each generation are Fibonacci numbers. learn more
If you hear “rabbits,” “Liber Abaci,” “sunflower spirals,” or “each term is the sum of the previous two,” buzz Fibonacci. If you hear “approximately 1.618” or “φ squared equals φ plus one,” buzz the golden ratio.
The nautilus shell is a logarithmic spiral, but careful measurements show it is not a golden spiral — a popular myth. Also, Lucas numbers start 2, 1, 3… not 1, 1, 2. learn more
Figurate numbers
| Type | Formula (nth term) | First ten | Notes | More |
|---|---|---|---|---|
| Triangular | n(n+1)/2 | 1, 3, 6, 10, 15, 21, 28, 36, 45, 55 | Sum 1+2+…+n. Two consecutive triangular numbers add to a square. Every even perfect number is triangular. | learn more |
| Square | n2 | 1, 4, 9, 16, 25, 36, 49, 64, 81, 100 | Sum of the first n odd numbers = n2. | learn more |
| Pentagonal | n(3n−1)/2 | 1, 5, 12, 22, 35, 51, 70, 92, 117, 145 | Used in Euler's pentagonal number theorem. | learn more |
| Tetrahedral (triangular pyramidal) | n(n+1)(n+2)/6 | 1, 4, 10, 20, 35, 56, 84, 120, 165, 220 | Sums of triangular numbers. Total gifts in “The Twelve Days of Christmas” = T12 = 364. | learn more |
| Square pyramidal | n(n+1)(2n+1)/6 | 1, 5, 14, 30, 55, 91, 140, 204, 285, 385 | Sum of the first n squares. Cannonball problem: 12+…+242 = 4900 = 702. | learn more |
Catalan numbers
Cn = (2n)! / ((n+1)! n!) = C(2n, n)/(n+1): 1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796 (C0 through C10). They count balanced strings of n pairs of parentheses, ways to triangulate a convex (n+2)-gon, binary trees with n nodes, and lattice paths that stay below the diagonal. Named for Belgian mathematician Eugène Catalan. learn more · MathWorld
Prime numbers
A prime has exactly two positive divisors, 1 and itself. There are 25 primes below 100: learn more
then 101, 103, 107, 109, 113, 127, 131, 137, 139, 149 … (168 primes below 1000)
- Infinitely many primes: proved by Euclid (Elements, Book IX, Prop. 20). learn more
- Sieve of Eratosthenes: cross out multiples of each prime in turn to find all primes up to N. learn more
- Fundamental Theorem of Arithmetic: every integer > 1 factors uniquely into primes. learn more
- Twin primes differ by 2 (3 & 5, 5 & 7, 11 & 13, 17 & 19, 29 & 31…). Sophie Germain primes: p where 2p+1 is also prime (2, 3, 5, 11, 23, 29…). learn more · Sophie Germain primes
- Prime Number Theorem: the number of primes ≤ x is about x / ln x (proved 1896 by Hadamard and de la Vallée Poussin, independently). learn more
- Mersenne primes have the form 2p − 1 (3, 7, 31, 127, 8191…), named for French friar Marin Mersenne. The largest known primes are Mersenne primes found by the GIMPS distributed-computing project; as of late 2024 the record was 2136,279,841 − 1 (over 41 million digits). learn more · largest known prime
1 is not prime (and not composite). 2 is the only even prime. 51 = 3 × 17, 57 = 3 × 19, 91 = 7 × 13 — these “look prime” but aren't.
Perfect numbers
A perfect number equals the sum of its proper divisors: 6 = 1+2+3; 28 = 1+2+4+7+14. The first four — 6, 28, 496, 8128 — were known to the ancient Greeks; the fifth is 33,550,336. learn more
Euclid–Euler theorem: every even perfect number has the form 2p−1(2p − 1) where 2p − 1 is a Mersenne prime (Euclid proved these are perfect; Euler proved all even perfect numbers look like this). So there is one even perfect number per Mersenne prime. Whether any odd perfect number exists is unsolved. learn more
| p | Mersenne prime 2p−1 | Perfect number |
|---|---|---|
| 2 | 3 | 2 × 3 = 6 |
| 3 | 7 | 4 × 7 = 28 |
| 5 | 31 | 16 × 31 = 496 |
| 7 | 127 | 64 × 127 = 8128 |
| 13 | 8191 | 4096 × 8191 = 33,550,336 |
Related: abundant numbers (divisors sum to more, smallest 12), deficient numbers (less), and amicable pairs like 220 & 284. abundant · amicable
Arithmetic & geometric sequences and series
| Arithmetic (common difference d) | Geometric (common ratio r) | |
|---|---|---|
| nth term | an = a1 + (n−1)d | an = a1 rn−1 |
| Sum of first n terms | Sn = n(a1 + an)/2 = n × (average of first and last) | Sn = a1(1 − rn)/(1 − r), r ≠ 1 |
| Infinite sum | Diverges (unless every term is 0) | S = a1/(1 − r) if |r| < 1 |
| Middle term | Arithmetic mean (a+b)/2 | Geometric mean √(ab) |
| More | learn more | learn more · geometric series |
- 1 + 2 + … + 100 = 5050 — the sum young Gauss supposedly found instantly by pairing 1+100, 2+99, … (50 pairs of 101). learn more
- Sums of powers: ∑k = n(n+1)/2, ∑k2 = n(n+1)(2n+1)/6, ∑k3 = [n(n+1)/2]2 (Nicomachus's theorem), sum of first n odd numbers = n2. learn more · Nicomachus
- Classic: ½ + ¼ + ⅛ + … = 1 (a₁ = ½, r = ½). Repeating decimal 0.999… = 9/10 ÷ (1 − 1/10) = 1. learn more
Factorials & powers of 2
| n | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|---|
| n! | 1 | 1 | 2 | 6 | 24 | 120 | 720 | 5,040 | 40,320 | 362,880 | 3,628,800 |
0! = 1 by definition (one way to arrange nothing). The “!” notation was introduced by Christian Kramp in 1808. 52! ≈ 8.07 × 1067 (orderings of a deck of cards). learn more
| n | 2n | n | 2n | n | 2n |
|---|---|---|---|---|---|
| 0 | 1 | 6 | 64 | 12 | 4,096 |
| 1 | 2 | 7 | 128 | 13 | 8,192 |
| 2 | 4 | 8 | 256 | 14 | 16,384 |
| 3 | 8 | 9 | 512 | 15 | 32,768 |
| 4 | 16 | 10 | 1,024 | 16 | 65,536 |
| 5 | 32 | 11 | 2,048 | 20 | 1,048,576 |
learn more · 210 = 1024 ≈ 103 is why a “kilobyte” is sometimes 1024 bytes.
Harmonic series
1 + ½ + ⅓ + ¼ + … diverges (grows without bound), even though its terms go to 0. Classic proof by Nicole Oresme (c. 1350): group terms ½, (⅓+¼) > ½, (⅕+…+⅛) > ½, … so the sum exceeds any number. It grows like ln n; the difference approaches the Euler–Mascheroni constant γ ≈ 0.5772. By contrast, 1 + 1/4 + 1/9 + … = π2/6 (the Basel problem, solved by Euler, 1734). learn more · Basel problem
“Terms go to zero” does not mean a series converges — the harmonic series is the standard counterexample.
Collatz conjecture (3n + 1 problem)
Start with any positive integer. If even, halve it; if odd, multiply by 3 and add 1. Repeat. The conjecture (Lothar Collatz, 1937) says you always eventually reach 1. It is unsolved, though checked by computer for enormous numbers. Example: 6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1. Starting at 27 takes 111 steps and climbs as high as 9232. learn more · MathWorld
Pascal's Triangle & the Binomial Theorem
↑ topEach entry is the sum of the two entries above it. Row n (starting with row 0) lists the binomial coefficients C(n, 0), C(n, 1), …, C(n, n). learn more · MathWorld
Row 0: 1 Row 1: 1 1 Row 2: 1 2 1 Row 3: 1 3 3 1 Row 4: 1 4 6 4 1 Row 5: 1 5 10 10 5 1 Row 6: 1 6 15 20 15 6 1 Row 7: 1 7 21 35 35 21 7 1 Row 8: 1 8 28 56 70 56 28 8 1 Row 9: 1 9 36 84 126 126 84 36 9 1 Row 10: 1 10 45 120 210 252 210 120 45 10 1
Properties
| Property | What it says | Example | More |
|---|---|---|---|
| Row sums | Row n sums to 2n (number of subsets of an n-element set) | Row 4: 1+4+6+4+1 = 16 | learn more |
| Symmetry | C(n, k) = C(n, n−k) | C(10,3) = C(10,7) = 120 | learn more |
| Pascal's rule | C(n, k) = C(n−1, k−1) + C(n−1, k) | 10 = 4 + 6 | learn more |
| Diagonals | Outer diagonal all 1s; next diagonal the counting numbers; then triangular numbers; then tetrahedral numbers | 1, 3, 6, 10, 15… / 1, 4, 10, 20, 35… | learn more |
| Hockey-stick identity | Sum down a diagonal = the entry just below and off to the side (shape of a hockey stick) | 1 + 3 + 6 + 10 = 20 | learn more |
| Fibonacci | Sums of “shallow” diagonals give Fibonacci numbers | 1, 1, 2, 3, 5 (e.g. 1+3+1 = 5, 1+4+3 = 8) | learn more |
| Sierpiński pattern | Shade the odd entries (entries mod 2) and you get the Sierpiński triangle fractal | Rows 0–7: all-odd row 7, “holes” after | learn more |
| Powers of 11 | Rows 0–4 read as numbers are powers of 11 (later rows need carrying) | 112 = 121, 113 = 1331, 114 = 14641; 115 = 161051 | learn more |
| Prime rows | If n is prime, every interior entry of row n is divisible by n | Row 7: 7, 21, 35 all divisible by 7 | learn more |
| Middle entries | Sum of squares of row n = C(2n, n), the central entry of row 2n | Row 2: 12+22+12 = 6 = C(4,2) | learn more |
Binomial theorem
Example: (x + y)4 = x4 + 4x3y + 6x2y2 + 4xy3 + y4. The expansion of (x+y)n has n + 1 terms. The coefficient of x2y3 in (x+y)5 is C(5,3) = 10. With constants, include their powers: the coefficient of x2 in (2x + 1)4 is C(4,2)·22 = 24. Newton generalized the theorem to fractional and negative exponents (binomial series). learn more · binomial series
Names around the world
| Name | Where / who | More |
|---|---|---|
| Pascal's triangle | Blaise Pascal, Traité du triangle arithmétique (written 1654, published 1665). Named for him in the West though he did not discover it. | learn more |
| Yang Hui's triangle | China — Yang Hui (1261), crediting the earlier Jia Xian (11th c.) | learn more |
| Khayyam triangle | Iran — Omar Khayyam (11th–12th c.) | learn more |
| Tartaglia's triangle | Italy — Niccolò Tartaglia (16th c.) | learn more |
| Meru Prastara (“staircase of Mount Meru”) | India — tied to Pingala's work on meters; described by Halayudha (10th c.) | learn more |
“Yang Hui,” “Tartaglia,” “Khayyam,” or “each number is the sum of the two above it” → Pascal's triangle.
Combinatorics & Probability
↑ topPermutations & combinations
| Situation | Formula | Example | More |
|---|---|---|---|
| Arrange all n distinct objects | n! | 5 books on a shelf: 120 | learn more |
| Permutation — order matters, choose k of n | P(n, k) = n!/(n−k)! | Gold/silver/bronze from 8 runners: 8·7·6 = 336 | learn more |
| Combination — order doesn't matter | C(n, k) = n!/(k!(n−k)!), also written nCk or “n choose k” | 3-person committee from 8: 56 | learn more · Khan Academy |
| Letters with repeats (multiset) | n!/(n1! n2! …) | BOOK: 4!/2! = 12; BANANA: 6!/(3!2!) = 60; MISSISSIPPI: 11!/(4!·4!·2!) = 34,650 | learn more |
| Circular arrangements | (n−1)! | 6 people at a round table: 5! = 120 | learn more |
| Necklace/keychain (can flip over) | (n−1)!/2 | 6 distinct beads: 60 | learn more |
| With repetition allowed, order matters | nk | 4-digit PINs: 104 = 10,000 | learn more |
| “Stars and bars” — n identical items into k bins | C(n+k−1, k−1) | 10 identical candies to 3 kids: C(12,2) = 66 | learn more |
| Subsets of an n-element set | 2n | Pizza toppings from 8 choices: 256 pizzas | learn more |
| Derangements (nobody gets their own hat) | !n ≈ n!/e | 1, 0, 1, 2, 9, 44, 265 (n = 0…6) | learn more |
Common C(n, k) values
| C(n,k) | Value | C(n,k) | Value | C(n,k) | Value |
|---|---|---|---|---|---|
| C(4,2) | 6 | C(7,3) | 35 | C(10,3) | 120 |
| C(5,2) | 10 | C(8,2) | 28 | C(10,5) | 252 |
| C(6,2) | 15 | C(8,3) | 56 | C(12,2) | 66 |
| C(6,3) | 20 | C(8,4) | 70 | C(20,2) | 190 |
| C(7,2) | 21 | C(9,3) | 84 | C(52,5) | 2,598,960 |
Counting principles
- Handshake problem: if n people each shake hands once with everyone else, there are C(n,2) = n(n−1)/2 handshakes. 10 people → 45. (Same as games in a round-robin.) learn more ·MathWorld
- Diagonals of an n-gon: n(n−3)/2. Pentagon 5, hexagon 9, octagon 20, decagon 35. learn more
- Pigeonhole principle (Dirichlet's box principle): put n+1 pigeons in n holes and some hole holds two. Among 13 people, two share a birth month; among 367, two share a birthday. learn more
- Inclusion–exclusion: |A ∪ B| = |A| + |B| − |A ∩ B|; for three sets add back the triple intersection: |A∪B∪C| = |A|+|B|+|C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Numbers 1–100 divisible by 2 or 3: 50 + 33 − 16 = 67. learn more
“Permutation” = order matters (a lock “combination” is really a permutation!). If swapping two chosen items gives the same result, use combinations.
Probability basics
- P(event) = favorable outcomes / total equally likely outcomes, always between 0 and 1. learn more
- Complement: P(not A) = 1 − P(A). “At least one” problems are easiest this way: P(at least one 6 in 4 rolls) = 1 − (5/6)4 ≈ 0.518 (the Chevalier de Méré's problem that started the Pascal–Fermat letters of 1654). learn more
- Independent events: P(A and B) = P(A)·P(B). Mutually exclusive: P(A or B) = P(A) + P(B); in general P(A or B) = P(A) + P(B) − P(A and B). learn more
- Odds in favor = favorable : unfavorable (P = 1/4 means odds 1 : 3). learn more
- Expected value: E = ∑ (value × probability). One fair die: (1+2+…+6)/6 = 3.5; sum of two dice: 7. learn more
- Birthday problem: with just 23 people, the chance two share a birthday exceeds 50% (≈ 50.7%); with 70 it's about 99.9%. learn more
- Monty Hall problem: pick one of 3 doors; the host (who knows) opens a goat door; switching wins 2/3 of the time. Made famous by Marilyn vos Savant's 1990 Parade column. learn more
- Probability theory's founders: Pascal & Fermat (1654 letters on the “problem of points”); Cardano's earlier gambling book Liber de ludo aleae; Jacob Bernoulli's Ars Conjectandi (1713, law of large numbers); Kolmogorov's axioms (1933). learn more
Dice & cards facts
Two dice — 36 equally likely outcomes: learn more
| Sum | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Ways | 1 | 2 | 3 | 4 | 5 | 6 | 5 | 4 | 3 | 2 | 1 |
| Probability | 1/36 | 1/18 | 1/12 | 1/9 | 5/36 | 1/6 | 5/36 | 1/9 | 1/12 | 1/18 | 1/36 |
Opposite faces of a standard die sum to 7. Doubles: 6/36 = 1/6.
Standard deck: 52 cards = 4 suits (♠ spades, ♥ hearts, ♦ diamonds, ♣ clubs) × 13 ranks (A, 2–10, J, Q, K). 26 red, 26 black; 12 face cards (J, Q, K); 4 aces. P(drawing a heart) = 1/4; P(an ace) = 1/13; P(a face card) = 3/13. 5-card hands: C(52,5) = 2,598,960. learn more
| Poker hand | Number of 5-card hands | More |
|---|---|---|
| Royal flush | 4 | learn more |
| Straight flush (including royal) | 40 | |
| Four of a kind | 624 | |
| Full house | 3,744 | |
| One pair | 1,098,240 (most common made hand, ≈ 42%) |
Geometry
↑ topAreas & perimeters
| Shape | Area | Perimeter / notes | More |
|---|---|---|---|
| Triangle | ½bh; also ½ab·sin C | a + b + c | learn more |
| Triangle — Heron's formula | √(s(s−a)(s−b)(s−c)), s = (a+b+c)/2 | Heron (Hero) of Alexandria, 1st c. AD. 13-14-15 triangle: s = 21, area = √(21·8·7·6) = 84 | learn more |
| Equilateral triangle (side s) | (√3/4)s2 | Height (√3/2)s; perimeter 3s | learn more |
| Square | s2 = d2/2 | 4s; diagonal s√2 | learn more |
| Rectangle | lw | 2l + 2w; diagonal √(l2+w2) | learn more |
| Parallelogram | bh (h perpendicular to b) | 2a + 2b; opposite angles equal, consecutive angles supplementary | learn more |
| Trapezoid | ½(b1 + b2)h | Midsegment (median) = (b1+b2)/2 | learn more |
| Rhombus | d1d2/2 (or bh) | 4s; diagonals are perpendicular bisectors of each other | learn more |
| Kite | d1d2/2 | Diagonals perpendicular | learn more |
| Regular polygon | ½ · apothem · perimeter | Apothem = distance from center to midpoint of a side | learn more |
| Regular hexagon (side s) | (3√3/2)s2 | = 6 equilateral triangles; perimeter 6s | learn more |
| Circle | πr2 | Circumference 2πr = πd | learn more |
| Sector (central angle θ) | (θ/360°)·πr2 = ½r2θ (θ in radians) | — | learn more |
| Arc length | — | (θ/360°)·2πr = rθ (θ in radians) | learn more |
| Cyclic quadrilateral — Brahmagupta's formula | √((s−a)(s−b)(s−c)(s−d)) | Generalizes Heron's formula | learn more |
| Lattice polygon — Pick's theorem | A = I + B/2 − 1 | I = interior lattice points, B = boundary points (Georg Pick, 1899) | learn more |
Inradius r = Area/s; circumradius R = abc/(4·Area). An inscribed angle is half its intercepted central angle; an angle inscribed in a semicircle is a right angle (Thales' theorem). learn more · Thales' theorem
Polygon names & angles
Sum of interior angles (n − 2)·180°; each interior angle of a regular n-gon (n − 2)·180°/n; each exterior angle 360°/n; exterior angles of any convex polygon sum to 360°. learn more · polygons
| Sides | Name | Interior sum | Each interior (regular) | Each exterior | More |
|---|---|---|---|---|---|
| 3 | Triangle (trigon) | 180° | 60° | 120° | learn more |
| 4 | Quadrilateral (tetragon) | 360° | 90° | 90° | learn more |
| 5 | Pentagon | 540° | 108° | 72° | learn more |
| 6 | Hexagon | 720° | 120° | 60° | learn more |
| 7 | Heptagon (septagon) | 900° | ≈ 128.57° | ≈ 51.43° | learn more |
| 8 | Octagon | 1080° | 135° | 45° | learn more |
| 9 | Nonagon (enneagon) | 1260° | 140° | 40° | learn more |
| 10 | Decagon | 1440° | 144° | 36° | learn more |
| 11 | Hendecagon (undecagon) | 1620° | ≈ 147.27° | ≈ 32.73° | learn more |
| 12 | Dodecagon | 1800° | 150° | 30° | learn more |
| 20 | Icosagon | 3240° | 162° | 18° | learn more |
| 100 | Hectogon (hecatontagon) | 17,640° | 176.4° | 3.6° | learn more |
Also: 1000 sides = chiliagon (Descartes used it as an example of something you can conceive but not picture); 10,000 = myriagon. learn more
Only the equilateral triangle, square, and regular hexagon tile the plane by themselves (their interior angles 60°, 90°, 120° divide 360°). learn more
Volumes & surface areas
| Solid | Volume | Surface area | More |
|---|---|---|---|
| Cube (edge s) | s3 | 6s2; space diagonal s√3 | learn more |
| Rectangular box | lwh | 2(lw + lh + wh); diagonal √(l2+w2+h2) | learn more |
| Any prism | Bh (B = base area) | 2B + (perimeter of base)·h | learn more |
| Cylinder | πr2h | 2πr2 + 2πrh | learn more |
| Pyramid | ⅓Bh | B + ½·(perimeter)·(slant height) for a regular pyramid | learn more |
| Cone | ⅓πr2h | πr2 + πrℓ, slant ℓ = √(r2+h2) | learn more |
| Sphere | (4/3)πr3 | 4πr2 | learn more |
| Hemisphere | (2/3)πr3 | 3πr2 (including flat base) | learn more |
| Torus (tube radius r, center radius R) | 2π2Rr2 | 4π2Rr | learn more |
“Volume and surface area are both ⅔ of the circumscribing cylinder” → Archimedes, who considered it his greatest result and asked for a sphere inside a cylinder on his tomb (On the Sphere and Cylinder). learn more
Cavalieri's principle: solids with equal cross-sectional areas at every height have equal volumes (Bonaventura Cavalieri, 1635). learn more
Platonic solids & Euler's formula
The only five convex regular polyhedra (Euclid proves this at the end of Elements Book XIII). Plato's Timaeus linked them to the classical elements. learn more · MathWorld
| Solid | Faces (F) | Vertices (V) | Edges (E) | Face shape | Faces at a vertex | Dual | Plato's element | More |
|---|---|---|---|---|---|---|---|---|
| Tetrahedron | 4 | 4 | 6 | Triangle | 3 | Itself | Fire | learn more |
| Cube (hexahedron) | 6 | 8 | 12 | Square | 3 | Octahedron | Earth | learn more |
| Octahedron | 8 | 6 | 12 | Triangle | 4 | Cube | Air | learn more |
| Dodecahedron | 12 | 20 | 30 | Pentagon | 3 | Icosahedron | Universe / aether | learn more |
| Icosahedron | 20 | 12 | 30 | Triangle | 5 | Dodecahedron | Water | learn more |
Stated by Euler in 1752 (Descartes had noticed a related result). The number 2 is the Euler characteristic of a sphere; for a torus it's 0. A soccer ball is a truncated icosahedron (12 pentagons + 20 hexagons). learn more · truncated icosahedron
Duals swap faces and vertices: the cube (6 F, 8 V) and octahedron (8 F, 6 V) are duals; the dodecahedron and icosahedron are duals. Don't mix up the 12 and 20: the dodecahedron has 12 faces but 20 vertices.
Pythagorean theorem & triples
Euclid's Elements Book I, Proposition 47 (the “windmill” proof). Known much earlier to the Babylonians (tablet Plimpton 322, c. 1800 BC, lists triples) and in China as the gougu theorem. Hundreds of proofs exist — see Garfield and Loomis under Unexpected Mathematicians. learn more · Plimpton 322
| Primitive triple | Check | Multiples to recognize |
|---|---|---|
| 3-4-5 | 9 + 16 = 25 | 6-8-10, 9-12-15, 12-16-20, 15-20-25, 30-40-50 |
| 5-12-13 | 25 + 144 = 169 | 10-24-26, 15-36-39 |
| 8-15-17 | 64 + 225 = 289 | 16-30-34 |
| 7-24-25 | 49 + 576 = 625 | 14-48-50 |
| 20-21-29 | 400 + 441 = 841 | — |
| 9-40-41 | 81 + 1600 = 1681 | — |
| 12-35-37 | 144 + 1225 = 1369 | — |
| 11-60-61 | 121 + 3600 = 3721 | — |
Euclid's formula generates triples: (m2 − n2, 2mn, m2 + n2) for m > n > 0. m=2, n=1 gives 3-4-5. learn more
Special right triangles
| Triangle | Side ratio | Memory hook | More |
|---|---|---|---|
| 45°-45°-90° (isosceles right) | 1 : 1 : √2 | Half a square; hypotenuse = leg × √2 | learn more |
| 30°-60°-90° | 1 : √3 : 2 | Half an equilateral triangle; short leg opposite 30°, hypotenuse = 2 × short leg |
Triangle centers
| Center | Where the ___ meet | Special property | More |
|---|---|---|---|
| Centroid | Medians (vertex to midpoint of opposite side) | Center of mass; divides each median 2 : 1 from the vertex; always inside | learn more |
| Circumcenter | Perpendicular bisectors of the sides | Equidistant from the 3 vertices; center of the circumscribed circle; at the hypotenuse's midpoint in a right triangle; outside if obtuse | learn more |
| Incenter | Angle bisectors | Equidistant from the 3 sides; center of the inscribed circle; always inside | learn more |
| Orthocenter | Altitudes | At the right-angle vertex in a right triangle; outside if obtuse | learn more |
The Euler line passes through the orthocenter, centroid, circumcenter (and nine-point center); the centroid sits between, twice as far from the orthocenter as from the circumcenter. The incenter is generally not on it (only for isosceles triangles). In an equilateral triangle all centers coincide. The nine-point circle passes through the 3 side midpoints, 3 altitude feet, and 3 midpoints from the orthocenter to the vertices. learn more · nine-point circle
Match the clue word to the center: “medians” → centroid; “perpendicular bisectors” or “equidistant from the vertices” → circumcenter; “angle bisectors” or “inscribed circle” → incenter; “altitudes” → orthocenter.
Coordinate formulas
- Distance: d = √((x2−x1)2 + (y2−y1)2) (in 3D add (z2−z1)2). learn more
- Midpoint: ((x1+x2)/2, (y1+y2)/2). learn more
- Circle: (x−h)2 + (y−k)2 = r2, center (h, k). learn more
- Distance from point to line Ax + By + C = 0: |Ax0 + By0 + C| / √(A2+B2). learn more
- Shoelace formula (polygon area from vertices): A = ½|∑(xiyi+1 − xi+1yi)|. learn more
- Conic sections (Apollonius named them): circle, ellipse x2/a2 + y2/b2 = 1, parabola y = ax2, hyperbola x2/a2 − y2/b2 = 1. Eccentricity: circle 0, ellipse 0–1, parabola 1, hyperbola > 1. learn more
Trigonometry
↑ topSOH-CAH-TOA & reciprocal functions
| Function | Right-triangle definition | Reciprocal | More |
|---|---|---|---|
| sine | Sin = Opposite / Hypotenuse | cosecant: csc θ = 1/sin θ = H/O | learn more · Khan Academy |
| cosine | Cos = Adjacent / Hypotenuse | secant: sec θ = 1/cos θ = H/A | |
| tangent | Tan = Opposite / Adjacent = sin/cos | cotangent: cot θ = 1/tan θ = A/O |
Secant is the reciprocal of cosine and cosecant is the reciprocal of sine — the “co-” pairs with the one without “co-”.
Unit-circle values
On the unit circle, the point at angle θ is (cos θ, sin θ). learn more · exact values
| Degrees | Radians | sin | cos | tan |
|---|---|---|---|---|
| 0° | 0 | 0 | 1 | 0 |
| 30° | π/6 | 1/2 | √3/2 | √3/3 (= 1/√3) |
| 45° | π/4 | √2/2 | √2/2 | 1 |
| 60° | π/3 | √3/2 | 1/2 | √3 |
| 90° | π/2 | 1 | 0 | undefined |
| 120° | 2π/3 | √3/2 | −1/2 | −√3 |
| 135° | 3π/4 | √2/2 | −√2/2 | −1 |
| 150° | 5π/6 | 1/2 | −√3/2 | −√3/3 |
| 180° | π | 0 | −1 | 0 |
| 270° | 3π/2 | −1 | 0 | undefined |
| 360° | 2π | 0 | 1 | 0 |
Pattern for sin at 0°, 30°, 45°, 60°, 90°: √0/2, √1/2, √2/2, √3/2, √4/2. Cosine runs the same list backward.
Degrees ↔ radians
180° = π radians. Degrees → radians: multiply by π/180. Radians → degrees: multiply by 180/π. One radian ≈ 57.2958° (the angle whose arc equals the radius). A full circle is 2π rad = 360°. learn more
ASTC quadrant rule
“All Students Take Calculus,” going counterclockwise from Quadrant I, tells which functions are positive: learn more
| Quadrant | Angles | Positive |
|---|---|---|
| I | 0° – 90° | All |
| II | 90° – 180° | Sine (and csc) |
| III | 180° – 270° | Tangent (and cot) |
| IV | 270° – 360° | Cosine (and sec) |
Identities
| Type | Identity | More |
|---|---|---|
| Pythagorean | sin2θ + cos2θ = 1; 1 + tan2θ = sec2θ; 1 + cot2θ = csc2θ | learn more |
| Double angle | sin 2θ = 2 sin θ cos θ; cos 2θ = cos2θ − sin2θ = 2cos2θ − 1 = 1 − 2sin2θ; tan 2θ = 2tan θ/(1 − tan2θ) | learn more |
| Sum / difference | sin(A ± B) = sin A cos B ± cos A sin B; cos(A ± B) = cos A cos B ∓ sin A sin B; tan(A ± B) = (tan A ± tan B)/(1 ∓ tan A tan B) | learn more |
| Cofunction | sin(90° − θ) = cos θ (“co-sine” = sine of the complement) | learn more |
| Even / odd | cos(−θ) = cos θ (even); sin(−θ) = −sin θ, tan(−θ) = −tan θ (odd) | learn more |
Law of sines & law of cosines
Law of cosines: c2 = a2 + b2 − 2ab cos C (reduces to Pythagoras when C = 90°)
Area: ½ab sin C
Use the law of sines for AAS/ASA (and the ambiguous SSA case); use the law of cosines for SAS and SSS. law of sines · law of cosines
Periods & amplitudes
For y = A sin(Bx − C) + D: amplitude = |A|, period = 2π/|B|, phase shift = C/B, vertical shift = D. learn more
| Function | Period | Range | Amplitude |
|---|---|---|---|
| sin, cos | 2π (360°) | [−1, 1] | 1 |
| tan, cot | π (180°) | all reals | none (unbounded) |
| sec, csc | 2π | (−∞, −1] ∪ [1, ∞) | none |
Example: y = 3 sin(2x) has amplitude 3 and period π. Trig history: Hipparchus (table of chords, “father of trigonometry”); the word “sine” comes via a Latin mistranslation (sinus, “bay/fold”) of an Arabic transliteration of Sanskrit jya. learn more
Algebra & Number Sense
↑ topQuadratics
Discriminant Δ = b2 − 4ac: positive → two real roots; zero → one repeated real root; negative → two complex-conjugate roots. A perfect-square Δ (with rational coefficients) gives rational roots. Vertex at x = −b/2a. learn more · discriminant
Vieta's formulas (François Viète): for ax2 + bx + c, sum of roots = −b/a, product = c/a. For a cubic ax3 + bx2 + cx + d: sum = −b/a, sum of pairwise products = c/a, product = −d/a. Example: x2 − 7x + 10 has roots summing to 7 and multiplying to 10 (roots 2 and 5). learn more
Watch the sign: sum of roots is −b/a, not b/a. For x2 + 5x + 6, the roots (−2, −3) sum to −5.
History: cubic solved by del Ferro/Tartaglia and published by Cardano (Ars Magna, 1545); quartic by Ferrari; the general quintic has no formula in radicals (Abel–Ruffini theorem; Galois explained why). learn more
Factoring patterns
| Pattern | Formula | More |
|---|---|---|
| Difference of squares | a2 − b2 = (a − b)(a + b) (e.g. 51 × 49 = 502 − 1 = 2499) | learn more |
| Perfect square trinomial | (a ± b)2 = a2 ± 2ab + b2 | learn more |
| Sum of cubes | a3 + b3 = (a + b)(a2 − ab + b2) | learn more |
| Difference of cubes | a3 − b3 = (a − b)(a2 + ab + b2) |
Cube factoring mnemonic SOAP: signs go Same, Opposite, Always Positive.
Exponent & logarithm rules
| Exponents | Logarithms |
|---|---|
| am · an = am+n | logb(xy) = logbx + logby |
| am / an = am−n | logb(x/y) = logbx − logby |
| (am)n = amn | logb(xp) = p·logbx |
| a0 = 1 (a ≠ 0) | logb1 = 0; logbb = 1 |
| a−n = 1/an | blogbx = x |
| a1/n = n√a; am/n = (n√a)m | Change of base: logbx = log x / log b = ln x / ln b |
| learn more | learn more · identities |
e ≈ 2.718281828, base of the natural log (ln). Useful values: log102 ≈ 0.3010, log103 ≈ 0.4771, ln 2 ≈ 0.693, ln 10 ≈ 2.303. Logarithms were invented by John Napier (1614); Henry Briggs made common (base-10) logs. Rule of 72: money doubles in about 72/(interest rate %) years. e · rule of 72
Compound interest: A = P(1 + r/n)nt; continuous: A = Pert. learn more
Lines & slope
| Form | Equation | More |
|---|---|---|
| Slope | m = (y2 − y1)/(x2 − x1) = rise/run | learn more |
| Slope-intercept | y = mx + b | learn more |
| Point-slope | y − y1 = m(x − x1) | |
| Standard | Ax + By = C (slope −A/B) | |
| Intercept | x/a + y/b = 1 |
Parallel lines have equal slopes; perpendicular slopes are negative reciprocals (product −1). Horizontal line: slope 0; vertical line: slope undefined. learn more
Absolute value
|x| is the distance from 0, so it's never negative. |x − a| < b ⇔ a − b < x < a + b; |x − a| > b ⇔ x < a − b or x > a + b. Solve |2x − 3| = 7: 2x − 3 = ±7, so x = 5 or x = −2. The graph of y = |x| is a V. learn more
Squares, cubes & roots to memorize
| n | n2 | n | n2 | n | n2 | n | n3 |
|---|---|---|---|---|---|---|---|
| 1 | 1 | 10 | 100 | 19 | 361 | 1 | 1 |
| 2 | 4 | 11 | 121 | 20 | 400 | 2 | 8 |
| 3 | 9 | 12 | 144 | 21 | 441 | 3 | 27 |
| 4 | 16 | 13 | 169 | 22 | 484 | 4 | 64 |
| 5 | 25 | 14 | 196 | 23 | 529 | 5 | 125 |
| 6 | 36 | 15 | 225 | 24 | 576 | 6 | 216 |
| 7 | 49 | 16 | 256 | 25 | 625 | 7 | 343 |
| 8 | 64 | 17 | 289 | 8 | 512 | ||
| 9 | 81 | 18 | 324 | 9 | 729 | ||
| 10 | 1000 |
√2 ≈ 1.41421 √3 ≈ 1.73205 √5 ≈ 2.23607 (√10 ≈ 3.162). √2 · √3 · √5
Squaring numbers ending in 5: take the tens digit n, compute n(n+1), append 25. 652: 6·7 = 42 → 4225. 1729 = 13 + 123 = 93 + 103, the Hardy–Ramanujan “taxicab number.” learn more
Number bases
In base b, place values are powers of b. Binary (base 2) uses 0–1; hexadecimal (base 16) uses 0–9 then A=10, B=11, C=12, D=13, E=14, F=15. binary · hexadecimal · positional notation
| Decimal | Binary | Hex | Work |
|---|---|---|---|
| 10 | 1010 | A | 8 + 2 |
| 13 | 1101 | D | 8 + 4 + 1 |
| 26 | 11010 | 1A | 16 + 8 + 2; hex 1·16 + 10 |
| 100 | 1100100 | 64 | 64 + 32 + 4; hex 6·16 + 4 |
| 255 | 11111111 | FF | 28 − 1; hex 15·16 + 15 |
| 256 | 100000000 | 100 | 28 = 162 |
Shortcut: each hex digit = 4 binary digits (1101 0110₂ = D6₁₆ = 214). Babylonians used base 60 (sexagesimal — hence 60 minutes, 360°); the Maya used base 20 (vigesimal). sexagesimal · Maya numerals
Divisibility rules
| Divisor | Rule | Example |
|---|---|---|
| 2 | Last digit even | 1,238 |
| 3 | Digit sum divisible by 3 | 471: 4+7+1 = 12 ✓ |
| 4 | Last two digits divisible by 4 | 3,716: 16 ✓ |
| 5 | Ends in 0 or 5 | 845 |
| 6 | Divisible by both 2 and 3 | 282 |
| 7 | Double the last digit, subtract from the rest; repeat | 203: 20 − 6 = 14 ✓ |
| 8 | Last three digits divisible by 8 | 5,120: 120 ✓ |
| 9 | Digit sum divisible by 9 | 3,456: 18 ✓ |
| 10 | Ends in 0 | 730 |
| 11 | Alternating digit sum divisible by 11 | 918,082: 9−1+8−0+8−2 = 22 ✓ |
| 12 | Divisible by both 3 and 4 | 672 |
learn more · GCD × LCM = product of two numbers; Euclid's algorithm finds the GCD by repeated division. Euclidean algorithm
Complex Numbers
↑ topi = √−1, so i2 = −1. A complex number is a + bi (a = real part, b = imaginary part). Descartes coined “imaginary” (dismissively); Euler introduced the symbol i (1777); Gauss popularized “complex number.” The complex plane is also called the Argand diagram (Jean-Robert Argand, 1806; Caspar Wessel, 1799). learn more · imaginary unit · complex plane
Powers of i (cycle of 4)
| i1 | i2 | i3 | i4 | i5 | … |
|---|---|---|---|---|---|
| i | −1 | −i | 1 | i | repeats |
To find in, divide n by 4 and use the remainder: i2026: 2026 = 4·506 + 2 → i2 = −1. The sum of any four consecutive powers of i is 0. learn more
Arithmetic, conjugate, modulus
- Add: (a+bi) + (c+di) = (a+c) + (b+d)i. Multiply: (a+bi)(c+di) = (ac − bd) + (ad + bc)i. Example (2+3i)(1−i) = 2 − 2i + 3i − 3i2 = 5 + i. learn more
- Conjugate: conj(a + bi) = a − bi; (a+bi)(a−bi) = a2 + b2 (real). Divide by multiplying top and bottom by the conjugate. Non-real roots of real polynomials come in conjugate pairs. learn more
- Modulus (absolute value): |a + bi| = √(a2 + b2); |3 + 4i| = 5. Argument θ = the angle from the positive real axis. learn more
Polar form, Euler's formula, De Moivre
Euler's formula: eiθ = cos θ + i sin θ
Euler's identity: eiπ + 1 = 0 (links e, i, π, 1, and 0)
De Moivre's theorem: (cos θ + i sin θ)n = cos nθ + i sin nθ
Multiplying complex numbers multiplies moduli and adds angles. Euler's identity is often voted “the most beautiful equation in mathematics.” Surprising fact: ii = e−π/2 ≈ 0.2079, a real number. Abraham de Moivre was a French Huguenot who lived in London. Euler's formula · Euler's identity · De Moivre
Roots of unity
The n solutions of zn = 1 are e2πik/n, k = 0, 1, …, n−1 — equally spaced points on the unit circle forming a regular n-gon. They sum to 0 (for n ≥ 2). Cube roots of unity: 1, −½ ± (√3/2)i. Fourth roots: 1, i, −1, −i. learn more
Fundamental Theorem of Algebra: every degree-n polynomial has exactly n complex roots (counting multiplicity). Gauss's 1799 doctoral dissertation gave a (nearly complete) proof. learn more
Calculus
↑ topLimits
limx→a f(x) = L means f(x) gets arbitrarily close to L as x approaches a. Cauchy and Weierstrass made this rigorous with the ε–δ (epsilon–delta) definition. Famous limits: limx→0 (sin x)/x = 1; limn→∞ (1 + 1/n)n = e; limx→∞ 1/x = 0. A function is continuous at a if limx→a f(x) = f(a). learn more · ε–δ
Derivatives
The derivative is the instantaneous rate of change = slope of the tangent line. Velocity is the derivative of position; acceleration is the derivative of velocity. learn more · Khan Academy
| Rule | Formula | More |
|---|---|---|
| Constant | d/dx [c] = 0 | learn more |
| Power rule | d/dx [xn] = n xn−1 | |
| Product rule | (fg)′ = f′g + fg′ | learn more |
| Quotient rule | (f/g)′ = (f′g − fg′)/g2 (“low d-high minus high d-low, over the square of what's below”) | learn more |
| Chain rule | d/dx [f(g(x))] = f′(g(x)) · g′(x); Leibniz form dy/dx = (dy/du)(du/dx) | learn more |
| f(x) | f′(x) | f(x) | f′(x) |
|---|---|---|---|
| sin x | cos x | ex | ex (its own derivative) |
| cos x | −sin x | ax | ax ln a |
| tan x | sec2x | ln x | 1/x |
| sec x | sec x tan x | logax | 1/(x ln a) |
| arcsin x | 1/√(1 − x2) | arctan x | 1/(1 + x2) |
learn more · Mean value theorem (and its special case, Rolle's theorem)
Integrals
| Integral | Result |
|---|---|
| ∫ xn dx | xn+1/(n+1) + C (n ≠ −1) |
| ∫ 1/x dx | ln|x| + C |
| ∫ ex dx | ex + C |
| ∫ sin x dx | −cos x + C |
| ∫ cos x dx | sin x + C |
| ∫ sec2x dx | tan x + C |
| ∫ 1/(1 + x2) dx | arctan x + C |
The definite integral ∫ab f(x) dx is the signed area under the curve, defined as a limit of Riemann sums. The “+ C” (constant of integration) is required for indefinite integrals. learn more · lists of integrals · Riemann sum
Fundamental Theorem of Calculus
Differentiation and integration are inverse operations. Isaac Barrow (Newton's teacher) proved a geometric version; Newton and Leibniz developed it systematically. learn more
L'Hôpital's rule
If f(x)/g(x) gives 0/0 or ∞/∞ as x → a, then lim f/g = lim f′/g′ (if the latter exists). Example: limx→0 sin x / x = lim cos x / 1 = 1. Named for the Marquis de l'Hôpital, whose 1696 book Analyse des infiniment petits was the first calculus textbook — but the rule was really discovered by his paid tutor Johann Bernoulli. learn more
L'Hôpital's rule differentiates numerator and denominator separately — it is not the quotient rule.
Newton vs. Leibniz
Isaac Newton developed his “method of fluxions” around 1665–66 but published late (parts in Principia, 1687; full account posthumously). Gottfried Wilhelm Leibniz developed calculus independently in the 1670s and published first (1684, “Nova Methodus pro Maximis et Minimis”). A bitter priority dispute followed; a 1712 Royal Society committee — secretly guided by Newton, its president — ruled for Newton. Today both are credited with independent discovery. British loyalty to Newton's clumsier notation is said to have slowed British mathematics for a century. learn more
| Notation | Derivative written as | Notes |
|---|---|---|
| Leibniz | dy/dx, d2y/dx2; also ∫ (an elongated S for summa, 1675) | Most widely used; Leibniz also coined “function” and “calculus” in this sense |
| Newton | ẏ, ÿ (dots) | Still used in physics for time derivatives |
| Lagrange | f′(x), f″(x) | “Prime” notation |
| Euler | Df, D2f | Operator notation |
learn more · Taylor series: ex = 1 + x + x2/2! + x3/3! + …; sin x = x − x3/3! + x5/5! − … (Maclaurin series are Taylor series centered at 0). Taylor series
“Fluxions” → Newton. “Monads,” “binary arithmetic,” “stepped reckoner,” or the dy/dx notation → Leibniz. “First calculus textbook” → L'Hôpital.
Statistics
↑ top| Measure | Definition | Example: 2, 3, 3, 5, 7, 10 | More |
|---|---|---|---|
| Mean | Sum ÷ count (arithmetic average) | 30/6 = 5 | learn more |
| Median | Middle value when sorted (average the two middles for an even count) | (3 + 5)/2 = 4 | learn more |
| Mode | Most frequent value (can be several, or none) | 3 | learn more |
| Range | Max − min | 10 − 2 = 8 | learn more |
| Interquartile range | Q3 − Q1 (spread of the middle 50%) | — | learn more |
The median is resistant to outliers; the mean is not. Adding one billionaire to a room barely moves the median income but drags the mean way up.
Standard deviation
Standard deviation (σ) measures spread: roughly the typical distance of values from the mean. Variance = σ2 = the average squared deviation from the mean; σ = √variance. (Sample standard deviation divides by n − 1 instead of n.) Data 2, 4, 4, 4, 5, 5, 7, 9: mean 5, variance 4, σ = 2. Adding a constant to every value doesn't change σ; multiplying every value by k multiplies σ by |k|. A z-score z = (x − μ)/σ counts standard deviations from the mean. learn more · z-score
The 68-95-99.7 (empirical) rule
For a normal distribution (bell curve, Gaussian distribution): about 68% of data lies within 1σ of the mean, 95% within 2σ, and 99.7% within 3σ. Example: IQ scores (mean 100, σ = 15) → 68% between 85 and 115, 95% between 70 and 130. learn more · normal distribution
- The normal curve was studied by de Moivre (1733) and Gauss (hence “Gaussian”); the Central Limit Theorem explains why averages tend to be normal. learn more
- Correlation coefficient r ranges from −1 to 1 (Pearson). Correlation does not imply causation. learn more
- Simpson's paradox: a trend in several groups reverses when the groups are combined. learn more
- Benford's law: in many real data sets, the leading digit is 1 about 30% of the time. learn more
Mathematicians
↑ topWritten the way clues appear: the hardest (most obscure) facts first, the giveaway last. Dates for ancient figures are approximate (c. = circa, fl. = flourished). learn more · MacTutor History of Mathematics
Ancient & medieval
| Name | Dates | Nationality | Known for (quiz clues) | More |
|---|---|---|---|---|
| Thales of Miletus | c. 624 – c. 546 BC | Greek (Ionia) | Often called the first mathematician; supposedly predicted a solar eclipse (585 BC); measured pyramid heights by shadows; Thales' theorem (angle in a semicircle is right). | learn more |
| Pythagoras | c. 570 – c. 495 BC | Greek (Samos; school at Croton) | Led a secretive brotherhood that forbade eating beans and held “all is number”; linked musical intervals to ratios; follower Hippasus supposedly drowned for revealing √2 is irrational; Pythagorean theorem. | learn more |
| Zeno of Elea | c. 490 – c. 430 BC | Greek | Paradoxes of motion: the Dichotomy, the Arrow, and Achilles and the Tortoise — resolved by convergent infinite series. | learn more |
| Euclid | fl. c. 300 BC | Greek (Alexandria) | Told Ptolemy I “there is no royal road to geometry”; Euclidean algorithm; proved infinitely many primes; five postulates including the parallel postulate; “father of geometry,” author of the 13-book Elements. | learn more · Elements |
| Archimedes | c. 287 – c. 212 BC | Greek (Syracuse, Sicily) | The Sand Reckoner; the Archimedes Palimpsest; bounded π between 3 10/71 and 3 1/7 using 96-gons; sphere-in-cylinder on his tomb; killed by a Roman soldier during the siege of Syracuse (“Do not disturb my circles”); shouted “Eureka!” over a king's crown; lever (“Give me a place to stand…”); Archimedes' screw. | learn more |
| Eratosthenes | c. 276 – c. 194 BC | Greek (Cyrene; chief librarian at Alexandria) | Nicknamed “Beta” (second best at everything); coined “geography”; measured Earth's circumference using noon shadows at Syene and Alexandria; Sieve of Eratosthenes for primes. | learn more |
| Apollonius of Perga | c. 240 – c. 190 BC | Greek | “The Great Geometer”; Problem of Apollonius (circles tangent to three circles); named the ellipse, parabola, and hyperbola in his Conics. | learn more |
| Hipparchus | c. 190 – c. 120 BC | Greek | Discovered precession of the equinoxes; star catalog; first table of chords — the “father of trigonometry.” | learn more |
| Heron (Hero) of Alexandria | c. 10 – c. 70 AD | Greek (Roman Egypt) | Built the aeolipile (a steam turbine toy); iterative square-root method; Heron's formula for triangle area from three sides. | learn more |
| Ptolemy (Claudius Ptolemaeus) | c. 100 – c. 170 AD | Greco-Roman (Alexandria) | Geography; Ptolemy's theorem on cyclic quadrilaterals; trig chord tables; the geocentric Almagest. | learn more |
| Diophantus | c. 200 – c. 284 AD (uncertain) | Greek (Alexandria) | His age is a riddle-epitaph (answer: 84 years); Fermat wrote his Last Theorem in the margin of his book; Diophantine equations (integer solutions); “father of algebra” for Arithmetica. | learn more |
| Hypatia | c. 355/370 – 415 AD | Greek (Alexandria) | Daughter of Theon of Alexandria; Neoplatonist philosopher; commentaries on Diophantus and Apollonius; murdered by a Christian mob in 415; first well-documented female mathematician. | learn more |
| Zu Chongzhi | 429 – 500 | Chinese | Daming calendar; computed π between 3.1415926 and 3.1415927 and the approximation 355/113 (Milü), the best for nearly 1,000 years. | learn more |
| Aryabhata | 476 – 550 | Indian | India's first satellite (1975) was named for him; said Earth rotates on its axis; π ≈ 3.1416; sine tables; wrote the Aryabhatiya. | learn more |
| Brahmagupta | c. 598 – c. 668 | Indian | Brahmagupta's formula (cyclic quadrilateral area); Pell-type equations; first rules for arithmetic with zero and negative numbers in the Brāhmasphuṭasiddhānta (628). | learn more |
| Muhammad ibn Musa al-Khwarizmi | c. 780 – c. 850 | Persian (Baghdad's House of Wisdom) | His name gives us “algorithm”; his book al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala gives us “algebra” (from al-jabr, “restoration”); spread Hindu–Arabic numerals. | learn more |
| Omar Khayyam | 1048 – 1131 | Persian | Reformed the calendar (Jalali calendar); critiqued the parallel postulate; solved cubic equations geometrically with conic sections; also the poet of the Rubáiyát (see below). | learn more |
| Bhāskara II | 1114 – 1185 | Indian | Early ideas of derivatives; wrote Līlāvatī, an arithmetic text traditionally said to be named for his daughter. | learn more |
| Leonardo of Pisa (Fibonacci) | c. 1170 – c. 1250 | Italian (Pisa) | Learned Hindu–Arabic numerals in North Africa (Bugia); Liber Quadratorum; rabbit problem in Liber Abaci (1202). | learn more |
| Madhava of Sangamagrama | c. 1340 – c. 1425 | Indian (Kerala school) | Infinite series for sine, cosine, and arctangent ~250 years before Europe; the series π/4 = 1 − 1/3 + 1/5 − … is often called the Madhava–Leibniz series. | learn more |
Early modern (1500–1800)
| Name | Dates | Nationality | Known for (quiz clues) | More |
|---|---|---|---|---|
| Niccolò Tartaglia | c. 1499 – 1557 | Italian | Nickname means “the stammerer” (from a sword wound to the face as a child); first Italian translation of Euclid; ballistics; won a cubic-solving contest, then told his secret to Cardano, who published it. | learn more |
| Gerolamo Cardano | 1501 – 1576 | Italian | Physician, astrologer, and gambler; Cardan shaft/gimbal; Liber de ludo aleae (early probability); first to work (reluctantly) with complex roots; published cubic & quartic solutions in Ars Magna (1545). | learn more |
| Lodovico Ferrari | 1522 – 1565 | Italian | Cardano's servant-turned-student; solved the general quartic. | learn more |
| François Viète | 1540 – 1603 | French | Lawyer who broke Spanish ciphers for Henry IV; infinite product for π (1593); first systematic use of letters for unknowns and constants; Vieta's formulas. | learn more |
| John Napier | 1550 – 1617 | Scottish | Laird of Merchiston; “Napier's bones” calculating rods; popularized the decimal point; invented logarithms (Mirifici Logarithmorum Canonis Descriptio, 1614). | learn more |
| Johannes Kepler | 1571 – 1630 | German | Nested Platonic solids in Mysterium Cosmographicum; Kepler conjecture on sphere packing (proved by Thomas Hales); three laws of planetary motion. | learn more |
| René Descartes | 1596 – 1650 | French | Died in Stockholm tutoring Queen Christina; rule of signs; used x, y, z for unknowns; La Géométrie (1637, appendix to Discourse on the Method) founded analytic geometry — Cartesian coordinates; “Cogito, ergo sum.” | learn more |
| Pierre de Fermat | 1601? – 1665 | French | Toulouse lawyer and “Prince of Amateurs”; principle of least time in optics; founded probability with Pascal; Fermat's Little Theorem (ap ≡ a mod p); Last Theorem written in a margin. | learn more |
| Blaise Pascal | 1623 – 1662 | French | Mystic hexagram theorem at 16; built the Pascaline calculator; Pensées and Pascal's Wager; SI unit of pressure; arithmetic triangle; probability with Fermat (1654). | learn more |
| Seki Takakazu | c. 1642 – 1708 | Japanese | Founder of wasan (Japanese mathematics); discovered determinants and Bernoulli numbers independently of Europe. | learn more |
| Isaac Newton | 1643 – 1727 (born Dec. 25, 1642 Old Style) | English | Warden/Master of the Royal Mint; Lucasian Professor at Cambridge; Newton's method for roots; generalized binomial theorem; “method of fluxions” = calculus; Principia (1687). | learn more |
| Gottfried Wilhelm Leibniz | 1646 – 1716 | German | Stepped Reckoner calculator; monads; “best of all possible worlds” (mocked in Voltaire's Candide); championed binary; co-inventor of calculus with dy/dx and ∫ notation. | learn more |
| Abraham de Moivre | 1667 – 1754 | French (worked in England) | Legend: predicted the date of his own death; The Doctrine of Chances; early normal approximation; De Moivre's theorem. | learn more |
| Jacob (Jakob/James) Bernoulli | 1655 – 1705 | Swiss (Basel) | Wanted a logarithmic spiral on his tombstone with “Eadem mutata resurgo” (the carver made an Archimedean spiral); found e via compound interest; Bernoulli numbers; law of large numbers in Ars Conjectandi (1713). | learn more · family |
| Johann (Jean/John) Bernoulli | 1667 – 1748 | Swiss (Basel) | Jacob's younger brother and rival; posed the brachistochrone problem (1696; answer: a cycloid); taught Euler; sold his results to l'Hôpital (“L'Hôpital's rule”). | learn more |
| Daniel Bernoulli | 1700 – 1782 | Swiss (born in Groningen) | Johann's son; St. Petersburg paradox and utility; Hydrodynamica (1738) — Bernoulli's principle in fluid flow. | learn more |
| Leonhard Euler | 1707 – 1783 | Swiss (worked in St. Petersburg and Berlin) | Most prolific mathematician ever; kept working after going blind; solved the Basel problem (π2/6); Seven Bridges of Königsberg (graph theory, 1736); V − E + F = 2; introduced f(x), e, i, Σ and popularized π; eiπ + 1 = 0. | learn more |
| Joseph-Louis Lagrange | 1736 – 1813 | Italian-born (Turin), French | Helped design the metric system; four-square theorem (every positive integer is a sum of 4 squares, 1770); Lagrange multipliers; Lagrange points; Mécanique analytique. | learn more |
| Pierre-Simon Laplace | 1749 – 1827 | French | Told Napoleon “I had no need of that hypothesis” (God); briefly Napoleon's Minister of the Interior; Laplace's demon; nebular hypothesis; Laplace transform; Mécanique céleste — “the French Newton.” | learn more |
19th century
| Name | Dates | Nationality | Known for (quiz clues) | More |
|---|---|---|---|---|
| Joseph Fourier | 1768 – 1830 | French | Went with Napoleon to Egypt; discovered the greenhouse effect; Analytical Theory of Heat (1822); Fourier series — any periodic function as a sum of sines and cosines. | learn more |
| Carl Friedrich Gauss | 1777 – 1855 | German | Motto pauca sed matura (“few, but ripe”); located the asteroid Ceres (1801); method of least squares; constructed the regular 17-gon (1796); Disquisitiones Arithmeticae (1801); summed 1 to 100 as a schoolboy; the “Prince of Mathematicians.” | learn more |
| Sophie Germain | 1776 – 1831 | French | Corresponded with Gauss and Lagrange as “Monsieur LeBlanc”; won the French Academy prize on elasticity (1816); worked on Fermat's Last Theorem; Germain primes (p with 2p + 1 prime). | learn more |
| Augustin-Louis Cauchy | 1789 – 1857 | French | Published ~800 papers; Cauchy–Schwarz inequality; Cauchy sequences; founded complex analysis; brought rigor to limits and continuity. | learn more |
| August Ferdinand Möbius | 1790 – 1868 | German | Möbius transformations; barycentric coordinates; the one-sided Möbius strip (1858, found independently by Johann Listing). | learn more |
| Charles Babbage | 1791 – 1871 | English | Lucasian Professor; campaigned against street musicians; designed the Difference Engine and the programmable Analytical Engine — “father of the computer.” | learn more |
| Nikolai Lobachevsky | 1792 – 1856 | Russian | Rector of Kazan University; satirized (affectionately) in a Tom Lehrer song; “Copernicus of Geometry”; published hyperbolic (non-Euclidean) geometry in 1829. | learn more |
| János Bolyai | 1802 – 1860 | Hungarian | Army officer and skilled duelist; Gauss said praising him would be praising himself; independently created non-Euclidean geometry in an appendix (1832) to his father Farkas's book. | learn more |
| Niels Henrik Abel | 1802 – 1829 | Norwegian | Died of tuberculosis at 26; abelian (commutative) groups; the Abel Prize honors him; proved the general quintic is unsolvable by radicals (1824). | learn more |
| William Rowan Hamilton | 1805 – 1865 | Irish | Icosian game (Hamiltonian cycles); Hamiltonian mechanics; carved i2 = j2 = k2 = ijk = −1 into Dublin's Broom (Brougham) Bridge on Oct. 16, 1843 — quaternions. | learn more · quaternions |
| Augustus De Morgan | 1806 – 1871 | British (born in India) | Coined “mathematical induction”; A Budget of Paradoxes; De Morgan's laws in logic: not(A and B) = (not A) or (not B). | learn more |
| Évariste Galois | 1811 – 1832 | French | Twice failed the École Polytechnique entrance exam; jailed as a radical republican; wrote his ideas to Auguste Chevalier the night before he was killed in a duel at 20; Galois theory / group theory. | learn more |
| Ada Lovelace | 1815 – 1852 | English | Only legitimate child of Lord Byron; the programming language Ada and “Ada Lovelace Day” honor her; her 1843 notes on Babbage's Analytical Engine (Note G, computing Bernoulli numbers) — often called the first computer program. | learn more |
| George Boole | 1815 – 1864 | English (professor in Cork, Ireland) | Self-taught; died of pneumonia after walking in the rain to lecture; The Laws of Thought (1854); Boolean algebra (AND, OR, NOT) — basis of digital circuits. | learn more |
| Bernhard Riemann | 1826 – 1866 | German | Riemannian geometry (later used by Einstein); Riemann surfaces; Riemann integral/sums; 1859 paper on primes and the zeta function → Riemann hypothesis. | learn more |
| Richard Dedekind | 1831 – 1916 | German | Gauss's last doctoral student; ideals in ring theory; defined the real numbers with Dedekind cuts. | learn more |
| John Venn | 1834 – 1923 | English | Built a cricket-ball bowling machine; logician at Cambridge; overlapping-circle Venn diagrams (1880). | learn more |
| Georg Cantor | 1845 – 1918 | German (born in St. Petersburg) | Attacked by Kronecker; suffered depression; Cantor set; continuum hypothesis; diagonal argument (reals are uncountable); transfinite numbers/alephs — founder of set theory. | learn more |
| Felix Klein | 1849 – 1925 | German | Erlangen program (geometry via symmetry groups); the one-sided closed surface called the Klein bottle. | learn more |
| Sofya (Sofia) Kovalevskaya | 1850 – 1891 | Russian | Cauchy–Kovalevskaya theorem; won the Prix Bordin (1888) on a spinning rigid body (“Kovalevskaya top”); first woman in modern Europe to earn a math doctorate (Göttingen, 1874) and first female full professor in Northern Europe (Stockholm). | learn more |
| Henri Poincaré | 1854 – 1912 | French | Cousin of French President Raymond Poincaré; won King Oscar II's prize on the three-body problem (beginnings of chaos theory); founded algebraic topology (Analysis Situs); “the last universalist”; Poincaré conjecture (1904). | learn more |
| David Hilbert | 1862 – 1943 | German (Göttingen) | Epitaph: “Wir müssen wissen. Wir werden wissen.” (“We must know. We will know.”); Hilbert's Grand Hotel (infinity); Hilbert spaces; axioms of geometry (1899); posed 23 problems at the 1900 Paris Congress. | learn more |
20th & 21st centuries
| Name | Dates | Nationality | Known for (quiz clues) | More |
|---|---|---|---|---|
| Bertrand Russell | 1872 – 1970 | British | Nobel Prize in Literature (1950); barber paradox; Russell's paradox (the set of all sets that don't contain themselves); Principia Mathematica with Alfred North Whitehead (1910–13). | learn more |
| G. H. Hardy | 1877 – 1947 | English | Hardy–Weinberg principle in genetics; partnership with Littlewood; brought Ramanujan to Cambridge; “1729” taxicab anecdote; A Mathematician's Apology (1940). | learn more |
| Emmy Noether | 1882 – 1935 | German (fled the Nazis to Bryn Mawr College) | Einstein called her a creative mathematical genius; Noetherian rings; founder of modern abstract algebra; Noether's theorem: every symmetry gives a conservation law. | learn more |
| Srinivasa Ramanujan | 1887 – 1920 | Indian | Clerk in Madras; partition formulas; series for 1/π; 1729; died at 32; India's National Mathematics Day (Dec. 22) is his birthday; subject of The Man Who Knew Infinity; wrote to Hardy in 1913. | learn more |
| Andrey Kolmogorov | 1903 – 1987 | Soviet (Russian) | Turbulence; Kolmogorov complexity; axioms of probability (1933). | learn more |
| John von Neumann | 1903 – 1957 | Hungarian-American | Manhattan Project; cellular automata; minimax theorem; stored-program von Neumann architecture; co-founded game theory (Theory of Games and Economic Behavior, 1944, with Morgenstern). | learn more |
| Kurt Gödel | 1906 – 1978 | Austrian (later American) | Walked daily with Einstein at Princeton; claimed the U.S. Constitution allowed dictatorship; starved himself fearing poisoning; incompleteness theorems (1931): any consistent system rich enough for arithmetic has true but unprovable statements. | learn more |
| Alan Turing | 1912 – 1954 | English | Prosecuted in 1952 for homosexuality; pardoned in 2013; on the Bank of England £50 note; the “imitation game”/Turing test (1950); broke Enigma at Bletchley Park; Turing machine and halting problem (1936). | learn more |
| Paul Erdős | 1913 – 1996 | Hungarian | Lived out of a suitcase; called children “epsilons”; spoke of proofs from “The Book”; ~1,500 papers with ~500 coauthors — hence the Erdős number. | learn more · Erdős number |
| Claude Shannon | 1916 – 2001 | American | Juggling and unicycle enthusiast; built a maze-solving mechanical mouse “Theseus”; master's thesis applying Boolean algebra to switching circuits (1937); “A Mathematical Theory of Communication” (1948) — father of information theory; popularized the “bit.” | learn more |
| Katherine Johnson | 1918 – 2020 | American | Presidential Medal of Freedom (2015); John Glenn asked her to verify his 1962 orbital calculations; NASA “human computer” in Hidden Figures. | learn more |
| Benoit Mandelbrot | 1924 – 2010 | Polish-born French-American | Worked at IBM; “How Long Is the Coast of Britain?” (1967); The Fractal Geometry of Nature; coined “fractal” (1975); Mandelbrot set. | learn more |
| John Forbes Nash Jr. | 1928 – 2015 | American | Died in a taxi crash returning from receiving the Abel Prize (2015); schizophrenia; Nobel in Economics (1994); Nash equilibrium; A Beautiful Mind (book 1998, film 2001). | learn more |
| Paul Cohen | 1934 – 2007 | American | Invented “forcing”; showed the continuum hypothesis is independent of standard set theory (1963); Fields Medal 1966. | learn more |
| John Horton Conway | 1937 – 2020 | English | Surreal numbers; Look-and-say sequence; Monstrous Moonshine; the cellular automaton Game of Life (1970); died of COVID-19. | learn more |
| Andrew Wiles | b. 1953 | English | Read about the problem at age 10; worked in secret for ~7 years; announced 1993 at Cambridge, fixed a gap with Richard Taylor in 1994; published 1995; too old for a Fields Medal (special silver plaque, 1998); Abel Prize 2016; proved Fermat's Last Theorem. | learn more |
| Grigori Perelman | b. 1966 | Russian | Posted proofs on arXiv (2002–03) using Ricci flow; lives reclusively in St. Petersburg; refused the Fields Medal (2006) and the $1 million Millennium Prize (2010); proved the Poincaré conjecture. | learn more |
| Terence Tao | b. 1975 | Australian-American | Youngest IMO gold medalist (13); Green–Tao theorem (primes contain arbitrarily long arithmetic progressions); Fields Medal 2006. | learn more |
| Maryam Mirzakhani | 1977 – 2017 | Iranian | Two IMO gold medals (1994, 1995 perfect score); Stanford professor; geometry and dynamics of Riemann surfaces/moduli spaces; died of breast cancer at 40; first woman (and first Iranian) to win the Fields Medal (2014). | learn more |
| Maryna Viazovska | b. 1984 | Ukrainian | Solved sphere packing in 8 dimensions (E8 lattice, 2016) and helped with 24; second woman to win the Fields Medal (2022). | learn more |
“A mathematician is a machine for turning coffee into theorems” is usually attributed to Erdős, but he credited it to his friend Alfréd Rényi. learn more
Don't confuse the Bernoullis: Jacob = probability/Ars Conjectandi/law of large numbers; Johann = brachistochrone/taught Euler/L'Hôpital's rule; Daniel (Johann's son) = fluid flow (Bernoulli's principle).
Non-Euclidean geometry trio: Lobachevsky (Russian), Bolyai (Hungarian), and Gauss (who claimed he'd found it first but didn't publish). Riemann later developed elliptic/spherical geometry.
Unexpected Mathematicians
↑ topPoliticians, writers, nurses, and artists who did real math — a favorite quiz-bowl crossover with history and literature.
James A. Garfield's proof of the Pythagorean theorem
In 1876, while serving as a U.S. Representative from Ohio (he was in the House 1863–1880), James A. Garfield — later the 20th President — devised an original proof of the Pythagorean theorem. It was published in the New-England Journal of Education (April 1, 1876), which noted it was something members of both parties could agree on. Garfield had been a teacher and principal at the Western Reserve Eclectic Institute (now Hiram College) before the Civil War. learn more · Pythagorean theorem · Cut-the-Knot proofs
The proof (trapezoid method):
- Take a right triangle with legs a, b and hypotenuse c. Place a second, congruent copy rotated 90° so the two triangles sit end to end; their legs line up to form one straight side of length a + b.
- Connect the free ends. The figure is a trapezoid with parallel sides a and b and height a + b.
- The trapezoid is made of three right triangles: the two congruent ones (each area ½ab) and an isosceles right triangle with both legs c (area ½c2). The angle between the two c's is 90° because the two acute angles of the original triangle sum to 90°.
- Set the areas equal:
Sum of triangles = ½ab + ½ab + ½c2
½(a2 + 2ab + b2) = ab + ½c2 ⇒ a2 + 2ab + b2 = 2ab + c2 ⇒ a2 + b2 = c2
(It is exactly half of the classic “square inside a square” proof figure.)
“A future U.S. president,” “a trapezoid,” “1876,” “New-England Journal of Education” → James A. Garfield. He was later assassinated by Charles Guiteau (shot July 2, 1881; died September 19, 1881).
Quiz questions sometimes loosely call Garfield a “senator” when he wrote the proof. He was a Representative. The Ohio legislature elected him to the U.S. Senate in January 1880, but he won the presidency that November and never served in the Senate.
Other surprising mathematicians
| Person | Known mainly as | The math connection | More |
|---|---|---|---|
| Lewis Carroll (Charles Lutwidge Dodgson, 1832–1898) | Author of Alice's Adventures in Wonderland (1865) | Mathematics lecturer at Christ Church, Oxford; wrote Euclid and His Modern Rivals (1879), Symbolic Logic (1896), and The Game of Logic; devised “Dodgson condensation” for determinants; worked on voting theory. | learn more · Dodgson condensation |
| Thomas Jefferson (1743–1826) | 3rd U.S. President | Loved mathematics (“I have given up newspapers in exchange for Tacitus and Thucydides, for Newton and Euclid,” 1812 letter to John Adams); pushed for a decimal currency (dollars and cents); designed a mathematically optimized plow moldboard; the Jefferson method of apportioning House seats (used 1792–1830s); invented a wheel cipher. | learn more · Jefferson method · Jefferson disk |
| Abraham Lincoln (1809–1865) | 16th U.S. President | As a lawyer and ex-Congressman he studied Euclid's Elements to learn what it means to “demonstrate” (prove) something; his 1860 campaign autobiography says he “nearly mastered the Six-books of Euclid.” He used Euclid's axioms as an analogy in political writing (1859 letter to H. L. Pierce). | learn more · Elements |
| George Washington (1732–1799) | 1st U.S. President | Worked as a licensed surveyor as a teenager (Culpeper County, Virginia, 1749), using geometry and trigonometry. | learn more |
| Florence Nightingale (1820–1910) | Founder of modern nursing, “Lady with the Lamp” | Pioneer statistician: her polar area diagram (“coxcomb” or rose diagram) showed most Crimean War soldiers died of preventable disease, not wounds; first woman elected a Fellow of the Royal Statistical Society (1858). | learn more · polar area diagram |
| Napoleon Bonaparte (1769–1821) | Emperor of the French | Artillery officer who admired mathematicians (Laplace, Lagrange, Monge, Fourier) and was elected to the Institut de France. Napoleon's theorem: build equilateral triangles outward on the sides of any triangle; their centers form an equilateral triangle. (Whether Napoleon actually discovered it is doubtful.) | learn more |
| Elisha Scott Loomis (1852–1940) | Ohio high-school math teacher | Compiled The Pythagorean Proposition (1927; 2nd edition 1940) with 367 proofs of the Pythagorean theorem, including Garfield's. He claimed no trigonometric proof was possible (trig depends on the theorem) — in 2023 two New Orleans high-school students, Calcea Johnson and Ne'Kiya Jackson, announced trigonometric proofs that avoid circular reasoning. | learn more |
| Leonardo da Vinci (1452–1519) | Renaissance painter (Mona Lisa, The Last Supper) | A proof of the Pythagorean theorem using congruent hexagons built on the squares is traditionally attributed to him; he illustrated the polyhedra in Luca Pacioli's De divina proportione (1509), a book on the golden ratio; the Vitruvian Man studies human proportion. | learn more · De divina proportione |
| Benjamin Banneker (1731–1806) | Free African American almanac author | Self-taught mathematician and astronomer; built a wooden striking clock (c. 1753); helped Andrew Ellicott survey the boundaries of the District of Columbia (1791); published almanacs (1792–1797) and wrote to Jefferson challenging slavery (1791). | learn more |
| Omar Khayyam (1048–1131) | Poet of the Rubáiyát | The quatrains (“A Jug of Wine, a Loaf of Bread—and Thou”) were made famous in English by Edward FitzGerald's 1859 translation — but Khayyam was primarily a mathematician and astronomer who solved cubic equations with conic sections. | learn more |
| Tom Lehrer (1928–2025) | Musical satirist | Taught mathematics (Harvard, MIT, UC Santa Cruz); songs “Lobachevsky,” “New Math,” and “The Elements” (the periodic table). | learn more |
| Danica McKellar (b. 1975) | Actress (Winnie Cooper on The Wonder Years) | As a UCLA math student co-authored the Chayes–McKellar–Winn theorem (1998) in statistical physics; writes math books for girls (Math Doesn't Suck). | learn more |
| Art Garfunkel (b. 1941) | Singer (Simon & Garfunkel) | Earned a master's degree in mathematics (education) from Columbia University. | learn more |
| Martin Gardner (1914–2010) | Writer, not a trained mathematician | Wrote the “Mathematical Games” column in Scientific American (1956–1981), popularizing flexagons, Conway's Game of Life, and Penrose tilings. | learn more |
A popular story says Queen Victoria enjoyed Alice and asked for Carroll's next book, receiving a math text. Dodgson himself publicly denied this ever happened.
Famous Problems & Prizes
↑ top| Problem | Statement | Status / key facts | More |
|---|---|---|---|
| Fermat's Last Theorem | xn + yn = zn has no positive-integer solutions for n > 2. | Fermat (c. 1637) wrote in the margin of Diophantus's Arithmetica that he had “a truly marvelous proof” the margin was too narrow to contain. Fermat proved n = 4 (infinite descent); Euler n = 3. Andrew Wiles announced a proof in June 1993; a gap was fixed with Richard Taylor in September 1994; published in Annals of Mathematics in 1995. Method: proving the Taniyama–Shimura (modularity) conjecture for semistable elliptic curves. | learn more · Wiles's proof |
| Four Color Theorem | Any map in the plane can be colored with 4 colors so no two bordering regions match. | Posed by Francis Guthrie (1852); Alfred Kempe's 1879 “proof” was shown wrong by Heawood (1890). Proved in 1976 by Kenneth Appel and Wolfgang Haken (University of Illinois) — the first major computer-assisted proof. Their department's postmark read “Four Colors Suffice.” | learn more |
| Poincaré conjecture | Every simply connected, closed 3-manifold is (topologically) a 3-sphere. | Posed 1904. Proved by Grigori Perelman (2002–03) using Ricci flow; he declined the 2006 Fields Medal and the 2010 Millennium Prize. The only solved Millennium Problem. | learn more |
| Riemann hypothesis | All nontrivial zeros of the Riemann zeta function have real part ½. | Posed 1859; unsolved. Controls the distribution of primes. On both Hilbert's list (#8) and the Millennium list. | learn more |
| Goldbach's conjecture | Every even integer greater than 2 is the sum of two primes (e.g. 28 = 5 + 23). | From a 1742 letter by Christian Goldbach to Euler; unsolved. The “weak” version (every odd number > 5 is a sum of three primes) was proved by Harald Helfgott (2013). | learn more |
| Twin prime conjecture | There are infinitely many primes p with p + 2 also prime. | Unsolved. Yitang Zhang (2013) proved infinitely many prime pairs differ by at most 70 million; the Polymath project cut the bound to 246. | learn more |
| Collatz conjecture | The 3n + 1 process always reaches 1. | Unsolved (see Sequences). | learn more |
| Kepler conjecture | The densest packing of equal spheres is the grocer's pyramid stacking (≈ 74%). | Posed 1611; proved by Thomas Hales (1998, computer-assisted); formally verified 2014. | learn more |
Millennium Prize Problems
Announced by the Clay Mathematics Institute in Paris on May 24, 2000: seven problems, $1 million each. learn more · Clay Institute
- Birch and Swinnerton-Dyer conjecture
- Hodge conjecture
- Navier–Stokes existence and smoothness
- P versus NP
- Poincaré conjecture — solved (Perelman; prize declined)
- Riemann hypothesis
- Yang–Mills existence and mass gap
Hilbert's 23 problems
Presented by David Hilbert at the International Congress of Mathematicians in Paris, August 1900 (he discussed 10 in the talk; the full list of 23 was published). Highlights: #1 continuum hypothesis (shown independent by Gödel 1940 and Cohen 1963); #2 consistency of arithmetic (affected by Gödel's incompleteness); #8 Riemann hypothesis (still open); #10 algorithm for Diophantine equations (proved impossible by Yuri Matiyasevich, 1970). learn more
Seven Bridges of Königsberg
Can you walk through Königsberg (Prussia; today Kaliningrad, Russia) crossing each of its seven bridges over the Pregel River exactly once? Euler proved in 1736 that it's impossible: such a walk requires 0 or 2 land masses with an odd number of bridges, and Königsberg had 4. This founded graph theory (and foreshadowed topology); the path is now called an Eulerian path. learn more · Eulerian path
Three classical construction problems
Using only a compass and straightedge, the Greeks tried — and all three were later proved impossible: learn more
| Problem | Task | Proved impossible by | More |
|---|---|---|---|
| Squaring the circle | Build a square with the same area as a given circle | Ferdinand von Lindemann, 1882 (π is transcendental) | learn more |
| Doubling the cube (Delian problem) | Build a cube with twice the volume of a given cube (needs ∛2) | Pierre Wantzel, 1837 | learn more |
| Trisecting the angle | Divide any angle into three equal parts | Pierre Wantzel, 1837 | learn more |
Related: a regular n-gon is constructible iff n is a power of 2 times distinct Fermat primes (3, 5, 17, 257, 65537) — Gauss–Wantzel theorem. So the heptagon (7) and nonagon (9) are not constructible; the 17-gon is. learn more
“Delian problem” or “oracle at Delos” → doubling the cube. “Lindemann” or “π is transcendental” → squaring the circle.
Fields Medal & Abel Prize
| Prize | Facts | More |
|---|---|---|
| Fields Medal | Awarded every 4 years at the International Congress of Mathematicians to 2–4 mathematicians under 40. Named for Canadian mathematician John Charles Fields; first awarded 1936 (Lars Ahlfors and Jesse Douglas). The medal shows Archimedes. Women winners: Maryam Mirzakhani (2014), Maryna Viazovska (2022). Often called the “Nobel Prize of mathematics.” | learn more |
| Abel Prize | Awarded annually by the King of Norway, no age limit, named for Niels Henrik Abel. First awarded 2003 to Jean-Pierre Serre. Prize money comparable to a Nobel. Winners include Wiles (2016) and Nash & Nirenberg (2015). | learn more |
| Others | Wolf Prize in Mathematics (Israel, since 1978); Turing Award (computer science, since 1966); Breakthrough Prize in Mathematics (since 2015). | learn more |
There is no Nobel Prize in mathematics. The legend that Nobel skipped math because a mathematician (Mittag-Leffler) had an affair with his wife is false — Alfred Nobel never married. learn more
Constants, Symbols & the Greek Alphabet
↑ topFamous constants
| Constant | Value | Facts | More |
|---|---|---|---|
| π (pi) | 3.14159 26535 89793… | Circumference ÷ diameter. Approximations 22/7 and 355/113. Irrational (Lambert, 1761) and transcendental (Lindemann, 1882). Symbol first used by William Jones (1706), popularized by Euler (1730s). Pi Day = March 14 (also Einstein's birthday). Ludolph van Ceulen computed 35 digits (“Ludolphine number”). The 1897 Indiana Pi Bill nearly legislated a wrong value (passed the House, stalled in the Senate). | learn more · Indiana Pi Bill |
| e (Euler's number) | 2.71828 18284 59045… | Base of natural logarithms; lim (1 + 1/n)n; = 1 + 1/1! + 1/2! + 1/3! + …. Found by Jacob Bernoulli (1683) studying compound interest; letter e chosen by Euler (c. 1727–28). Transcendental (Hermite, 1873). Also “Napier's constant.” | learn more |
| φ (golden ratio) | 1.61803 39887… | (1 + √5)/2; limit of Fibonacci ratios; diagonal-to-side ratio of a regular pentagon. Continued fraction [1; 1, 1, 1, …] makes it the “most irrational” number. | learn more |
| i | √−1 | Symbol introduced by Euler (1777). | learn more |
| √2 (Pythagoras's constant) | 1.41421 35623… | Diagonal of a unit square; first number known to be irrational (legend of Hippasus). Paper sizes (A4) use a √2 aspect ratio. | learn more |
| γ (Euler–Mascheroni constant) | 0.57721 56649… | Limit of (1 + ½ + … + 1/n) − ln n. Not even known whether it is irrational. | learn more |
π and e are both transcendental (not roots of any integer polynomial); √2 and φ are irrational but algebraic (roots of x2 − 2 and x2 − x − 1). learn more
Who introduced the symbols
| Symbol | Introduced / popularized by | Year | More |
|---|---|---|---|
| + and − (in print) | Johannes Widmann | 1489 | learn more |
| √ (radical) | Christoph Rudolff | 1525 | learn more |
| = (equals) | Robert Recorde, The Whetstone of Witte — “noe 2 thynges can be moare equalle” than a pair of parallel lines | 1557 | learn more · Recorde |
| × (multiplication) | William Oughtred (also invented the slide rule) | 1631 | learn more |
| < and > | Thomas Harriot (published posthumously) | 1631 | learn more |
| ∞ (infinity) | John Wallis | 1655 | learn more · Wallis |
| ÷ (obelus) | Johann Rahn | 1659 | learn more |
| ∫ and dx | Gottfried Leibniz | 1675 | learn more |
| π | William Jones (popularized by Euler) | 1706 | learn more |
| e, f(x), Σ, i | Leonhard Euler | e c. 1727–28; f(x) 1734; Σ 1755; i 1777 | learn more |
| ≡ (congruence) | Carl Friedrich Gauss | 1801 | learn more |
| n! (factorial) | Christian Kramp | 1808 | learn more |
| ℵ (aleph, infinite cardinals) | Georg Cantor | 1890s | learn more |
learn more about the history of notation
Greek alphabet
| # | Letter | Name | Common math/science use |
|---|---|---|---|
| 1 | Α α | alpha | angles; significance level |
| 2 | Β β | beta | angles; beta function |
| 3 | Γ γ | gamma | Euler–Mascheroni constant; gamma function Γ |
| 4 | Δ δ | delta | change (Δx); discriminant; small δ in limits |
| 5 | Ε ε | epsilon | small positive quantity (ε–δ) |
| 6 | Ζ ζ | zeta | Riemann zeta function |
| 7 | Η η | eta | efficiency |
| 8 | Θ θ | theta | angles |
| 9 | Ι ι | iota | “not one iota”; index |
| 10 | Κ κ | kappa | curvature |
| 11 | Λ λ | lambda | wavelength; eigenvalues |
| 12 | Μ μ | mu | mean (population); micro- |
| 13 | Ν ν | nu | frequency |
| 14 | Ξ ξ | xi | random variables |
| 15 | Ο ο | omicron | (rarely used; looks like o) |
| 16 | Π π | pi | 3.14159…; Π = product |
| 17 | Ρ ρ | rho | density; correlation |
| 18 | Σ σ | sigma | Σ = summation; σ = standard deviation |
| 19 | Τ τ | tau | torque; τ = 2π |
| 20 | Υ υ | upsilon | (rare) |
| 21 | Φ φ | phi | golden ratio; angles; Euler's totient φ(n) |
| 22 | Χ χ | chi | chi-squared test; Euler characteristic χ |
| 23 | Ψ ψ | psi | wave function; −1/φ in Binet's formula |
| 24 | Ω ω | omega | ohms; angular velocity; cube root of unity ω |
24 letters, from alpha to omega (“the alpha and the omega” = beginning and end). learn more · Greek letters in math