>>421
２次形式の行列が半正定値であればよい。
この行列の固有多項式は第２種チェビシェフ多項式を使って表せるから固有値が簡単に求まる。