数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
最新記事及び返信フォームをトピックトップへ
]
[ トピック内全2記事(1-2 表示) ] <<
0
>>
■50615
/ inTopicNo.1)
大学数学 4次多項式 フェラーリの解法
▼
■
□投稿者/ yusuke
一般人(1回)-(2021/01/31(Sun) 23:39:30)
4次多項式f(X)=X4+pX2+qX+rの根をw1,...,w4 とし、 t1= w1w4 +w2w3, t2= w1w3 +w2w4, t3= w1w2 +w3w4とおく。
(1) t1, t2, t3 を根とする 3 次多項式 g(T ) を作り、その係数を f の係数 p, q, r で表せ。
(2)フェラーリの解法で現れる f の 3 次分解式と、上の g(T) とを比べよ。
(3) f の判別式 D(f) と、g の判別式 D(g) とを比べよ。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50807
/ inTopicNo.2)
Re[1]: 大学数学 4次多項式 フェラーリの解法
▲
▼
■
□投稿者/ WIZ
一般人(3回)-(2021/05/28(Fri) 21:22:00)
計算が煩雑になるので以下のように文字を変更します。
f(x) = x^4+p(x^2)+qx+r = 0 の根を a, b, c, d とします。
t = ad+bc, u = ac+bd, v = ab+cd とおきます。
f(x) = 0 の根と係数の関係より、
0 = a+b+c+d
p = ab+ac+ad+bc+bd+cd
-q = abc+abd+acd+bcd
r = abcd
です。
(1)
t+u+v = (ad+bc)+(ac+bd)+(ab+cd) = p
tu = (ad+bc)(ac+bd) = aacd+abdd+abcc+bbcd
tv = (ad+bc)(ab+cd) = aabd+acdd+abbc+bccd
uv = (ac+bd)(ab+cd) = aabc+accd+abbd+bcdd
⇒ tu+tv+uv = abc(c+b+a)+abd(d+a+b)+acd(a+d+c)+bcd(b+c+d)
= abc(-d)+abd(-c)+acd(-b)+bcd(-a)
= -4abcd = -4r
tuv = (aacd+abdd+abcc+bbcd)(ab+cd)
= aaabcd+aabbdd+aabbcc+abbbcd+aaccdd+abcddd+abcccd+bbccdd
= (aabbdd+aabbcc+aaccdd+bbccdd)+aaabcd+abbbcd+abcddd+abcccd
= {(abd+abc+acd+bcd)^2-2abcd(ab+ac+ad+bc+bd+cd)+abcd(aa+bb+dd+cc)
= {(-q)^2-2pr}+r((a+b+c+d)^2-2(ab+ac+ad+bc+bd+cd))
= q^2-2pr+r(0^2-2p)
= q^2-4pr
よって、
g(z) = z^3-p(z^2)-4rz+(4pr-q^2)
(2)
x^4+p(x^2)+qx+r = 0
⇒ x^4 = -p(x^2)-qx-r
⇒ x^4+z(x^2)+(z^2)/4 = (-p(x^2)-qx-r)+z(x^2)+(z^2)/4
⇒ (x^2+z/2)^2 = (z-p)(x^2)-qx+((z^2)/4-r)
上記右辺が完全平方、つまり右辺の x の2次式の判別式が0になるように z を定める。
(-q)^2-4(z-p)((z^2)/4-r) = 0
⇒ q^2-(z-p)(z^2-4r) = 0
⇒ z^3-p(z^2)-4rz+(4pr-q^2) = 0
よって、(1)で求めた g(z) と一致する。
(3)
判別式は2根の差の積の平方で、根の対象式となります。
D(f) = {(a-b)(a-c)(a-d)(b-c)(b-d)(c-d)}^2
D(g) = {(t-u)(t-v)(u-v)}^2
ここで、
t-u = (ad+bc)-(ac+bd) = (a-b)(d-c)
t-v = (ad+bc)-(ab+cd) = (a-c)(d-b)
u-v = (ac+bd)-(ab+cd) = (a-d)(c-b)
なので、
D(g) = D(f)
と言えます。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このトピックをツリーで一括表示
トピック内ページ移動 / <<
0
>>
このトピックに書きこむ
入力内容にタグは利用できません。
数式の記述方法
TeX入力ができます。
\[
TeX形式数式
\]
あるいは,
$
TeX形式数式
$
で数式を記述します。
TeX形式数式には半角英数字のみです。詳しくは、
ここ
を見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
使用例)
No123 → 記事No123の記事リンクになります(指定表示)。
No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
No123-130 → 記事No123〜130 の記事リンクになります(連続表示)。
Name
/
E-Mail
/
└> 関連するレス記事をメールで受信しますか?
NO
YES
/ アドレス
非公開
公開
Title
/
URL
/
Comment/ 通常モード->
図表モード->
(適当に改行して下さい/半角10000文字以内)
■No50615に返信(yusukeさんの記事) > 4次多項式f(X)=X4+pX2+qX+rの根をw1,...,w4 とし、 t1= w1w4 +w2w3, t2= w1w3 +w2w4, t3= w1w2 +w3w4とおく。 > (1) t1, t2, t3 を根とする 3 次多項式 g(T ) を作り、その係数を f の係数 p, q, r で表せ。 > (2)フェラーリの解法で現れる f の 3 次分解式と、上の g(T) とを比べよ。 > (3) f の判別式 D(f) と、g の判別式 D(g) とを比べよ。
File
/
アップ可能拡張子=> /
.gif
/
.jpg
/
.jpeg
/
.png
/.txt/.lzh/.zip/.mid/.svg
1) 太字の拡張子は画像として認識されます。
2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。
3) 同名ファイルがある、またはファイル名が不適切な場合、
ファイル名が自動変更されます。
4) アップ可能ファイルサイズは1回
200KB
(1KB=1024Bytes)までです。
5) ファイルアップ時はプレビューは利用できません。
6) スレッド内の合計ファイルサイズ:[0/500KB]
残り:[500KB]
Icon
/
ぺそぎん(常)
ぺそぎん(喜)
ぺそぎん(礼)
ぺそぎん(跳)
ぺそぎん(焦)
ぺそぎん(励)
マサト
ミツコ
サトシ
サクラ
ダン
エリカ
ホイールロボ
くるりロボ
ぱんだ
ふとめネコ
ねずみ
こあら
疑問ねこ
ランダム
管理者用
(画像を選択/
サンプル一覧
)
削除キー
/
(半角8文字以内)
解決済み!
BOX/
解決したらチェックしてください!
プレビュー/
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター