次正方行列は実成分を持つ対称行列とする。同じサイズの正則行列はを別の次対称行列へ変換するものとする。ここにはの転置行列である。即ち、行列とは合同とする。がの適当な二次形式の係数行列ならばは同じ二次形式にの定める基底変換を行って得られる二次形式の係数行列である。対称行列はこの仕方で必ず対角成分がの何れかであるような対角行列に変換することができる。シルヴェスターの慣性法則はこのような各種の対角成分の数が(行列の取り方に依らない)の不変量であることを述べる。なる関係を持つ。差を普通は符号数と呼ぶ(が、の正負の慣性指数と退化次数の三つ組を符号数と呼ぶ文献もある。与えられた次数の非退化形式に対しては、どちらで書いても同じ情報を与えるが、一般には三つ組のほうが情報が多い)。行列が、左上からの次主小行列式が何れも非零であるという性質を持つならば、負の慣性指数は列の符号変化の数に等しい。固有値を用いた主張の言い換え.二次形式の慣性法則.二次形式の文脈において、実変数の(あるいは次元実ベクトル空間上の)実二次形式は適当な基底変換(正則な線型変換)によって対角形にすることができる。ここに各々とする。シルヴェスターの関係法則はこの係数列の与える符号の数がの(対角化する基底の選び方に依存しない)不変量であることを主張する。幾何学的に言い表せば、与えられた二次形式の制限が正(または負)の定符号二次形式となるような任意の極大部分空間の次元は一定であることを慣性法則は主張する。そのような次元の値が正(または負)の慣性指数に等しい。一般化.この定理はさらにによって正規行列に対するものに一般化された。シルベスターの慣性法則シルベスターの慣性律シルヴェスターの慣性律来歴.現在、2人はウィーン国立音楽大学で教鞭をとっている。レパートリー.歴史.経歴.太陽の誘惑日本でも大ブームとなった『冬のソナタ』の後番組。ストーリー.そんな中、イ・スンジュンが忘れていった手帳を渡すことを口実に、彼に近づこうとしたテギョンは手帳を失くしてしまう。素直に謝るテギョンに、スンジュンは好感を持つ。来歴.インディー団体.WWE.オーダー=シュプレー郡