非退化线性替换将正定实二次型仍变为正定实二次型.