这个定理证明了 规范形中系数为 +1 的平方项个数和系数为 -1 的平方项个数都由原二次型唯一确定, 分别称为二次型 正惯性指数负惯性指数. 正惯性指数减去负惯性指数得到的数称为符号差.