 Solution

Let $f_1,f_2\in V^{\ast }$ satisfy $f_1(v)f_2(v)=0$ for every vector $v$. If $f_1=0$ there is nothing to prove. Otherwise choose $u$ with $f_1(u)\ne 0$. For every $v\in \ker f_1$ and every real number $t$,so the hypothesis gives $f_2(u+tv)=0$. Taking two values of $t$ shows that $f_2(u)=f_2(v)=0$. Sincewe obtain $f_2=0$. Thus one of the two linear functionals is zero.

Sylvester's law of inertia says that, in a suitable basis, every real quadratic form isThe rank is $r=p+m$, and the signature is $\sigma =p-m$; both are independent of the chosen basis.

If $q=f_1{f}_2$, its polar form has image contained in $\mathrm{span}\{f_1,f_2\}$, so $r\le 2$. If $r=2$, the two functionals must be independent and, after taking their sum and difference, $q$ is a difference of two squares. Hence $\sigma =0$. If $r=1$, then $|\sigma |=1$. In every case,Conversely, this inequality leaves onlyup to a linear change of coordinates. These factor respectively as $0$, $(\pm x_1)x_1$, and $(x_1-x_2)(x_1+x_2)$. Therefore

Finally suppose that $q$ takes both positive and negative values. Sylvester's law supplies normalized basis vectorswith $q(e_i)=1$, $q(f_j)=-1$, and the $z_l$ spanning the radical. The $p+m+k$ vectorsare linearly independent and all satisfy $q(v)=0$. They form the required basis of isotropic vectors.