命題
(a, b, c) を判別式 D ＞ 0 の簡約２次形式(>>330)とする。

このとき ac ＜ 0 である。
即ち a と c は符号が反対である。
つまり sign(c) = -sign(a)

証明
>>333 より 0 ＜ b ＜ √D

よって
b^2 ＜ D

D - b^2 = -4ac だから
0 ＜ -4ac

よって
ac ＜ 0
証明終