シルヴェスターの慣性法則
線型代数学におけるシルヴェスターの慣性法則（シルヴェスターのかんせいほうそく、）は実二次形式の係数行列の基底変換で不変なある種の性質を記述する。
具体的に二次形式を定義する対称行列 と が対角行列となるような任意の正則行列 に対して、 の主対角線に並ぶ正の成分の数および負の成分の数は に依らず同じである。
名称は、 においてこの性質を証明したジェームス・ジョセフ・シルベスターに因む。