给定二元二次型
 |
(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.net.cn/QuadraticInvariant.html