二元函数极值的充分条件的证明

f(x,y)=f(x0,y0)+△x f_x'(x0,y0)+△y f_y'(x0,y0)+1/2[(△x)²f_xx'' (ξ,η)+2△x △y f_xy''(ξ,η)+(△y)² f_yy''(ξ,η)]
=f(x0,y0)+1/2[(△x)²f_xx'' (ξ,η)+2△x △y f_xy''(ξ,η)+(△y)² f_yy''(ξ,η)]
→f(x0,y0)+1/2[A(△x)²+2B△x △y +C(△y)² ]
B²-AC＜0时，中括号内符号恒定不变。A<0时,中括号内恒为负数，此时为极大值点。也就是说，在(x0,y0)邻域内，任意变动△x,△y,都会导致函数值变小，因此(x0,y0)是极大值点。A>0时,中括号内恒为正数，此时为极小值点。B²-AC>0时，中括号内符号不确定，因此不是极值点。B²-AC=0时,中括号内大于等于0，可能是极值点，也可能不是极值点