- ベストアンサー
多項式の存在の証明です。
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
n+2次の多項式には、定数項を含めて n+3 個の係数があります。一方、与えられた条件は、n+3 個で、すべてこれらの係数の１次式で表されます。そこで、問題は、これらの係数を未知数とする n+3 元１次方程式を解くことに帰着されます。あとは、n+3 個の条件が一次独立であることを示せばよろしい。
関連するQ&A
- 数学的帰納法の証明
自然数に関する数学的帰納法の原理が自然数が整列集合であることと同値であるということはわかっていますが 次のように数学的帰納法を証明した場合どこに整列集合の性質が使われているor論法が間違っているのでしょうか。 数学的帰納法 自然数ｎに関する命題をP(n)とする （ⅰ）P(0)が成り立つ （ⅱ）すべての自然数ｎに対して、P(n)が成り立つならばP(n+1)も成り立つ この２条件が満たされているときP(n)はすべての自然数ｎについて成り立つ （論理記号でかくと（ⅱ）は(∀ｎ∈N（P(n)⇒P(n+1))だと思います） [証明] P(n)が成り立たないような集合をSとする Sが空集合である事を示せばP(n)がすべての自然数ｎについて成り立つ事になる Sが空集合でないと仮定するとｍ∈Sとなるようなｍが存在する このとき条件（ⅱ）を次のように書き換えて （II）すべての自然数ｎに対して、P(n+1)が成り立たないならばP(n)も成り立たない と考えると P(m)が成り立たないのでP(m-1)も成り立たないことになる このときP(m-1)が成り立たないのでP(m-2)も成り立たない 以下続けると結局 P(1)が成り立たないのでP(0)も成り立たないことになるが これは（ⅰ）に反する よってSが空集合でないという仮定が間違っていたことになる ゆえにSは空集合であり命題P(n)がすべての自然数ｎに対して成り立つことが示された
- ベストアンサー
- 数学・算数
- ワイエルシュトラスの多項式近似定理の証明
詳しく証明を書きたいのですが、教科書等で調べてもわかりません。 f(t)を有界閉区間[a,b]で連続な任意の関数とするとき、区間[a,b]上一様にf(x)に収束するような多項式の列｛Pn(t)｝が存在する。 というものの証明です。
- 締切済み
- 数学・算数
- この数学的帰納法を用いた証明問題がわかりません。
この数学的帰納法を用いた証明問題がわかりません。 （２）n 回微分可能な関数f(x) のn 次導関数をf^(n)(x) で表しf^(0)(x) = f(x) と定 義するとき，次の公式(Ｐ) が成立する．以下の問(ａ), (ｂ) に答えなさい． (Ｐ)d^n/dx^n ( e^xf(x) ) =Σ(r=0からn)ｔ(n r)e＾xf＾(r)(x) （ n ≧ 1, t(n r)=n!/( r!(n - r)! ) ） (ａ) g(x) = x^2e^x のn 次導関数g^(n)(x) を求めなさい． (ｂ) 数学的帰納法を用いて公式(Ｐ) を証明しなさい．ただし，必要であれ ば次の性質を用いてよい． t(n ,r - 1)+t(n,r)=t(n + 1,r) （r ≧ 1; n ≧ r） -------------------------------------------------------------- 画像が見づらくて申し訳ありません。 (a)はh(x)=x^2と置くと、 g^(n)=d^n/dx^n( e^xh(x) )=Σ(rからn)e^x h^(r) (x) これで合っていますか？ (b)は n=1のときは明らかに成り立つ。 n=k(kは自然数)のとき成り立つと仮定し、n=k+1のときの式変形がどうもうまくいきません。 (n≧3のときh^(n)=0であるのはわかります。) どなたか解説をよろしくお願いします。
- ベストアンサー
- 数学・算数
- その証明方法は何と言うのですか？
帰納法によってPという命題を証明とするとき、P(0)を確認してからP(n)を仮定にしてP(n+1)が成り立つことを証明するのが普通です。けれど、Pを証明するためにP(n)しかを仮定しないことは足りない時もあります。そのため、P(n)且つP(n+1)が成り立つことを仮定してP(n+2)が成り立つことを証明しなければなりません。 二重帰納法は別なものとは分かるけれど、上記の方法は何と言うのですか。
- ベストアンサー
- 数学・算数
- Ｐ(０), Ｐ(１),Ｐ(２),・・・, Ｐ(ｎ)が整数ならば、全ての整数ｋに対してＰ(ｋ)は整数
『ｎを自然数, Ｐ(ｘ)をｎ次の多項式とする。Ｐ(０), Ｐ(１),Ｐ(２),・・・, Ｐ(ｎ)が整数ならば、全ての整数ｋに対してＰ(ｋ)は整数であることを証明せよ。』 数学的帰納法で解けるらしいのですが、分かりません。どなたか教えてください。
- ベストアンサー
- 数学・算数
- 不等式の証明
FKG不等式に関連する次の不等式の問題： 数列{a_n},{b_n}を単調増大列とするとき、 (a_1b_1+a_2b_2+…+a_nb_n)/n≧{(a_1+a_2+…+a_n)/n}{(b_1+b_2+…+b_n)/n} を示せ。 を解きたいのですが、Abel変形（積分の部分積分に相当するテクニック）を使えば簡単に証明できるのは知っています。で、この不等式、数学的帰納法では解けないのか？ということが少し気になりました。 n=1なら自明で、n=kで成立すれば、n=2kで正しい、ということは容易に分かります。したがってn=2^mタイプの自然数に対しての成立は簡単ですが、任意のnについて成り立つことを帰納法でうまく示すことは出来ますか？何かアイデアがあればぜひ教えてください。n=k(≧2)で成り立てば、n=k-1でも成り立つ、みたいなことが言えるとよいのですが。
- ベストアンサー
- 数学・算数
- 多項式に関する不等式の証明
今,Pを三角多項式として P＝Σ(aj)e^ijt (n<|j|<4nでの和) とします。 このとき, ||P||∞＜3(√n) ||P||L^2 ∞ノルムはsupを取るノルムで、||P||L^2 はL^2ノルムです。 テキストに唐突に書かれていたのですが,どうも証明できません。。。 よろしければ,ご教授ください。
- 締切済み
- 数学・算数
お礼
なるほど！ 一時独立であることは容易に確かめられたのでできました！ こういったものを自分で思いつけるようになりたいです... ありがとうございます。