二次型 f(x1,x2,⋯,xn)=x12+x22+x32+⋯+xn−12 是半正定的, 但不是正定二次型. 实际上, 令 (x1,x2,⋯,xn−1,xn)=(0,0,⋯,0,1)=0, 则 f(x1,x2,⋯,xn) 的值为零.