多項式の一般形から具体的な式を導く方法とは?

このQ&Aのポイント
  • 多項式の一般形から具体的な式を導く方法を教えてください。
  • 質問者は離散数学を独学中であり、多項式の一般形に関して困惑しています。
  • 具体的な例を挙げながら、f(x)やg(x)といった多項式がどのように導き出されるかを説明してください。
回答を見る
  • ベストアンサー

多項式の一般形から、具体的な式はどう出せばよいのですか?

文系大学生ですが、必要なので離散数学を独学しています。 周りに相談できる方がおらず、困っています。お答え頂ければ非常に幸いです。(ひょっとしたら高校レベル以下の話かもしれませんが・・・) 体の上の多項式の一般形が出てくる箇所です。 ある練習問題で、mod.2の剰余類が{0,1}と表されており、 この上の多項式 f(x)=xの2乗+x+1, g(x)=x+1 について、ふたつの和と積を求めろというものがありました。 分からないのはこの問題の解き方でなく、多項式の一般形から、 上のf(x)やg(x)のような多項式がどうやって導き出されるかです。 何冊か参照し、しばらく考えましたが、恥ずかしながら理解できていない状態です。 (この場合のf(x)などの式の係数には、当然上の集合の要素のみが使われているのですよね?) 以上になります。 どうか、よろしくお願い致します。

質問者が選んだベストアンサー

  • ベストアンサー
  • gef00675
  • ベストアンサー率56% (57/100)
回答No.2

そのリンク先が見えないので、こちらの推測でお答えしますが、 n次多項式の一般形は  f(n)=an*x^n+…a2*x^2+a1*x+a0 という形でしょう。  係数a0,a1,a2,...,は0または1ですから、 > f(x)=xの2乗+x+1 は、係数がa2=1, a1=1, a0=1, その他のanはすべて0という多項式です。 ただ、a0,a1,...,はmod 2で考えているので、0+0=0, 1+0=1, 0+1=1だけども 1+1≡0 (mod 2) であることに注意してください。 例えば、(x+1)(x+1)=x^2+2x+1≡x^2+1となります。 GF(2)での演算は、今までやり慣れた計算とは異なることに注意しましょう。

basara3821
質問者

お礼

gef00675 様 ご回答、大変ありがとうございます。 リンクはWikipediaの多項式の項目です。すみません、うっかりしててのせわすれてました。 ありがとうございます、一般形は仰せのとおり、 f(n)=an*x^n+…a2*x^2+a1*x+a0 です。 > f(x)=xの2乗+x+1 > は、係数がa2=1, a1=1, a0=1, その他のanはすべて0という多項式で> す。 > ということは、係数の番号が違っていても、同じ係数でもいい、ということでただしいでしょうか?a2=1, a1=1, a0=1 は、そういうことを言っているのですよね? 私は{0, 1}の中で、anが決まるのかと思っていました。だから、必ずa0=0、a1=1、みたいな風に思ってしまっていましたが、完全に誤っていたようですね。 mod.2の計算はだいじょうぶです。ありがとうございます。

その他の回答 (2)

  • gef00675
  • ベストアンサー率56% (57/100)
回答No.3

> ということは、係数の番号が違っていても、同じ係数でもいい、ということでただしいでしょうか? そういうことです。係数の番号と、係数のとる値には何も関係がありませんから。

basara3821
質問者

お礼

非常に参考になりました。 お手数おかけしました、ありがとうございました。

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

う~んと, 「多項式の一般形から、上のf(x)やg(x)のような多項式がどうやって導き出されるか」 とは, 何を質問されているのでしょうか? 特に「一般形」という言葉でどのような形の多項式を想定しているのか, ちょっと想像ができません. まあ, このような場合はえてして「天から授けられた」とかいうレベルだったりしますが....

basara3821
質問者

お礼

お返事、大変ありがとうございます。 一般形(何冊かの本にそう書いてありました)というのは、下リンク先にあるような、一変数多項式のものです(次数やn乗など、パソコンでどうやって打ったらよいか分からなかったので、質問の最初にはのせられませんでした)。 {0, 1}から、先のf(x)=xの2乗+x+1 や g(x)=x+1 は、この一般形に照らし合わせると、どうやって書くことができるのだろう、というのが疑問です。 すみません、よろしくお願いします。

関連するQ&A

  • 多項式の積が同次にならない

    定理の証明がわからなくなったので質問します。 定理 2つの多項式のうち、少なくとも1つが同次でないとき、その積は同次でない。 証明 多項式f,gのうち少なくとも1つ、たとえばfが同次でないとする。f=A+Bとし、Bはfのなかの最低次数の項の和のつくる同次多項式とし、Aはそれ以外の項の和とする。同じく g=A'+B'とし、B'はgなかの最低次数の項の和、A'はそれより高次の項の和とする。もしgが同次式のときはA'=0とする。 f・g=(A+B)(A'+B')=AA'+AB'+BA'+BB'ここでAA'+AB'+BA'の次数はBB'の次数より明らかに高い。よってf・gは同次式ではない。 (証明終了) ここでわからないのは、もしgが同次式のときはA'=0とする。の一文です。たとえばA'=x^2-2xy+5y^2で、B'=x+yのときB'=0でもgが同次式になると思います。なぜgが同次式のときはA'=0に限られるのか知りたいです。また2つ目の疑問として、f,gの2つとも同次式でないときは、どのようにその積は同次でないことを証明するのかも教えていただけると幸いです。どなたかお返事お願いします。

  • チェビシェフ多項式の係数

    実関数F(x)チェビシェフ多項式の係数をFFTを使って求められるらしいのですがどうやって求めたらいいのかわかりません。 F(x)=1/2*c0*T0(x)+\sum cn*Tn(x)) と展開したときの係数は cn=2/pi \int^1_{-1}F(x)Tn(x)/sqrt(1-x^2)dx (n=0,1,2,...) のcnをFFTで求めるってことはF(x)を離散化してからってことですか??

  • 実数係数の多項式の因数分解

    実数係数の多項式 f(x) ∈ R[x] を実数の範囲で因数分解すると、1次あるいは2次式の積として分解できます。 これは複素数の範囲まで考えれば、α ∈ C が f(x) = 0 の根であれば、その複素共役 \bar{α} (上付きのバーの意味ね)も f(x) の根であるため明らかです。 議論を実数の範囲に限定して、同じ命題を証明することは可能でしょうか? また可能だとして、その戦略を一般の体 k 上の多項式環 k[x] に適用するにはどうすれば良いでしょうか?

  • 2つの方程式の解の集合の共通部分を表すには?

    2つの方程式の解の集合の共通部分を表すには? 例えば実数係数の多項式f(x,y)=0とg(x,y)=0があったとき、 F={(x,y)∈R^2|f(x,y)=0},G={(x,y)∈R^2|g(x,y)=0}とすると、集合の和集合や共通部分は、 F∪G={(x,y)∈R^2|f(x,y)*g(x,y)=0}、 F∩G={(x,y)∈R^2|f(x,y)^2+g(x,y)^2=0} と表せます。 しかし、多項式の係数を複素数に変え、(x,y)∈C^2に変えたとき、F∪Gはそのままでいいですが、後者は、 F∩G={(x,y)∈C^2||f(x,y)|^2+|g(x,y)|^2=0} のように絶対値を考えなくてはいけません。 しかし、|f(x,y)|^2+|g(x,y)|^2は多項式ではないので、扱いにくいと思います。 F∩Gを、fとgの多項式の演算で表すようないい方法はないでしょうか?

  • modを使用した平方根の求め方

    解き方が解からない問題があります。 どれだけ考えても解き方がわからないので、どなたかわかる方教えてください。 【解き方が解からない問題】 大きな素数の積n=pqが与えられた時、nを素因数分解するのは非常に難しい。 整数mと整数y(<m)が与えられた時y=x2(xの二乗) mod mなる整数解xが存在すれば、yは mod mで平方剰余であるという。 xを mod mでのyの平方根という。 mが素数7の時、 12(1の二乗の事です。二乗の書き方がわからなくて・・・)≡1 (mod 7) 、 22(2の二乗) ≡ 4 (mod 7) 32(3の二乗)≡2 (mod 7) 、 42(4の二乗) ≡ 2 (mod 7) 52(5の二乗)≡4 (mod 7) 、 62(6の二乗) ≡ 1 (mod 7) となるので、1、2、4が平方剰余で、各平方剰余には2個の平方根がある。 mが二つの素数の積の場合、4個の平方根がある。 ここまでが参考書に載ってる説明です。 ここから私がわからない問題です。 102(10の二乗) mod 77=23 n = 77 の素因数7と11から素因数の知識を利用してZのmod nでの平方根Sを計算する。 S2(Sの二乗) ≡ 23 mod 7 S2(Sの二乗) ≡ 23 mod 11 上の2つを解いて、mod 77での4つの平方根10、32、45、67を得る。 この2つの式から、何をどうやって計算して、4つの平方根10、32、45、67が導き出せたのかわかりません。 二乗の表記の仕方がわからず、とても見難くなってしまいました。すみません。 乱文になってしまいましたが、どなたかわかる方教えてください。 よろしくお願いします。

  • 調和多項式について

    偏微分作要素を∂とし∂(e1)=Σ(∂/∂xi)、∂(e2)=Σ∂i∂j…∂(en)=∂1∂2…∂nとする。({ek|1≦k≦n}は基本対称式を表す。) 調和多項式の定義: 多項式f(x)∈C[x1,・・・,xn]が調和であるとは、∂(ek)f(x)=0 (1≦k≦n)を満たす。 このとき、ニュートンの公式を使うと調和多項式の定義はべき乗和多項式を使っても同じ、つまり、f(x)が調和多項式であるとは、∂(pk)f(x)=0(1≦k)が成り立つことと同値です。 という問題がありました。ニュートンの公式を使うということは、べき乗和多項式が基本対称式で表されるということなのでしょうか?ニュートンの公式をどのように使って同値であることを示せばよいのかわからないので教えてください。お願いします。

  • 多項式の合同方程式

    f(x)=x^3-5x^2-7x+35 U(x)^5≡U(x) (mod 5,f(x))を満たす多項式U(x)を求めよ。 この問題が解けなくて困っています。 教えてください。

  • 既約多項式の証明

    p:素数 Zp=Z/(p)とする. 多項式f(x)=a0+a1x+・・adx^d∈Z[x]に対して、 f ̄(x)=a0 ̄+a1 ̄x+・・ad ̄x^d∈Zp[x]として、(a ̄∈Zpは整数aの剰余項) 最高次の項の係数がpで割れない原始多項式f(x)∈Z[x]について、f ̄(x)がZp[x]の既約元であれば、f(x)はZ[x]の既約元である ということを示したいのですが、f(x)が既約元でなくf=ghとおいて示そうとしてるのですが、ごちゃごちゃになっていまいちできません。どのような解法が適切でしょうか。

  • 多項式で近似

    問題で 「x(範囲はaからb)で定義されている関数f(x)を多項式C0-C1xで近似する方法を述べよ」 というのがあるのですが、条件が少なく良く分かりません。。。 多項式近似ということで最小二乗法などで直線に近似するのかな、と考えているんですが。。。 なにか良い方法があったら教えていただきたいと思います。 よろしくお願いします。

  • 恒等式、多項式

    高校数学の参考書に以下の公式が書かれているのですが、証明がありません。教えていただけないでしょうか。 1.f(x), g(x)を多項式とする。全ての自然数nについて f(n) = g(n) が成り立つならば、全ての実数xに対して f(x) = g(x) が成り立つ。 →方針から立ちません。お願い致します。 2.f(x), g(x), h(x)を多項式とする。h(x)≠0のとき、 f(x)・h(x)= g(x)・h(x) が恒等式であるための条件は f(x) = g(x) が恒等式であることである。 →下記までは出来ました。これで合っていますか? f(x)・h(x)= g(x)・h(x)より (f(x)-g(x))・h(x)=0 h(x)≠0よりf(x) - g(x)=0 よって f(x) = g(x)