{1-(t^2/2)}x^2+{y-(t/2)x}^2+{z+(t/2)x}^2≧0
が、すべての実数x,y,zに対して成り立つ必要十分条件は
1-(t^2/2)≧0