シルヴェスターの慣性法則
正規行列 A と B が合同であるための必要十分条件は、それらがガウス平面の原点から出る各開半直線上で同じ数の固有値を持つことである。