• ベストアンサー

整数問題

実数を係数とするxの多項式f(x)について、すべての整数kに対してf(k)が整数であるための必要十分条件は、 f(0)が整数 かつ すべての整数kについてf(k)-f(k-1)が整数である ことを証明せよ。 この問題でf(x)=ax{n}+bx{n-1}+・・・ とおいてやったのですが できませんでした 他に何か考え方はないでしょうか? 解答の指針を教えてください

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

  • ベストアンサー
  • owata-www
  • ベストアンサー率33% (645/1954)
回答No.1

f(k)が整数→f(0)が整数 かつ すべての整数kについてf(k)-f(k-1)が整数である 数学的帰納法 f(0)が整数 かつ すべての整数kについてf(k)-f(k-1)が整数である→f(k)が整数 背理法 あたりを使うのがいいかと

realdreams
質問者

お礼

ありがとうございました

その他の回答 (4)

noname#250262
noname#250262
回答No.5

>>解答の指針 なので、かなりざっくり書いちゃうと、 (1)n = 1 のとき  f(x) = ax + b  k = 1 とすると、f(0) = b , f(1) = a + b が整数  省略 (2)n = m のとき成立すると家庭  (m + 1)次多項式f(x) に対して、f(0) , … , f(m + 1) がすべて、整数とするとき、すべての整数 k に対して f(k) が整数となることを示す。  F(x) = f(x + 1) - f(x) と家庭使えば示せると思います。

realdreams
質問者

お礼

なんとか解けました。 ありがとうございました

  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.4

まず最初に、その定理が、 f(x) を多項式に限定しなくても成立する ことに気づきましょう。 実数から実数への関数 f(x) について、 全ての整数 k に対して f(k) が整数となる ための必要十分条件は… という訳です。 このように一般化しても、定理は成り立つのですが、 このように一般化すると、 式変形などの操作でできることが限られてしまう ので、返って、やるべきことがハッキリしてきます。 そういう目で、No.2 に沿って再考してください。

realdreams
質問者

お礼

No2への補足ありがとうございました またよろしくお願いします

  • banakona
  • ベストアンサー率45% (222/489)
回答No.3

必要条件は明らかですよね。 十分条件は数学的帰納法でいいのでは?  気になるのはkがマイナスの場合ですが、同様に示せるでしょう。  例えば、f(0)-f(-1)が整数で、f(0)が整数なのでf(-1)も整数。以下同様でkがマイナスの場合も言える。

realdreams
質問者

お礼

ありがとうございました

  • owata-www
  • ベストアンサー率33% (645/1954)
回答No.2

すいません逆でした

realdreams
質問者

補足

背理法、数学的帰納法ともに 無茶苦茶になってしまい答えにたどりつきませんでした

関連するQ&A

  • 整数問題

    整数問題の解き方を教えてください。 a,b,c を実数の定数としてf( x )= x^3 + ax^2 + bx + cとおくとき、(1)、(2)を示しなさいという問題です。 ⑴ f( - 1 )、f( 0 )、f( 1 ) がすべて整数ならば任意の整数 n に対して f( n ) は整数 ⑵ 連続する 3 つの整数に対して、 f( x ) がすべて整数ならば、任意の整数 n に対して f( n ) は整数

  • 高校数学の整式の問題です

    f(x)=ax^3+bx^2+cx+dは有理数を係数とする多項式であって,任意の整数nに対しf(n)はつねに整数になるとする このとき,f(x)の係数の6倍は整数であることを証明せよ 解説ではf(n)が常に整数であるための条件はf(0)が整数でf(n+1)-f(n)はつねに整数であることと同値とあるのですが、何故これが同値なのか分かりません

  • 微分に関する証明問題がわからなくて困っております。

    微分に関する証明問題がわからなくて困っております。 g(x)を整数係数の多項式とする n≧1を与えられた自然数としてf(x)=x^n*g(x)とする。 このとき、すべてのk=0,1,2...に対して、 d^k/dx^k(f(0))は、n!の倍数になることを示せ。 ライプニッツの公式あたりを用いるのでしょうか? 鉛筆が止まってしまって困っているので是非回答をお願いします。

  • 整数から整数へマップする多項式の条件

    【問題】多項式 p が以下の条件を満たす必要十分条件はなんですか? (1)n∈Z ⇒ p(n)∈Z (Zは整数の集合) (2)pのすべての係数は有理数 ---------------------------------------------------- 係数がすべて整数の場合以外に、いくつか思いつく限りの例を挙げてみました。 x/2 + (x^2)/2 x/6 + (x^2)/2 + (x^3)/3 一般化して(Π[k=0,n](x+k))/n! 以上の考察から Σ[n=0,∞](C_n*((Π[k=0,n](x+k))/n!)) (C_nは整数) で p の一部を表現できます。でも、必要十分条件まではまだまだ遠いです。これは線形代数の教科書で出てきた問題なのですが、どう線形代数を使ってよいのかもよく分かりません。考え方の道しるべを示していただけると助かります。

  • 代数学の、多項式の問題を教えて下さい。

    f(X)=X^n+a1・X^(n-1)+a2・x(n-2)+・・・+an∈Z[x]を、最高次の係数が1の整数係数のn次多項式とする。 (1)Aが有理数でf(A)=0を満たす場合、Aは整数である事を示しなさい (2)Aが整数でf(A)=0を満たす場合、Aはanの約数である事を示しなさい。 (3)aは整数でa≠0,2であるとする。X^3-aX-1はQ[X]の既約多項式である事を示しなさい。 という問題です。 困っています。 分かる方、お願いいたします

  • P(0), P(1),P(2),・・・, P(n)が整数ならば、全ての整数kに対してP(k)は整数

    『nを自然数, P(x)をn次の多項式とする。P(0), P(1),P(2),・・・, P(n)が整数ならば、全ての整数kに対してP(k)は整数であることを証明せよ。』 数学的帰納法で解けるらしいのですが、分かりません。どなたか教えてください。

  • 数学II【式と証明】 明治大学

    f(x)はxの多項式で表される関数で、f(f(x))={f(x)}^2がxの全ての実数値に対して成り立つという。 このようなf(x)をすべて求めよ。 解答には すべてのxについてf(x)=0は明らかに条件に適する。 f(x)≠0として、f(x)=ax^n+・・・・(a≠0,nは0または正の整数)とすると f(f(x))=a{f(x)}^n+・・・・ =a^n+1・x^(n^2) f(x)=x^2+bx+cとおけるから、f(f(x))={f(x)}^2により (x^2+bx+c)^2+b(x^2+bx+c)+c=(x^2+bx+c)^2 【f(f(x))=a{f(x)}^n+・・・・】 の式はどっからでてきたのでしょうか? また【a{f(x)}^n】とあるようにこの【a】は何のためにあるのですか? xの多項式である事を表すためでしょうか? 分かりやすく教えてください。お願いしますm(_ _)m  

  • 連続したn個の整数の積

    ひき続いたn個の整数の積のなかには、nの倍数が含まれることがわからないので質問します。問題は、 整数a,bを係数とする2次式f(x)=x^2+ax+bを考える。f(α)=0となるような有理数αが存在するとき、以下のことを証明せよ。 (1)αは整数である。(2)任意の整数lと任意の自然数nに対して、n個の整数f(l),f(l+1),・・・,f(l+n-1)のうち少なくとも1つはnで割り切れる。 (1)α=m/n(m,nは互いに素な整数)とおくと条件より (m/n)^2+a(m/n)+b=0, m^2/n=-(am+bn) m^2はnで割り切れるが,m,nは互いに素だから n=±1しかない。ゆえにα=±mとなり、αは整数である。 (2)f(α)=0だから、f(x)=x^2+ax+b=0となる2次方程式は、x=αなる解をもつ。ほかの解をβとすれば、解と係数の関係からα+β=-a,β=-a-αよりβも整数である。ゆえにf(x)はこの2整数α,βを用いて、f(x)=(x-α)(x-β)と因数分解できる。したがってf(l)=(l-α)(l-β)となりf(l)はl-αで割り切れる。同様に、 f(l+1)はl+1-α で f(l+2)はl+2-α   ・・・ f(l+n-1)はl+n-1-α で割り切れる。 ゆえにf(l)f(l+1)f(l+2)・・・f(l+n-1)はそれらの積 (l-α)(l+1-α)(l+2-α)・・・(l+n-1-α)= (l-α)(l-α+1)(l-α+2)・・・(l-α+n-1)で割り切れる。 ここがわからないところです。 l-αからはじまる引き続いたn個の整数の積だから、どこかにnの倍数がある。 自分はl-α=-3 n=4で計算をしたら、 -3,-2,-1,0 となり0が4で割り切れるのかと疑問に思ったり、 他の数を代入して計算してみても、ひき続いたn個の整数の積のなかには、nの倍数が含まれることが実感できませんでした。 解答の続きは、よってn個の整数f(l),f(l+1),・・・,f(l+n-1)のうち少なくとも1つはnで割り切れる。でした。 どなたか、ひき続いたn個の整数の積のなかには、nの倍数が含まれることを証明してください。お願いします。

  • 数IIIの問題です

    f(x)=lim[n→∞]x^2n-x^2n-1+ax^2+bx/x^2n+1 関数f(x)がすべての実数xで連続となるように、定数a,bの値を求めよ よろしくお願いします。

  • F(x)は実数を係数とするxの多項式。

    F(x)は実数を係数とするxの多項式。 すべての整数kについて、f(k)が整数であるための必要十分条件は、 f(0)が整数で、すべての整数kについてf(k)-f(k-1)が整数となる。 このとき、f(x)=ax^2+bx+cについて、すべての整数kについて、f(k)が整数 となるために、係数a,b,cがみたすべき必要十分条件をもとめよ。 次のように考えましたが、最後の詰めができません。 aとbの条件はどうなるのか、よろしく、おねがいします。 f(0)=cより、cは整数。 f(k)-f(k-1)=(2k-1)a+bより、任意のkについて(2k-1)a+bは整数。 これで、k=1のときより、a+bは整数...(1)。 k=2のときより、3a+bは整数...(2)。  (2)-(1)より、2aは整数。(1)×3-(2)より、2bは整数。 ここで、行き詰まりました。このあとどう処理すれば、a,bの条件をもとめられるか よろしくおねがいします。