Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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 . Since
we 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 is
The 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 only
up 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 vectors
with , , and the spanning the radical. The vectors
are linearly independent and all satisfy . They form the required basis of isotropic vectors.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 8F
  2. Paper 2
  3. Ib
  4. 2022
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home