Sei der euklidische Vektorraum mit dem Standardskalarprodukt
Sei eine symmetrische Bilinearform. Dann existiert eine Orthonormalbasis
Um eine Matrix in Hauptachsenform zu bringen siehe Diagonalisierung von Matrizen unter sub:Diagonalisierung-von-Abbildung. Diese Transformation heißt Hauptachsentransformation.
Für eine quadratische Form heißt
In Hauptachsenform erhält gilt