Number theory · Concept hub

Diophantine Equations

250 CE3rd-century Alexandria (Diophantus)

Through Diophantine Equations: How can we find hidden order without counting everything?

Trace recurring structure through exploding possibilities, divisibility, and the apparent irregularity of primes.

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

Understand it in one breath

Real solutions are easy; integer solutions are insanely hard. x²+y²=z² has infinitely many integer solutions (Pythagorean triples), yet x³+y³=z³ has none beyond the trivial (Fermat 1637, Wiles 1995). A tiny exponent change creates an entirely different world.

At a glance

Equation

Real solutions

Integer solutions

Decidable?

ax + by = c

Infinitely many

Infinitely many (when gcd(a,b) divides c)

✓ Euclidean algorithm

x² + y² = z² (Pythagorean equation)

Infinitely many

Infinitely many — (3,4,5), (5,12,13)…

✓ All can be parametrized

x³ + y³ = z³ (FLT n=3)

Infinitely many

0 (apart from trivial solutions)

✓ Euler, 1770

xⁿ + yⁿ = zⁿ, n ≥ 3

Infinitely many

0

✓ Wiles, 1995

Integer solutions of a general polynomial equation

Always decidable

Undecidable

✗ Hilbert’s Tenth Problem (Matiyasevich, 1970)

Diophantine equations have been central to number theory for 2,300 years — from Euclid to Wiles. Most strikingly, a general algorithm cannot exist.

Concept

Equations seeking only integer solutions. Fermat's Last Theorem is one. Hilbert's 10th Problem (Matiyasevich 1970) proved them generally undecidable.

Key formula

find x,yZ:  ax+by=corxn+yn=zn\text{find } x, y \in \mathbb{Z}: \; ax + by = c \quad \text{or} \quad x^n + y^n = z^n

Modern applications

Elliptic-curve cryptography, integer constraints in satisfiability problems, and integer programming.

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Current port

Diophantine Equations

Concepts opened from here

No direct successor port is curated yet.

Only direct editorial links are shown; this is not a complete learning order or historical influence line.