7

8次方程式の判別式の導出(方法)

506
1

皆様ご機嫌よう。
良きDiscriminantLife(ねっとり)を送っていらっしゃいますか?
皆様もご存じの通りですけれど、この偉大なる判別式様は任意の多項式に定めることができますのよ。
えぇ?意味がわからないとおっしゃいますの?…仕方ないですわね、説明していきますわよ。
さて、判別式は皆様ご存じの通り、多項式に重解が存在するかどうかを判定できる式ですわ。
ただ、これは有名なのは2次方程式のものですし、人によっては「解の公式は4次までしかないから判別式だって4次までじゃないの」、と思うかもしれませんけれど、そうじゃありませんのよ。
と、いうのも先ずResultantというものが存在していますわ。
日本語では終結式と呼びますのよ。
古くはEliminant(消去式)と呼んだそうですけれども、現代においては終結式と呼ぶそうですわ。
こちら、任意の二つの多項式が共通根を持つ条件を示す事ができますわ。

終結式の性質

以下、Resは終結式とし、f(x),g(x)はともに多項式とする
f,g[α,Res(f,g)=0f(α)=g(α)=0]

まあこういうことですわよ(述語論理の書き方になれておりませんので、間違っていたら穏やかにご指摘願いたいですわ)

念のため、重根の定義も振り返っておきますわよ。

重根

多項式f(x)について
n2,nN[f(x)=(xα)ng(x)]
を満たす値nと多項式g(x)が存在するとき
多項式f(x)はαにおいて重根をもつ、といい特にg(x)がαを根に持たないときそのような自然数nを根αの重複度という

さて、ここで以下の定理を用いることで判別式と終結式に関係があることが示唆できますわ。

Res(h,g)を多項式h,gの終結式とし、Dhを多項式hの判別式とするとき
Res(f,f)=0Df=0

証明は…簡単なので省きますわね
私自身良く理解していないので強くは言えないんですけれど、Res(f,f)Dfは定数倍の差を除いて等しいらしいですわ。
その定数はfの最高次の係数aとfの次数nを用いて
(1)n(n1)2aと示せるそうですわ。
そして、終結式はシルベスター行列という行列を使うことで一般に示すことができますのよ。
練習も兼ねて、1次式の判別式を導出してみますわよ。

1次方程式の判別式

1次の多項式f(x)=ax+bについて
その終結式Res(f,f)は行列
(a)
の行列式に一致する
1次の多項式において、DfRes(f,f)=1a
であるから
Df=1

言い換えると、一次方程式は常に重解を持たないということですわね。

さて、本題に入りますわ。
8次方程式の判別式を導出していきますわよ

8次方程式の判別式

8次の多項式
f(x)=a0x8+a1x7+a2x6+a3x5+a4x4+a5x3+a6x2+a7x+a8
についてその導関数f'(x)は
f(x)=8a0x7+7a1x6+6a2x5+5a3x4+4a4x3+3a5x2+2a6x+a7
である。
この時、Res(f,f)は行列
(a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a80000000a0a1a2a3a4a5a6a7a88a07a16a25a34a43a52a6a700000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7000000008a07a16a25a34a43a52a6a7)
の行列式に等しい
これは15次正方行列であるため、その項数は15!=1307674368000になる

…できるわけなくてよ。
このように、一般にn次の多項式とその導関数の終結式の項数は愚直に計算すると(2(n-1))!になりますの。
6次方程式とかでしたら、まだ10!=3628800…これでもまだ厳しいですけれど、できない、ということはありませんわ。
私自身どうしてこんな事に手を染めたのかわかりませんわ。
ちなみに以下は6次方程式の判別式でしてよ。
こういったものを見て気分が宜しくなる奇特な方々のために載せておきますわね。
それでは、ご機嫌よう。・
729a2g2d18+108a2f3d15+108b3g2d15486abcg2d15486a2efgd15+16b3f3d1272abcf3d128748a3g3d1227a2e2f2d12+108ac3g2d1227b2c2g2d126318a2bfg2d12+162ab2eg2d124860a2ceg2d12+162a2cf2gd1272b3efgd12+324abcefgd12+108a2e3gd12900a2bf4d9+16ac3f3d94b2c2f3d9+24ab2ef3d9630a2cef3d91350ab3g3d9+21384a2bcg3d94b3e2f2d9+18abce2f2d9900b4fg2d9+5832a2c2fg2d9+3942ab2cfg2d9+21384a3efg2d9+5832a2be2g2d9+2808abc2eg2d9630b3ceg2d91350a3f3gd9108abc2f2gd9+24b3cf2gd9+3942a2bef2gd9108ab2e2fgd9+2808a2ce2fgd972ac3efgd9+18b2c2efgd9+16b3e3gd972abce3gd9128b4f4d6+825a2c2f4d6+560ab2cf4d6+2250a3ef4d6+34992a4g4d6+1020a2be2f3d6+356abc2ef3d680b3cef3d68640a2c3g3d69720ab2c2g3d6+2250b4cg3d6+15552a3bfg3d627540a2b2eg3d6+3888a3ceg3d66ab2e3f2d6+144a2ce3f2d64ac3e2f2d6+b2c2e2f2d6+15417a2b2f2g2d627540a3cf2g2d64464abc3fg2d6+1020b3c2fg2d6+1980ab3efg2d622896a2bcefg2d68640a3e3g2d6+825b4e2g2d6+8208a2c2e2g2d64536ab2ce2g2d6576ac4eg2d6+144b2c3eg2d6208ab3f3gd6+1980a2bcf3gd6+24ac4f2gd66b2c3f2gd69720a3e2f2gd6+560b4ef2gd64536a2c2ef2gd62412ab2cef2gd64464a2be3fgd61584abc2e2fgd6+356b3ce2fgd6+24ab2e4gd6576a2ce4gd6+16ac3e3gd64b2c2e3gd6+2000a2b2f5d33750a3cf5d3630abc3f4d3+144b3c2f4d3+160ab3ef4d32050a2bcef4d3+27000a2b3g4d377760a3bcg4d31600a3e3f3d3+144b4e2f3d3+560a2c2e2f3d3746ab2ce2f3d372ac4ef3d3+18b2c3ef3d3+6912abc4g3d31600b3c3g3d3+2250ab4fg3d3+46656a3c2fg3d331320a2b2cfg3d377760a4efg3d3+46656a3be2g3d33750b5eg3d33456a2bc2eg3d3+19800ab3ceg3d3192a2be4f2d380abc2e3f2d3+18b3ce3f2d3+27000a4f3g2d3+2000b5f2g2d3+16632a2bc2f2g2d312330ab3cf2g2d331320a3bef2g2d3+768ac5fg2d3192b2c4fg2d3+16632a2b2e2fg2d33456a3ce2fg2d35760a2c3efg2d3+10152ab2c2efg2d32050b4cefg2d3120ab3e3g2d35760a2bce3g2d32496abc3e2g2d3+560b3c2e2g2d3+2250a3bf4gd3120a2c3f3gd3682ab2c2f3gd3+160b4cf3gd312330a2b2ef3gd3+19800a3cef3gd3682ab3e2f2gd3+10152a2bce2f2gd3+3272abc3ef2gd3746b3c2ef2gd3+6912a3e4fgd3630b4e3fgd32496a2c2e3fgd3+3272ab2ce3fgd3+320ac4e2fgd380b2c3e2fgd3+768a2be5gd3+320abc2e4gd372b3ce4gd3+3125a4f6+256b5f5+2250a2bc2f51600ab3cf52500a3bef546656a5g5+108ac5f427b2c4f450a2b2e2f4+2000a3ce2f4900a2c3ef4+1020ab2c2ef4192b4cef4+3125b6g413824a3c3g4+43200a2b2c2g422500ab4cg4+38880a4bfg432400a3b2eg4+62208a4ceg436ab3e3f3+160a2bce3f3+24abc3e2f36b3c2e2f31024ac6g3+256b2c5g3+540a3b2f2g332400a4cf2g321888a2bc3fg3+15600ab3c2fg32500b5cfg31800a2b3efg3+31968a3bcefg313824a4e3g3+1500ab4e2g317280a3c2e2g36480a2b2ce2g3+9216a2c4eg310560ab2c3eg3+2000b4c2eg3+256a3e5f227b4e4f2128a2c2e4f2+144ab2ce4f2+16ac4e3f24b2c3e3f2+410a2b3f3g21800a3bcf3g2192a2c4f2g2+248ab2c3f2g250b4c2f2g2+43200a4e2f2g21700ab4ef2g26480a3c2ef2g2+8748a2b2cef2g221888a3be3fg2+2250b5e2fg2+15264a2bc2e2fg213040ab3ce2fg2640abc4efg2+160b3c3efg2192a2b2e4g2+9216a3ce4g24352a2c3e3g2+4816ab2c2e3g2900b4ce3g2+512ac5e2g2128b2c4e2g2+320ab4f4g+1500a3c2f4g1700a2b2cf4g22500a4ef4g+144abc4f3g36b3c3f3g+15600a3be2f3g1600b5ef3g13040a2bc2ef3g+9768ab3cef3g+248a2b2e3f2g10560a3ce3f2g+4816a2c3e2f2g5428ab2c2e2f2g+1020b4ce2f2g576ac5ef2g+144b2c4ef2g+144ab3e4fg640a2bce4fg96abc3e3fg+24b3c2e3fg1024a3e6g+108b4e5g+512a2c2e5g576ab2ce5g64ac4e4g+16b2c3e4g

投稿日:20231130
更新日:20241126
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中