Quadratic form

Lore & Background

The study of quadratic forms dates back many centuries. One such case is Fermat's theorem on sums of two squares, which determines when an integer may be expressed in the form x² + y². This problem is related to the problem of finding Pythagorean triples, which appeared in the second millennium BCE. He considered what is now called Pell's equation, x² − ny² = 1, and found a method for its solution. In Europe this problem was studied by Brouncker, Euler and Lagrange. Since then, the concept has been generalized, and the connections with quadratic number fields, the modular group, and other areas of mathematics have been further elucidated.

Reader's Guide

Quadratic forms are fundamental objects in mathematics. Over the reals, a quadratic form is said to be definite if it takes the value zero only when all its variables are simultaneously zero; otherwise it is isotropic. The theory and methods used in their study depend on the nature of the coefficients, which may be real or complex numbers, rational numbers, or integers. In linear algebra, analytic geometry, and the majority of applications, the coefficients are real or complex numbers. In the algebraic theory, the coefficients are elements of a certain field. In the arithmetic theory, the coefficients belong to a fixed commutative ring, frequently the integers Z or the p-adic integers Zp. Binary quadratic forms have been extensively studied in number theory, in particular in the theory of quadratic fields, continued fractions, and modular forms. The theory of integral quadratic forms in n variables has important applications to algebraic topology. Using homogeneous coordinates, a non-zero quadratic form in n variables defines an (n − 2)-dimensional projective quadric in the (n − 1)-dimensional projective space. A closely related notion is a quadratic space, which is a pair (V, q), with V a vector space over a field K, and q: V → K a quadratic form on V.

Did You Know?

• A quadratic form is a homogeneous polynomial of degree two; for example, 4x² + 2xy − 3y² is a quadratic form in x and y.
• Over the reals, a quadratic form is definite if it is zero only when all variables are zero; otherwise it is isotropic.
• Any n × n matrix A determines a quadratic form qA in n variables by qA(x₁, …, xₙ) = xᵀAx.

Definition and Algebraic Structure

A quadratic form is, at its core, a homogeneous polynomial in which every term carries degree two. Unlike a quadratic equation, which involves a single variable and may include lower-degree terms, a quadratic form is a multi-variable expression in which no constant or linear terms appear. The word "form" here is simply another name for a homogeneous polynomial. For instance, the expression 4x² + 2xy − 3y² is a binary quadratic form in two variables. More generally, in one, two, or three variables these are called unary, binary, and ternary forms, each with a specific pattern of squared and cross-product terms governed by coefficients a through f. These coefficients are not arbitrary: they typically live in a fixed field K, such as the real numbers or the complex numbers, and one then speaks of a quadratic form "over K." This choice of coefficient field profoundly shapes the theory that follows, because the algebraic properties of the underlying ring determine which questions are meaningful and which analytical tools are available to the investigator.

Definiteness, Isotropy, and the Role of the Coefficient Field

Over the real numbers, a quadratic form earns the label "definite" if it evaluates to zero only when every variable simultaneously vanishes; in all other cases it is called isotropic. This binary classification is one of the most fundamental ways mathematicians sort quadratic forms in the real setting. The story, however, shifts dramatically depending on where the coefficients are permitted to live. In linear algebra, analytic geometry, and most applied contexts, the coefficients are real or complex numbers. In the algebraic theory, they are elements of an arbitrary field. In the arithmetic theory, they belong to a commutative ring, often the integers or the p-adic integers. Binary quadratic forms, in particular, have been studied intensively within number theory, appearing in the theory of quadratic fields, continued fractions, and modular forms. Meanwhile, integral quadratic forms in n variables find important applications in algebraic topology. Thus the same algebraic object—a degree-two homogeneous polynomial—unfolds into entirely different mathematical landscapes depending on the coefficient structure chosen.

A Unifying Thread Across Mathematical Disciplines

Quadratic forms occupy a remarkably central position in an extraordinary range of mathematical fields. In linear algebra they encode bilinear relationships; in group theory they underpin the structure of orthogonal groups. In differential geometry, both the Riemannian metric and the second fundamental form are quadratic in nature. In differential topology, the intersection forms of manifolds—especially four-manifolds—carry deep topological information through quadratic structure. In Lie theory, the Killing form is a canonical quadratic form attached to every Lie algebra. Even in statistics, the exponent of e in a zero-mean multivariate normal distribution takes the quadratic form (−1/2)xᵀΣ⁻¹x, tying the shape of the probability density directly to a quadratic expression. This ubiquity is not accidental: the degree-two homogeneous structure captures a kind of second-order behavior—curvature, energy, variance—that recurs whenever one moves beyond linear approximations. A single algebraic template thus serves as a common language across fields that, at first glance, appear to have little in common.

Geometric Visualization and the Projective Perspective

One of the most intuitive ways to appreciate a quadratic form is through geometry. In three-dimensional Euclidean space, the square of the distance from a point (x, y, z) to the origin is simply x² + y² + z²—a ternary quadratic form that encodes the familiar notion of squared length. More abstractly, when one passes to homogeneous coordinates, any non-zero quadratic form in n variables carves out an (n − 2)-dimensional projective quadric inside the (n − 1)-dimensional projective space. This means that three-dimensional real quadratic forms can be visualized as conic sections—ellipses, parabolas, hyperbolas—offering a concrete picture behind the algebra. The distinction between definite and isotropic forms then acquires geometric meaning: a definite form corresponds to a quadric that does not pass through the point at infinity, while an isotropic one does. In this way, the purely symbolic expression a x² + b xy + c y² is not merely a collection of coefficients but a geometric object whose shape, symmetry, and intersection properties can be read directly from the algebra.