• 締切済み

微分方とその応用　

a_1=π/４、a_n+1=π(sin a_n)/2 (n=1,2,3・・・・・・)で定義される数列{a_n}を考える。また、b_n=π/2-a_n (n=1,2,3・・・・・・)とおく。 (1)不等式 1-cosx≦x^2/2　が成り立つことを示せ。 (2)n=1,2,3,・・・・・・　に対して不等式b_n+1≦π{(b_n)^2}/4 が成り立つことを示せ。 (3)n=1,2,3,・・・・・・　に対して不等式0≦b_n≦(π/4)^(2n-1)が成り立つことを示せ。 (4)極限値 lim a_n[n→∞]を求めよ。 という問題なのですが、(3)はどのようにして求めるのでしょうか。 解答には"(3)は数学的帰納法で求める"と書してあり、帰納法での回答に挑戦してみましたがうまくいきません。 よろしければ、回答のほうをお願いいたします。

みんなの回答

回答No.1

１．(3) は　b_n≦(π/4)^(2^n-1)　の誤りと思います。 ２．(3)の証明（0≦b_n は略） a_1=π/4, b_1=π/4 (2)より b_2≦(π/4){(b_1)^2}=(π/4)^3 b_n≦(π/4)^(2^n-1)を仮定すると(2)より 　b_n+1≦(π/4)(b_n)^2≦(π/4)(π/4)^(2^(n+1)-2) =(π/4)^(2^(n+1)-1) 証終 ３．(2)の証明（おまけ。(1)の証明は略） b_n+1=π/2-a_n+1=(π/2)(1-sin a_n) =(π/2){1-sin(π/2-b_n)}=(π/2)(1-cos b_n) ≦(π/2){(b_n)^2}/2=(π/4){(b_n)^2}　証終

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 「はさみうち」を使う問題

    数列｛x_n｝は、不等式 ４x_n+1－３x_n＜２　・・・１ ２x_n+1－x_n＞２　　・・・２ を満たす。 (1)x_n+1－２＜（3/4）^n（x_1－２）を示せ (2)lim（ｎ→∞）x_nを求めよ ほかの「はさみうち」をつかう問題と似ているのですが不等式のタイプは解いたことがなく、(1)を数学的帰納法で示そうとしたのですが、うまく１の式を使えませんでした。 n＝１のときは１の式を変形するだけでできたのですが n=ｋのときの仮定からn=k+1が成り立つことがうまく示せません。 それとも１，２の式から帰納法を用いずに変形して導くことも可能なのでしょうか？ 回答いただければありがたいです。よろしくお願いいたします

  • 微分積分の問題です

    微分積分の問題です １．２．の解答をお願いします。 １．α>0,β>0,α+β=1とする。a_0,a_1を勝手に選んだ数とする。a_n+2=a_n+a_n+1（ｎ=0,1,2,．．．）によって数列｛a_n｝を定める。 (1)b_n=a_n+1-a_n（n=0,1,2,．．．）とおいて、数列｛b_n｝の漸化式を求めよ。これから数列｛b_n｝を求めよ。 (2)a_n=a_0+b_0+b_1+…+b_n-1によって、a_nを求めよ。 (3)lim_n→∞(a_1)を求めよ。 ２．0<a_1<b_1とする。a_n+1=√(a_n・a_n),b_n+1=a_n+b_n/2(n=1,2,．．．)によって、数列｛a_n｝,｛b_n｝を定める。 (1)0<a_1<a_2<．．．<a_n<a_n+1<．．．<b_n+1<b_n<b_2<b_1を示せ。 (2)lim_n→∞(a_ｎ),lim_n→∞(b_ｎ)が存在することを示せ。 (3)lim_n→∞(b_n)=lim_n→∞(b_n)を示せ

  • 数列・関数の極限について

    俗に言う「はさみうちの原理」とその周辺に関して質問があります。 数学IIIの教科書によると， すべての自然数nに対し a_n ≦ b_n ≦ c_nのとき lim{n→∞}a_n = lim{n→∞}c_n = α（定数）　⇒　lim_{n→∞}b_n = α lim{x→∞}f(x) = lim{x→∞}h(x) = α（定数）とする。 十分大きいxに対し，f(x) ≦ g(x) ≦ h(x)　⇒　lim_{x→∞}g(x) = α となっております。 (1)limを登場させる順番がなぜ違うのか？ 　　数列の極限の方ではまず不等式を記し，関数の極限の方ではlimから記しています。 (2)「すべての」と「十分大きい」の部分は数列の極限と関数の極限で異なるか？ 　　数列の極限の方でも「十分大きい自然数nに対し」でもよいような気がするのですが…。 以上、よろしくお願いします。

  • 不等式の証明

    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でも成り立つ、みたいなことが言えるとよいのですが。

  • 漸化式と極限の問題です。

    漸化式と極限の問題です。 a(1)=1,a(2)=7/3,3a(n+2)-4a(n+1)+a(n)=0によって定義される数列{a(n)}について、lim(n→∞)a(n)を求めよ。 という問題です。 a(n+1)-a(n)=4/3^nというところまでは求められたのですがここからどうしたらよいか分かりません。教えて頂けたら嬉しいです。宜しくお願いします。

  • 数列の極限についての問題で・・・

    いつもお世話になっています。今 “ 数列{a_n}に対して lim_(n→∞) a_{2n} = lim_(n→∞) a_{2n-1} = α なら lim_(n→∞) a_{n} = α を示せ ” という問題に取り組んでいるんですが、当たり前のような気がするだけで、どうやって示せばよいのか分かりません。 苦し紛れに lim_(n→∞) (a_{2n} - a_{2n-1}) = 0 と変形して、極限の定義通り ∀ε>0, ∃N; |a_{2n} - a_{2n-1}| < ε (n≧N) と書き換えてみました。最後の式には「おっ」と思ったんですが、それ以上はどうしようもありませんでした。 宜しければ、解法へのヒントなど頂けませんでしょうか。 お願いします<m(_ _)m>

  • 証明問題が得意な方おねがいします。

    次の定理をεーn式定義に従って証明。 ２つの数列{Ａｎ}、{Ｂｎ}について、　lim　Ａｎ＝ａ、　　lim　Ｂｎ＝ｂ 　　　　　　　　　　　　　　　　　ｎ→∞　　　　　　　ｎ→∞ ならば 　　 　　lim(Ａｎ±Ｂｎ)＝ａ±ｂ　　(復号同順)

  • 証明問題が得意な方おねがいします。

    次の定理をεーn式定義に従って証明。 ２つの数列{Ａｎ}、{Ｂｎ}について、　lim　Ａｎ＝ａ、　　lim　Ｂｎ＝ｂ 　　　　　　　　　　　　　　　　　　 ｎ→∞　　　　　　　ｎ→∞ ならば 　　 　　lim(Ａｎ±Ｂｎ)＝ａ±ｂ　　(復号同順) なるべく簡単にお願いします。

  • 極限の問題でわかりません。

    a1=1/2,a(n+1)=a(n)/2a(n)+3で定義される数列{a(n)}がある。 ＊a(n+1)はn+1がaの下についています。 a(n)/2a(n)+3はa(n)も同様ｎは下に+３は分母です。 (1)b(n)=1/a(n)とおくとき、数列{b(n)}の一般項を求めよ。 (2)数列{a(n)}の一般項とその極限を求めよ。 なんですが、数列が苦手なのでできたら（１）を詳しくお願いします。 解だけはテキストにのっていたので書いておきます。 (1)b(n)=3^nー１ (2)a(n)=1/3^nー１,lim a(n)=0 (n→∞)

  • 数列の収束と極限の問題

    数列の収束と極限の問題 はじめまして。最近数学を少し勉強し始めた者です。 頭の出来が良くない故、また独学故に多く質問させて貰うかもしれませんがよろしくお願いします。 a[1] = root(2), a[n+1] = root(2a[n])で定義される数列{a[n]}が収束することを証明し、極限値lim a[n] を求めよという問題なのですが、分かりません。 収束は、ダランベールの判定法を使おうと思い、lim a[n+1]/a[n] = lim root(2a[n])/a[n] = lim root(2/a[n]) まで求めたのですが、これが1より小さいことが分かりません。 極限値のほうは全然です。 どなたかご助言お願いします。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する