已知f(x1,x2,x3,x4)=判别正定性,