Diagonalizing quadratic forms

In this chapter we consider the question of whether a diagonalizing basis exists for a symmetric bilinear form on a vector space. The principal result is the following theorem.