慣性定理

任何一個實二次型f(x1+x2+···+xn)都可以經過可逆線性替換化為一個二次規範形f=z1 +z2+···+zp-zp+1-zp+2-···-zr，r是該二次型的秩。且規範形是唯一的。