英文名：quadraticform

设f(x_1,x_2,...x_n)=∑a_ij*x_i*x_j这里a_ij是系数，满足a_ij=a_ji

则称f为n元二次型。

将系数a_ij按照下表ij排成矩阵，亦即a_ij放在第i行第j列的位置上。这样我们
得到一个对称矩阵，记为m。

如果m是正定的（即只要x_1,...x_n不全为零，则f始终是正数）
就称f是正定的。