■地図と三角法(その26)
【2】2元3次形式(ケイリー)
f=ax^3+3bx^2y+3xy^2+dy^3 (係数についての次数1)
h=H/6^2 (Hはfのヘシアン,次数2)
j=J/3 (Jは(f,h)のヤコビアン,次数3)
D=a^2d^2−6abcd+4ac^3+4b^3d−3b^2c^2 (判別式,次数4)
これらの間の関係は,6次の多項式
j^2=f^2D−4h^3</P>
で与えられる.
===================================
【3】2元5次形式(ケイリー・ゴルダン)
f=Σ(5,k)akx^5-ky^kには,係数akについてそれぞれ4,8,12,18次の不変式I4,I8,I12,I18があって,その間の関係は36次の多項式
16I18^2=I4I8^4+8I8^3I12−2I4^2I12−72I4I8I12^2−432I12^3+I4^3I12^2
で与えられる.
===================================
【4】2元6次形式(クレブシュ・ゴルダン)
f=Σ(6,k)akx^6-ky^kには,係数akについてそれぞれ2,4,6,10,15次の不変式I2,I4,I6,I10,I15があって,その間の関係は30個の多項式
I15^2=G(I2,I4,I6,I10)
で与えられる.
===================================