まず、二次形式
我々は形式で書き込むことができない場合でも、対称行列：F（X1、X2 ... Xnの）= X- T AX。
しかし、我々は、二次行列の一意性を保証するので、私は対称行列でなければならない二次行列を尋ねました。
当量が契約Pを参照すると、B = PAQを指す= B T AP、P及びQは保証できない等価物は、互いに異なる関係です。
契約は関係ないとほぼ同様。唯一Pは、逆順列Pは、同じ類似直交または直交契約である場合には、契約は、同様でした。
第二に、直交バリエーションの方法は、標準的な二次です
N次式F（X1、X2 ... XNに） 、 我々は可逆線形変換を行い、X-CY = => Y T（C T AC）,, Y型二次標準YにT λはY. 実際C T AC =ラムダ対角行列。問題の標準タイプに二次形式は、その可逆行列C、見つけることであるので、C T AC = Λを、また、対角行列Λ契約をしましょう。Aは実対称である場合、それは、直交対角行列に類似していなければなりません。同様の契約は直交し、一貫性のある直交しています。
