Parallelogram Law

Test whether a norm comes from an inner product by requiring the squared lengths of every vector pair's sum and difference to equal twice the sum of their squared lengths, with polarization recovering the unique inner product.

Version

v2 · 2026-09-06 · History

Domain-specific #

2452

Origin domain

mathematics

Subdomain

functional analysis

Aliases

Parallelogram Identity

Core Idea

The parallelogram law is the identity

\[ \lVert x+y\rVert^2+\lVert x-y\rVert^2 =2\lVert x\rVert^2+2\lVert y\rVert^2 \]

required to hold for every pair of vectors \(x,y\) in a normed vector space. In Euclidean geometry it says that the sum of the squared lengths of a parallelogram's two diagonals equals the sum of the squared lengths of its four sides. In functional analysis it does more: it detects exactly which norms arise from inner products.

Scope of Application

Euclidean geometry. For adjacent side vectors \(x\) and \(y\), the diagonals are \(x+y\) and \(x-y\). The law turns the familiar picture into a coordinate-free statement about squared lengths. Rectangles, rhombi, and degenerate parallelograms are all covered without changing the identity.

Linear algebra. A positive-definite quadratic form or matrix-defined inner product induces a norm satisfying the law. Polarization recovers the bilinear or sesquilinear form from its diagonal values, explaining why lengths determine angles in this setting.

Clarity

The law clarifies a common hidden assumption: not every way of measuring vector size also contains a notion of angle. A norm gives length and distance; an inner product gives length together with angle, orthogonality, and projection. The parallelogram identity is the exact observable test separating those two levels of structure.

Manages Complexity

Without the law, deciding whether a norm hides an inner product might appear to require inventing a candidate two-input form, proving bilinearity or sesquilinearity, proving conjugate symmetry, proving positivity, and then checking that its diagonal reproduces the norm. The parallelogram law compresses those obligations into one universal norm equation. When it holds, polarization supplies the unique candidate and the theorem supplies its validity.

Abstract Reasoning

The structural signature licenses several deductions.

Counterexample deduction. Because the law is universal, one pair with \(R(x,y)\neq0\) conclusively rules out every inner product inducing the tested norm. No alternative polarization convention can repair a failed equality.

Recovery deduction. If universal equality is established, polarization recovers the unique compatible inner product. Two distinct inner products cannot induce the same norm on the same real or complex vector space, because the norm fixes their polarization values.

Knowledge Transfer

Within mathematics, the mechanism transfers intact. A Euclidean geometer compares sides and diagonals; a linear algebraist recognizes a quadratic form; a functional analyst asks whether a Banach norm is Hilbertian; a signal analyst reconstructs complex correlation structure. In every case the same roles remain: arbitrary pair, sum and difference, squared norms, universal equality, inner-product verdict, and polarization recovery.

Relationships to Other Abstractions

Current abstraction Parallelogram Law Domain-specific

Parents (1) — more general patterns this builds on

• Parallelogram Law presupposes Norm Domain-specific

  Presupposes domain_specific:norm. The law is evaluated on a norm and its vector-space operations.

Hierarchy paths (2) — routes to 2 parentless roots

• Parallelogram Law → Norm → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space

Parallelogram Law sits in a sparse region of the domain-specific corpus (76^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Norm — 0.87
• Euclidean Space — 0.85
• Schur's property — 0.83
• Multilinear form — 0.82
• Matrix — 0.82

Computed from structural-signature embeddings · 2026-09-08