給定二元二次型
 |
(1)
|
具有多項式判別式 
，令
 |  |  |
(2)
|
 |  |  |
(3)
|
則
 |
(4)
|
其中
 |  |  |
(5)
|
 |  |  |
(6)
|
 |  |  |
(7)
|
所以
![B^2-AC=[a^2p^2q^2+b^2(ps+qr)^2+c^2r^2s^2
+2abpq(ps+qr)+2acpqrs+2bcrs(ps+qr)]
-(ap^2+2bpr+cr^2)(aq^2+2bqs+cs^2)
=a^2p^2q^2+b^2p^2s^2+2b^2pqrs+b^2q^2r^2+c^2r^2s^2
+2abp^2qs+2abpq^2r+2acpqrs+2bcprs^2+2bcqr^2s
-a^2p^2q^2-2abp^2qs-acp^2s^2-2abpq^2r-4b^2pqrs
-2bcprs^2-acq^2r^2-2bcqr^2s-c^2r^2s^2
=b^2p^2s^2-2b^2pqrs+b^2q^2r^2+2acpqrs-acp^2s^2
-acq^2r^2
=p^2s^2(b^2-ac)+q^2r^2(b^2-ac)-2pqrs(b^2-ac)
=(b^2-ac)(p^2s^2-2pqrs+q^2r^2)
=(ps-rq)^2(b^2-ac).](/images/equations/QuadraticInvariant/NumberedEquation3.svg) |
(8)
|
令人驚訝的是，這與之前的判別式相同，但乘以因子 
。量 
稱為二次不變數模數。
二次不變數
另請參閱
代數不變數，二次使用 探索
請引用為
韋斯坦, 埃裡克·W. “二次不變數。” 來自 ——Wolfram 網路資源。 https://mathworld.tw/QuadraticInvariant.html