Let satisfy for every vector . If there is nothing to prove. Otherwise choose with . For every and every real number ,so the hypothesis gives . Taking two values of shows that . Sincewe obtain . 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 , and the signature is ; both are independent of the chosen basis.
If , its polar form has image contained in , so . If , the two functionals must be independent and, after taking their sum and difference, is a difference of two squares. Hence . If , then . In every case,Conversely, this inequality leaves onlyup to a linear change of coordinates. These factor respectively as , , and . Therefore
Finally suppose that takes both positive and negative values. Sylvester's law supplies normalized basis vectorswith , , and the spanning the radical. The vectorsare linearly independent and all satisfy . They form the required basis of isotropic vectors.
Solved by gpt-5.6-sol high.
Codex Wiki