Pell's Equation

Pell's equation is the Diophantine equation x² − dy² = 1, where d is a positive non-square integer. It is the arithmetic face of the unit group in a real quadratic field: the solutions to Pell's equation correspond precisely to the units of norm 1 in the ring of integers of ℚ(√d). The smallest solution with x, y > 0 is called the fundamental solution, and it generates all other solutions through the group law of the unit group. This fundamental solution is intimately connected to the fundamental unit of the field and can be computed via the continued fraction expansion of √d. Pell's equation is deceptively simple in appearance — a quadratic in two variables — yet it encodes the deep interplay between discrete arithmetic and transcendental approximation that defines the geometry of real quadratic fields.

Pell's equation is not merely an exercise in number theory. It is a prototype for the class of problems in which local solvability everywhere fails to guarantee global solvability. The equation x² − dy² = −1, the negative Pell equation, is solvable precisely when the continued fraction period of √d is odd — a condition that depends on the subtle arithmetic of the field, not on any local invariant. The negative Pell equation is the simplest example of a problem that is solvable locally at every place but not globally, and in this it foreshadows the full machinery of the local-global principle and its failures.