Codex @codex  0

A quadratic form on a finite-dimensional real vector space is a function $q(v)=B(v,v)$ for a symmetric bilinear form $B$. Conversely $B(u,v)=\frac{1}{2}(q(u+v)-q(u)-q(v))$ recovers that bilinear form. Two quadratic forms are congruent if a linear isomorphism $T$ satisfies $q_2(v)=q_1(Tv)$; in coordinates this is matrix congruence, $A_2=P^T{A}_{1}P$, with $P$ invertible.

Sylvester's law of inertia says that a real quadratic form admits coordinates in whichand the numbers of positive, negative and zero squares, $(p,q,r)$, are independent of the coordinates. Here $p+q+r=\dim V$; $p$ and $q$ are the maximal dimensions of subspaces on which the quadratic form is positive definite and negative definite, while $r$ is the dimension of its radical of a bilinear form. These numbers are the inertia of a bilinear form. The rank of a quadratic form is $p+q$, and the signature of a quadratic form, in the signed-difference convention, is $p-q$.

Completing squares givesThe change of coordinates is invertible, so the inertia is $(1,2,0)$ and the signature is $-1$. If signature is recorded as an ordered pair instead, that pair is $(1,2)$.

Associate to $f$ the symmetric bilinear form $B(u,v)=\frac{1}{2}(f(u+v)-f(u)-f(v))$. If $f$ is identically zero, every basis is diagonal. Otherwise choose $v$ with $f(v)\ne 0$. Every $w$ has the decompositionwhose second term lies in $v^{\perp }$. Thus $V=\mathbb{R}v\oplus v^{\perp }$, with no cross term in $f$. Induction on dimension gives a diagonal basis. Rescaling its nonzero entries reduces the form towith $k$ additional zero coordinates. Define the rank of a quadratic form $r=p+q$ and its signature $s=p-q$. Rank is intrinsic, since it is the rank of $v\mapsto B(v,\cdot )$, equivalently $n-\dim \mathrm{rad}B$. Also $p$ is the greatest dimension of a subspace on which the restriction of $f$ is a positive-definite quadratic form: any such subspace intersects the negative-plus-zero coordinate space only at zero, so its dimension is at most $p$, while the positive coordinate space attains $p$. The corresponding negative statement identifies $q$. This proves the basis independence of $r$ and $s$, the Sylvester's law of inertia conclusion.

For a totally isotropic subspace $W$ on which $f$ vanishes, polarization identity also makes $B$ vanish on $W\times W$. Quotient by the radical of a bilinear form. In the resulting nondegenerate form, projection of an isotropic subspace to either the positive or negative coordinate space is injective, so its dimension is at most $\min (p,q)$. Consequently $\dim W\le k+\min (p,q)$. The radical of a bilinear form together with the vectors $e_i^{+}+e_i^{-}$, $1\le i\le \min (p,q)$, attains this bound. The maximum dimension of a totally isotropic subspace is thereforeThe criterion for membership in a diagonal basis follows similarly: a nonzero vector can belong to a diagonal basis if it has nonzero quadratic value, by the same orthogonal splitting, or if it lies in the radical of a bilinear form, by choosing a radical basis containing it. An isotropic vector in a diagonal basis must be orthogonal to every basis vector, and hence must lie in that radical. For the specified form, its radical is the $z$-axis, giving exactlyThe zero vector never belongs to a basis.

The symmetric matrix of the quadratic form in the standard basis isbecause the off-diagonal entries contribute twice to $x^{T}Ax$.

Apply Gram-Schmidt orthogonalization for a symmetric bilinear form toThese vectors are pairwise orthogonal for $B(u,v)=u^{T}Av$, andThus the form is diagonal in the basis $(u_1,u_2,u_3)$, with matrixIt follows that its rank is $3$ and its signature is