大学线代 把二次性化标准型F=x1^2+6x1x2+5x2^2-4x1x3+4x3^2-4x2x4-8x3x4-x4^2