含む)の場合が含まれうる。同じことだが、非退化二次形式とはその付随する対称双線型形式が非退化であるものをいう。表され、特に物理学における時空の理論などで用いられる(ミンコフスキー空間の項などを参照せよ)。以下、これらの結果を異なるやり方で再定式化しよう。n-次元実ベクトル空間上で定義される二次形式とする。q(v)={}^{t}xAx}を満たす対称行列であるという意味である。B=SA\,{}^{t}S}に従って変換される。_{n}\end{pmatrix}}}に変換することができる。対角成分は一意に決まるというのがヤコビの定理である。