含a9网-含立e0j22m小。 说明此二次型正定，故方程组(3的系数行列式大于零， 因此方程组3.1)的解存在而且唯一。现设P(x是任意广义多项 式，-P)-e,(，则 6=(P-y,B-y)=(P-P+P-x.B-P+P-x) =(P-P,P-P)+2(p-P,P-y+(P-y,P-y) 由条件69可知(P-PP--(oP-0 故 δ=(p-P,p-P)+8≥8 这说明P(x)确实是使0取极小值的广义多项式。( ) 0 0 0 0 0 0 , , , 0 n n n n n n i j i j i i j j j j j j i j i j j j       a a a a a a = = = = = =     = =               说明此二次型正定，故方程组 的系数行列式大于零， 因此方程组 的解存在而且唯一。现设 是任意广义多项 式， ，则 (3.11) P x( ) ( ) ( ) ( ) 0 n j j j P x P x x   = − =  = − − = − + − − + − (P y P y P P P y P P P y , , ) ( ) = − − + − − + − − (P P P P P P P y P y P y , 2 , , ) ( ) ( ) (3.11) 由条件 (3.9) 可知 ( ) ( ) 0 , , 0 n j j j P P P y P y   = − − = − =  故 . 这说明 确实是使 取极小值的广义多项式。    = − − +  (P P P P , ) P x( ) 