- 締切済み
数学
整数を係数とする多項式が有理数を係数とする多項式の積に因数分解できるなら、整数を係数とする多項式の積に因数分解できる というのが分からないのですが、なんでですか?証明お願いします。
- kawarugaku
- お礼率25% (7/28)
- 数学・算数
- 回答数4
- ありがとう数0
- みんなの回答 (4)
- 専門家の回答
みんなの回答
- ramayana
- ベストアンサー率75% (215/285)
整係数多項式環は、素元分解環だけど、ユークリッド環でないのでは? もっとも、#3の2行目以下は、正しいと思います。
- alice_44
- ベストアンサー率44% (2109/4759)
整係数多項式環がユークリッド環だということに尽きる。 整係数多項式 f(x) が、有理係数多項式の積に分解できたとする。 各因子の係数を通分して、分母を括り出せば、 f(x) = 整係数多項式の積÷整数 と分解できたことになる。 分母を払って、f(x)・整数 = 整係数多項式の積 とし、 両辺の素元分解を考えると、右辺に含まれる定数因子は、 左辺の定数因子と一致していなければならない。 よって、f(x) = 整係数多項式の積÷整数 の右辺は約分できて、 f(x) = 整係数多項式の積 と書ける。
- ramayana
- ベストアンサー率75% (215/285)
次の命題1を証明します。 命題1 Zを整数全体とし、Qを有理数全体とする。Z[X]、Q[X]を、それぞれZ又はQを係数とする変数Xの多項式全体とする。もし、f(X) ∈Z[X]、g(X) ∈Z[X]、h(X) ∈Q[X]なる3つの多項式があって、 (1) f(X) = g(X)h(X) (2) g(X)の係数全体の最大公約数が1 ならば、h(X) ∈Z[X]である。 [証明] 仮にh(X)の係数に整数でないものがあったとして、矛盾を導くことにする。 (記号の設定) g(X)とh(X)を次のように表す: g(X) = u(0 )+ u(1)X + ・・・+ u(m)X^m h(X) = (1/w)(v(0 )+ v(1)X + ・・・+ v(n)X^n) ここで、mとnは、それぞれg(X)とh(X)の次数である。u(0 )、u(1)、・・・、u(m)、v(0 )、v(1)、・・・、v(n)は、整数である。wは、「h(X)の係数に整数でないものがある」という前提により、1以外の正の整数である。かつ、次の条件を満たすものとする: (3) v(0 )、v(1)、・・・、v(n)の最大公約数は、wと共通因子を持たない。 さらに、f(X)を次のように表す: f(X) = a(0 )+ a(1)X + ・・・+ a(m+n)X^(m+n) ここで、a(0 )、a(1)、・・・、a(m+n)は、整数である。 (矛盾を導く) wの約数となる素数を1つ選んで、それをpとする。(2)により、u(0 )、u(1)、・・・、u(m)の中にはpで割り切れないものが必ず存在する。また、(3)により、v(0 )、v(1)、・・・、v(n)の中にもpで割り切れないものが存在する。それぞれ、pで割り切れない最小の添字を持つものをu(μ)、v(ν)とする。 このとき、 a(μ+ν) = (1/w)(u(ν)v(μ) + Σ[i = 1 to μ-1]u(μ-i)v(ν+i) +Σ[i = 1 to ν-1]u(μ+i)v(ν-i) ) となる(便宜上、j<0 or j>mのときu(j)=0と置き、j<0 or j>nのときv(j)=0と置く)。設定によりi≧1のときu(μ-i) 及びv(ν-i)はpで割り切れるから、上式の右辺括弧内の第2項と第3項はpで割り切れる。しかし、第1項は、pで割り切れない。したがって、括弧全体はpで割り切れない。一方wはpで割り切れるのだから、a(μ+ν)は整数でないことが分かる。すなわち、f(X)の係数に整数でないものが存在することになり、矛盾を生ずる。この矛盾は、「h(X)の係数に整数でないものがある」という前提から生じたものであるから、h∈Z[X]でなければならない
- misumiss
- ベストアンサー率43% (24/55)
対偶を証明してみては? Z[x] の既約多項式は, Q[x] の元としても既約多項式である, ってことをいうだけです。
関連するQ&A
- 因数分解の定義,単項式でも因数分解?
中3の数学の教科書に 【多項式】をいくつかの因数の積の形に表すことを, その多項式を因数分解するといいます。 と書いてあります。 では,多項式ではなく, 単項式である 1つの整数や文字が含まれる式を 6=2×3 ab=a×b 4c=4×c のように因数の積の形に表すことは, 因数分解する といいますか? 宜しくお願い致します。
- 締切済み
- 数学・算数
- 素数の問題(場合の数)
nが整数のとき、多項式n^3-10n^2-84n+840で表すことのできる素数はいくつあるか? 因数分解すると(n+2√21)(n-2√21)(n-10) と3つの積なりますが、( )の中身がみな違うので1*1*(なんとか)の3数の積で表すのは無理がある、と考えているで解き方の突破口が開けま せん。また、ルートがある( )の部分はnが整数なので3つの積が素数 になる、というのも納得がいきません。。 もしかしたら因数分解そのものが間違っていたり、解答の指針そのものが 間違っているかもしれませんが、この問題が解ける方、何通りあるのか教えてくれませんか?!
- ベストアンサー
- 数学・算数
- 高校数学の整式の問題です
f(x)=ax^3+bx^2+cx+dは有理数を係数とする多項式であって,任意の整数nに対しf(n)はつねに整数になるとする このとき,f(x)の係数の6倍は整数であることを証明せよ 解説ではf(n)が常に整数であるための条件はf(0)が整数でf(n+1)-f(n)はつねに整数であることと同値とあるのですが、何故これが同値なのか分かりません
- ベストアンサー
- 数学・算数
- x^n-1とx^n+1の因数分解(複素数係数、実数係数、有理数係数、整数係数)
x^n-1とx^n+1の因数分解(複素数係数、実数係数、有理数係数、整数係数) において、その方法や結果や性質が載っているサイトがあれば教えていただけないでしょうか? 初歩的なことは知っています。
- ベストアンサー
- 数学・算数
- 数学で複素数を使う場合
因数分解の問題等で問題文に複素数の範囲で答えろと書いていなければ複素数の範囲で答えてはいけないのでしょうか? また、係数が有理数であると複素数の範囲で答えてはいけないのでしょうか? いろいろと調べたのですがよくわからないので回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学の疑問
√2+√3は有理数でないことを示せ。ただし、√2、√3、√5のように、平方数でない自然数mについて、√mが有理数でないことは,証明せずに利用してもよい。 a=√2+√3とおき、aが有理数であると仮定する。 さて、aの定義よりa^2=(√2+√3)^2=5+2√6 √6=a^2-5/2・・・・(1) よって、aは有理数でない。 ここで、aが有理数であることは、適当な整数m(≠0)、nを用いて、a=n/mと表せることです。 このとき(1)の右辺は、たしかに有理数です。 説明「しかし、a^2-5/2が有理数であることは、このように整数まで引き戻して論証しなくても、有理数どうしの和、差、積、商(ただし、割る数≒ 0)は、また有理数になるという性質を考慮するだけで済ますのが一般的です。 なお、有理数+有理数は有理数ですが無理数+無理数は無理数になるとは限りません。 これが、本問の問題として意味をもつ理由です。」 証明は理解できるんですが、説明の部分が結局何が言いたいのか理解できません。 結局、筆者は説明の部分で何がいいたいんですか???
- ベストアンサー
- 数学・算数
- 代数の問題を教えてください。
代数の問題を教えてください。 1.√2+√5を根に持つ有理数係数の4次多項式を求めよ 2.√2+√3+√5を根に持つ有理数係数の8次多項式を求めよ 3.aを有理数とする。1/(a+√2+√3)の分母を有理化せよ。 よろしくお願いします。
- ベストアンサー
- 数学・算数