Also called the local–global principle: the heuristic and (for some classes) theorem that a Diophantine equation has a rational (global) solution precisely when it has solutions over all completions of the rationals (the real numbers and all p-adic fields), subject to necessary compatibility at ramified places.

Principle

Global solvability can sometimes be detected by testing solvability in all local completions; local-to-global maps and reciprocity constraints make local conditions decisive for certain families (notably quadratic forms and conics).

Demonstration

Conics over Q satisfy the Hasse principle: a quadratic form in three variables has a nontrivial rational zero iff it has nontrivial zeros over R and over Q_p for every prime p. Conversely, Selmer curves provide classical counterexamples where local solvability does not imply a rational point.

Misapplication

Assuming the Hasse principle always holds for arbitrary Diophantine equations; neglecting global obstructions (such as the Brauer–Manin obstruction) or failing to check compatibility of local solutions across places leads to false positive conclusions.

Consequence

When valid, reduces global existence questions to a finite (or at least manageable) set of local checks, making arithmetic problems tractable and connecting local invariants to global classification.

Reversal

The failure mode is salient: local solutions everywhere but no global rational solution signals an obstruction of arithmetic nature (Brauer–Manin, descent obstructions), showing that local data need not determine global existence in general.

Boundary

Applies in full to quadratic forms and conics and to some other classes under additional hypotheses; it does not hold universally for higher-degree equations, and its applicability depends on the availability of local–global reciprocity theorems and control of obstructions.

Semantic Tension

Often conflated with weak approximation (density of rational points in adelic points) or with mere local solvability; Hasse principle is a stronger claim about existence of a global point given local points, distinct from approximation or local conditions alone.

Synthesis

The Hasse principle frames the search for rational solutions as a local-to-global problem: for certain families the compatibility of solutions across all completions guarantees a rational point, while failures expose intrinsic global obstructions that refine our understanding of Diophantine solvability.