No.3ベストアンサー
- 回答日時:
少々骨がおれますね。
体の代数拡大については知っているものすれば先ずつぎのようにできます。
問題になっている数をαとします。
α = √7 + (3√2 + 2√3)^(1/3) + (3√2 - 2√3)^(1/3)
ω=(-1 + √3 i)/2 を1の原始3乗根として,
α' = a√7 + (b 3√2 + c 2√3)^(1/3) ω^i + (b 3√2 - c 2√3)^(1/3) ω^j
(a, b, c = ±1, i, j = 0,1,2) ・・・①
という形の数を考えます。
すると,f(x)を有理数を係数とする多項式とするとき,
f(α) = 0 なら,
f(α') = 0
が必ず成り立ちます。( α' は有理数体上でαと共役だから)
①において,(b,c) = (1,-1)と(-1,1)が表すα'は同じなので,相異なるα'は
α'' = a√7 + ( 3√2 + 2√3)^(1/3) ω^i + ( 3√2 - 2√3)^(1/3) ω^j
( a = ±1, i, j = 0,1,2)18個
α''' = a√7 + ( -3√2 - 2√3)^(1/3) ω^i + (- 3√2 + 2√3)^(1/3) ω^j
( a = ±1, i, j = 0,1,2)18個
であり,合わせると全部で36個です。
これら36個がαに共役な数の全部で,これらを根とする36次の多項式
∏ _[a = ±1, i, j = 0,1,2] (x - α'')(x - α''')
をF(x) とすると,これがαの最小多項式を与えます。
実際,①より,最小多項式は F(x) で割り切れねばならず,F(x) は作り方から係数は有理数となります。
理論的にはこのようになりますが,36次の多項式の具体的な表示はちょっと計算できません。36次ということはわかりました。
もうすこし具体的な計算はつぎのようにしてみました。
σ = (3√2 + 2√3)^(1/3)
とおくと,
1/σ = ( (3√2 - 2√3) / 6 )^(1/3)
となります。
まず
τ = (3√2 + 2√3)^(1/3) + (3√2 - 2√3)^(1/3) = σ+ 6^(1/3) / σ
とおいて,τの最小多項式を求めます。(τ = α - √7)
τ^3 = σ^3 + 6 /σ^3 + 3×6^(1/3) ( σ+ 6^(1/3) / σ )
= 6 √2 + 3×6^(1/3) τ
∴ 3×6^(1/3) τ = τ^3 - 6 √2・・・②
両辺を3乗して整理すると
( 3^2×2 τ^6 + 3^3×2^4 ) √2 = τ^9 + 3^3×2τ^3
両辺を2乗して整理すると,
τ^18 + ( 3^3×4 - 3^4×2^3)τ^12 + (3^6×4 - 2^7×3^5)τ^6 - 3^6×2^9 = 0
この左辺のτを x に置き換えた18次の多項式を g(x) とおくと,
g(τ) = 0 ・・・③
この g(x) を用いて,
G(x) = g(x + √7) g(x - √7)
とおくと,これが求めるものになります。
実際,
g(x + √7) = p(x) + q(x) √7 (p(x)とq(x)は整数を係数とする多項式)・・・④
とおくと,
g(x - √7) = p(x) - q(x) √7
となります。(なぜなら,④で左辺を展開するとき√7 について √7^2 = 7 という等式しか使っていないから。)
G(x) = g(x + √7) g(x - √7) = p(x)^2 - q(x)^2 × 7・・・⑤
となるので,G(x)は最高次の係数が1で整数を係数とする36次の多項式です。
α = √7 + τ だから,③より
G(α) = g(α+ √7) g( α- √7) = g(α+ √7) g(τ) = 0
先に示したように最小多項式の次数は36でしたから,G(x)がαの最小多項式になることがわかります。
G(x) = F(x) 。
⑤以上の具体的表示はご容赦ください。
No.2
- 回答日時:
X = sqrt(7) + (2sqrt(3)+3sqrt(2))^(1/3) + (2sqrt(3)-3sqrt(2))^(1/3)
を
X = A + B + C,
A^2 = 7,
B^3 = D + E,
C^3 = D - E,
D^2 = 12,
E^2 = 18.
と分解して
D,E,B,C,A,X の順に消去多項式を構成してゆけば、
X の消去多項式はすぐ作れる。
それが最小多項式かどうかは、
得られた式の因数分解を見て確認する。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 積分計算 3 2023/07/31 16:29
- 数学 2*2の行列に対して固有値の最大実部を与えるkの値を求めたい 3 2022/11/08 16:26
- 数学 1-1+1-1+…=sqrt(2)って証明できるの?(解析接続)(グランディ級数) 解析接続はほぼ入 3 2023/06/08 12:35
- 統計学 生物統計学の質問 7 2022/05/17 13:59
- 物理学 二重障壁の計算 1 2023/03/05 16:49
- 数学 αを代数的数とし、f(x)⊂Z[x]を最小多項式とする。 このとき、もしg(x),h(x)⊂Q[x] 4 2022/05/19 16:55
- Ruby プログラミングについてです。教えていただきたいです。 実行例のように、整数xが1から12までにつき、 2 2022/12/19 22:47
- 数学 微分積分の極限についての問題がわからないです。 1 2022/08/08 22:46
- 数学 連立方程式 5 2022/05/05 22:04
- 数学 第15項が31、第30項が61である等差数列{an}について考える。 初項から第n項までの和をsnと 1 2022/03/24 20:43
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
単項式と分数式の違いについて
-
(x+y+2z)(2x+3y-z)(4x-y-3z)を...
-
(x-1)(x-2)(x-3)の展開の...
-
多項式について質問です。 エク...
-
余次元って何?
-
約数と因数の違い(∈N)
-
データのノイズ除去法 - Savitz...
-
斉次とは?(漢字と意味)
-
(x+3)(x-3)(x^4+9x^2+81)の展開...
-
deg f?
-
(1+x)^n=1+nxについて
-
e^sinXの展開式について。。。
-
なぜ、2変数以上の多項式を因数...
-
0は偶関数?
-
問題が理解できません
-
CRCのアルゴリズムって、どんな...
-
(x-2)^5の展開しきの係数
-
原始多項式の求め方
-
( )でうしろのほう...
-
(X-a)(a+X) を展開するとど...
おすすめ情報