• ベストアンサー

Γ(n+1/2)≒n!/√nの証明

Γ(n+1/2)≒n!/√nを証明する前にΓ(n+1/2)=(2n)!√π/((4^n)・(n!))を証明しました。これとスターリンの公式を使用してΓ(n+1/2)≒n!/√nを導けという問題が出題されたのですが解けなくて困っています。 どなたかわかる方ご指導お願いします。

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

  • ベストアンサー
  • zk43
  • ベストアンサー率53% (253/470)
回答No.1

スターリングの公式 n!~√(2π)・n^(n+1/2)・e^(-n) nを2nにすると、 (2n)!~√(2π)・(2n)^(2n+1/2)・e^(-2n) (~はn→∞にすると、比が1に収束するという意味。 だから、nが大きければほぼ等しいということ。) この2つを、書かれた式に代入して整理すると、 Γ(n+1/2)~√(2π)・n^n・e^(-n) となる。 さらに、この右辺は、 √(2π)・n^(n+1/2)・e^(-n)/√n と変形できて、分母はスターリングの公式から、ほぼn!なので、 Γ(n+1/2)~n!/√n

knappsack
質問者

お礼

(2n)^2nから4^nがでてくることを見落としていました。 今更ですが基本の大切さを思い知りました。 ありがとうございます! とてもわかりやすかったです。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • ( n(n+1)(2n+1) )/6 の証明について

    1^2 + 2^2 + ... + n^2 = ( n(n+1)(2n+1) )/6 の証明についてです 3(1^2 + 2^2 + ... + n^2) =(n+1)^3 -1 -(3n(n+1))/2 -n =(n+1)^3 - (3n/2)(n+1) - (n+1) <<このあたりの計算は中略>> =(n+1)((1/2)n(2n+1)) ∴ ( (n+1)((1/2)n(2n+1)) )/3 =( n(n+1)(2n+1) )/6 よって 1^2 + 2^2 + ... + n^2 =( n(n+1)(2n+1) )/6 こんな出だしの証明になっているのですがどうでしょうか? いきなり全体に3をかけて 3(1^2 + 2^2 + ... + n^2) という出だしになっていますが、これでもOKでしょうか? どうぞアドバイスよろしくお願いいたします。

  • 証明:  n≧4のとき、2^n<n!

    次の等式を証明せよ。 n≧4のとき、2^n<n! という問題があったのですが、これを帰納法を使わないで証明を与えるとするなら、どのような方法が考えられますか? できれば参考書的でないものがいいのですが・・・。 チャートでは 2^n<n!⇔n!/2^n>1 と変形して解いていました。 きれいな形をしているだけにさまざまな方法があると思いますがどなたかご教授ください。

  • {9^(n+1)-8n-9}/64になる証明

    {9^(n+1)-8n-9} (n=正の整数) という数字が64で割れることを二項定理を使って証明したいのですが、分かりません。 自分でやってみたところ、 (1+8)^n=…… ↓ 9^n-8n-1=64k ↓ 9^(n+1)-8n*9-9=64k*9 というところまで、できましたが次何すればいいのかわかりません。 回答お願いします。

  • {√(1)+√(1+2)+√(1+2+3)+…+√(1+2+…+n)}/n^2 → √2/4

    n → ∞のとき、 {√(1)+√(1+2)+√(1+2+3)+…+√(1+2+…+n)}/n^2 → √2/4 また、n → ∞のとき、 {√(1+2+…+n)+√(2+3+…+n)+…+√(n-1+n)+√(n)}/n^2 → π√2/8 らしいのですが、証明がかいてありませんでした。 どうか証明を教えていただけないでしょうか。

  • Sum(n)=1/2n(n+1)の証明

     帰納法による証明の例で出てきた式ですが Sum(n)=1/2n(n+1)がSum(n+1)=Sum(n)+(n+1)となり Sum(n+1)=1/2n(n+1)+(n+1)を整理すると Sum(n+1)=1/2(n+1)[(n+1)+1]を得る。 とありましたが、整理する途中式が分かりません。 どうか教えて下さい。

  • 1^2+2^2+3^2+・・・+n^2=n(n+1)(2n+1)/6

    1^2+2^2+3^2+・・・+n^2=n(n+1)(2n+1)/6 となりますが、これを図形を用いて証明することはできないのでしょうか? どなたかよいアイディアがあれば教えてください。

  • lim[n→∞](1+1/n)^n が収束することの証明について

    lim[n→∞](1+1/n)^n が収束することの証明の中で、 1+1+(1/2!)+(1/3!)+…+(1/n!) ≦1+1+(1/2)+(1/(2^2))+…+(1/2^(n-1)) =1+{1-1/(2^n)}/(1-1/2) ≦3 というような不等式があるのですが、なぜこれが成り立つのかわかりません。教えてください。

  • f(n)=(1)^n+(2)^n+(3)^n+(4)^n

    nは自然数 f(n)=(1)^n+(2)^n+(3)^n+(4)^n f(n)を5で割った余りをr(n)とする。 (1)r(n)は g(n)=(1)^n+(2)^n+(-2)^n+(-1)^n  を5で割った余りと等しいことを示せ。 (2)r(n)=0を満たすnをすべて答えよ。 (1)は f(n)-g(n)=5t と置いて、数学的帰納法で解くのが良いのでしょうか? f(n)-g(n)=(3)^n+(4)^n-(-2)^n-(-1)^n=5t n=1のとき f(n)-g(n)=3+4+2+1=10 → OK n=kの時成立すると仮定して n=k+1の時 (3)^(k+1)+(4)^(k+1)-(-2)^(k+1)-(-1)^(k+1) =(3)^(k+1)+4{5t-3^k+(-2)^k+(-1)^k}-(-2)^(k+1)-(-1)^(k+1) =-3^k+20t+6(-2)^k+5(-1)^k ここで -3^k+6(-2)^k を帰納法で5の倍数と証明して f(n)-g(n)=5t と証明できる。 他の証明方法はないのでしょうか? (2)はどのようにすればよいか分かりません。 教えてください。 お願い致します。

  • 8^nー7nー1が49の倍数である証明をせよ。

    8^nー7nー1が49の倍数である証明をせよ。 途中までも正しいのか?正しい証明方法を教えてください。 …8^k+1ー7kー7ー1 数学的帰納法として

  • nを自然数とするとき、n^5/5+n^4/2+n^3/3-n/30が自然数であることを証明せよ。

    高校数学の教科書の数列のところの一番最後の一番難しい章末問題で nを自然数とするとき、n^5/5+n^4/2+n^3/3-n/30が自然数であることを証明せよ。 って問題なんですが、とりあえず数学的帰納法で解くんだろうけど全然解けそうにないです。 月曜日までにやってこないとやばいので、だれか助けてください!!