定義
２次形式(>>279) f(x, y) = a^x^2 + bxy + cy^2 の判別式 D が
平方数でなく D ＜ 0 とする。

a ＞ 0 のとき f は正定値であるという。
a ＜ 0 のとき f は負定値であるという。

D は平方数でないから a ≠ 0 であることに注意する。