任意の2次形式は対称行列を使って書き換えられることを確認します。ここで、 とします。 を書き出すと、と書けます。ここで、ですから、 となります。よって、 と書くことができます。 ここで、 とすれば、ですから、で構成される対称行列によって と書くこ…